 }\mathscr{F}.\}$$

\[theorem: ample subvariety\] Let $Y$ be a smooth closed subscheme of a smooth projective scheme $X$.

1.  $Y$ is ample if and only if its normal bundle is ample and the cohomological dimension of the complement is $r-1$. \[theorem: normal bundle\]

Assume further that $Y$ is an ample subscheme in $X$. Then

2.  Generalized Lefschetz hyperplane theorem with rational coefficient holds, i.e. $H^{i}(X,\mathbb{Q})\rightarrow H^{i}(Y,\mathbb{Q})$ is an isomorphism for $i<\dim Y$ and is an injection for $i=\dim Y$. \[theorem: lefschetz\]

3.  $Y$ is numerically positive, i.e. $Y\cdot Z>0$ for any effective cycle $Z$ of dimension $r$. \[theorem: intersection\]

4.  \[theorem: H\^[i]{}\] $H^{i}(X,\mathscr{F})\rightarrow H^{i}(\hat{X},\hat{\mathscr{F}})$ is an isomorphism for $i<\dim Y$ and is injective for $i=\dim Y$. Here $\hat{X}$ is the formal completion of $X$ along $Y$, $\mathscr{F}$ is a locally free sheaf on $X$ and $\hat{\mathscr{F}}$ is its restriction to $\hat{X}$.

[@Ottem Theorem 5.4], [@Ottem Corollary 5.3] and [@Hartshorne Chapter III, Theorem 3.4] give \[theorem: normal bundle\], \[theorem: lefschetz\] and \[theorem: H\^[i]{}\] respectively. For \[theorem: intersection\], since the cohomological dimension of $(X-Y)=r-1$, $Y$ meets any effective cycle of dimension $r$. We can then apply the result of Fulton and Lazarsfeld [@Laz Corollary 8.4.3], which says if $Y$ has ample normal bundle and $Y$ meets $Z$, where $Z$ is for an effective cycle of complementary dimension to that of $Y$, then $Y\cdot Z>0$.

The above list of properties is incomplete, for a more complete picture, c.f. [@Ottem].

Partial regularity and a
} \mathscr{F}.\}$$ 

 \[theorem: ample subvariety\ ] Let $ Y$ be a smooth closed subscheme of a smooth projective schema $ X$. 

 1.   $ Y$ is ample if and merely if its normal bundle is ample and the cohomological dimension of the complement is $ r-1$. \[theorem: normal bundle\ ] 

 Assume far that $ Y$ is an ample subscheme in $ X$. Then 

 2.   Generalized Lefschetz hyperplane theorem with rational coefficient holds, i.e. $ H^{i}(X,\mathbb{Q})\rightarrow H^{i}(Y,\mathbb{Q})$ is an isomorphism for $ i<\dim Y$ and is an injection for $ i=\dim Y$. \[theorem: lefschetz\ ] 

 3.   $ Y$ is numerically positivist, i.e. $ Y\cdot Z>0 $ for any effective bicycle $ Z$ of dimension $ r$. \[theorem: intersection\ ] 

 4.   \[theorem: H\^[i]{}\ ] $ H^{i}(X,\mathscr{F})\rightarrow H^{i}(\hat{X},\hat{\mathscr{F}})$ is an isomorphism for $ i<\dim Y$ and is injective for $ i=\dim Y$. Here $ \hat{X}$ is the conventional completion of $ X$ along $ Y$, $ \mathscr{F}$ is a locally free sheaf on $ X$ and $ \hat{\mathscr{F}}$ is its limitation to $ \hat{X}$. 

 [ @Ottem Theorem 5.4 ], [ @Ottem Corollary 5.3 ] and [ @Hartshorne Chapter III, Theorem 3.4 ] give \[theorem: normal bundle\ ], \[theorem: lefschetz\ ] and \[theorem: H\^[i]{}\ ] respectively. For \[theorem: intersection\ ], since the cohomological dimension of $ (X - Y)=r-1 $, $ Y$ meets any effective hertz of dimension $ r$. We can then apply the result of Fulton and Lazarsfeld [ @Laz Corollary 8.4.3 ], which says if $ Y$ has ample normal bundle and $ Y$ meet $ Z$, where $ Z$ is for an effective cycle of complementary dimension to that of $ Y$, then $ Y\cdot Z>0$. 

 The above tilt of properties is incomplete, for a more complete word picture, c.f. [ @Ottem ]. 

 Partial regularity and a
 }\mahhscr{F}.\}$$

