We provide an extension of the Gromov--Zimmer Embedding Theorem for Cartan geometries of [3] to tractor bundles carrying any invariant connection, including tractor connections and prolongation connections of first BGG operators for parabolic geometries. As an application, we prove a rigidity result for conformal actions of special pseudo-unitary groups on closed, simply connected, analytic pseudo-Riemannian manifolds.
- ID de l'article: 2505.14665
- Titre: An Embedding Theorem for tractor bundles, and an application in conformal pseudo-Riemannian geometry
- Auteurs: Karin Melnick, Katharina Neusser
- Classification: math.DG (Géométrie différentielle)
- Date de publication: Mai 2025 (prépublication arXiv)
- Lien de l'article: https://arxiv.org/abs/2505.14665
Cet article généralise le théorème d'encastrement de Gromov-Zimmer pour les géométries de Cartan, établi par Bader, Frances et le premier auteur dans la référence 3, aux fibrés tracteurs munis de connexions invariantes arbitraires, incluant les connexions tracteurs et les connexions d'extension des premiers opérateurs BGG en géométrie parabolique. En application, les auteurs démontrent un résultat de rigidité pour les actions conformes du groupe pseudo-unitaire spécial sur des variétés pseudo-riemanniennes fermées, simplement connexes et analytiques.
- Problème central: Le théorème d'encastrement de Gromov-Zimmer classique traite principalement des automorphismes infinitésimaux. Cet article vise à le généraliser au cadre plus général des sections parallèles de fibrés tracteurs.
- Importance:
- Les sections parallèles de fibrés tracteurs correspondent aux solutions d'importantes équations aux dérivées partielles géométriques sur les variétés
- Ces équations incluent les équations conformes quasi-Einstein, les équations de formes de Killing conformes, les équations de spineurs twistoriels, etc.
- La généralisation du théorème d'encastrement fournit un cadre unifié pour l'étude de la rigidité de ces structures géométriques
- Limitations des approches existantes:
- Le théorème de Gromov-Zimmer original s'applique uniquement aux automorphismes infinitésimaux
- Il ne peut pas traiter directement l'espace plus large des solutions d'EDP géométriques
- Il manque un cadre théorique pour traiter les connexions invariantes générales
- Motivation de la recherche:
- Traiter uniformément les groupes d'automorphismes de diverses structures géométriques
- Fournir de nouveaux outils pour les problèmes de rigidité en géométrie conforme
- Établir des liens profonds entre la théorie des fibrés tracteurs et la théorie des actions de groupes de Lie
- Généralisation du théorème principal: Extension du théorème d'encastrement de Gromov-Zimmer des automorphismes infinitésimaux aux sections parallèles de connexions invariantes arbitraires sur les fibrés tracteurs
- Établissement d'un cadre technique: Construction d'un cadre théorique complet pour traiter les problèmes généraux d'encastrement de fibrés tracteurs
- Application à la géométrie conforme: Démonstration d'un résultat de rigidité pour les actions conformes du groupe pseudo-unitaire spécial SU(p′,q′) sur les variétés pseudo-riemanniennes
- Analyse algébrique: Fourniture d'une analyse algébrique précise des correspondances de systèmes de racines, en particulier une caractérisation complète dans le cas extrême p = 2p′ - 1
Étudier les fibrés tracteurs V = M̂ ×ρ V sur une géométrie de Cartan (M, M̂, ω), où ρ est une G-représentation et V est muni d'une connexion invariante ∇. L'objectif est d'établir une relation d'encastrement entre l'espace des sections parallèles S et les représentations de groupes de Lie.
Théorème 1.1 (Théorème d'encastrement pour fibrés tracteurs):
Soit (M, M̂, ω) une géométrie de Cartan de modèle (g, P), ρ une G-représentation infinitésimalement fidèle et complètement réductible, V le fibré tracteur correspondant muni d'une connexion invariante ∇. Soit B ≤ Aut(M,ω) un sous-groupe de Lie préservant une mesure de probabilité μ, et S l'espace des sections ∇-parallèles de V.
Alors pour μ-presque tout x ∈ M, pour tout x̂ ∈ M̂x, il existe un sous-groupe algébrique B̌ < P et un épimorphisme algébrique ρ : B̌ → B̄d tels que:
g⋅ιx^(X)=ιx^(ρ(g)⋅X)∀X∈S,g∈Bˇ
- Généralisation de la connexion: Extension de la connexion tracteur ∇ω à des connexions invariantes arbitraires, en particulier les connexions d'extension des opérateurs BGG ∇V
- Application du théorème de densité de Borel: Utilisation ingénieuse du théorème de densité de Borel pour surmonter les difficultés techniques de la théorie de la mesure
- Analyse de la structure algébrique: Analyse approfondie des correspondances de l'application d'encastrement au niveau des espaces racinaires
- Variétés: Variétés pseudo-riemanniennes fermées, simplement connexes et analytiques (M,g), de signature (p,q), p ≤ q
- Actions de groupes: Groupe H localement isomorphe à SU(p′,q′), où p′ < q′
- Structure conforme: Géométrie conforme correspondant à l'espace de Möbius Möbp,q
- Analyse algébrique: Utilisation de la théorie des systèmes de racines pour analyser les encastrements d'algèbres de Lie
- Analyse géométrique: Étude des structures géométriques via les connexions de fibrés tracteurs
- Méthodes de théorie de la mesure: Application du théorème de densité de Borel pour traiter les propriétés presque partout
Théorème 1.2: Soit (M,g) une variété pseudo-riemannienne fermée de signature (p,q), p ≤ q, p + q = dim M ≥ 3. Si un groupe H localement isomorphe à SU(p′,q′) agit conformément sur (M,g), où p′ < q′, alors:
- Contrainte dimensionnelle: p ≥ 2p′ - 1
- Cas extrême: Si p = 2p′ - 1, alors nécessairement p < q
- Théorème de structure: Si (M,g) est également réel analytique et simplement connexe, alors elle est conformément équivalente au revêtement universel de Möbp,q
Proposition 4.12: Sous l'encastrement (h, Ad BH) → (g, Ad P), on a p ≥ 2p′ - 1. L'égalité est satisfaite si et seulement si:
- On a nécessairement p < q
- L'espace racinaire correspondant ∆̌(αi′) est composé de deux racines courtes
- h contient un sous-espace isotrope maximal de Rp,q
- Lemme 4.1: Triangularisation des sous-groupes algébriques résolubles
- Lemme 4.6: Estimation de la dimension des sous-espaces isotropes de formes bilinéaires
- Lemme 4.8: Propriétés structurelles des correspondances racinaires
- Première étape: Application du théorème d'encastrement au fibré tracteur adjoint, obtenant l'encastrement des automorphismes infinitésimaux
- Deuxième étape: Établissement de la contrainte dimensionnelle p ≥ 2p′ - 1 via l'analyse des systèmes de racines
- Troisième étape: Construction du groupe d'isométries de formes linéaires équilibrées dans le cas extrême
- Quatrième étape: Application du théorème d'encastrement au fibré tracteur conforme, démontrant la platitude conforme
- Théorie de Gromov-Zimmer: Théorème original et ses applications aux géométries de Cartan
- Rigidité conforme: Résultats connexes de Zimmer, Bader-Nevo, Pecastaing et autres
- Théorie des fibrés tracteurs: Calcul tracteur de Čap-Gover et théorie des complexes BGG
- Géométrie parabolique: Théorie systématique des géométries de Cartan paraboliques régulières
- Généralisation réussie du théorème d'encastrement classique au cadre des fibrés tracteurs
- Démonstration de la rigidité des groupes de type SU(p′,q′) en géométrie pseudo-riemannienne
- Établissement de liens profonds entre la théorie des systèmes de racines et la rigidité géométrique
- Nécessité d'hypothèses d'analyticité sur les variétés
- Exigence de la condition de simple connexité
- Traitement limité à des types spécifiques de groupes de Lie
- Problème 1.1: Problème d'encastrement des groupes de Lie simples sur les géométries paraboliques générales
- Généralisation à des types de groupes de Lie plus généraux
- Étude de résultats analogues dans le cas non-compact
- Profondeur théorique: Généralisation de résultats classiques à un cadre plus général, avec une très haute difficulté technique
- Innovation méthodologique: Combinaison ingénieuse de géométrie différentielle, théorie des groupes de Lie et théorie de la mesure
- Valeur applicative: Fourniture d'outils puissants pour les problèmes de rigidité en géométrie conforme
- Complétude: Formation d'une chaîne complète de la théorie abstraite aux applications concrètes
- Seuil technique élevé: Nécessité d'une formation approfondie en géométrie différentielle et théorie des groupes de Lie
- Hypothèses fortes: Les conditions d'analyticité et de simple connexité limitent le champ d'application
- Complexité computationnelle: La partie analyse des systèmes de racines implique des calculs volumineux et très techniques
- Contribution théorique: Ouverture d'une nouvelle direction pour la combinaison de la théorie des fibrés tracteurs et de la théorie de la rigidité
- Valeur méthodologique: Fourniture d'un cadre général pour traiter des problèmes similaires
- Perspectives d'application: Possibilité de généralisation aux problèmes de rigidité d'autres structures géométriques
- Étude des groupes d'automorphismes en géométrie parabolique
- Problèmes de rigidité en géométrie conforme
- Analyse des actions de groupes sur les espaces de solutions d'EDP géométriques
- Problèmes de classification en géométrie de Cartan
Cet article cite 41 références importantes couvrant plusieurs domaines incluant la géométrie de Cartan, la théorie des fibrés tracteurs, les actions de groupes de Lie et la géométrie conforme, notamment:
- Le théorème d'encastrement original de Bader, Frances et Melnick
- La monographie sur la géométrie parabolique de Čap-Slovák
- La théorie des groupes de transformations rigides de Gromov
- Les résultats classiques de Zimmer sur les actions préservant le volume