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.

Translating the discrete logarithm problem on Jacobians of genus 3 hyperelliptic curves with $(\ell,\ell,\ell)$-isogenies

Non-isogenous superelliptic jacobians II

Some explicit arithmetic on curves of genus three and their applications

Computing gluing and splitting -isogenies

Three-Torsion Subgroups and Conductors of Genus 3 Hyperelliptic Curves

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

On different expressions for invariants of hyperelliptic curves of genus 3

Hyperelliptic curves of genus 3 with prescribed automorphism group

An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves

On (2,2)-decomposable genus 4 Jacobians

Curves on powers of hyperelliptic Jacobians

An explicit theory of heights for hyperelliptic Jacobians of genus three

Computing Isogenies at Singular Points of the Modular Polynomial

Constructing genus 3 hyperelliptic Jacobians with CM

Simplicity of some Jacobians with many automorphisms

Genus 3 curves whose Jacobians have endomorphisms by $Q (ζ_7 +\barζ_7 )$, II

Genus-2 Jacobians with torsion points of large order

Efficient computation of -isogenies

On Galois covers of curves and arithmetic of Jacobians

3-Torsion Subgroups of Jacobians of Plane Quartics