<p>Let <i>E</i> be a vector bundle of rank&#xa0;<i>r</i> over a smooth projective variety <i>X</i>, and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi :Y=\mathbb {P}(E)\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo>:</mo> <mi>Y</mi> <mo>=</mo> <mi mathvariant="double-struck">P</mi> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> be the associated projective bundle of one-dimensional quotients. We show that if the relative anticanonical divisor <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(-K_{Y/X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi>K</mi> <mrow> <mi>Y</mi> <mo stretchy="false">/</mo> <mi>X</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is nef (or equivalently <i>E</i> is universally semistable in the sense of Fulger and Langer (J Algebra 609:657–687, 2022), then the <i>r</i>th self intersection <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\((K_{Y/X})^r\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mrow> <mi>Y</mi> <mo stretchy="false">/</mo> <mi>X</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mi>r</mi> </msup> </math></EquationSource> </InlineEquation> is numerically trivial. Using this, we show that if <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(-K_{Y/X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi>K</mi> <mrow> <mi>Y</mi> <mo stretchy="false">/</mo> <mi>X</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is nef, then nef (resp. pseudoeffective) cycles of codimension&#xa0;<i>c</i> on <i>Y</i> are precisely those of the form <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_Equ1.gif" Format="GIF" Height="51" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \sum _{i=0}^{r-1} (-K_{Y/X})^i \cdot \pi ^* \alpha _i \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munderover> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> </mrow> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </munderover> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi>K</mi> <mrow> <mi>Y</mi> <mo stretchy="false">/</mo> <mi>X</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mi>i</mi> </msup> <mo>·</mo> <msup> <mi>π</mi> <mo>∗</mo> </msup> <msub> <mi>α</mi> <mi>i</mi> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> are nef (resp. pseudoeffective) cycles of codimension&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3721_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(c-i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>-</mo> <mi>i</mi> </mrow> </math></EquationSource> </InlineEquation> on <i>X</i>. We also describe the nef/pseudoeffective cycles on <i>Y</i> when <i>E</i> is certain extension of a universally semistable bundle. Our results generalize the key propositions of Fulger (Math Z 269:449–459, 2011) about pseudoeffective cycles on projective bundles over curves. Even when specialized to nef or pseudoeffective divisors, our results are cleaner and more general than some recent computation of Misra et al. (Osaka J Math 59:639–651, 2022; On pseudoeffective cones of projective bundles and volume function, preprint <a href="https://arxiv.org/abs/2203.07007">https://arxiv.org/abs/2203.07007</a>).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Nef or pseudoeffective cycles on projective bundles

  • Shin-Yao Jow

摘要

Let E be a vector bundle of rank r over a smooth projective variety X, and let \(\pi :Y=\mathbb {P}(E)\rightarrow X\) π : Y = P ( E ) X be the associated projective bundle of one-dimensional quotients. We show that if the relative anticanonical divisor \(-K_{Y/X}\) - K Y / X is nef (or equivalently E is universally semistable in the sense of Fulger and Langer (J Algebra 609:657–687, 2022), then the rth self intersection \((K_{Y/X})^r\) ( K Y / X ) r is numerically trivial. Using this, we show that if \(-K_{Y/X}\) - K Y / X is nef, then nef (resp. pseudoeffective) cycles of codimension c on Y are precisely those of the form \(\begin{aligned} \sum _{i=0}^{r-1} (-K_{Y/X})^i \cdot \pi ^* \alpha _i \end{aligned}\) i = 0 r - 1 ( - K Y / X ) i · π α i where \(\alpha _i\) α i are nef (resp. pseudoeffective) cycles of codimension  \(c-i\) c - i on X. We also describe the nef/pseudoeffective cycles on Y when E is certain extension of a universally semistable bundle. Our results generalize the key propositions of Fulger (Math Z 269:449–459, 2011) about pseudoeffective cycles on projective bundles over curves. Even when specialized to nef or pseudoeffective divisors, our results are cleaner and more general than some recent computation of Misra et al. (Osaka J Math 59:639–651, 2022; On pseudoeffective cones of projective bundles and volume function, preprint https://arxiv.org/abs/2203.07007).