<p>We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill–Noether if the general sheaf has at most one non-zero cohomology group. Let (<i>X</i>,&#xa0;<i>H</i>) be a polarized abelian surface and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{v}}=(r, \xi , a)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">v</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>r</mi> <mo>,</mo> <mi>ξ</mi> <mo>,</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a Mukai vector on <i>X</i> with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq2.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{v}}^2 \geqslant 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="bold">v</mi> </mrow> <mn>2</mn> </msup> <mo>⩾</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \cdot H&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>·</mo> <mi>H</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We show that if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (X)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (X)=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>X</i> contains an elliptic curve, then all the moduli spaces <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{X,H}({\textbf{v}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>H</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfy weak Brill–Noether. Conversely, if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (X)&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (X)=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>X</i> does not contain an elliptic curve, we show that there are infinitely many moduli spaces <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="29_2025_1044_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{X,H}({\textbf{v}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>H</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> that fail weak Brill–Noether. As a consequence, we classify Chern classes of Ulrich bundles on abelian surfaces.</p>

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

Weak Brill–Noether on abelian surfaces

  • Izzet Coskun,
  • Howard Nuer,
  • Kōta Yoshioka

摘要

We study the cohomology of a general stable sheaf on an abelian surface. We say that a moduli space satisfies weak Brill–Noether if the general sheaf has at most one non-zero cohomology group. Let (XH) be a polarized abelian surface and let \({\textbf{v}}=(r, \xi , a)\) v = ( r , ξ , a ) be a Mukai vector on X with \({\textbf{v}}^2 \geqslant 0\) v 2 0 , \(r>0\) r > 0 and \(\xi \cdot H>0\) ξ · H > 0 . We show that if \(\rho (X)=1\) ρ ( X ) = 1 or \(\rho (X)=2\) ρ ( X ) = 2 and X contains an elliptic curve, then all the moduli spaces \(M_{X,H}({\textbf{v}})\) M X , H ( v ) satisfy weak Brill–Noether. Conversely, if \(\rho (X)>2\) ρ ( X ) > 2 or \(\rho (X)=2\) ρ ( X ) = 2 and X does not contain an elliptic curve, we show that there are infinitely many moduli spaces \(M_{X,H}({\textbf{v}})\) M X , H ( v ) that fail weak Brill–Noether. As a consequence, we classify Chern classes of Ulrich bundles on abelian surfaces.