<p>We present an efficient algorithm to compute the Euler factor of a genus 2 curve <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2024_605_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(C/\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation> at an odd prime <i>p</i> that is of bad reduction for <i>C</i> but of good reduction for the Jacobian of <i>C</i> (a prime of “almost good” reduction). Our approach is based on the theory of cluster pictures introduced by Dokchitser, Dokchitser, Maistret, and Morgan, which allows us to reduce the problem to a short, explicit computation over <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2024_605_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2024_605_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>, followed by a point-counting computation on two elliptic curves over <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2024_605_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>, or a single elliptic curve over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2024_605_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{p^2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <msup> <mi>p</mi> <mn>2</mn> </msup> </msub> </math></EquationSource> </InlineEquation>. A key feature of our approach is that we avoid the need to compute a regular model for <i>C</i>. This allows us to efficiently compute many examples that are infeasible to handle using the algorithms currently available in computer algebra systems such as Magma and Pari/GP.</p>

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

Computing Euler factors of genus 2 curves at odd primes of almost good reduction

  • Céline Maistret,
  • Andrew V. Sutherland

摘要

We present an efficient algorithm to compute the Euler factor of a genus 2 curve \(C/\mathbb {Q}\) C / Q at an odd prime p that is of bad reduction for C but of good reduction for the Jacobian of C (a prime of “almost good” reduction). Our approach is based on the theory of cluster pictures introduced by Dokchitser, Dokchitser, Maistret, and Morgan, which allows us to reduce the problem to a short, explicit computation over \(\mathbb {Z}\) Z and \(\mathbb {F}_p\) F p , followed by a point-counting computation on two elliptic curves over \(\mathbb {F}_p\) F p , or a single elliptic curve over \(\mathbb {F}_{p^2}\) F p 2 . A key feature of our approach is that we avoid the need to compute a regular model for C. This allows us to efficiently compute many examples that are infeasible to handle using the algorithms currently available in computer algebra systems such as Magma and Pari/GP.