Groupes simples totalement discontinus localement compacts séparés par des propriétés de finitude

Informations fondamentales

• ID de l'article : 2509.05101
• Titre : Simple totally disconnected locally compact groups separated by finiteness properties
• Auteurs : Laura Bonn, Sebastian Giersbach
• Classification : math.GR (Théorie des groupes)
• Date de publication : février 2025 (arXiv v2 : 29 octobre 2025)
• Lien de l'article : https://arxiv.org/abs/2509.05101

Résumé

Cet article construit une suite de groupes simples non discrets totalement discontinus localement compacts (tdlc) séparés par des propriétés de finitude ; c'est-à-dire que pour chaque entier positif $n$, il existe un groupe tdlc simple non discret qui est de type $F_{n-1}$ mais non de type $F_n$. Ceci généralise le résultat de Skipper-Witzel-Zaremsky concernant les groupes discrets. De plus, les auteurs construisent un groupe tdlc simple non discret qui est de type $FP_2$ sur $\mathbb{Z}$ mais non compactement présenté. Ces exemples proviennent des groupes universels de Smith $\mathcal{U}(M,N)$ associés aux groupes de permutations $M$ et $N$. Les auteurs généralisent le théorème de Haglund-Wise aux groupes tdlc et démontrent que sous des conditions modérées sur $M$ et $N$, les propriétés de finitude de $\mathcal{U}(M,N)$ reflètent les propriétés de finitude des actions locales $M$ et $N$.

Contexte et motivation de la recherche

Contexte du problème

1. Généralisation des propriétés de finitude : Dans la classe des groupes discrets, les propriétés de finitude $F_n$ et $FP_n$ généralisent les concepts de finitude de génération et de présentation. Un groupe est de type $F_1$ ou $FP_1$ si et seulement s'il est finiment engendré ; la finitude de présentation équivaut au type $F_2$. La propriété $F_n$ implique $FP_n$ sur tout anneau commutatif, et pour les groupes finiment présentés, ces deux concepts coïncident sur $\mathbb{Z}$.
2. Résultats de séparation pour les groupes discrets : Bestvina et Brady ont démontré que pour les groupes non finiment présentés, l'équivalence entre $F_n$ et $FP_n$ échoue. Skipper, Witzel et Zaremsky ont construit la première suite de groupes simples séparés par des propriétés de finitude, c'est-à-dire des groupes simples $G_n$ de type $F_{n-1}$ mais non de type $F_n$.
3. Propriétés de finitude des groupes tdlc : Abels et Tiemeyer ont d'abord généralisé les propriétés de finitude aux groupes localement compacts. Dans le cadre des groupes totalement discontinus localement compacts (tdlc), Castellano et Corob Cook ont donné des définitions différentes mais équivalentes.

Motivation de la recherche

1. Généralisation au cas non discret : Généraliser les résultats de Skipper-Witzel-Zaremsky sur les groupes discrets au cadre des groupes tdlc.
2. Répondre à des questions ouvertes : Castellano et Weigel ont demandé s'il existe un groupe tdlc non discret avec centre quasi-trivial, de type $FP_2$ sur $\mathbb{Q}$ mais non compactement présenté. Cet article donne une réponse affirmative et démontre un résultat plus fort (sur $\mathbb{Z}$).
3. Construire de nouveaux exemples : Utiliser les groupes universels de Smith pour construire des groupes tdlc simples non discrets avec des propriétés de finitude spécifiques.

Importance de la recherche

• Approfondir la compréhension des propriétés de finitude des groupes tdlc
• Établir des liens entre les actions locales et les propriétés globales
• Fournir des exemples constructifs concrets pour la théorie abstraite des groupes

Contributions principales

1. Théorème principal 1.1 : Pour chaque entier positif $n$, il existe un groupe tdlc simple non discret qui est de type $F_{n-1}$ mais non de type $F_n$.
2. Théorème principal 1.2 : Il existe un groupe tdlc simple non discret qui est de type $FP_2$ sur $\mathbb{Z}$ mais non compactement présenté. Ceci répond à la question de Castellano-Weigel et donne un résultat plus fort que demandé.
3. Théorème 1.3 (Généralisation du théorème de Haglund-Wise) : Pour un groupe tdlc $G$ se décomposant en graphe fini de groupes, sous certaines conditions de finitude sur les groupes d'arêtes, les propriétés de finitude de $G$ équivalent aux propriétés de finitude de tous les groupes de sommets.
4. Corollaire 1.4 : Pour les groupes de Smith $\mathcal{U}(M,N)$ ayant un nombre fini d'orbites avec une action transitive, les propriétés de finitude équivalent aux propriétés de finitude de $M$ et $N$.
5. Méthode de construction : Fournit une méthode systématique utilisant les groupes de Bestvina-Brady et les produits semi-directs pour construire des exemples satisfaisant des conditions spécifiques.

Détails des méthodes

Construction des groupes universels de Smith

Définition fondamentale

Soient $X$ et $Y$ deux ensembles non vides disjoints, chacun contenant au moins deux éléments. Soient $M \leq \text{Sym}(X)$ et $N \leq \text{Sym}(Y)$ deux groupes de permutations. Considérons un arbre bipartite régulier connexe $T$ dont l'ensemble des sommets admet une bipartition $V(T) = V_X \cup V_Y$, où tous les sommets de $V_X$ ont degré $|X|$ et tous les sommets de $V_Y$ ont degré $|Y|$.

Étiquetage légal : Une fonction $l: E(T) \to X \cup Y$ est appelée étiquetage légal si :

1. Pour tous $v \in V_X$, $l|_{o(v)}: o(v) \to X$ est une bijection
2. Pour tous $w \in V_Y$, $l|_{o(w)}: o(w) \to Y$ est une bijection
3. Pour tous $v \in V(T)$, $l|_{t(v)}$ est constante

Définition du groupe universel de Smith (Définition 2.1) : $\mathcal{U}^l(M,N) := \{g \in \text{Aut}(T)_{\{V_X\}} \mid \forall v \in V_X: c_X(g,v) \in M \text{ et } \forall w \in V_Y: c_Y(g,w) \in N\}$

Propriétés topologiques (Proposition 2.2)

1. Si $M$ et $N$ sont fermés, alors $\mathcal{U}(M,N)$ est fermé
2. Si $M$ et $N$ sont fermés, alors $\mathcal{U}(M,N)$ est localement compact si et seulement si tous les stabilisateurs de points sont compacts
3. $\mathcal{U}(M,N)$ est discret si et seulement si $M$ et $N$ agissent librement
4. Si $M$ et $N$ sont engendrés par les stabilisateurs de points, alors $\mathcal{U}(M,N)$ est simple si et seulement si $M$ ou $N$ est transitif

Théorie des propriétés de finitude

Définition (Définition 3.1)

Soit $G$ un groupe tdlc et $R$ un anneau commutatif :

• Type $F_n$ : Il existe un complexe cellulaire $G$-équivariant acyclique propre discret $X$ tel que le $n$-squelette $X_n$ modulo $G$ soit fini
• Type $FP_n$ (sur $R$) : Il existe une résolution propre discrète du $R[G]$-module trivial $R$ telle que $P_0, \ldots, P_n$ soient finiment engendrés

Propriétés clés (Proposition 3.2)

1. Type $F_1$ $\Leftrightarrow$ compactement engendré
2. Type $F_2$ $\Leftrightarrow$ compactement présenté
3. Type $F_n$ $\Rightarrow$ type $FP_n$
4. Groupes compactement présentés : type $F_n$ $\Leftrightarrow$ type $FP_n$ sur $\mathbb{Z}$

Théorèmes techniques fondamentaux

Théorème 3.3 (Actions locales et stabilisateurs de points)

Pour les groupes de permutations fermés $M \leq \text{Sym}(X)$ et $N \leq \text{Sym}(Y)$, si les stabilisateurs de points sont compacts, soit $G := \mathcal{U}(M,N)$ :

1. $M$ et $N$ sont de type $F_n$ $\Leftrightarrow$ tous les stabilisateurs de points de $G$ sont de type $F_n$
2. $M$ et $N$ sont de type $FP_n$ sur $R$ $\Leftrightarrow$ tous les stabilisateurs de points de $G$ sont de type $FP_n$ sur $R$

Stratégie de preuve : Utiliser la suite exacte courte $1 \to K \to G_v \to M \to 1$, où $K$ est compact (donc de type $F_\infty$ et $FP_\infty$), et appliquer les propriétés de la proposition 3.2.

Stratégie de preuve du théorème 1.3

Cas fondamentaux ($n=1,2$) :

• Proposition 3.4 : Pour le produit amalgamé $G = A *_C B$, si $G$ et $C$ sont compactement engendrés, alors $A$ et $B$ sont compactement engendrés. La preuve utilise l'analyse des formes normales.
• Proposition 3.7 : Pour le produit amalgamé, si $G$ et $C$ sont compactement présentés, alors $A$ et $B$ sont compactement présentés. La preuve utilise la proposition 3.6 (argument limite).
• Propositions 3.5 et 3.8 : Résultats analogues pour les extensions HNN.

Cas général (Théorème 3.9) : Pour la propriété $FP_n$, utiliser le critère de Brown et le complexe cellulaire de la chaîne de l'arbre de Bass-Serre : $0 \to \bigoplus_{e \in R_e} \mathbb{Z}[G/H_e] \to \bigoplus_{v \in R_v} \mathbb{Z}[G/H_v] \to \mathbb{Z} \to 0$

En analysant les propriétés de finitude des modules de permutation, établir l'équivalence entre les propriétés $FP_n$ des groupes de sommets et d'arêtes et celle de $G$.

Points techniques innovants

1. Généralisation du théorème de Haglund-Wise : Première généralisation de ce théorème des groupes discrets aux groupes tdlc, avec une difficulté technique significative.
2. Argument limite (Proposition 3.6) : Utiliser le théorème de Baire pour démontrer que la limite des groupes compactement présentés se stabilise finalement, technique clé pour traiter le cas non discret.
3. Analyse des formes normales : Analyse fine des formes normales des produits amalgamés et extensions HNN dans le cadre des groupes topologiques.
4. Technique des modules de permutation : Utiliser les propriétés de finitude des modules de permutation et les propriétés des sous-groupes ouverts (Corollaire 3.18) pour établir le lien local-global.

Configuration expérimentale (exemples constructifs)

Stratégie de construction

Les « expériences » de cet article sont des exemples mathématiques constructifs plutôt que des expériences numériques.

Cadre de construction fondamental (Exemple 4.2)

Soit $M$ un groupe ayant un sous-groupe fini $Q$, et $M$ agissant par multiplication à gauche sur l'espace des classes latérales $X = M/Q$. Cette action est fidèle si et seulement si $\bigcap_{m \in M} mQm^{-1}$ est trivial. Si $Q$ est fini, alors $M$ a des stabilisateurs de points compacts.

Conditions clés :

• L'intersection des conjugués de $Q$ est triviale (assure la fidélité)
• Les conjugués de $Q$ engendrent $M$ (assure la simplicité)

Méthode des groupes de Bestvina-Brady

Définition 4.3 : Soit $L$ un complexe de drapeaux fini avec sommets $\{v_1, \ldots, v_n\}$. Le groupe d'Artin à angle droit : $A_L = \langle v_1, \ldots, v_n \mid v_iv_j = v_jv_i \text{ pour tous les arêtes } \{v_i, v_j\} \in L \rangle$

