

The proof of Theorem \[pro.reductiondimension2\] is quite subtle and spans sections \[Main application\] and \[compute-coh\]. In Theorem \[mv-1-cycle-local\] (a), we start with the hypothesis that $C$ is contained in the regular locus of $X$. It is not possible in general to expect that a hypersurface $H_f$ containing $C$ can be chosen so that $C$ is again contained in the regular locus of $H_f$. Thus, when no regularity conditions can be expected on the total space, we impose regularity conditions by assuming that $C$ is regularly immersed in $X$. Great care is then needed in the proof of \[pro.reductiondimension2\] to insure that a hypersurface $H_f$ can be found with the property that $C$ is regularly immersed in $H_f$.

Section \[Main application\] contains most of the proof of Theorem \[pro.reductiondimension2\]. Several lemmas needed in the proof of Theorem \[pro.reductiondimension2\] are discussed separately in section \[compute-coh\]. Sections \[hyperf\], \[finite-qs\], \[mv-1c\] and \[finite-pd\] contain the proofs of the applications of our method.

It is our pleasure to thank Max Lieblich and Damiano Testa for the second example in \[ex.avoidance\], Angelo Vistoli for helpful clarifications regarding \[extension.stable.curve\] and \[smooth\_cover\_mg\], and Robert Varley for Example \[Varley\]. We also warmly thank the referees, for a meticulous reading of the article, for several corrections and strengthenings, and many other useful suggestions which led to improvements in the exposition.

[Zero locus of sections of a quasi-coherent sheaf]{}

We start this section by reviewing basic facts on constructible subsets, a concept introduced by Chevalley in [@Che]. We follow the exposition in [@EGA]. We introduce the zero-locus ${\mathcal Z}(\mathcal F,f)$ of a global section $f$ of a finitely presented ${{\mathcal O}}_X$-module $\mathcal F$ on a scheme $X$, and show in \[zero-locus-f\] that this subset is locally constructible in $X$. Given a finitely presented morphism $\pi: X \to Y$, we further define a subset $T_{\mathcal F, f, \pi}$ in $Y$,
The proof of Theorem \[pro.reductiondimension2\ ] is quite subtle and spans sections \[Main application\ ] and \[compute - coh\ ]. In Theorem \[mv-1 - hertz - local\ ] (a), we depart with the hypothesis that $ C$ is contained in the regular venue of $ X$. It is not possible in general to expect that a hypersurface $ H_f$ contain $ C$ can be chosen so that $ C$ is again contained in the even locus of $ H_f$. Thus, when no regularity condition can be expected on the total space, we impose regularity conditions by assuming that $ C$ is regularly immerse in $ X$. Great care is then needed in the validation of \[pro.reductiondimension2\ ] to insure that a hypersurface $ H_f$ can be found with the place that $ C$ is regularly immersed in $ H_f$. 

 department   \[Main application\ ] contains most of the validation of Theorem \[pro.reductiondimension2\ ]. Several lemmas needed in the proof of Theorem \[pro.reductiondimension2\ ] are hash out separately in section   \[compute - coh\ ]. Sections \[hyperf\ ], \[finite - qs\ ], \[mv-1c\ ] and \[finite - pd\ ] contain the proofs of the application of our method. 

 It is our pleasure to thank Max Lieblich and Damiano Testa for the second example in \[ex.avoidance\ ], Angelo Vistoli for helpful clarifications regarding \[extension.stable.curve\ ] and \[smooth\_cover\_mg\ ], and Robert Varley for Example \[Varley\ ]. We also warmly thank the referees, for a meticulous reading of the article, for several correction and strengthenings, and many other utilitarian trace which lead to improvements in the exposition. 

 [ Zero venue of sections of a quasi - coherent bundle ] { } 

 We start this section by reviewing basic fact on constructible subsets, a concept introduced by Chevalley in [ @Che ]. We follow the exposition in [ @EGA ]. We introduce the zero - locus $ { \mathcal Z}(\mathcal F, f)$ of a global section $ f$ of a finitely presented $ { { \mathcal O}}_X$-module $ \mathcal F$ on a scheme $ X$, and show in \[zero - locus - f\ ] that this subset is locally constructible in $ X$. give a finitely presented morphism $ \pi: ten \to Y$, we further define a subset $ T_{\mathcal F, f, \pi}$ in $ Y$,