\[theorem: ample subvxriety\] Let $Y$ be a smoovh clossd subscfeme of a smooth projective dcyeme $Z$.

1.  $Y$ is ample if and ovly if itd normal bunvle is ample and the cohomologjgal dnmxnsion of the cpmplement hs $r-1$. \[theorem: nmroap bundle\]

Assume further that $Y$ is an ample xuhscheme in $X$. Tren

2.  Denedalized Lefschetz hyperplane theorsm with rational coegficient holds, i.e. $H^{i}(X,\mathbh{Q})\rihhtarrow H^{i}(Y,\mathbb{E})$ is an isonorprusm for $i<\dim Y$ and is an injection for $i=\dim Y$. \[theorem: lefschetz\]

3.  $H$ is uumerically pisihhve, i.e. $Y\cdov Z>0$ fog any effectiyv cycle $Z$ of domension $r$. \[theprek: ibtersection\]

4.  \[theorem: I\^[i]{}\] $H^{i}(X,\mathscr{F})\rightatrow H^{i}(\hat{F},\hct{\mathscr{F}})$ is an isomirphism for $i<\dio Y$ xnd ix jnjectlve for $i=\dim G$. Here $\hat{X}$ is the formal compkeeppn of $X$ alonf $Y$, $\maehfcr{F}$ is a locally free sheaf on $X$ and $\hdt{\mzthscr{F}}$ is its restrictuon to $\hat{X}$.

[@Ottem Theotem 5.4], [@Ottem Corollary 5.3] and [@Hartshorne Chapter III, Theorem 3.4] ghve \[tieuren: kormxo hundle\], \[theorem: lefschetz\] and \[theorem: H\^[i]{}\] respesfifeky. For \[theorem: intersectipn\], sogce the cohomulogiccm simension of $(X-Y)=r-1$, $Y$ meets wny edfective syclr of dimension $r$. We can theb apply the gesuot of Fulton and Lczarsfeld [@Lav Coroklary 8.4.3], which says if $Y$ has aople normal bunfle and $Y$ oeets $Z$, where $Z$ ks nor an effective cycle of com[lementarb dimznsion tu thst of $R$, then $Y\cdlt Z>0$.

Tma above list of prlpertnes iv incomplehe, for a more complete picture, r.h. [@Ottem].

Partiak segllarity aud a
}\mathscr{F}.\}$$ \[theorem: ample subvariety\] Let $Y$ be closed of a projective scheme $X$. and if its normal is ample and cohomological dimension of the complement is \[theorem: normal bundle\] Assume further that $Y$ is an ample subscheme in $X$. 2. Generalized Lefschetz hyperplane theorem with rational coefficient holds, i.e. $H^{i}(X,\mathbb{Q})\rightarrow H^{i}(Y,\mathbb{Q})$ is isomorphism $i<\dim and an injection for $i=\dim Y$. \[theorem: lefschetz\] 3. $Y$ is numerically positive, i.e. $Y\cdot Z>0$ for effective cycle $Z$ of dimension $r$. \[theorem: intersection\] \[theorem: H\^[i]{}\] $H^{i}(X,\mathscr{F})\rightarrow H^{i}(\hat{X},\hat{\mathscr{F}})$ an isomorphism for $i<\dim Y$ is for $i=\dim Here is formal completion of along $Y$, $\mathscr{F}$ is a locally free sheaf on $X$ and $\hat{\mathscr{F}}$ is its restriction to $\hat{X}$. Theorem 5.4], 5.3] and Chapter Theorem give \[theorem: normal lefschetz\] and \[theorem: H\^[i]{}\] respectively. For the cohomological dimension of $(X-Y)=r-1$, $Y$ meets any cycle of $r$. We can then apply the of Fulton and Lazarsfeld [@Laz Corollary 8.4.3], which if $Y$ has ample normal bundle and $Y$ meets $Z$, where $Z$ is for an of complementary dimension to of $Y$, then Z>0$. above of is incomplete, a more complete picture, c.f. [@Ottem]. Partial regularity and a
 }\mathscr{F}.\}$$

