323a539a373a4647.tex
1: \begin{abstract} The classical $\AGM$ produces wonderful infinite sequences of arithmetic and geometric means with common limit. For finite fields $\F_q,$ with $q\equiv 3\pmod 4,$ we introduce a finite field analogue $\AGM_{\F_q}$ that
2: spawns directed finite graphs instead of infinite sequences. The compilation of these graphs reminds one of a {\it jellyfish swarm}, as the
3: 3D renderings of the connected components resemble {\it jellyfish} (i.e., tentacles connected to a bell head).
4: These swarms turn out to be more than the stuff of child's play; they are taxonomical devices in number theory. Each  jellyfish is an isogeny graph of elliptic curves with isomorphic 
5:  groups of $\F_q$-points, which can be used to prove that each swarm has at least
6:  $(1/2-\varepsilon)\sqrt{q}$ jellyfish.
7:  This interpretation also gives a description of the  {\it class numbers} of Gauss, Hurwitz, and Kronecker which is akin to counting types of spots on jellyfish.
8: \end{abstract}
9: