$L^2$-torsion des automorphismes

Informations fondamentales

• ID de l'article: 2510.20959
• Titre: $L^2$-torsion des automorphismes
• Auteurs: Sam Hughes et Wolfgang Lück
• Classification: math.GR (Théorie des groupes)
• Date de publication: Octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.20959

Résumé

Cet article développe la théorie de la $L^2$-torsion des automorphismes de groupes et calcule cet invariant pour tous les automorphismes de groupes hyperboliques à un bout qui sont relatifs à un nombre fini de groupes virtuellement polycycliques. L'article démontre une formule combinatoire pour la $L^2$-torsion d'un groupe, exprimée en termes de la $L^2$-torsion des stabilisateurs agissant sur des espaces contractiles. Les auteurs appliquent ces résultats pour calculer la $L^2$-torsion de diverses classes de groupes, notamment les réseaux CAT(0), les groupes relativement hyperboliques et leurs automorphismes, les variétés graphiques de dimension supérieure et les groupes de handlebody.

Contexte et motivation de la recherche

Importance du problème

La $L^2$-torsion est un invariant important des groupes et des espaces qui :

1. Connexion avec le volume géométrique : Pour les variétés hyperboliques fermées de dimension impaire, la $L^2$-torsion est proportionnelle au volume hyperbolique (à une constante dimensionnelle près), résultat démontré par Lück-Schick
2. Analogie avec la caractéristique d'Euler : Présente une propriété multiplicative sous les revêtements finis
3. Applicabilité générale : Définie pour une large classe de groupes et d'espaces dont la $L^2$-cohomologie s'annule

Limitations de la recherche existante

1. Difficultés de calcul : Excepté pour les espaces localement symétriques fermés et les 3-variétés, le calcul de la $L^2$-torsion est extrêmement difficile, avec peu d'exemples connus
2. Torsion des automorphismes de groupes : Absence d'un cadre théorique systématique pour étudier la $L^2$-torsion des automorphismes de groupes
3. Absence de formules combinatoires : Nécessité de décomposer la $L^2$-torsion de groupes complexes en contributions de sous-groupes

Motivation de la recherche

1. Vérification de conjectures : Conjecture 1.1 (Bergeron-Venkatesh) concernant la relation entre la croissance de la cohomologie de torsion et la $L^2$-torsion
2. Généralisation du concept de volume : La $L^2$-torsion peut être considérée comme une généralisation du volume hyperbolique
3. Résolution de problèmes spécifiques : Tels que 3, Question 1.2 concernant les automorphismes de croissance polynomiale, 4, Problème 28 concernant les groupes de handlebody

Contributions principales

1. Développement de la théorie de la $L^2$-torsion des automorphismes de groupes : Introduction d'une définition systématique et d'un cadre théorique pour la $L^2$-torsion $\rho^{(2)}(\Phi)$ d'un automorphisme $\Phi: G \to G$ (sections 4 et 5)
2. Démonstration d'une formule combinatoire (Théorème 3.7) : Pour un groupe $G$ agissant sur un complexe CW contractile, sa $L^2$-torsion peut s'exprimer comme une somme alternée des $L^2$-torsions des stabilisateurs cellulaires : $\rho^{(2)}(G) = \sum_{n\geq 0}\sum_{i\in I_n} (-1)^n \cdot \rho^{(2)}(H_i^n)$
3. Calcul de la $L^2$-torsion des automorphismes de groupes relativement hyperboliques (Théorème 7.10) : Pour un groupe hyperbolique à un bout $G$ relatif à des groupes virtuellement polycycliques et son automorphisme $\Phi$ : $\rho^{(2)}(\Phi) = \sum_{v\in \text{Flex}(G)} \rho^{(2)}(G_v \rtimes_{\Phi|_{G_v}} \mathbb{Z})$ où la somme porte uniquement sur les sommets flexibles de la décomposition JSJ
4. Démonstration d'un théorème d'annulation pour les automorphismes de croissance polynomiale (Théorème 7.19) : Pour les automorphismes de croissance polynomiale de diverses classes de groupes (groupes hyperboliques, groupes relativement hyperboliques, groupes d'Artin à angles droits, groupes de Coxeter à angles droits), la $L^2$-torsion s'annule
5. Calculs explicites :
   • Critères d'annulation pour les réseaux CAT(0) (Proposition 7.2)
   • $L^2$-torsion des variétés graphiques de dimension supérieure (Théorème 7.5)
   • Annulation de la $L^2$-torsion pour les groupes de handlebody (Théorème 7.20), résolvant 4, Problème 28

Explication détaillée des méthodes

Définition de la tâche

Entrée :

• Un groupe $G$ et son automorphisme $\Phi: G \to G$
• $G$ doit satisfaire FIN-finite (existence d'un modèle fini de $EG$)

Sortie :

• La $L^2$-torsion $\rho^{(2)}(\Phi) \in \mathbb{R}$

Conditions de contrainte :

• $\Phi$ doit être det-finite
• Hypothèse usuelle : le groupe satisfait la Conjecture du Déterminant ou la condition (DFJ)

Cadre théorique fondamental

1. Généralisation de la $L^2$-torsion (Section 2)

Traditionnellement, la $L^2$-torsion n'est définie que pour les groupes virtuellement sans torsion. Cet article l'étend aux groupes contenant de la torsion finie en utilisant $EG$ (espace classifiant pour les actions propres) :

Pour un complexe CW fini propre $G$-équivariant $X$, par choix d'un $G$-pushout cellulaire : $\coprod_{i\in I_n} G/H_i \times S^{n-1} \to X_{n-1}$$\coprod_{i\in I_n} G/H_i \times D^n \to X_n$

on définit le complexe de chaînes $L^2$ $L^2(G) \otimes_{ZG} C_*^c(X)$, d'où on déduit $\rho^{(2)}(X; N(G))$.

Propriétés clés (Théorème 2.7) :

• Invariance par homotopie
• Formule de somme
• Formule de produit
• Formules de restriction et d'induction
• Dualité de Poincaré (annulation de la torsion pour les variétés de dimension paire)

2. Construction par éclatement (Section 3)

Idée centrale : Remplacer les orbites par des espaces classifiants

Étant donné un complexe CW $G$-équivariant $X$ et une famille de sous-groupes $\mathcal{F}$, on construit un complexe CW $G$-équivariant $Y$ et une équivalence $G$-homotopique $f: Y \to Z \times X$ (où $Z = E\mathcal{F}(G)$), tels que :

• Le $n$-squelette de $Y$ est défini par le pushout suivant : $\coprod_{i_n \in I_n} G \times_{H_i^n} E_{i_n} \times S^{n-1} \to Y_{n-1}$$\coprod_{i_n \in I_n} G \times_{H_i^n} E_{i_n} \times D^n \to Y_n$

où $E_{i_n}$ est un modèle de $E\mathcal{F}|_{H_i^n}(H_i^n)$ pour $H_i^n$.

Conclusion clé du Théorème 3.6 : Sous les conditions appropriées, $\rho^{(2)}(G) = \sum_{n\geq 0}\sum_{i\in I_n} (-1)^n \cdot \rho^{(2)}(H_i^n)$

3. $L^2$-torsion des automorphismes (Sections 4 et 5)

Stratégie de définition : Pour $\Phi: G \to G$, considérer le produit semi-direct $G \rtimes_\Phi \mathbb{Z}$

Étant donné une équivalence $\Phi$-homotopique $\hat{f}: X \to X$ (où $X$ est un modèle fini de $EG$), on construit le mapping telescope : $T_{\hat{f};\Phi} = (G \rtimes_\Phi \mathbb{Z}) \times_G X \times [0,1] / \sim$

où on identifie $(gt^n, x, 0) \sim (gt^n, x)$ et $(gt^n, x, 1) \sim (gt^{n-1}, \hat{f}(x))$.

Lemme clé (Lemme 4.4) :

• $T_{\hat{f};\Phi}$ est $L^2$-acyclique
• Si $X$ est de classe déterminant, alors $T_{\hat{f};\Phi}$ est det-$L^2$-acyclique

Définition : $\rho^{(2)}(\Phi) := \rho^{(2)}(T_{\hat{f};\Phi}; N(G \rtimes_\Phi \mathbb{Z}))$

Propriétés principales (Théorème 4.8) :

• Invariance par homotopie
• Formule de trace : $\rho^{(2)}(\Psi' \circ \Psi) = \rho^{(2)}(\Psi \circ \Psi')$
• Multiplicativité : $\rho^{(2)}(\Phi^n) = n \cdot \rho^{(2)}(\Phi)$
• Formule de restriction : $\rho^{(2)}(\Phi|_H) = [G:H] \cdot \rho^{(2)}(\Phi)$
• Annulation pour les automorphismes périodiques

Points d'innovation technique

1. Éviter l'hypothèse globale de la Conjecture du Déterminant : En supposant la condition uniquement pour les stabilisateurs, on évite de l'imposer sur l'ensemble du groupe $G$ ou $G \rtimes_\Phi \mathbb{Z}$
2. Cadre unifié : Intégration de la $L^2$-torsion des groupes et des automorphismes dans une théorie unifiée
3. Application de la décomposition JSJ : Utilisation de la décomposition JSJ pour réduire la torsion des automorphismes de groupes relativement hyperboliques aux sommets flexibles (correspondant aux groupes de surfaces)
4. Flexibilité de la formule combinatoire : Applicabilité à diverses constructions telles que les variétés graphiques, les réseaux, les produits amalgamés, etc.

Configuration expérimentale

Cet article est un travail de mathématiques théoriques pures et ne comporte pas de configuration expérimentale. Tous les résultats sont des démonstrations mathématiques rigoureuses.

Résultats expérimentaux

Résultats de calcul principaux

1. Réseaux CAT(0) (Proposition 7.2)

Soit $M = M_1 \times \cdots \times M_k \times \mathbb{E}^n$ un espace symétrique (chaque $M_i$ étant irréductible de type non-compact), $X$ un complexe polyédral CAT(0) localement fini, et $\Gamma$ un réseau uniforme dans $\text{Isom}(M) \times \text{Isom}^+(X)$.

Résultat : Si $\text{fr}(M_i) \geq 2$ pour un certain $i$, ou $n \geq 1$, alors $\rho^{(2)}(\Gamma) = 0$.

2. Variétés graphiques de dimension supérieure (Théorème 7.5)

Soit $M$ une variété graphique étendue de dimension $(2n+1)$, et $\mathcal{H}$ l'ensemble des pièces hyperboliques.

Résultat : $\rho^{(2)}(\widetilde{M}) = \sum_{M_v \in \mathcal{H}} \rho^{(2)}(\widetilde{M_v})$

c'est-à-dire que la $L^2$-torsion provient uniquement des pièces hyperboliques.

Corollaire (Corollaire 7.6) : Une variété graphique contenant une pièce hyperbolique n'admet pas d'action non-triviale de $S^1$.

3. Automorphismes de croissance polynomiale (Théorème 7.19)

Pour les automorphismes de croissance polynomiale $\Phi$ des classes de groupes suivantes :

• Groupes hyperboliques résiduellement finis
• Groupes hyperboliques résiduellement finis relatifs à des groupes virtuellement polycycliques
• Groupes d'Artin à angles droits (automorphismes non-tordus)
• Groupes de Coxeter à angles droits

Résultat : $\rho^{(2)}(G \rtimes_\Phi \mathbb{Z}) = 0$

Ceci répond à 3, Question 1.2.

4. Groupes de handlebody (Théorème 7.20)

Soit $V_g$ un handlebody de genre $g \geq 2$.

Résultat : $\rho^{(2)}(\text{Mod}(V_g)) = 0$

Ceci résout 4, Problème 28.

Esquisse de preuve :

• Utilisation de l'action sur le complexe de disques $X$
• Chaque stabilisateur cellulaire $G_\sigma$ satisfait $1 \to \mathbb{Z}^{n_\sigma} \to G_\sigma \to H_\sigma \to 1$
• Par 50, on a $\rho^{(2)}(G_\sigma) = 0$
• Application du Théorème 3.6 pour conclure

Découvertes théoriques

1. Rôle crucial des sommets flexibles : Dans la décomposition JSJ d'un groupe relativement hyperbolique, seuls les sommets flexibles (correspondant aux groupes de surfaces) contribuent de manière non-nulle à la $L^2$-torsion
2. Annulation universelle de la croissance polynomiale : Les automorphismes de croissance polynomiale entraînent l'annulation de la $L^2$-torsion dans plusieurs classes de groupes, ce qui fait écho à l'annulation de la croissance de la cohomologie de torsion
3. Puissance de la formule combinatoire : La $L^2$-torsion de groupes complexes peut être calculée efficacement via la torsion des stabilisateurs

Travaux connexes

Calcul des invariants $L^2$

1. Variétés hyperboliques : Hess-Schick 24, Lück-Schick 39 ont calculé la $L^2$-torsion des variétés hyperboliques
2. Espaces localement symétriques : Travaux d'Olbrich 43
3. Groupes free-by-cyclic : Résultats de Clay 13

Croissance de la cohomologie de torsion

1. Conjecture de Bergeron-Venkatesh : Prédit la relation entre la croissance de la cohomologie de torsion et la $L^2$-torsion
2. Cheap rebuilding : Analogue algébrique d'Abert-Bergeron-Fraczyk-Gaboriau 1
3. Automorphismes de croissance polynomiale : Travaux d'Andrew-Guerch-Hughes-Kudlinska 3

Théorie de la décomposition JSJ

La théorie de la décomposition JSJ des groupes relativement hyperboliques de Guirardel-Levitt 23 est la base du Théorème 7.10 de cet article.

Conjecture de Farrell-Jones

Cet article utilise à plusieurs reprises la conjecture de Farrell-Jones pour vérifier la Conjecture du Déterminant, qui est un outil technique clé pour calculer la $L^2$-torsion.

Conclusions et discussion

Conclusions principales

1. Cadre théorique : Établissement avec succès d'une théorie complète de la $L^2$-torsion des automorphismes de groupes, incluant définitions, propriétés fondamentales et méthodes de calcul
2. Formule combinatoire : Démonstration que la $L^2$-torsion peut être calculée via la torsion des stabilisateurs, ce qui est un outil de réduction puissant
3. Résultats de calcul :
   • La torsion des automorphismes de groupes relativement hyperboliques est déterminée par les sommets flexibles de la décomposition JSJ
   • Les automorphismes de croissance polynomiale entraînent universellement l'annulation de la torsion
   • La torsion de plusieurs classes de groupes spécifiques a été calculée explicitement
4. Vérification de conjectures : Les résultats soutiennent la validité des Conjectures 1.1 et 1.2 pour les classes de groupes pertinentes

Limitations

1. Dépendance à la Conjecture du Déterminant : De nombreux résultats nécessitent l'hypothèse que les groupes pertinents satisfont la Conjecture du Déterminant ou la condition (DFJ). Bien que la classe de groupes connus soit vaste, tous les groupes n'ont pas été vérifiés
2. Hypothèse FIN-finite : Nécessité que le groupe possède un modèle fini de $EG$, ce qui exclut certains groupes infinis
3. Complexité de calcul : Bien qu'une formule combinatoire existe, le calcul réel peut rester difficile, particulièrement lorsque les stabilisateurs eux-mêmes sont complexes
4. Problèmes non résolus :
   • Tous les groupes hyperboliques ne sont pas connus pour être sofiques
   • L'existence de groupes de graphes sofiques demeure inconnue (même si tous les groupes d'arêtes et de sommets sont sofiques)

Directions futures

1. Conjecture 1.3 : La $L^2$-torsion des automorphismes de croissance sous-exponentielle s'annule-t-elle toujours ?
2. Extension à la $L^2$-torsion tordue : La Remarque 1.4 indique que tous les résultats peuvent s'adapter au cadre tordu
3. Calculs pour plus de classes de groupes : Application de la méthode à d'autres groupes définis géométriquement ou algébriquement
4. Relations avec d'autres invariants : Étude approfondie des relations entre la $L^2$-torsion, le volume simplicial et l'entropie minimale

Évaluation approfondie

Points forts

1. Complétude théorique :
   • Développement systématique d'une théorie complète de la $L^2$-torsion des automorphismes
   • Démonstration de propriétés riches (invariance par homotopie, multiplicativité, formules de restriction, etc.)
   • Cadre possédant une bonne capacité de généralisation
2. Innovation technique :
   • La construction par éclatement traite élégamment le cas des groupes contenant de la torsion
   • La construction du mapping telescope $T_{\hat{f};\Phi}$ transforme astucieusement les problèmes d'automorphismes en problèmes de groupes
   • La technique d'éviter l'hypothèse globale de la Conjecture du Déterminant est précieuse
3. Applicabilité générale :
   • Résolution de plusieurs problèmes ouverts
   • Couverture de nombreuses classes importantes de groupes (réseaux CAT(0), groupes relativement hyperboliques, variétés graphiques, groupes de handlebody, etc.)
   • Les résultats possèdent une signification géométrique et topologique
4. Clarté de la rédaction :
   • Structure rationnelle avec une hiérarchie claire allant de la théorie générale aux applications spécifiques
   • De nombreux exemples (Exemples 3.8, 3.11, 3.12, 5.18, 5.20, 5.21) facilitant la compréhension
   • Détails techniques complets

Insuffisances

1. Défis de lisibilité :
   • Nécessite une connaissance approfondie des invariants $L^2$, de la cohomologie des groupes et de la théorie géométrique des groupes
   • Certaines preuves (comme celle du Théorème 2.7) ne donnent que des esquisses brèves
2. Exemples de calcul limités :
   • Bien qu'un cadre théorique existe, les exemples avec calculs numériques explicites sont peu nombreux
   • Pour les lecteurs généraux, davantage d'exemples numériques concrets seraient utiles
3. Nécessité de certaines hypothèses non clarifiée :
   • Quand les trois conditions de la condition (DFJ) peuvent-elles être affaiblies ?
   • Dans quelle mesure l'hypothèse FIN-finite est-elle nécessaire ?

Impact

1. Contribution théorique :
   • Inauguration d'une étude systématique de la $L^2$-torsion des automorphismes de groupes
   • La formule combinatoire (Théorème 3.7) est un nouvel outil important pour calculer la $L^2$-torsion
   • Fourniture de nouvelles preuves pour les conjectures de type Bergeron-Venkatesh
2. Valeur pratique :
   • Les méthodes peuvent être appliquées pour déterminer si une variété admet certaines actions de groupes
   • Fourniture de nouveaux outils pour l'étude des mapping class groups et des groupes d'automorphismes
   • Les connexions avec la croissance de la cohomologie de torsion ont des perspectives d'application
3. Reproductibilité :
   • Tous les résultats possèdent des démonstrations mathématiques complètes
   • Les définitions et constructions sont explicites
   • Pour un travail théorique, la « reproductibilité » se manifeste par la vérifiabilité des preuves
4. Directions de recherche ultérieure :
   • Énoncé de conjectures explicites (Conjecture 1.3)
   • Indication de plusieurs directions de généralisation possibles
   • Fourniture d'une boîte à outils pour les chercheurs ultérieurs

Scénarios d'application

1. Topologie géométrique :
   • Étude des invariants $L^2$ des variétés
   • Détermination de l'existence de certaines symétries sur les variétés
   • Étude des mapping class groups
2. Théorie géométrique des groupes :
   • Calcul de la $L^2$-torsion de groupes spécifiques
   • Étude des propriétés des automorphismes de groupes
   • Analyse des applications de la décomposition JSJ
3. Recherche théorique :
   • Vérification de conjectures concernant les invariants $L^2$
   • Étude des relations entre invariants (volume, entropie, $L^2$-torsion)
4. Classes de groupes spécifiques :
   • Groupes CAT(0) et réseaux
   • Groupes relativement hyperboliques
   • Groupes d'Artin et de Coxeter à angles droits
   • Mapping class groups

Références bibliographiques

Cet article cite 51 références, dont les références clés incluent :

1. 34 Lück - L²-Invariants: Theory and Applications : Ouvrage de référence standard sur les invariants $L^2$
2. 39 Lück-Schick : Résultats classiques sur la $L^2$-torsion des variétés hyperboliques
3. 1 Abert-Bergeron-Fraczyk-Gaboriau : Propriété de cheap rebuilding
4. 23 Guirardel-Levitt : Théorie de la décomposition JSJ
5. 3 Andrew-Guerch-Hughes-Kudlinska : Croissance de la cohomologie de torsion pour les automorphismes de croissance polynomiale
6. 14 Elek-Szabó : Groupes sofiques et relation avec la Conjecture du Déterminant

Évaluation générale : Ceci est un article de mathématiques théoriques de haute qualité qui développe systématiquement la théorie de la $L^2$-torsion des automorphismes de groupes, démontre une formule combinatoire importante et obtient des résultats de calcul significatifs sur plusieurs classes de groupes spécifiques. L'article résout plusieurs problèmes ouverts et apporte une contribution substantielle à la théorie des invariants $L^2$. Bien que le seuil technique soit élevé, pour les chercheurs en théorie géométrique des groupes et en topologie, il s'agit d'une avancée importante en termes d'outils.