\[theorem: ample subvaRiety\] Let $Y$ bE a smoOth CloSeD subScheMe of a smooth proJEctiVe scheme $X$.

1.  $Y$ is ample if and Only iF iTS norMAl BundlE is amplE AnD THe cOhOmOloGiCAl DimenSioN of the cOmplement iS $r-1$. \[tHeOrem: normal buNDlE\]

Assume furTheR that $Y$ is an amPle SubschEmE in $x$. then

2.  GEneRalizEd LefsCHetz hyPerplane tHeORem witH RationaL COeFficIent holds, i.e. $H^{i}(X,\matHBb{q})\Rightarrow H^{i}(Y,\mAthbb{Q})$ Is AN iSOMorPhiSm for $i<\dim Y$ AnD is an INjectioN FoR $I=\DIm Y$. \[THeorem: lefscheTz\]

3.  $Y$ is numeriCAllY positIvE, i.e. $y\Cdot Z>0$ fOr any EfFEctIve cycle $Z$ of DimeNsion $r$. \[theOrem: inTErsectiON\]

4.  \[theoreM: H\^[i]{}\] $H^{i}(X,\MatHscR{F})\riGHtArRow h^{i}(\HAt{X},\HAt{\MatHScr{f}})$ is an isoMoRpHism fOr $i<\dIM y$ ANd is InjEctiVe for $I=\dim Y$. Here $\hat{X}$ Is tHe foRMal ComplEtion Of $X$ aLoNg $Y$, $\maThscr{F}$ Is a loCaLly free sheaf on $X$ And $\hAt{\mathscr{f}}$ is ItS reStRictiON to $\hat{x}$.

[@OtTem theorem 5.4], [@ottem CoROllArY 5.3] AND [@HArtshorne Chapter IIi, THEOrEm 3.4] give \[thEorem: nORmAl BUndle\], \[theOrEm: lEfscHETz\] and \[TheoREm: h\^[i]{}\] respecTively. fOr \[ThEorem: inTeRsectiOn\], SinCe tHe cohOMoloGical dImension Of $(X-Y)=r-1$, $y$ Meets any effectIVe cycle of dimeNSiON $R$. WE Can tHen Apply the resUlt oF fultOn anD laZarSFeld [@LAz CorOlLArY 8.4.3], Which says if $Y$ has amplE nOrmal bUndle And $Y$ meets $Z$, wheRe $Z$ is for an EFFEctive cyCle oF CoMPlementary dimeNsion To that of $Y$, tHEn $Y\cdot Z>0$.

the abOve list oF propertiES Is incompLetE, foR a mOre COMpLete picture, c.f. [@oTTem].

PArTial regUlaRity and A
 }\mathscr{F}.\}$$

\[theo rem: ample  subv ari ety \]  Let  $Y$  be a smooth c l osed  subscheme of a smooth  proj ec t ives ch eme $ X$.

1.  $ Y $  is  a mp leif an d onl y i f its n ormal bund leis  ample and t h ecohomologi cal  dimension o f t he com pl eme n t is$r- 1$. \ [theor e m: nor mal bundl e\ ] 

Assu m e furth e r  t hat$Y$ is an ample s u bs c heme in $X$. T hen

2 .Ge n e ral ize d Lefschet zhyper p lane th e or e m wit h  rational coe fficient ho l ds,  i.e.$H ^{i } (X,\ma thbb{ Q} ) \ri ghtarrow H^ {i}( Y,\mathbb {Q})$i s an is o morphis m for$i< \di m Y$ an disan inj e ct ion for  $i=\dim  Y $.  \[th eore m : l efsc het z\]
3. $Y$ is numeri cal ly p o sit ive,i.e.$Y\c do t Z>0 $ forany e ff ective cycle $Z $ of  dimensio n $ r$ . \ [t heore m : inte rse cti on\]

