Abstract:Computation of Gauss's arithmetic-geometric mean involves iteration of a simple step, whose algebro-geometric interpretation is the construction of an elliptic curve isogenous to a given one, specifically one whose period is double the original period. A higher genus analogue should involve the explicit construction of a curve whose jacobian is isogenous to the jacobian of a given curve. The doubling of the period matrix means that the kernel of the isogeny should be a lagrangian subgroup of the group of points of order 2 in the jacobian. In genus 2 such a construction was given classically by Humbert and was studied more recently by Bost and Mestre. In this article we give such a construction for general curves of genus 3. We also give a similar but simpler construction for hyperelliptic curves of genus 3. We show that the hyperelliptic construction is a degeneration of the general one, and we prove that the kernel of the induced isogeny on jacobians is a lagrangian subgroup of the points of order 2. We show that for g at least 4 no similar construction exists, and we also reinterpret the genus 2 case in our setup. Our construction of these correspondences uses the bigonal and the trigonal constructions, familiar in the theory of Prym varieties.

On Hyperelliptic Curves of Odd Degree and Genus g with Six Torsion Points of Order 2g + 1

Bounds on the number of torsion points of given order on curves embedded in their jacobians

Quadratic torsion orders on Jacobian varieties

On Mod 2 and Higher Elliptic Genera

Torsion points of small order on cyclic covers of $\mathbb P^1$

Rational torsion on hyperelliptic jacobian varieties

Genus-2 Jacobians with torsion points of large order

A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points

A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Extending hyperelliptic K3 surfaces, and Godeaux surfaces with torsion Z/2

On (2,2)-decomposable genus 4 Jacobians

On the Torsion Generators of the Mapping Class Groups

On a Galois cover of the Hermitian curve of genus $\mathfrak{g}=\frac{1}{8}(q-1)^2$

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

100% of odd hyperelliptic Jacobians have no rational points of small height

The tropical Manin-Mumford conjecture

Halfcanonical Gorenstein curves of codimension four

Cyclic Cubic Points on Higher Genus Curves

Sporadic Cubic Torsion

Torsion Points on CM Elliptic Curves Over Real Number Fields

The arithmetic-geometric mean and isogenies for curves of higher genus