Linearizability notions in equivariant birational geometry

Résumé Technique : Notions de Linéarisabilité en Géométrie Birationnelle Équivariante

Énoncé du Problème
Cet article étudie la géométrie birationnelle équivariante des actions régulières de groupes finis $G$ sur des variétés projectives lisses sur un corps algébriquement clos $k$ de caractéristique nulle. Le problème central est de comprendre la relation entre la linéarisabilité des actions de groupe et leur comportement sous « torsion » via des torsors. Plus précisément, les auteurs examinent dans quelle mesure les propriétés équivariantes globales (telles que la linéarisabilité, la rationalité et l'unirationalité) d'une $G$-variété $X$ sont déterminées par les propriétés de ses torsions $T_X$ sur des corps non clos.

Une tension clé dans le domaine, notée dans les travaux antérieurs de Duncan et Reichstein ([DR15]), est que si les actions linéarisables sont « versales » (une propriété liée à l'existence de points rationnels dans les torsions), toutes les actions versales ne sont pas pour autant linéarisables. L'article cherche à affiner la compréhension de ces propriétés en établissant que de nombreuses conditions équivariantes globales peuvent être réduites à la vérification d'une seule torsion spécifique issue d'une action versale génériquement libre, plutôt qu'à la vérification de tous les torsors possibles.

Méthodologie
Les auteurs emploient une combinaison de géométrie birationnelle équivariante, de la théorie des torsors et de la théorie de l'intersection équivariante (groupes de Chow).

1. Construction de Torsion : L'outil technique central est la torsion d'une $G$-variété $X$ par un $G$-torsor $T = \text{Spec}(L)$ sur une extension de corps $K$. Cela produit une variété $T_X$ sur $K$. L'article exploite la correspondance entre les $G$-variétés sur $k$ et les variétés sur des corps non clos via cette construction.
2. Versalité et Liberté Générique : Les auteurs utilisent le concept de $G$-variétés « versales » (où chaque sous-ensemble ouvert dense invariant admet une application $G$-équivariante depuis n'importe quel torsor) et d'actions « génériquement libres ». Ils se concentrent sur la construction d'un unique torsor de « test » $T_Z$ issu d'une $G$-variété versale génériquement libre $Z$.
3. Groupes de Chow Équivariants et Décomposition de la Diagonale : Dans la section 4, les auteurs introduisent la notion de décomposition intégrale de la diagonale $G$-équivariante. Cela implique l'analyse de la classe de la diagonale $[\Delta_X]$ dans le groupe de Chow équivariant $CH^G_n(X \times X)$ et la détermination de sa capacité à être décomposée en un produit de la classe fondamentale et d'un cycle de dimension zéro, plus un terme supporté sur une sous-variété propre.
4. Invariants Cohomologiques : La section finale analyse le comportement des invariants d'Amitsur et de la cohomologie négligeable sous torsion, en utilisant la suite spectrale de Leray et les propriétés du groupe de Brauer.

Contributions Clés et Résultats

• Réduction à une Seule Torsion Versale (Théorèmes 2.5 & 2.6) :
  L'article établit que pour une $G$-variété quasi-projective $X$, un large éventail de propriétés vérifiées pour toutes les torsions $T_X$ (sur tous les torsors $T$) est équivalent à la vérification de la même propriété pour une seule torsion $T_Z X$, où $Z$ est n'importe quelle $G$-variété quasi-projective possédant une action versale génériquement libre.

  • Le Théorème 2.5 couvre des propriétés telles que l'existence de points rationnels, l'unirationalité, la rationalité stable et la rationalité.
  • Le Théorème 2.6 étend cette équivalence à la birationalité des torsions ($T_X \sim T_Y$).
  • Signification : Cela renforce les résultats précédents qui nécessitaient de vérifier les propriétés par rapport aux torsions issues de représentations linéaires fidèles. Les auteurs montrent que toute action versale génériquement libre suffit comme « cas de test universel ».

• Birationalité $G$-grossière et Linéarisabilité (Section 3) :
  Motivés par les théorèmes de réduction, les auteurs définissent la birationalité $G$-grossière ($X \sim^c_G Y$) et la linéarisabilité grossière (Condition (CL)).

  • $X$ est grossièrement linéarisable si elle est $G$-birationnellement grossière à un espace projectif $P^d$.
  • Cela définit une hiérarchie : Linéarisabilité (L) $\implies$ Linéarisabilité Grossière (CL) $\implies$ Linéarisabilité Stable (SL).
  • Les auteurs fournissent des exemples (par exemple, les actions de $S_3 \times S_3$ sur $P^1 \times P^1$) montrant que (CL) est strictement plus faible que (L) mais strictement plus forte que (SL) dans certains contextes, offrant une classification plus fine des actions qui ne sont pas linéarisables mais qui se comportent comme des actions linéarisables sous torsion.

• Décomposition de la Diagonale Équivariante (Section 4) :
  Les auteurs définissent la décomposition intégrale de la diagonale $G$-équivariante (Définition 4.2).

  • Le Théorème 4.4 prouve qu'une $G$-variété $X$ possède cette propriété si et seulement si sa torsion $T_Z X$ (pour un $Z$ versal) possède la décomposition intégrale standard (non équivariante) de la diagonale.
  • Le Théorème 4.6 relie cela à la linéarisabilité : Si une $G$-variété lisse et projective avec une action génériquement libre est stablement linéarisable, elle admet une décomposition intégrale de la diagonale $G$-équivariante.
  • Le Théorème 4.7 établit la propriété de spécialisation : si la fibre générale d'une famille lisse et propre de $G$-variétés admet une telle décomposition, alors la fibre spéciale le possède également.

• Obstructions Cohomologiques (Section 5) :
  L'article étudie le comportement des invariants d'Amitsur ($Am_d(X, G)$) et de l'obstruction du torsor universel sous torsion.

  • La Proposition 5.1 stipule que pour les actions faiblement versales, les invariants d'Amitsur d'ordre supérieur s'annulent.
  • La Proposition 5.3 démontre que la construction de torsion par un torsor versal induit un isomorphisme sur le groupe d'Amitsur $Am_2(X, G)$.
  • La Proposition 5.2 caractérise les classes de cohomologie « négligeables » comme celles qui s'annulent lorsqu'elles sont tirées en arrière via la map associée à un unique torsor versal, renforçant le thème selon lequel un unique objet versal contrôle le comportement cohomologique de l'ensemble de la classe des torsions.

Signification et Revendications
Les auteurs affirment que leurs résultats représentent un renforcement des développements antérieurs (spécifiquement ceux de [DR15] et [GM22]). Alors que les travaux précédents montraient que les propriétés de toutes les torsions sont impliquées par les propriétés des torsions issues de représentations linéaires fidèles, cet article démontre que la condition peut être assouplie pour n'importe quelle action versale génériquement libre.

L'article ne prétend pas résoudre le problème général de la linéarisabilité, mais propose plutôt un cadre robuste pour tester les propriétés birationnelles équivariantes. En introduisant la « linéarisabilité grossière » et en la liant à la décomposition de la diagonale, les auteurs offrent de nouveaux outils pour distinguer les actions qui sont véritablement linéarisables de celles qui ne le sont que « stablement » ou « grossièrement ». Le travail jette un pont entre la géométrie équivariante sur les corps algébriquement clos et la géométrie des variétés sur des corps non clos, montrant que cette dernière peut souvent être réduite à l'étude d'un seul modèle équivariant bien choisi.