<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> be primes. In this paper we study the mod <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> Galois representations attached to curves of the form <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(y^r = f(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>y</mi> <mi>r</mi> </msup> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <i>f</i> is monic and has coefficients belonging to the <i>r</i>th cyclotomic field. We provide conditions on the coefficients (and degree) of <i>f</i> which allow one to verify the mod <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> image is large outside of a (typically small) finite explicit set of primes. We allow all values of <i>r</i> for which the <i>r</i>th cyclotomic field has odd class number. This appears to be the first explicit result for abelian varieties of dimension greater than two and not of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\textrm{GL}}\,}}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-type which allows the ground field to have unramified extensions. To determine the exact image we study the “endomorphism character”, a certain algebraic Hecke character which generalises the CM character. This is achieved in entirety when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3658_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. To the author’s knowledge, this is the first accurate description of the full image in the literature. Finally, we give several examples with genus ranging from 10 to 36. Applications to the Inverse Galois Problem are also included.</p>

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

Superelliptic curves with large Galois images

  • Pip Goodman

摘要

Let \(r>2\) r > 2 and \(\ell \) be primes. In this paper we study the mod \(\ell \) Galois representations attached to curves of the form \(y^r = f(x)\) y r = f ( x ) where f is monic and has coefficients belonging to the rth cyclotomic field. We provide conditions on the coefficients (and degree) of f which allow one to verify the mod \(\ell \) image is large outside of a (typically small) finite explicit set of primes. We allow all values of r for which the rth cyclotomic field has odd class number. This appears to be the first explicit result for abelian varieties of dimension greater than two and not of \({{\,\mathrm{\textrm{GL}}\,}}_2\) GL 2 -type which allows the ground field to have unramified extensions. To determine the exact image we study the “endomorphism character”, a certain algebraic Hecke character which generalises the CM character. This is achieved in entirety when \(r=3\) r = 3 . To the author’s knowledge, this is the first accurate description of the full image in the literature. Finally, we give several examples with genus ranging from 10 to 36. Applications to the Inverse Galois Problem are also included.