<p>Brill-Noether loci <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1616_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {M}}^r_{g,d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mrow> <mi>g</mi> <mo>,</mo> <mi>d</mi> </mrow> <mi>r</mi> </msubsup> </math></EquationSource> </InlineEquation> are those subsets of the moduli space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1616_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {M}}_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">M</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> determined by the existence of a linear series of degree <i>d</i> and dimension <i>r</i>. By looking at non-singular curves in a neighborhood of a special chain of elliptic curves, we provide a new proof of the non-emptiness of the Brill-Noether loci when the expected codimension satisfies <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1616_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </InlineMediaObject> <EquationSource Format="TEX">\(-g+r+1\le \rho (g,r,d)\le 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>g</mi> <mo>+</mo> <mi>r</mi> <mo>+</mo> <mn>1</mn> <mo>≤</mo> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>r</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and prove that for a generic point of a component of this locus, the Petri map is onto. As an application, we show that Brill-Noether loci of the same codimension are distinct when the codimension is not too large, substantially generalizing the known result in codimensions 1 and 2. We also provide a new technique for checking that Brill-Noether loci are not included in each other.</p>

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

Brill-Noether loci

  • Montserrat Teixidor i Bigas

摘要

Brill-Noether loci \({\mathcal {M}}^r_{g,d}\) M g , d r are those subsets of the moduli space \({\mathcal {M}}_g\) M g determined by the existence of a linear series of degree d and dimension r. By looking at non-singular curves in a neighborhood of a special chain of elliptic curves, we provide a new proof of the non-emptiness of the Brill-Noether loci when the expected codimension satisfies \(-g+r+1\le \rho (g,r,d)\le 0\) - g + r + 1 ρ ( g , r , d ) 0 and prove that for a generic point of a component of this locus, the Petri map is onto. As an application, we show that Brill-Noether loci of the same codimension are distinct when the codimension is not too large, substantially generalizing the known result in codimensions 1 and 2. We also provide a new technique for checking that Brill-Noether loci are not included in each other.