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.

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

Some explicit arithmetic on curves of genus three and their applications

Efficient computation of -isogenies

Gauss-Manin Connection in Disguise: Genus Two Curves

The Generalized Torelli Problem through the geometry of the Gauss map

Genus-2 Jacobians with torsion points of large order

On Galois covers of curves and arithmetic of Jacobians

The genus of a curve of Fermat type

Computing gluing and splitting -isogenies

On (2,2)-decomposable genus 4 Jacobians

Generic models for genus 2 curves with real multiplication

A higher genus circle method and an application to geometric Manin's conjecture

Families of Pairs of Genus 2 Curves with Isomorphic Unpolarized Jacobians

Halfcanonical Gorenstein curves of codimension four

Abelian functions associated with genus three algebraic curves

Constructing all genus 2 curves with supersingular Jacobian

Doubly isogenous curves of genus two with a rational action of $D_6$

Mult-Projective Models for Jacobian Varieties of Genus Two Curves

Inverse Galois problem for ordinary curves

A census of all genus 4 curves over the field with 2 elements

Computing the Cassels-Tate Pairing in the Case of a Richelot Isogeny