English

Hyperelliptic tangential covers and even elliptic finite-gap potentials, back and forth

Algebraic Geometry 2025-01-29 v1

Abstract

Let (X,ω0):=(C/Λ,0)(X,\omega_0):=(\mathbb{C}/\Lambda,0) denote the elliptic curve associated to the lattice Λ\Lambda, X2:={ω0,,ω3}X_2:=\{\omega_0,\cdots, \omega_3\} its set of half-periods and :XP1\wp:X \to \mathbb{P}^1 the usual Weierstrass \wp function, with a double pole at the origin ω0\omega_0. Fix (α,m)N4×N(\alpha,m)\in \mathbb{N}^4\times \mathbb{N} and consider a function uξ(x)=03αi(αi+1)(x-ωi)+2j=1m((x-ρj)+(x+ρj)),u_\xi(x) = \sum_0^3 \alpha_i(\alpha_i+1)\wp(x\,\textrm{-}\,\omega_i) +2\sum_{j=1}^m \left(\wp(x\, \textrm{-}\, \rho_j)+\wp(x+\rho_j)\right), where {ρj}(XX2)(m)\{\rho_j\} \in (X \setminus X_2)^{(m)}. The latter is known to be a so-called (even, Λ\Lambda-periodic) finite-gap potential, if and only if {ρj}\{\rho_j\} satisfies the so-called (D-G) square system of equations. We let PotX(α,m)\mathcal{P}ot_X(\alpha,m) denote the set of such potentials. Any such potential corresponds to a unique spectral data (π,ξ)(\pi,\xi), where π:ΓX\pi: \Gamma \to X is a hyperelliptic tangential cover of degree n:=12(iαi(αi+1)+4m)n:=\frac{1}{2}(\sum_i\alpha_i(\alpha_i+1)+4m) and ξ\xi a θ\theta-characteristic of the spectral curve Γ\Gamma. The problem at stake is to find out all spectral data of the family PotX(m):=αN4PotX(α,m),\mathcal{P}ot_X(m) := \bigcup_{\alpha\in \mathbb{N}^4} \mathcal{P}ot_X(\alpha,m), for any mm. The latter problem has been thoroughly studied for PotX(0)\mathcal{P}ot_X(0) and PotX(1)\mathcal{P}ot_X(1). In this article we go one step further, by studying all spectral data of each family PotX(α,2)\mathcal{P}ot_X(\alpha,2). We find the bound #PotX(α,2)27\#\mathcal{P}ot_X(\alpha,2)\leq 27, for any αN4\alpha\in \mathbb{N}^4, with equality for a generic elliptic curve XX. We also find a formula for the arithmetic geni of the corresponding spectral curves in terms of α\alpha, which we generalize to PotX(α,m)\mathcal{P}ot_X(\alpha,m) for any mm. At last, we conclude with a natural conjecture, leading to a recursive formula in dNd\in \mathbb{N}, for the cardinals of PotX(α,d)\mathcal{P}ot_X(\alpha,d).

Keywords

Cite

@article{arxiv.2501.16483,
  title  = {Hyperelliptic tangential covers and even elliptic finite-gap potentials, back and forth},
  author = {Armando Treibich},
  journal= {arXiv preprint arXiv:2501.16483},
  year   = {2025}
}
R2 v1 2026-06-28T21:20:44.596Z