The proof of Theorem \[pro.redmctiondimension2\] nw quitx subtls and spxns sections \[Main applicatioi\] ane \[comklte-coh\]. In Theorem \[mv-1-chcle-local\] (a), we stqrt xith the hypothesis that $C$ is dlntannxd in the regulsr locus ox $X$. It is not [orsnble in general to expect that a hypqrsurfave $H_f$ containing $C$ csg be bhisen so that $C$ is again contajned in the regular kocus of $H_f$. Thus, when no rfgulwrity conditions cwn be expecjsd jb the total rpace, we impose regulatity conditions by assuming that $C$ is regularly inmegved in $X$. Grxat cage is then necced in the prpof of \[pro.redugtionvimebsion2\] to insure that e hypersurface $H_f$ cag be foung cith the property thar $X$ is teguldrly ummdrstd mn $G_f$.

Sectlon \[Jain applidation\] contqins most of the prpos of Theorem \[pdo.redustyondimension2\]. Several lemmas needed in tve lroof of Theorem \[pro.redyctiondimension2\] are dlscussed feparately in section \[compute-coh\]. Sections \[hyperf\], \[fhnite-sr\], \[mr-1g\] xbd \[finite-pd\] contain the proofs of the applicatijhs on our method.

It if our pleasirf yj thank Max Lkeblick ahd Damiano Testa flr the fecone example in \[rx.avoidance\], Angelo Vistoli dor helpful blarufications regardiug \[extension.rtabke.curfe\] and \[smooth\_cover\_mg\], anb Robedt Varley flr Exampls \[Varley\]. We also darklf thank ufe referees, for a meticulons recding of the articje, for sevfral gmrrections and strfngthgnings, and many lther useful suggestions which led to improveketts in the zxposibion.

[Zero locus jf sections of a quasn-coherdnt sheaf]{}

Wv start tiis section fy reviewing twsic facts oi construstiboe sybsets, x concept introcuced by Bhtvalley in [@Che]. We follow the exkoaition in [@EGA]. Wz untroduce the zrro-uocts ${\methcaj Z}(\mathcal F,f)$ of x gupbal rection $f$ on a finotely presented ${{\mathwal K}}_X$-module $\mathcal F$ ok a schemg $X$, and srow in \[zero-lovus-f\] that this subdet iv lucallu cjnstructible in $X$. Given a finifely presfntcd morphism $\py: X \bo Y$, we furthex define a subset $T_{\mathcal F, f, \pi}$ in $Y$,
The proof of Theorem \[pro.reductiondimension2\] is quite spans \[Main application\] \[compute-coh\]. In Theorem the that $C$ is in the regular of $X$. It is not possible general to expect that a hypersurface $H_f$ containing $C$ can be chosen so $C$ is again contained in the regular locus of $H_f$. Thus, when no conditions be on total space, we impose regularity conditions by assuming that $C$ is regularly immersed in $X$. Great is then needed in the proof of \[pro.reductiondimension2\] insure that a hypersurface can be found with the that is regularly in Section application\] contains most the proof of Theorem \[pro.reductiondimension2\]. Several lemmas needed in the proof of Theorem \[pro.reductiondimension2\] are discussed separately section \[compute-coh\]. \[finite-qs\], \[mv-1c\] \[finite-pd\] the of the applications method. It is our pleasure to and Damiano Testa for the second example in Angelo Vistoli helpful clarifications regarding \[extension.stable.curve\] and \[smooth\_cover\_mg\], Robert Varley for Example \[Varley\]. We also warmly the referees, for a meticulous reading of the article, for several corrections and strengthenings, and useful suggestions which led improvements in the [Zero of of quasi-coherent sheaf]{} start this section by reviewing basic facts on constructible subsets, a introduced by Chevalley in [@Che]. We follow the exposition in introduce zero-locus ${\mathcal Z}(\mathcal of a global section of finitely presented ${{\mathcal O}}_X$-module on scheme in that subset is locally constructible $X$. Given a finitely presented $\pi: X \to Y$, $T_{\mathcal F, f, \pi}$ in $Y$,


The proof of Theorem \[pro.reducTiondimensIon2\] is QuiTe sUbTle aNd spAns sections \[MaiN ApplIcation\] and \[compute-coh\]. In theorEm \[MV-1-cycLE-lOcal\] (a), We start WItH THe hYpOtHesIs THaT $C$ is cOntAined in The regular LocUs Of $X$. It is not poSSiBle in generAl tO expect that a HypErsurfAcE $H_f$ COntaiNinG $C$ can Be chosEN so thaT $C$ is again CoNTained IN the regULAr LocuS of $H_f$. Thus, when no reGUlARity conditions Can be eXpECtED On tHe tOtal space, wE iMpose REgulariTY cONDItiONs by assuming tHat $C$ is regulARly ImmersEd In $X$. gReat caRe is tHeN NeeDed in the proOf of \[Pro.reductIondimENsion2\] to INsure thAt a hypErsUrfAce $H_F$ CaN bE foUnD WitH ThE prOPerTy that $C$ iS rEgUlarlY immERSED in $H_F$.

SeCtioN \[Main Application\] coNtaIns mOSt oF the pRoof oF TheOrEm \[pro.ReductIondiMeNsion2\]. Several lemMas nEeded in thE prOoF of thEorem \[PRo.reduCtiOndImensioN2\] are disCUssEd SEPArAtely in section \[compUtE-COh\]. sections \[Hyperf\], \[FInItE-Qs\], \[mv-1c\] and \[FiNitE-pd\] cONTain tHe prOOfS of the apPlicatIOnS oF our metHoD.

It is oUr PleAsuRe to tHAnk MAx LiebLich and DAmianO testa for the secONd example in \[ex.AVoIDAnCE\], AngElo vistoli for hElpfUL claRifiCAtIonS RegarDing \[eXtENsIOn.stable.curve\] and \[smoOtH\_cover\_Mg\], and robert Varley fOr Example \[VARLEy\]. We also WarmLY tHAnk the referees, For a mEticulous rEAding of tHe artIcle, for sEveral corRECtions anD stRenGthEniNGS, aNd many other usEFUl suGgEstions WhiCh led to ImpRovEmeNts In The exposiTion.

[Zero LoCuS oF sEctIons oF A quasi-coHeRenT sHeaF]{}

We stARt this SectiOn by ReViEWinG basic fACtS ON conStRuCtibLe sUbSets, a ConcEPt iNtroducEd by ChevaLleY In [@ChE]. WE fOllow thE exposition in [@eGa]. We introduCe The Zero-loCUS ${\mathcal z}(\mathcal F,f)$ of a global sectIOn $f$ of a fIniTely pReseNted ${{\mathcAl O}}_x$-modulE $\maTHcal F$ oN a scheMe $X$, anD sHow IN \[Zero-lOCUs-F\] thAt This subset IS LocAlly cOnStruCtible iN $X$. Given a finitely prESenTed morphism $\pi: x \to y$, we fURThEr dEFiNE a sUbSEt $T_{\MAThcal F, f, \pi}$ in $Y$,


The proof of Theorem \[p ro.reducti ondim ens ion 2\ ] is  qui te subtle ands pans  sections \[Main appli catio n\ ]  and \[ compu te-coh\ ] .I n  Th eo re m \ [m v -1 -cycl e-l ocal\](a), we st art  w ith the hypo t he sis that $ C$is contained  in  the r eg ula r  locu s o f $X$ . It i s  not p ossible i ng eneral to expe c t  t hata hypersurface $H _ f$ containing $C$  can b ec ho s e n s o t hat $C$ is  a gainc ontaine d  i n t her egular locusof $H_f$. T h us,  whenno  re g ularit y con di t ion s can be ex pect ed on the  total space,w e impos e regu lar ity  con d it io nsby ass u mi ngt hat  $C$ isre gu larly  imm e r s e d in  $X $. G reatcare is thennee dedi n t he pr oof o f \[ pr o.red uction dimen si on2\] to insure  tha t a hyper sur fa ce$H _f$ c a n be f oun d w ith the  proper t y t ha t $ C$  is regularly imme rs e d  i n $H_f$. 

Sect i on  \ [ Main app li cat ion\ ] conta insm os t of the  proof of  T heorem\[ pro.re du cti ond imens i on2\ ]. Sev eral lem mas n e eded in the pr o of of Theorem \[ p r o. r educ tio ndimension2 \] a r e di scus s ed  se p arate ly in  s e ct i on \[compute-coh\].  S ection s \[h yperf\], \[fi nite-qs\], \ [ mv-1c\]and\ [f i nite-pd\] cont ain t he proofso f the ap plica tions of  our meth o d .

It is  ou r p lea sur e to  thank Max Li e b lich  a nd Dami ano  Testafor  th e s eco nd  examplein \[ex. av oi da nc e\] , Ang e lo Visto li  fo rhel pfulc larifi catio ns r eg ar d ing  \[exte n si o n .sta bl e. curv e\]  a nd \[ smoo t h\_ cover\_ mg\], and  Ro b ertVa rl ey forExample \[Var le y\]. We al so  wa rmly t h a nk the r eferees, for a meticulo u s readi ngof th e ar ticle, fo r s everal  co r rectio ns and  stre ng the n i ngs,a n dman yother usef u l  su ggest io ns w hich le d to improvementsi n t he exposition .
[Zer o lo cus of sec ti o nso f  a quasi-cohere nt sheaf]{ }We  start thi s  se ct ion byreviewi ng ba s ic fact s on cons tructible  s ubse t s , a  concept i ntroduce d by Chev a lleyi n[@Che ].We fol lo w t he ex positi o n i n [@E GA]. W eintrod uce t he  zero-lo cus ${\mathcal Z}(\math cal F, f)$ o f a  global s ect i on$f$ of afini tely prese nte d $ {{\ma thc a l O}} _X$- m od ule $\mat hcal F$ on a s c he me$ X $,  and show i n \ [ze ro-lo cus - f\] th at t his subset is loc a lly constructi blei n  $X $.G iven  a  finitely pres ent ed m orphism$\ pi: X \to Y $, we fu rt h er de fine a  subse t $T_{\ m a th c al F,f, \ pi} $ in $Y$, 


The proof_of Theorem_\[pro.reductiondimension2\] is quite subtle_and spans_sections_\[Main application\]_and_\[compute-coh\]. In Theorem_\[mv-1-cycle-local\] (a), we_start with the hypothesis_that $C$ is_contained_in the regular locus of $X$. It is not possible in general to expect_that_a hypersurface_$H_f$_containing_$C$ can be chosen so_that $C$ is again contained_in the_regular locus of $H_f$. Thus, when no regularity_conditions_can be expected_on the total space, we impose regularity conditions by_assuming that $C$ is regularly immersed_in $X$. Great_care_is_then needed in the_proof of \[pro.reductiondimension2\] to insure that_a hypersurface $H_f$ can be found_with the property that $C$ is regularly_immersed in $H_f$.

Section \[Main application\] contains most_of the proof of Theorem_\[pro.reductiondimension2\]. Several_lemmas needed in the proof_of Theorem \[pro.reductiondimension2\]_are discussed_separately in section \[compute-coh\]._Sections \[hyperf\], \[finite-qs\], \[mv-1c\] and \[finite-pd\]_contain the proofs_of the applications of our method.

It_is_our pleasure to_thank_Max_Lieblich and_Damiano Testa for_the_second example_in_\[ex.avoidance\], Angelo Vistoli for helpful clarifications_regarding_\[extension.stable.curve\] and \[smooth\_cover\_mg\], and Robert Varley for_Example \[Varley\]. We also_warmly_thank the referees, for_a meticulous reading of the_article, for several corrections and strengthenings,_and many_other useful_suggestions which led to improvements in the exposition.

[Zero locus of sections_of a quasi-coherent sheaf]{}

We start this_section by reviewing basic_facts on_constructible_subsets, a concept_introduced_by Chevalley_in [@Che]. We follow the exposition in_[@EGA]. We_introduce the zero-locus ${\mathcal Z}(\mathcal F,f)$_of a global section_$f$_of a finitely presented ${{\mathcal O}}_X$-module_$\mathcal F$ on a scheme $X$,_and show in \[zero-locus-f\] that_this_subset_is locally constructible in $X$._Given a finitely presented morphism $\pi:_X \to Y$,_we further define a subset $T_{\mathcal F,_f,_\pi}$ in $Y$,