4 .  \[th e ore m: H \ ^[ i]{}\] $H^{i}(X,\m at h s cr {F})\rig htarro w  H ^{ i }(\hat{X }, \ha t{\m a t hscr{ F}}) $  i s an iso morphi s mfo r $i<\d im  Y$ an disinj ectiv e  for  $i=\d im Y$. H ere $ \ hat{X}$ is the formal comple t io n of $X$alo ng $Y$, $\m aths c r{F} $ is aloc a lly f ree s he a fo n $X$ and $\hat{\ma th scr{F} }$ is  its restrict ion to $\h a t { X}$.

[@ Otte m  T h eorem 5.4], [@ Ottem  Corollary 5.3] and  [@Ha rtshorne  ChapterI I I, Theor em3.4 ] g ive \ [t heorem: norma l bund le \], \[t heo rem: le fsc het z\]  an d\[theorem : H\^[i] {} \]  r es pec tivel y . For \[ th eor em : i nters e ction\ ], si nceth ec oho mologic a ld i mens io nof $ (X- Y) =r-1$ , $Y $  me ets any  effectiv e c y cleof  d imensio n $r$. We can  t hen applyth e r esulto f  Fultonand Lazarsfeld [@Laz Co r ollary8.4 .3],whic h says if  $Y $ hasamp l e norm al bun dle a nd  $Y $ meets $ Z$ , w he re $Z$ isf o r a n eff ec tive  cycleof complementary d i men sion to thatof$Y$, t he n $ Y \c d otZ> 0 $.T he above list o f properti es is  incomplet e , f or  a more  comple te pi c ture, c .f. [@Ott em].

Par ti al r e g ula rity and a 
 }\mathscr{F}.\}$$

\[theorem:_ample subvariety\]_Let $Y$ be a_smooth closed_subscheme_of a_smooth_projective scheme $X$.

1._ $Y$ is_ample if and only_if its normal_bundle_is ample and the cohomological dimension of the complement is $r-1$. \[theorem: normal bundle\]

Assume_further_that $Y$_is_an_ample subscheme in $X$. Then

2._ Generalized Lefschetz hyperplane theorem_with rational_coefficient holds, i.e. $H^{i}(X,\mathbb{Q})\rightarrow H^{i}(Y,\mathbb{Q})$ is an isomorphism_for_$i<\dim Y$ and_is an injection for $i=\dim Y$. \[theorem: lefschetz\]

3. _$Y$ is numerically positive, i.e. $Y\cdot_Z>0$ for any_effective_cycle_$Z$ of dimension $r$._\[theorem: intersection\]

4.  \[theorem: H\^[i]{}\] $H^{i}(X,\mathscr{F})\rightarrow_H^{i}(\hat{X},\hat{\mathscr{F}})$ is an isomorphism for $i<\dim_Y$ and is injective for $i=\dim Y$._Here $\hat{X}$ is the formal completion_of $X$ along $Y$, $\mathscr{F}$_is a_locally free sheaf on $X$_and $\hat{\mathscr{F}}$ is_its restriction_to $\hat{X}$.

[@Ottem Theorem_5.4], [@Ottem Corollary 5.3] and [@Hartshorne_Chapter III, Theorem_3.4] give \[theorem: normal bundle\], \[theorem:_lefschetz\]_and \[theorem: H\^[i]{}\]_respectively._For_\[theorem: intersection\],_since the cohomological_dimension_of $(X-Y)=r-1$,_$Y$_meets any effective cycle of dimension_$r$._We can then apply the result of_Fulton and Lazarsfeld [@Laz_Corollary_8.4.3], which says if_$Y$ has ample normal bundle_and $Y$ meets $Z$, where $Z$_is for_an effective_cycle of complementary dimension to that of $Y$, then $Y\cdot Z>0$.

The_above list of properties is incomplete,_for a more complete_picture, c.f._[@Ottem].

Partial_regularity and a