Equations satisfied by Igusa Invariants of split Jacobians

Nils Bruin and Kevin Doerksen

Below we list the equations satisfied by the Igusa Invariants of genus 2 curves with (n,n) split Jacobians. To fix notation:

If Jac(C) is optimally (n,n)-split then its absolute invariants satisfy the equations:

Note: All these equations are quite straightforward to find by interpolation if one has a universal model for a genus 2 curve with an appropriately split Jacobian. The case n=2 is classically known. For n=3, see Kuhn's 1988 paper. For n=4, see [Nils Bruin, Kevin Doerksen, The arithmetic of genus two curves with (4,4)-split Jacobians, Canad. J. Math. 63 (2011), 992-1021] or see ArXiv preprint arXiv:0902.3480, 2009).

Usage: The syntax used in the files above will work in most computer algebra packages. For example, in MAGMA you can read in these equations using:

R<i1,i2,i3>:=PolynomialRing(Rationals(),3);
H4:=eval Read("split2x2.m");
H9:=eval Read("split3x3.m");
H16:=eval Read("split4x4.m");

In the 1887 paper

Bolza gives a family of genus 2 curves with (4,4)-split Jacobians. His family can be related to the formulas above using the formulas below: