Automorphisms of Smooth Hypersurfaces with Fixed Loci of Codimension at Most Two

1. Problématique et Contexte

L'article s'intéresse à l'étude des automorphismes d'hypersurfaces lisses $X$ de degré $d$ dans l'espace projectif $\mathbb{P}^{n+1}$ (sur un corps algébriquement clos de caractéristique nulle), où $n \ge 2$.

Bien que la structure du groupe d'automorphismes soit connue pour être finie et constituée de transformations linéaires projectives (sous certaines hypothèses), les classifications explicites restent limitées à des cas particuliers. La littérature existante se concentre principalement sur les contraintes numériques des ordres possibles des automorphismes en fonction du degré $d$ et de la dimension $n$ (travaux de Zheng, Badr, Bars, etc.).

Le problème central abordé par les auteurs est d'intégrer des informations géométriques spécifiques, à savoir la dimension du lieu fixe d'un automorphisme, pour affiner la classification de ses ordres. Plus précisément, ils étudient les automorphismes dont le lieu fixe $\text{Fix}(g)$ a une codimension au plus deux dans $X$. L'objectif est double :

1. Déterminer les ordres possibles de tels automorphismes sous cette contrainte géométrique.
2. Étudier la rationalité des espaces quotients $X/\langle g \rangle$ associés, en particulier lorsque l'ordre de l'automorphisme est lié à $d$, $d-1$ ou $d-2$.

2. Méthodologie

La démarche méthodologique repose sur une analyse algébrique fine des équations définissant l'hypersurface et l'action de l'automorphisme.

• Réduction aux formes normales : En utilisant la théorie des représentations linéaires, les auteurs montrent que tout automorphisme $g$ d'une hypersurface lisse avec un lieu fixe de codimension $\le 2$ peut être représenté, après un changement de coordonnées, par une matrice diagonale dans $\text{PGL}(n+2, k)$.
• Classification des types : Ils classifient les automorphismes en six types (I à VI) basés sur la multiplicité de leurs valeurs propres et la structure du lieu fixe :
  • Type I : Une valeur propre distincte (codimension 1).
  • Types II & III : Deux valeurs propres distinctes (codimension 1 ou 2).
  • Types IV, V, VI : Trois valeurs propres distinctes (codimension 2).
• Analyse des équations : Pour chaque type, ils écrivent l'équation de l'hypersurface $F=0$ et imposent la condition d'invariance sous l'action de la matrice diagonale. Cela génère des relations algébriques entre les coefficients de $F$ et les valeurs propres de $g$.
• Contrainte de lissité : L'hypothèse cruciale est que $X$ est lisse. Les auteurs utilisent systématiquement cette propriété pour éliminer les configurations où le lieu fixe contiendrait des sous-espaces projectifs de dimension trop élevée qui rendraient l'hypersurface singulière. Cela permet de borner la dimension de l'espace ambiant $n$ et de restreindre les relations possibles entre les ordres et le degré $d$.
• Théorie des points de Galois : Pour l'étude de la rationalité des quotients, ils s'appuient sur la théorie des points de Galois et des droites de Galois skew, reliant l'existence d'automorphismes d'ordres spécifiques à la structure du quotient.

3. Résultats Principaux

Les résultats sont présentés sous forme de deux théorèmes majeurs.

Théorème 1.1 : Classification des ordres

Ce théorème énonce les contraintes strictes sur l'ordre d'un automorphisme $g$ en fonction de la codimension de son lieu fixe.

• Cas de codimension 1 : Si $\text{codim}(\text{Fix}(g)) = 1$, l'ordre de $g$ divise $d$, $d-1$ ou $d-2$. De plus, si l'ordre divise $d-2$ et est $\ge 3$, alors nécessairement $n=2$.
• Cas de codimension 2 : Si $\text{codim}(\text{Fix}(g)) = 2$, les ordres possibles dépendent de $n$ :
  • Si $n \ge 4$, l'ordre divise $(d-1)d$, $(d-1)^2$ ou $(d-2)d$.
  • Si $n = 3$, l'ordre divise l'un des termes suivants : $(d-1)d$, $(d-1)^2$, $(d-2)d$, $d^2-3d+3$, ou $(d-2)(d-1)$.
  • Si $n = 2$, la liste est plus longue et inclut des termes comme $(d-1)^2d$, $(d-1)^3$, $(d^2-3d+3)d$, etc.

Théorème 1.2 : Rationalité des quotients

Ce théorème établit des conditions suffisantes pour que l'espace quotient $X/\langle g \rangle$ soit une variété rationnelle.

• Si $\text{ord}(g) \in \{d-2, d-1, d\}$ (avec $\text{ord}(g) \ge 3$) et que le lieu fixe est de codimension 1, alors $X/\langle g \rangle$ est rationnel.
• Si $\text{ord}(g) = k(d-1)$ ou $kd$ pour $k \ge 2$ et que le lieu fixe est de codimension 1, alors $X/\langle g \rangle$ est rationnel.

Correction d'un résultat antérieur

Les auteurs identifient et corrigent une omission dans un théorème précédent (Théorème 3.17 de la littérature [8]). Ils montrent que le cas où le lieu fixe est de codimension 2 et contient une droite projective (cas spécifique pour $n=3$) ne garantit pas toujours l'existence d'un point de Galois au sens strict défini précédemment. Ils proposent une version corrigée (Théorème 3.19) qui ajoute la condition que le lieu fixe ne doit pas contenir de droite projective.

4. Contributions Clés

1. Affinement géométrique : Passage d'une classification purement numérique (basée sur $n$ et $d$) à une classification intégrant la géométrie du lieu fixe. Cela permet d'éliminer de nombreux ordres "théoriquement possibles" mais géométriquement impossibles pour des hypersurfaces lisses.
2. Classification complète par codimension : Fourniture d'une liste exhaustive des ordres possibles pour les automorphismes dont le lieu fixe est "grand" (codimension $\le 2$), couvrant tous les cas de dimension $n \ge 2$.
3. Lien Automorphisme-Rationalité : Établissement de liens directs entre l'ordre de l'automorphisme (spécifiquement les multiples de $d, d-1, d-2$) et la rationalité du quotient, renforçant la compréhension de la structure birationnelle de ces variétés.
4. Correction de la littérature : Identification d'un contre-exemple et correction d'un théorème existant concernant les points de Galois pour les surfaces dans $\mathbb{P}^4$.

5. Signification et Impact

Ce travail est significatif pour la géométrie algébrique car il comble un vide entre les résultats structurels généraux et les classifications complètes de groupes d'automorphismes. En imposant une contrainte géométrique naturelle (la taille du lieu fixe), les auteurs parviennent à des résultats de classification beaucoup plus précis.

Les résultats ont des implications pour :

• La géométrie des variétés quotients, en identifiant de nouvelles familles de variétés rationnelles.
• La théorie des points de Galois, en clarifiant les conditions d'existence et en corrigeant des affirmations antérieures.
• La classification des hypersurfaces, en fournissant des invariants plus fins pour distinguer les types d'automorphismes possibles selon la dimension de l'espace ambiant.

En résumé, l'article démontre que la géométrie du lieu fixe d'un automorphisme est un invariant puissant qui contraint fortement l'arithmétique de l'ordre de cet automorphisme et la nature birationnelle de l'espace quotient.