Genus-two Hankel-determinant sigma-function conjecture

From papers

Let Δn\Delta_n be the Hankel determinants whose moments are defined by the recurrence in the source. Let C~\tilde{\mathcal C} be the quintic curve

C~:y2=4x5+j=03c~jxj,\tilde{\mathcal C}: y^2=4x^5+\sum_{j=0}^3\tilde{c}_j x^j,

which is isomorphic to the relevant sextic curve C\mathcal C, and let σ(z)\sigma(\mathbf z) be its genus-two Kleinian sigma function, with period lattice Λ\Lambda. For z0,zC2modΛ\mathbf z_0,\mathbf z\in\mathbb C^2\bmod\Lambda, where

z=2P~2(dxy,xdxy)T,\mathbf z=2\int_{\infty}^{\tilde P_2}\left(\frac{\mathrm d x}{y},\frac{x\,\mathrm d x}{y}\right)^T,

with \infty the unique point at infinity on C~\tilde{\mathcal C} and P~2\tilde P_2 corresponding to 2C\infty_2\in\mathcal C, let a^\hat a and b^\hat b be non-zero constants. Genus-two sigma-function conjecture. The determinants are given by

Δn=a^b^nσ(z0+nz)σ(z)n2.\Delta_n=\hat a\hat b^n\frac{\sigma(\mathbf z_0+n\mathbf z)}{\sigma(\mathbf z)^{n^2}}.

A proof would follow from an analytic solution for the iterates of the associated map. The proposed formula would imply a Somos-8 relation, or a Somos-6 relation under a certain constraint on z\mathbf z, but the source gives no proof.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Andrew N. W. Hone, “Continued fractions and Hankel determinants from hyperelliptic curves”, arXiv:1907.05204 (2019).

Solutions 0

No solutions have been posted yet.