<p>In this paper, we define a version of the arithmetic-geometric mean (AGM) function for arbitrary finite fields <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_629_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>, and study the resulting AGM graph with points <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_629_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\((a,b) \in \mathbb {F}_q \times \mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo>×</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and directed edges between points (<i>a</i>,&#xa0;<i>b</i>), <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_629_Article_IEq3.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\((\frac{a+b}{2},\sqrt{ab})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>a</mi> <mo>+</mo> <mi>b</mi> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <msqrt> <mrow> <mi mathvariant="italic">ab</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and (<i>a</i>,&#xa0;<i>b</i>), <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_629_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\((\frac{a+b}{2},-\sqrt{ab})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>a</mi> <mo>+</mo> <mi>b</mi> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <mo>-</mo> <msqrt> <mrow> <mi mathvariant="italic">ab</mi> </mrow> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The points in this graph are naturally associated to elliptic curves over <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_629_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> in Legendre normal form, with the AGM function defining a 2-isogeny between the associated curves. We use this correspondence to prove several results on the structure, size, and multiplicity of the connected components in the AGM graph.</p>

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

AGM aquariums and elliptic curves over arbitrary finite fields

  • June Kayath,
  • Connor Lane,
  • Ben Neifeld,
  • Tianyu Ni,
  • Hui Xue

摘要

In this paper, we define a version of the arithmetic-geometric mean (AGM) function for arbitrary finite fields \(\mathbb {F}_q\) F q , and study the resulting AGM graph with points \((a,b) \in \mathbb {F}_q \times \mathbb {F}_q\) ( a , b ) F q × F q and directed edges between points (ab), \((\frac{a+b}{2},\sqrt{ab})\) ( a + b 2 , ab ) and (ab), \((\frac{a+b}{2},-\sqrt{ab})\) ( a + b 2 , - ab ) . The points in this graph are naturally associated to elliptic curves over \(\mathbb {F}_q\) F q in Legendre normal form, with the AGM function defining a 2-isogeny between the associated curves. We use this correspondence to prove several results on the structure, size, and multiplicity of the connected components in the AGM graph.