Integrable systems on the sphere associated with genus three algebraic curves

New variables of separation for few integrable systems on the two-dimensional sphere with higher order integrals of motion are considered in detail. We explicitly describe canonical transformations of initial physical variables to the variables of separation and vice versa, calculate the corresponding quadratures and discuss some possible integrable deformations of initial systems.

💡 Research Summary

The paper investigates new separation variables for several integrable systems defined on the two‑dimensional unit sphere S², focusing on models that possess higher‑order integrals of motion. Starting from the Lie‑Poisson algebra e*(3) with the standard brackets {J_i,J_j}=ε_{ijk}J_k, {J_i,x_j}=ε_{ijk}x_k, {x_i,x_j}=0, the authors impose the Casimir constraints C₁=|x|²=1 and C₂=⟨x,J⟩=0, which restrict the dynamics to the cotangent bundle T* S². In spherical coordinates (φ,θ) and their conjugate momenta (p_φ,p_θ) the Hamiltonian equations acquire a canonical form.

A central construction is the quadratic polynomial B(λ) whose roots q₁,q₂ are taken as new configuration variables, together with an auxiliary polynomial A(λ) that yields the conjugate momenta p₁,p₂ via p_j=−A(λ=q_j). The pair (q_i,p_i) satisfies the canonical Poisson relations and provides a real‑valued separation of variables, in contrast to the classical complex variables (z₁=J₁+iJ₂, z₂=J₁−iJ₂) used by Kowalevski.

For the Kowalevski top (α=1, a=0) the authors derive explicit inverse transformations (eq. 2.5) expressing the original physical variables (x_i,J_i) in terms of (q_k,p_k). The separation relations take the form Φ(q,p)=0, where Φ is a cubic polynomial in λ and defines a genus‑three hyperelliptic curve. The associated holomorphic differentials Ω₁, Ω₂, Ω₃ are written explicitly, and the dynamics reduces to Abel–Jacobi quadratures ∫Ω₁ = β₁, ∫Ω₃ = −2t+β₂, which solve the equations of motion in terms of theta‑functions on the Jacobian of the genus‑3 curve. The paper also discusses how the classical Kowalevski separation (based on complex variables) can be recovered by a simple shift of the real variables.

Generalized Kowalevski tops are obtained by adding parameters (c,d,e) to the Hamiltonian (eqs. 2.9‑2.11). These deformations introduce gyroscopic and higher‑order potential terms while preserving the same genus‑3 curve and the same Abel–Jacobi map, showing that the separation structure is robust under such perturbations.

The Chaplygin system is treated analogously with α=2 and b=0. The separation coordinates again arise as roots of B(λ) (eq. 2.1) and the momenta from A(λ). The inverse formulas (eq. 2.13) map back to the original variables, and the admissible domain is q₁>a>q₂. In the undeformed case the separation relation defines a genus‑2 hyperelliptic curve; however, by introducing additional parameters (b,e) in the separated relation (eq. 2.16) the curve is lifted to genus 3, mirroring the situation for the Kowalevski top.

Overall, the paper follows a clear logical progression: (1) formulation of the sphere dynamics via e*(3) and Casimir constraints; (2) construction of B(λ) and A(λ) leading to real separation variables; (3) explicit application to the Kowalevski top and Chaplygin system, including detailed inverse transformations; (4) derivation of separated relations that define genus‑3 algebraic curves; (5) presentation of Abel–Jacobi quadratures and discussion of theta‑function solutions; (6) introduction of integrable deformations that preserve the underlying algebraic curve. By extending the classical hyperelliptic (genus 2) framework to genus 3, the authors provide a unified geometric picture for a class of sphere‑based integrable models and open the way for further exploration of higher‑genus separability, numerical integration schemes, and potential quantum analogues.