Stäckel and Eisenhart lifts, Haantjes geometry and Gravitation

Résumé technique : Élévations de Stäckel et d'Eisenhart, géométrie de Haantjes et gravitation

Énoncé du problème
L'article traite de la géométrisation de la dynamique, un programme inauguré par Eisenhart en 1928, qui décrit les systèmes mécaniques comme des flux géodésiques dans des espaces de dimension supérieure. Alors que l'élévation d'Eisenhart classique (versions riemannienne et lorentzienne) parvient à intégrer avec succès des systèmes mécaniques dotés de potentiels scalaires et vectoriels dans des variétés pseudo-riemanniennes de dimension supérieure, les auteurs cherchent un cadre plus unifié et flexible. Plus précisément, ils visent à :

1. Généraliser l'élévation d'Eisenhart pour construire de nouvelles classes de systèmes hamiltoniens intégrables.
2. Clarifier la relation entre ces élévations géométriques et la géométrie de Haantjes, notamment concernant la structure des variétés symplectiques-Haantjes.
3. Explorer la génération de métriques dépendantes de l'impulsion et de flux non géodésiques qui peuvent avoir des applications dans la gravité modifiée et les systèmes magnétiques.

Méthodologie
Les auteurs introduisent l'élévation de Stäckel, une procédure ancrée dans la géométrie de Stäckel généralisée. La méthodologie centrale implique :

• L'élévation de la matrice de Stäckel : En partant d'un système hamiltonien intégrable de dimension $n$ défini sur un fibré cotangent $T^*Q$ avec une matrice de Stäckel $n \times n$ associée, les auteurs construisent une « matrice d'élévation » $(n+1) \times (n+1)$ notée $L^{(n+1)}$.
• Dépendance à l'impulsion : Contrairement aux matrices de Stäckel standards qui ne dépendent que des coordonnées de configuration, la matrice d'élévation $L^{(n+1)}$ inclut une ligne et une colonne supplémentaires contenant des fonctions qui dépendent explicitement d'une nouvelle paire de variables conjuguées $(q_{n+1}, p_{n+1})$. Cela résulte en une matrice de Stäckel généralisée qui dépend de la nouvelle impulsion $p_{n+1}$.
• Construction du Hamiltonien : Le système hamiltonien élevé est défini via l'inverse de la matrice d'élévation agissant sur un vecteur de fonctions arbitraires $f_i(q_i, p_i)$. Cette procédure génère un ensemble de $n+1$ hamiltoniens en involution.
• Analyse de Haantjes : Les auteurs analysent les systèmes résultants en utilisant la théorie des variétés $\omega H$ (symplectiques-Haantjes). Ils étudient les propriétés des opérateurs de Haantjes associés aux hamiltoniens élevés, en vérifiant spécifiquement la projectabilité le long des fibres du fibré cotangent étendu.
• Applications itératives et spécifiques : La méthode est appliquée de manière itérative pour générer des modèles de dimension supérieure. Les applications spécifiques incluent la reconstruction des élévations d'Eisenhart, l'analyse des systèmes de Smorodinsky-Winternitz, la construction de géométries d'ondes de Platonic et le traitement de systèmes magnétiques séparables en coordonnées cylindriques.

Contributions clés et résultats

1. Unification des élévations d'Eisenhart et de Stäckel (Théorème 1) :
   Les auteurs prouvent que l'élévation d'Eisenhart riemannienne classique est un cas spécifique de l'élévation de Stäckel. En choisissant une forme spécifique pour la matrice d'élévation (où la dernière ligne et la dernière colonne sont constantes ou dépendent uniquement des variables de configuration), l'hamiltonien géodésique standard d'Eisenhart est récupéré. Cela établit l'élévation de Stäckel comme une généralisation englobant le cadre d'Eisenhart.

2. Structures de Haantjes non projectables (Théorème 2) :
   Un résultat central est la preuve que les élévations de Stäckel, particulièrement celles avec des coefficients dépendant de l'impulsion, dotent l'espace de phase étendu $T^*\tilde{Q}$ d'une structure symplectique-Haantjes non triviale.

