<p>Motivated by classical works of Gauss and Euler on the arithmetic–geometric mean (AGM), Ono and his collaborators (Am Math Mon 130(4):355–369, 2023; Contemp Math 818:197–210, 2025) investigated the union of AGM sequences over finite fields <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1169_Article_IEq3.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>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1169_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(q \equiv 3 \bmod 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>3</mn> <mspace width="0.277778em" /> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, which they refer to as swarms of jellyfish. A recent paper (Kayath et al. in Res Number Theory 11(48): 2025) extends some of their results to all finite fields with odd characteristic. For <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1169_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(q \equiv 5 \bmod 8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>5</mn> <mspace width="0.277778em" /> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> </mrow> </math></EquationSource> </InlineEquation>, we reveal finer details about the structure of the connected components, which turn out to be variants of jellyfish with longer and branched tentacles. Moreover, we determine the total population of these swarms in terms of the celebrated base “congruent number” elliptic curve.</p>

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

Dynamical structure of AGM over finite fields with order congruent to \(5 \bmod 8\)

  • Daniel A. N. Vargas

摘要

Motivated by classical works of Gauss and Euler on the arithmetic–geometric mean (AGM), Ono and his collaborators (Am Math Mon 130(4):355–369, 2023; Contemp Math 818:197–210, 2025) investigated the union of AGM sequences over finite fields \({{\mathbb {F}}}_q\) F q , where \(q \equiv 3 \bmod 4\) q 3 mod 4 , which they refer to as swarms of jellyfish. A recent paper (Kayath et al. in Res Number Theory 11(48): 2025) extends some of their results to all finite fields with odd characteristic. For \(q \equiv 5 \bmod 8\) q 5 mod 8 , we reveal finer details about the structure of the connected components, which turn out to be variants of jellyfish with longer and branched tentacles. Moreover, we determine the total population of these swarms in terms of the celebrated base “congruent number” elliptic curve.