Genus-two Hankel-determinant sigma-function conjecture

About 7 years old · traced to

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,z∈C2 mod Λ\mathbf z_0,\mathbf z\in\mathbb C^2\bmod\Lambda, where

z=2∫∞P~2(dxy,x dxy)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 ∞2∈C\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.