Le groupe de Bestvina-Brady $H_L$ est le noyau du morphisme surjectif $\phi: A_L \to \mathbb{Z}$ (chaque générateur s'envoie sur 1).

Proposition 4.4 (Propriétés de finitude) :

1. $H_L$ est de type $FP_{n+1}$ sur $R$ $\Leftrightarrow$ $L$ est homologiquement $n$-connexe sur $R$
2. $H_L$ est finiment présenté $\Leftrightarrow$ $L$ est simplement connexe

Construction par produit semi-direct

Prendre $M = H_L \rtimes \text{Aut}(L)$, où $\text{Aut}(L)$ agit comme sous-groupe fini $Q$.

Proposition 4.5 : Si un groupe fini $Q$ agit fidèlement sur un groupe sans torsion $H$, alors l'intersection des conjugués de $Q$ dans $M = H \rtimes Q$ est triviale.

Proposition 4.7 : Si $L$ est connexe et chaque arête orientée $(x,y)$ est dans un certain triangle, il existe $q \in Q$ tel que $q.(x,z) = (y,z)$, alors les conjugués de $Q$ engendrent $M$.

Exemples concrets

Exemple 4.9 (Preuve du théorème 1.1)

Pour $n \geq 2$, prendre $L$ comme triangulation de drapeau de la sphère $n$-dimensionnelle $S^n$ (frontière du polytope croisé $(n+1)$-dimensionnel).

• $L$ est simplement connexe ($n \geq 2$)
• $S^n$ est $(n-1)$-connexe mais non $n$-connexe
• Par la proposition 4.4, $H_L$ est de type $F_n$ mais non de type $F_{n+1}$
• Soit $Q = \text{Aut}(L)$, alors $\mathcal{U}(H_L \rtimes Q, \text{Sym}(3))$ est un groupe tdlc simple non discret, de type $F_n$ mais non de type $F_{n+1}$

Exemple 4.10 (Preuve du théorème 1.2)

Construire un complexe de drapeaux fini connexe $L$ satisfaisant :

• Non simplement connexe
• Homologiquement 1-connexe sur $\mathbb{Z}$
• Chaque arête est dans un triangle
• $Q = \text{PSL}_2(13) \times C_3 \times C_3$ agit transitivement sur les arêtes orientées

Construction concrète (voir code GAP en annexe) :

1. $Q$ a trois sous-groupes $V_1, V_2, V_3 \cong C_{13} \rtimes C_3$
2. Les sommets sont les classes latérales à gauche de $Q$ dans $V_i$
3. Définir des relations d'adjacence spécifiques
4. Le complexe triangulé $L$ résultant satisfait les propriétés requises

Preuve de non-simple-connexité : Utiliser la théorie des revêtements. Chaque lien d'un sommet dans $L$ a des cycles de longueur $\geq 6$, par le théorème de Cartan-Hadamard, le revêtement universel $\tilde{L}$ est un espace CAT(0) contenant des géodésiques, mais $L$ est borné, donc $L \not\cong \tilde{L}$.

Par la proposition 4.4, $H_L$ est de type $FP_2$ sur $\mathbb{Z}$ mais non finiment présenté. Par conséquent, $\mathcal{U}(H_L \rtimes \text{Aut}(L), \text{Sym}(3))$ est un groupe tdlc simple non discret, de type $FP_2$ sur $\mathbb{Z}$ mais non compactement présenté.

Résultats expérimentaux

Résumé des résultats principaux

1. Réalisation du théorème 1.1 : Pour chaque $n \geq 2$, l'exemple 4.9 construit un groupe tdlc simple non discret de type $F_{n-1}$ mais non de type $F_n$ (pour $n=2$, construire un groupe de type $F_1$ mais non $F_2$).
2. Réalisation du théorème 1.2 : L'exemple 4.10 construit un groupe tdlc simple non discret de type $FP_2$ sur $\mathbb{Z}$ mais non compactement présenté.
3. Vérification du cadre théorique :
   • Le théorème 1.3 généralise avec succès le théorème de Haglund-Wise
   • Le corollaire 1.4 établit la correspondance entre les groupes de Smith et les propriétés de finitude des actions locales
   • Le théorème 3.3 établit le lien entre les actions locales et les stabilisateurs de points

Autres méthodes de construction (Remarque 4.11)

1. Utilisation de groupes simples : Si $M$ est un groupe simple ayant un sous-groupe fini non trivial $Q$, alors $\mathcal{U}(M, \text{Sym}(3))$ est un groupe tdlc simple non discret ayant les mêmes propriétés de finitude que $M$. Appliqué aux groupes de Skipper-Witzel-Zaremsky, cela donne des exemples de type $F_{n-1}$ mais non de type $F_n$.
2. Groupes linéaires spéciaux : $M = \text{SL}_n(\mathbb{F}_q[t,t^{-1}])$ ($n \geq 3$, $\gcd(n, q-1)=1$), $Q = \text{SL}_n(\mathbb{F}_q)$. Par le théorème de Vogtmann, $M$ est de type $F_{2n-3}$ mais non de type $F_{2n-2}$.

Méthodes de vérification

La vérification de tous les exemples repose sur :

1. Propriétés topologiques : Vérifier la non-discrétion et la compacité locale via la proposition 2.2
2. Simplicité : Vérifier les conditions de simplicité via la proposition 2.2(4)
3. Propriétés de finitude : Via le théorème 1.4 et les propriétés connues des groupes de Bestvina-Brady

Travaux connexes

Propriétés de finitude des groupes discrets

1. Théorie classique :
   • Critère de Brown : Juger les propriétés de finitude via l'action des groupes sur les complexes cellulaires
   • Bestvina-Brady 2 : Démontrer que $F_n$ et $FP_n$ ne sont pas équivalents pour les groupes non finiment présentés
2. Résultats de séparation :
   • Skipper-Witzel-Zaremsky 13 : Première construction d'une suite de groupes simples discrets séparés par des propriétés de finitude
   • Llosa Isenrich-Schesler-Wu 11 : Construction récente de groupes simples discrets de type $FP_2$ mais non finiment présentés

Théorie des groupes tdlc

1. Définitions des propriétés de finitude :
   • Abels-Tiemeyer 1 : Première généralisation aux groupes localement compacts
   • Castellano-Corob Cook 7 : Définitions équivalentes dans le cadre tdlc
2. Théorie des graphes de groupes :
   • Haglund-Wise 9 : Propriétés de finitude des graphes de groupes discrets
   • Cet article : Généralisation aux groupes tdlc
3. Groupes universels de Smith :
   • Smith 14 : Introduction de la construction, obtention d'une infinité non dénombrable de groupes tdlc simples non discrets deux à deux non isomorphes
   • Burger-Mozes 5 : Groupes universels sur les arbres réguliers (cas particulier)

Avantages de cet article

1. Première étude systématique : Phénomène de séparation des propriétés de finitude dans les groupes tdlc
2. Cadre unifié : Via la construction des groupes de Smith, lier les propriétés locales aux propriétés globales
3. Généralisation théorique : Généraliser avec succès plusieurs résultats des groupes discrets au cadre tdlc
4. Méthodes de construction : Fournir des techniques de construction opérationnelles (groupes de Bestvina-Brady + produits semi-directs)

Conclusion et discussion

Conclusions principales

1. Résultats d'existence : Démontrer que le phénomène de séparation des propriétés de finitude existe dans les groupes tdlc, répondant complètement aux questions fondamentales du domaine.
2. Théorèmes de structure : Les théorèmes 1.3 et le corollaire 1.4 établissent la relation entre la décomposition en graphe de groupes et les propriétés de finitude, fournissant des outils puissants pour l'étude des groupes tdlc.
3. Techniques de construction : Développer une méthode de construction systématique basée sur les groupes de Bestvina-Brady et les groupes universels de Smith, applicable à la construction d'autres groupes tdlc ayant des propriétés spécifiques.

Limitations

1. Complexité de construction : La construction de l'exemple 4.10 nécessite une conception combinatoire complexe et une vérification assistée par ordinateur (code GAP), manquant d'intuitivité.
2. Restrictions de généralité :
   • Le théorème 1.4 exige que $M$ et $N$ aient un nombre fini d'orbites avec une action transitive
   • De nombreux résultats dépendent de l'hypothèse de compacité des stabilisateurs de points
3. Problèmes de classification non résolus :
   • Pas de classification complète de toutes les configurations possibles de propriétés de finitude
   • Incertitude sur quelles combinaisons de propriétés de finitude peuvent être réalisées
4. Complexité computationnelle : La vérification des propriétés d'exemples concrets (comme la non-simple-connexité) nécessite des arguments géométriques et topologiques approfondis.

Directions futures

1. Plus d'exemples : Chercher des constructions plus simples ou plus naturelles, en particulier des méthodes ne dépendant pas des groupes de Bestvina-Brady.
2. Problèmes de classification :
   • Caractériser toutes les combinaisons possibles de propriétés de finitude
   • Étudier les relations entre différentes méthodes de construction
3. Généralisation à d'autres propriétés :
   • Étudier la séparation d'autres propriétés topologiques ou algébriques
   • Considérer les groupes localement compacts plus généraux
4. Applications :
   • Appliquer ces constructions à d'autres domaines mathématiques (systèmes dynamiques topologiques, algèbres d'opérateurs)
   • Étudier la théorie des représentations de ces groupes
