The Variety of Integrable Killing Tensors on the 3-Sphere

TL;DR

This paper classifies integrable Killing tensors on the 3-sphere, solving the Nijenhuis conditions, describing their solution space, and linking it to algebraic and geometric structures like the associahedron.

Contribution

It provides a complete algebraic classification of integrable Killing tensors on S^3, including their moduli space and associated separation coordinates.

Findings

Solution space described as projective varieties

Moduli space homeomorphic to the associahedron K_4

Explicit identification of all Stäckel systems on S^3

Abstract

Integrable Killing tensors are used to classify orthogonal coordinates in which the classical Hamilton-Jacobi equation can be solved by a separation of variables. We completely solve the Nijenhuis integrability conditions for Killing tensors on the sphere $S^3$ and give a set of isometry invariants for the integrability of a Killing tensor. We describe explicitly the space of solutions as well as its quotient under isometries as projective varieties and interpret their algebro-geometric properties in terms of Killing tensors. Furthermore, we identify all St\"ackel systems in these varieties. This allows us to recover the known list of separation coordinates on $S^3$ in a simple and purely algebraic way. In particular, we prove that their moduli space is homeomorphic to the associahedron $K_4$.