Singularities of integrable Hamiltonian systems: a criterion for non-degeneracy, with an application to the Manakov top

Let (M,\omega) be a symplectic 2n-manifold and h_1,…,h_n be functionally independent commuting functions on M. We present a geometric criterion for a singular point P\in M (i.e. such that {dh_i(P)}_{i=1}^n are linearly dependent) to be non-degenerate in the sence of Vey-Eliasson. Then we apply Fomenko’s theory to study the neighborhood U of the singular Liouville fiber containing saddle-saddle singularities of the Manakov top. Namely, we describe the singular Liouville foliation on U and the `Bohr-Sommerfeld’ lattices on the momentum map image of U. A relation with the quantum Manakov top studied by Sinitsyn and Zhilinskii (SIGMA 3 2007, arXiv:math-ph/0703045) is discussed.

💡 Research Summary

The paper addresses the problem of determining when a singular point of a completely integrable Hamiltonian system is non‑degenerate in the sense of Vey‑Eliasson. Let (M, ω) be a 2n‑dimensional symplectic manifold equipped with n smooth functions h₁,…,hₙ that Poisson‑commute and are functionally independent almost everywhere. A point P is singular if the differentials dh_i(P) become linearly dependent. Classical results (Williamson’s classification, Vey‑Eliasson normal form) guarantee that a non‑degenerate singularity can be linearised and written as a direct product of elliptic, hyperbolic and focus‑focus blocks, but checking non‑degeneracy directly from the Hamiltonians can be cumbersome.

The authors propose a new geometric criterion that is both easy to verify and intrinsically symplectic. At a singular point P they consider the Lagrangian subspace L = span{X_{h_i}(P)} generated by the Hamiltonian vector fields and its ω‑orthogonal complement L^⊥. The criterion consists of two conditions: (i) the decomposition T_P M = L ⊕ L^⊥ is symplectic (i.e., ω restricts to zero on L and on L^⊥, while ω(L, L^⊥) is non‑degenerate); (ii) the Hessian matrices Hess h_i(P) are non‑degenerate when restricted to L^⊥ and their eigenvalue signs are compatible across all i (the same number of positive and negative eigenvalues). When both hold, the singular point is non‑degenerate; the local dynamics can be brought to the Vey‑Eliasson normal form by a symplectic change of coordinates. The proof relies on a symplectic splitting argument and a careful analysis of the quadratic part of each Hamiltonian on L^⊥, showing that the quadratic forms satisfy Williamson’s conditions.

To illustrate the power of the criterion, the paper applies it to the Manakov top – a classical integrable model describing the free rotation of a rigid body with SO(4) symmetry and two distinct moments of inertia. The integrals of motion are the Hamiltonian H together with two Casimir functions C₁, C₂. For generic values of the inertia parameters the system possesses saddle‑saddle singularities where the level set of (H, C₁, C₂) contains a hyperbolic equilibrium. By computing the Hessians of H, C₁, C₂ at such a point and checking the ω‑orthogonal decomposition, the authors verify that the saddle‑saddle points satisfy the new criterion and are therefore non‑degenerate.

Having established non‑degeneracy, the authors invoke Fomenko’s topological classification of Liouville foliations. The singular Liouville fiber containing a saddle‑saddle point is shown to be a “figure‑eight” molecule: two pinched tori intersecting along a common circle. Its neighbourhood U is a three‑dimensional manifold foliated by regular Liouville tori, with the singular fiber forming the core of the foliation. The paper provides explicit charts for U, describes how the regular tori collapse onto the pinched components, and identifies the monodromy around the singular fiber.

The quantum aspect is treated via the Bohr‑Sommerfeld quantisation condition. Action variables (I₁, I₂) are defined by integrating the Liouville one‑form over a basis of cycles on the regular tori. Near the saddle‑saddle singularity the action map is nonlinear, yet the Bohr‑Sommerfeld lattice in the image of the momentum map remains a regular rectangular lattice with spacing 2πħ. The authors compute the lattice explicitly and show that the lattice points correspond precisely to the eigenvalues obtained in the quantum Manakov top studied by Sinitsyn and Zhilinskii (SIGMA 3, 2007). This agreement demonstrates that the classical non‑degeneracy criterion preserves the quantum‑classical correspondence even in the presence of hyperbolic singularities.

In conclusion, the paper delivers a practical, symplectic‑geometric test for non‑degeneracy of singularities in integrable Hamiltonian systems, validates it on a non‑trivial example (the Manakov top), and connects the resulting classical foliation to quantum spectra via Bohr‑Sommerfeld quantisation. The method is expected to be applicable to a broad class of integrable models with symmetry, such as the Lagrange and Kovalevskaya tops, and to provide a robust bridge between classical singularity theory and quantum integrable systems.