• Crucialement, lorsque la matrice d'élévation dépend des impulsions, les opérateurs de Haantjes associés sont non projectables. Ils ne peuvent pas être réduits à des opérateurs sur l'espace de configuration avec une torsion de Haantjes nulle. Cela distingue les élévations dépendantes de l'impulsion des élévations purement géodésiques et représente une classe véritablement nouvelle de structures géométriques.

3. Génération d'ondes de Platonic et de modèles de gravité modifiée :
   L'article démontre que les matrices d'élévation explicitement dépendantes de l'impulsion génèrent des géométries d'ondes de Platonic. Ce sont des espaces-temps admettant un champ de Killing nul qui est parallèle par rapport à une métrique conformement liée.

• Les auteurs fournissent un exemple explicite d'une onde de Platonic intégrable avec des fronts d'onde plats mais une courbure scalaire de Ricci non constante.
• Ils notent que bien que ces géométries ne soient pas nécessairement des solutions aux équations d'Einstein standards, elles servent de modèles intégrables qui pourraient potentiellement émerger dans les théories de la gravité modifiée (par exemple, la gravité $f(R)$).

4. Flux non géodésiques et intégrales d'ordre supérieur :
   L'élévation de Stäckel montre qu'elle génère des familles de systèmes hamiltoniens intégrables non géodésiques. En choisissant des fonctions spécifiques dans la matrice d'élévation, les auteurs construisent des systèmes avec :

• Des intégrales de mouvement d'ordre supérieur (transcendantes en impulsions).
• Des termes linéaires en impulsions (associés à une dynamique gyroscopique ou dissipative).
  Ces systèmes ne sont pas restreints au mouvement géodésique dans un espace pseudo-riemannien, mais définissent des flux dynamiques plus généraux.

5. Application aux systèmes magnétiques cylindriques :
   Le cadre est appliqué à des systèmes magnétiques séparables en coordonnées cylindriques. Les auteurs construisent des matrices de Stäckel pour trois cas distincts de tels systèmes.

• Ils soulignent une hiérarchie subtile : le Cas 3 (où seule la coordonnée $z$ est cyclique) permet une formulation de Stäckel directe qui préserve la dynamique sur les ensembles de niveau.
• Les Cas 1 et 2 nécessitent d'incorporer le coefficient géométrique $1/r^2$ dans le changement de base. Cette modification altère le Hamiltonien lui-même plutôt que de simplement reparamétrer la dynamique, démontrant que le cadre de Stäckel peut intégrer ces systèmes mais peut nécessiter la modification de la fonction d'énergie pour maintenir la séparabilité.

Signification et revendications
L'article affirme établir l'élévation de Stäckel comme un cadre géométrique unifié pour la construction de systèmes hamiltoniens intégrables de dimension $n+k$ à partir de systèmes sources de dimension inférieure.

• Perspective structurelle : Il recadre l'élévation d'Eisenhart non pas comme une insertion ad hoc, mais comme une conséquence de la géométrie de Stäckel généralisée.
• Nouveauté géométrique : La découverte de structures de Haantjes non projectables dans les élévations dépendantes de l'impulsion suggère une classe plus large de systèmes intégrables où la séparation des variables n'est pas liée à des tenseurs de Killing sur l'espace de configuration.
• Pertinence physique : La construction fournit une méthode systématique pour générer des modèles d'espace-temps intégrables (ondes de Platonic) et des espaces de Hamilton/Finsler avec des métriques dépendant de l'impulsion. Ceux-ci sont pertinents pour des domaines tels que la relativité spéciale déformée, la phénoménologie de la gravité quantique et l'étude des pièges magnétiques.
• Polyvalence : La capacité de générer des flux non géodésiques, des intégrales d'ordre supérieur et des systèmes avec des termes linéaires en impulsion étend la portée de la théorie des systèmes intégrables au-delà du mouvement géodésique traditionnel.

Les auteurs maintiennent une position modeste concernant la réalisation physique de leurs exemples, notant que bien que les ondes de Platonic construites soient intégrables et possèdent des propriétés géométriques intéressantes, leur statut de solutions à des équations de champ de gravité modifiée spécifiques reste une question ouverte pour des travaux futurs. De même, la classification des structures de Haantjes non projectables et les analogues quantiques des systèmes d'ordre supérieur sont identifiés comme des directions pour la recherche future.