5. Méthodes computationnelles : Développer des outils computationnels plus systématiques pour vérifier et construire des complexes satisfaisant des conditions spécifiques.

Évaluation approfondie

Points forts

1. Profondeur théorique :
   • Généralisation réussie du théorème de Haglund-Wise des groupes discrets aux groupes tdlc, avec une difficulté technique significative
   • L'argument limite (Proposition 3.6) utilisant le théorème de Baire pour prouver la stabilisation finale des groupes compactement présentés, montrant une intuition topologique profonde
   • Établissement d'une triple connexion : actions locales - stabilisateurs de points - propriétés globales
2. Innovation de construction :
   • Combinaison ingénieuse des groupes de Bestvina-Brady, produits semi-directs et groupes universels de Smith
   • Construction de l'exemple 4.10 (utilisant $\text{PSL}_2(13) \times C_3 \times C_3$) montrant une originalité remarquable
   • Fourniture d'exemples vérifiables (code GAP en annexe)
3. Systématicité :
   • Preuve complète des cas fondamentaux ($n=1,2$) au cas général
   • Traitement unifié des produits amalgamés et extensions HNN
   • Chaîne logique claire : cadre théorique (Théorème 1.3) → applications (Corollaire 1.4) → exemples concrets
4. Complétude :
   • Répondre à la question ouverte de Castellano-Weigel avec un résultat plus fort
   • Généraliser le résultat classique de Skipper-Witzel-Zaremsky
   • Fournir plusieurs méthodes de construction (Remarque 4.11)
