Enquête sur les groupes de Cremona d'un point de vue géométrique médian

Informations fondamentales

• Identifiant de l'article: 2510.10838
• Titre: Survey on Cremona groups from a median geometric point of view
• Auteur: Anne Lonjou (Laboratoire de mathématiques d'Orsay, Université Paris-Saclay)
• Classification: math.GR (Théorie des groupes), math.AG (Géométrie algébrique)
• Date de publication: 14 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.10838

Résumé

Cet article est une enquête basée sur les notes de cours d'un mini-cours de l'auteur intitulé « Groupes de Cremona et complexes cubiques CAT(0) » présenté lors du séminaire de théorie géométrique des groupes de Riverside en 2023. L'article s'adresse aux spécialistes de la théorie géométrique des groupes et de la géométrie algébrique, et présente les constructions récentes de l'action des groupes de Cremona sur les graphes médians.

Contexte et motivation de la recherche

Problème central

L'article s'articule autour d'une importante question ouverte :

Question 1.1: Soit G un sous-groupe de type fini de Bir(X) tel que pour tout g∈G, g soit régularisable. Alors G est-il régularisable ? C'est-à-dire, existe-t-il une variété Y et une application birationnelle φ: Y→X telles que G soit conjugué à un sous-groupe du groupe d'automorphismes de Y ?

Motivations de la recherche

1. Limitations des méthodes de théorie géométrique des groupes: Bien que les méthodes de théorie géométrique des groupes soient très efficaces pour l'étude des groupes de Cremona de rang 2, jusqu'à récemment, ces méthodes ne pouvaient pas être appliquées à l'étude des groupes de Cremona de rang supérieur, en raison de l'absence d'actions non triviales sur des espaces géométriques.
2. Besoin d'un cadre unifié: Un cadre géométrique unifié est nécessaire pour étudier les groupes de transformations birationnelles de différentes dimensions.
3. Extension théorique: Élargir la portée des résultats classiques de théorie géométrique des groupes en considérant des actions de groupes massifs spécifiques (non de type fini) sur des objets géométriques non localement compacts ou de dimension infinie.

Contributions principales

1. Introduction des constructions récentes de l'action des groupes de Cremona sur les graphes médians, incluant:
   • Le graphe d'éclatement (blow-up graph) Cb(S)
   • Le graphe d'éclatement rationnel (rational blow-up graph) Cb,k(S)
   • Le graphe de Jonquières
   • Le graphe Cℓ(X) pour le cas de dimension supérieure
2. Établissement d'un dictionnaire de correspondance entre la géométrie médiane et la géométrie birationnelle, reliant:
   • Les isométries elliptiques et les éléments régularisables
   • Les distances et le nombre de points de base
   • Les longueurs de translation et le nombre de points de base dynamiques
3. Résolution du problème de régularisation dans des cas spécifiques:
   • Le cas du groupe de Cremona de rang 2 sur les corps finis
   • Le cas du groupe de Jonquières
4. Construction de morphismes de certains groupes de Cremona vers Z, fournissant de nouveaux outils d'étude pour le cas de dimension supérieure

Détails méthodologiques

Théorie fondamentale des graphes médians

Définition des graphes médians

Un graphe X est un graphe médian si et seulement si pour trois sommets quelconques x₁, x₂, x₃, il existe un unique point médian m satisfaisant:

d(xᵢ, xⱼ) = d(xᵢ, m) + d(m, xⱼ) pour tous i ≠ j

Relation avec les complexes cubiques CAT(0)

Théorème 2.4: Un graphe est un graphe médian si et seulement s'il est le 1-squelette d'un complexe cubique CAT(0).

Construction du graphe d'éclatement

Définition des surfaces marquées

Une surface marquée (T, φ) est une paire où T est une surface projective lisse et φ: T→S est une application birationnelle. Deux surfaces marquées sont équivalentes si et seulement si l'application entre elles est un isomorphisme.

Définition du graphe d'éclatement

Définition 4.1: Le graphe d'éclatement Cb(S) a pour sommets les classes d'équivalence de surfaces marquées (T, φ), et deux sommets sont adjacents si et seulement si l'un d'eux est obtenu en éclatant un point de l'autre.

Propriétés clés

Théorème 4.5: Le graphe d'éclatement est un graphe médian.

Proposition 4.11: Établit la correspondance entre les concepts géométriques et birationnels:

1. Isométries elliptiques ↔ Éléments projectivement régularisables
2. Distance ↔ Nombre de points de base: d((S, id), (S, f)) = 2|B(f)|
3. Longueur de translation ↔ Nombre de points de base dynamiques: ℓ(f) = 2μ(f)

Généralisation en dimension supérieure

Construction du graphe Cℓ(X)

Pour une variété ℓ-marquée (Y, φ), où φ: Y→X est un isomorphisme de codimension ℓ, on construit le graphe Cℓ(X):

• Sommets: classes d'équivalence de variétés ℓ-marquées
• Arêtes: connexion par suppression de sous-variétés irréductibles de codimension ℓ+1

Théorème 5.6: Le graphe Cℓ(X) est un graphe médian.

Résultats principaux

Étude des actions purement elliptiques

Théorème 2.17 (GLU24): Soit G un groupe de type fini agissant purement elliptiquement sur un graphe médian localement de dimension finie G, alors G a des orbites bornées.

L'application de ce résultat au graphe d'éclatement est limitée, car le graphe d'éclatement n'est pas localement de dimension finie.

Résultats de régularisation sur les corps finis

Théorème 4.18 (GLU24): Soit F un corps fini et S une surface projective régulière définie sur F. Si G est un sous-groupe de type fini de Bir(S) et chaque élément de G est projectivement régularisable, alors G est projectivement régularisable.

Borneté du groupe de Jonquières

Théorème 4.22 (LPU24): Un sous-groupe de type fini de Bir(P²) contenant uniquement des éléments algébriques est borné.

Morphismes des groupes de Cremona en dimension supérieure

Théorème 5.24 (GLU25): Il existe un morphisme non trivial φ: Bir(Pⁿ) → ZDiv(Pⁿ)/≈ dans les cas suivants:

1. n ≥ 5 et le corps est infini
2. n ≥ 4 et le corps est de caractéristique 0
3. n = 3 et le corps est un corps de nombres, un corps de fonctions sur un corps de nombres, ou un corps de fonctions sur un corps algébriquement clos

Points d'innovation technique

1. Géométrisation des concepts birationnels

Par la structure géométrique des graphes médians, les concepts birationnels abstraits (tels que les points de base, les diviseurs exceptionnels, etc.) sont géométrisés, permettant l'application des outils de théorie géométrique des groupes.

2. Cadre unifié

Fournit un cadre unifié pour l'étude des groupes de transformations birationnelles de différentes dimensions, des surfaces aux variétés de dimension arbitraire.

3. Utilisation de l'orientation cubique

Par l'orientation cubique, les actions de groupes sont liées aux problèmes de régularisation, de sorte que les orbites bornées correspondent à la régularisabilité.

4. Constructions multi-niveaux

Par la construction de différents graphes médians (Cb(S), Cb,k(S), Cℓ(X), etc.), des objets géométriques appropriés sont fournis pour différents problèmes.

Applications principales

Théorie de la régularisation

1. Régularisation des sous-groupes avec la propriété FW: Les sous-groupes avec la propriété FW sont projectivement régularisables
2. Régularisation des groupes bornés: Les sous-groupes bornés sont projectivement régularisables
3. Éléments de torsion et divisibles: Les groupes générés par des éléments de torsion et des éléments divisibles sont régularisables

Restrictions sur les centralisateurs

Théorème 5.22: Pour f∈Bir(X) qui n'est pas pseudo-régularisable de codimension 1, son centralisateur cent(f) soit permute les fibres d'une application rationnelle, soit contient ⟨f⟩×H comme sous-groupe d'indice fini, où H est un groupe de torsion.

Bornes inférieures de la croissance du degré

Théorème 5.23: Pour g∈Bir(Pᵈ) qui n'est pas pseudo-régularisable de codimension 1, la croissance asymptotique de deg(gⁿ) est au moins 1/(d+1)n.

Travaux connexes

Contexte de théorie géométrique des groupes

• Résultats classiques de Serre sur les actions de groupes sur les arbres
• Développement de la théorie des complexes cubiques CAT(0)
• Établissement de la théorie des graphes médians

Recherche sur les groupes de Cremona

• Travail fondateur de Cantat-Lamy sur les actions hyperboliques des groupes de Cremona de rang 2
• Recherche de Blanc-Déserti sur le nombre de points de base dynamiques
• Progrès récents sur les groupes de Cremona en dimension supérieure

Théorie de la régularisation

• Travail de Cantat-de Cornulier sur les actions de commutateurs
• Recherche de Cornulier sur les actions partielles

Conclusion et discussion

Réalisations principales

1. Extension réussie des méthodes de théorie géométrique des groupes à l'étude des groupes de Cremona en dimension supérieure
2. Établissement de liens profonds entre la géométrie birationnelle et la géométrie médiane
3. Résolution du problème de régularisation dans des cas spécifiques
4. Fourniture de nouveaux outils d'étude pour le cas de dimension supérieure

Limitations

1. Le problème général de régularisation (Question 1.1) reste ouvert
2. Le graphe d'éclatement n'est pas localement de dimension finie, ce qui limite l'application de certains résultats
3. De nombreuses questions dans le cas de dimension supérieure restent non résolues

Directions futures

1. Poursuivre l'étude du problème de régularisation des groupes de Cremona de rang 2 sur les corps généraux
2. Explorer la dichotomie de Tits pour les groupes de Cremona en dimension supérieure
3. Étudier les propriétés de sous-groupes spéciaux supplémentaires
4. Développer de nouveaux outils géométriques pour traiter le cas de dimension infinie

Évaluation approfondie

Avantages

1. Profondeur théorique: Établit des liens profonds entre deux branches mathématiques importantes
2. Innovation méthodologique: Application systématique pour la première fois de la théorie des graphes médians à la géométrie birationnelle
3. Richesse des résultats: Obtention de plusieurs résultats importants de régularisation et de théorèmes de structure
4. Clarté de la rédaction: Explications détaillées et accessibles pour les lecteurs de différents horizons

Insuffisances

1. Limitations techniques: Certains résultats ne s'appliquent qu'à des cas spéciaux (corps finis, dimensions spécifiques)
2. Problèmes ouverts: Le problème central (Question 1.1) reste non résolu dans le cas général
3. Complexité computationnelle: La construction et la vérification des propriétés des graphes médians peuvent être difficiles en pratique

Portée d'impact

1. Contribution théorique: Fournit un nouveau paradigme de recherche pour la géométrie birationnelle
2. Méthodologie: Démontre l'application puissante de la théorie géométrique des groupes en géométrie algébrique
3. Inspiration: Fournit de nouvelles perspectives et outils pour la recherche dans les domaines connexes

Scénarios d'application

1. Recherche théorique: Recherche interdisciplinaire en géométrie birationnelle et théorie géométrique des groupes
2. Applications concrètes: Classification et étude des propriétés de groupes de Cremona spéciaux
3. Enseignement: Excellent matériel pédagogique reliant différentes branches des mathématiques

Cette enquête fournit une perspective complète et approfondie pour comprendre les propriétés de théorie géométrique des groupes des groupes de Cremona, et constitue une littérature importante dans ce domaine interdisciplinaire.