5. Rigueur technique :
   • Toutes les preuves de théorèmes sont complètes
   • Traitement soigneux des détails topologiques (sous-groupes ouverts, compacité, limites)
   • Code informatique vérifiable

Insuffisances

1. Lisibilité :
   • Pour les non-spécialistes, les détails techniques topologiques des groupes tdlc sont difficiles à comprendre
   • La preuve de non-simple-connexité de l'exemple 4.10 nécessite une connaissance de la géométrie CAT(0)
   • Absence de figures géométriques intuitives (seule la Figure 1 montre l'étiquetage légal)
2. Naturalité de construction :
   • La construction de l'exemple 4.10 semble « sur mesure » pour satisfaire des conditions spécifiques
   • L'incertitude sur le choix de $\text{PSL}_2(13) \times C_3 \times C_3$ et ses raisons profondes
   • Dépendance à la recherche informatique pouvant limiter la compréhension de l'essence de la construction
3. Généralité :
   • Les conditions du théorème 1.4 (nombre fini d'orbites, une action transitive) sont assez fortes
   • Pas de discussion sur ce qui se passe lorsque ces conditions ne sont pas satisfaites
   • Pas d'exemple pour le cas $n=1$ (type $F_0$ mais non $F_1$)
4. Analyse comparative insuffisante :
   • Comparaison insuffisante avec la méthode de Llosa Isenrich-Schesler-Wu 11
   • Manque de discussion détaillée sur les autres méthodes mentionnées dans la Remarque 4.11
   • Clarté insuffisante sur les avantages et inconvénients des différentes méthodes de construction
5. Problèmes ouverts :
   • Pas de liste explicite des problèmes ouverts restants
   • Pas de discussion sur les exemples de type $FP_\infty$ mais non $F_\infty$

Impact

1. Contribution au domaine :
   • Progrès théorique majeur : Première étude systématique du phénomène de séparation des propriétés de finitude dans les groupes tdlc
   • Contribution méthodologique : Généralisation des techniques de graphes de groupes au cadre tdlc, fournissant des outils pour la recherche ultérieure
   • Réponse à des questions importantes : Résoudre la question ouverte de Castellano-Weigel
2. Valeur pratique :
   • Outils de construction : La méthode des groupes universels de Smith + groupes de Bestvina-Brady peut s'appliquer à la construction d'autres exemples
   • Support computationnel : Le code GAP fournit un outil pratique pour la vérification
   • Cadre théorique : Les théorèmes 1.3 et 1.4 peuvent s'appliquer à l'analyse des propriétés de finitude d'autres groupes tdlc
3. Reproductibilité :
   • Élevée : Toutes les preuves sont complètes, les exemples clés ont du code informatique
   • Le code GAP (annexe) peut être exécuté directement pour vérifier l'exemple 4.10
   • Le cadre théorique est clair et applicable à la construction d'exemples similaires
4. Applications potentielles :
   • Algèbres d'opérateurs : Les représentations des groupes tdlc sont liées aux algèbres d'opérateurs
   • Systèmes dynamiques topologiques : Propriétés dynamiques des actions de groupes sur les arbres
   • Théorie géométrique des groupes : Compréhension plus profonde de la nature géométrique des propriétés de finitude

Scénarios d'application

1. Applications directes :
   • Étude des groupes tdlc ayant des propriétés de finitude spécifiques
   • Construction de groupes ayant des propriétés extrêmes (simples mais non compactement présentés)
   • Étude de la structure des groupes universels de Smith
2. Applications méthodologiques :
   • Utilisation de la décomposition en graphe de groupes pour étudier les propriétés des groupes tdlc
   • Compréhension des propriétés globales via les actions locales
   • Application de la technique d'argument limite à d'autres problèmes de groupes topologiques
3. Recherche théorique :
   • Classification et caractérisation des propriétés de finitude
   • Théorie de la structure des groupes tdlc
   • Étude des analogies entre groupes discrets et groupes tdlc
4. Domaines connexes :
   • Théorie des formes automorphes (groupes arithmétiques)
   • Théorie des immeubles (actions de groupes sur les immeubles)
   • Théorie cohomologique des groupes topologiques

Points techniques remarquables

1. Application du théorème de Baire (Proposition 3.6) : Dans la preuve de la stabilisation finale des groupes compactement présentés, utilisation ingénieuse du théorème de Baire, technique clé pour traiter le cas non discret.
2. Technique des modules de permutation : Utilisation du complexe cellulaire de chaîne de l'arbre de Bass-Serre et des propriétés de finitude des modules de permutation pour établir des arguments cohomologiques élégants.
3. Traitement topologique des formes normales : Dans les propositions 3.4 et 3.7, combinaison des arguments classiques de formes normales avec les propriétés topologiques des ensembles compactement engendrés.
4. Correspondance géométrie-algèbre : Caractérisation des propriétés algébriques (propriétés de finitude) des groupes de Bestvina-Brady via les propriétés topologiques (connexité) des complexes de drapeaux.

Références (littérature clé)

2 M. Bestvina and N. Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), 445–470. (Première preuve que $F_n$ et $FP_n$ ne sont pas équivalents)

7 I. Castellano and G. Corob Cook, Finiteness properties of totally disconnected locally compact groups, Journal of Algebra 543 (2020), 54–97. (Définitions modernes des propriétés de finitude des groupes tdlc)

9 F. Haglund and D. T. Wise, A note on finiteness properties of graphs of groups, Proceedings of the AMS, Series B (2021). (Théorème principal généralisé dans cet article)

13 R. Skipper, S. Witzel, and M. C. B. Zaremsky, Simple groups separated by finiteness properties, Invent. Math. 215 (2019), 713–740. (Résultats de séparation pour les groupes discrets, objet de généralisation de cet article)

14 S. Smith, A product for permutation groups and topological groups, Duke Math. J. 166 (2017), 2965–2999. (Construction originale des groupes universels de Smith)

Évaluation générale : Ceci est un article mathématique théorique de haute qualité qui généralise avec succès des résultats importants de la théorie des groupes discrets au cadre des groupes tdlc, avec des techniques profondes et des constructions ingénieuses. Bien que certains aspects de la naturalité et de la généralité des constructions pourraient être améliorés, ses contributions théoriques et sa valeur méthodologique sont significatives, établissant une base importante pour la recherche future sur les propriétés de finitude des groupes tdlc. La rigueur et l'exhaustivité de l'article sont excellentes, représentant un progrès important dans le domaine.