Cylinders and the zero locus of the plinth ideal

1. Énoncé du problème

L'article aborde la caractérisation géométrique des actions de $\mathbb{G}_a$ (actions du groupe additif) sur les variétés affines. Plus précisément, il cherche à décrire le lieu des points d'une variété affine $X$ où l'action admet une « trivialisation locale principale ».

Dans le contexte des actions de $\mathbb{G}_a$, qui correspondent bijectivement aux dérivations localement nilpotentes (DLN) sur l'anneau des coordonnées $K[X]$, les auteurs étudient l'union de tous les cylindres principaux invariants. Un cylindre principal est un ouvert $U \subseteq X$ isomorphe à $\mathbb{A}^1 \times Z$ tel que l'action de $\mathbb{G}_a$ agisse par translation sur le facteur $\mathbb{A}^1$.

La question centrale est : Quel est le complément géométrique de l'union de tous ces cylindres principaux ? L'article postule que ce complément est exactement le lieu des zéros de l'idéal de plinth associé à la DLN correspondante.

2. Méthodologie et définitions

Cadre algébrique

• Cadre : $K$ est un corps algébriquement clos de caractéristique nulle. $X$ est une variété affine.
• Correspondance : Une action $\alpha$ de $\mathbb{G}_a$ sur $X$ correspond à une DLN $\partial$ sur $K[X]$.
  • $\text{Ker}(\partial)$ : L'anneau des invariants.
  • $\text{Im}(\partial)$ : L'image de la dérivation.
• Idéal de plinth : Défini comme $\text{pl}(\partial) = \text{Ker}(\partial) \cap \text{Im}(\partial)$. C'est un idéal au sein de l'anneau des invariants.
• Cylindres :
  • Un cylindre dans $X$ est un ouvert $U \cong \mathbb{A}^1 \times Z$.
  • Un $\alpha$-cylindre est un $\alpha$-cylindre invariant où l'action est cylindrique (translation le long du facteur $\mathbb{A}^1$).
  • Un $\alpha$-cylindre principal est un cylindre de la forme $D_X(h) = \{x \in X \mid h(x) \neq 0\}$ pour un certain $h \in K[X]$.

Outils techniques clés

1. Théorème de la tranche (Slice Theorem) : Utilisé pour caractériser quand une action est cylindrique (existence d'une « tranche » $s$ telle que $\partial(s)=1$).
2. Collage des dérivations : L'auteur utilise la Lemme 2.1 pour montrer que les DLN définies localement sur des ouverts invariants coïncident sur les recouvrements, permettant la construction de fonctions globales (comme les fonctions de niveau) à partir de données locales.
3. Groupes de classes de diviseurs : Dans les contre-exemples, l'auteur utilise les propriétés du groupe de classes de diviseurs $\text{Cl}(X)$ pour déterminer si des ouverts sont principaux ou affines.

3. Contributions clés et résultats principaux

Théorème 2.6 : Caractérisation des cylindres principaux

L'article établit une condition algébrique précise pour qu'un ouvert principal $D_X(h)$ soit un $\alpha$-cylindre.

• Résultat : $D_X(h)$ est un $\alpha$-cylindre si et seulement si $h^n \in \text{pl}(\partial)$ pour un entier $n \geq 1$.
• Implication : Cela relie la propriété géométrique d'être un cylindre directement à la structure algébrique de l'idéal de plinth.

Théorème 2.6 (Corollaire 2.7) : La description géométrique principale

Il s'agit du théorème central de l'article.

• Énoncé : Soit $\{U_i\}_{i \in I}$ l'ensemble de tous les $\alpha$-cylindres principaux dans $X$. Alors :
  $$X \setminus \bigcup_{i \in I} U_i = V_X(\text{pl}(\partial))$$
• Signification : L'union de tous les cylindres principaux invariants est exactement le complément du lieu des zéros de l'idéal de plinth. Les points en dehors de cette union sont précisément ceux où l'action ne peut pas être localement trivialisée comme un cylindre principal.

Corollaire 2.8 : Existence de cylindres maximaux

Si l'idéal de plinth $\text{pl}(\partial)$ est un idéal principal dans $\text{Ker}(\partial)$, alors il existe un cylindre $\alpha$-principal maximal dans $X$. Cela généralise des résultats antérieurs connus pour les variétés factorielles.

4. Contre-exemples et limites (Section 3)

L'auteur fournit quatre exemples pour démontrer que la description de l'union des cylindres ne peut pas être simplifiée davantage (par exemple, on ne peut pas simplement dire que l'union est $X \setminus \text{Fix}(\alpha)$ ou que l'union est toujours un seul cylindre).

1. Exemple 3.1 (Complément non cylindrique) :

   • Contexte : Action de $\mathbb{G}_a$ sur $\mathbb{A}^3$.
   • Résultat : Le complément de l'ensemble des points fixes, $\mathbb{A}^3 \setminus \text{Fix}(\alpha)$, est un cylindre topologiquement mais n'est pas un $\alpha$-cylindre. La fonction de niveau requise pour trivialisser l'action n'est pas régulière sur tout l'espace.

2. Exemple 3.3 (Non-recouvrement par des cylindres) :

   • Contexte : Une action libre sur une surface affine $X \subset \mathbb{P}^2$.
   • Résultat : L'union de tous les $\alpha$-cylindres est un sous-ensemble propre de $X$ (spécifiquement là où $z \neq 0$). La surface $X$ ne peut pas être recouverte par des $\alpha$-cylindres, même si l'action est libre. Cela repose sur le fait que $\text{Cl}(X) \cong \mathbb{Z}/2\mathbb{Z}$, empêchant certains ouverts d'être principaux.

3. Exemple 3.4 (Recouvrement non principal) :

   • Contexte : Un $\alpha$-cylindre affine $U$ à l'intérieur d'une variété affine $X$ (surface de Danielewski).
   • Résultat : Il existe un $\alpha$-cylindre affine $U$ qui ne peut pas être recouvert par des $\alpha$-cylindres principaux. Cela montre que l'union des cylindres principaux est strictement plus petite que l'union de tous les cylindres affines.

4. Exemple 3.5 (Lieu de plinth non cylindrique) :

   • Contexte : Action de $\mathbb{G}_a$ sur $\mathbb{A}^4$.
   • Résultat : L'ouvert $D_X(\text{pl}(\partial))$ (le complément du lieu des zéros de l'idéal de plinth) n'est pas un $\alpha$-cylindre. Cela confirme que, bien que l'union des cylindres principaux soit $D_X(\text{pl}(\partial))$, cet ensemble lui-même ne possède pas nécessairement la structure d'un seul cylindre.

5. Signification et impact

• Interprétation géométrique des invariants algébriques : L'article donne un sens géométrique concret à l'idéal de plinth, un concept précédemment étudié principalement en termes algébriques (par exemple, dans le contexte de la factorialité). Il identifie le lieu des zéros de l'idéal de plinth comme l'« ensemble d'obstruction » pour les trivialisations de cylindres principaux.
• Raffinement de la théorie des actions de $\mathbb{G}_a$ : Il clarifie la relation entre l'ensemble des points fixes, l'idéal de plinth et l'existence de trivialisations globales ou locales. Il distingue entre l'union de tous les cylindres et l'union des cylindres principaux.
• Contre-exemples à l'intuition : Les exemples servent d'avertissements cruciaux contre l'hypothèse que :
  • Le complément des points fixes est toujours un cylindre.
  • Les actions libres impliquent que la variété est recouverte par des cylindres.
  • L'ensemble défini par l'idéal de plinth est lui-même un cylindre.
• Applications : Ces résultats sont pertinents pour l'étude des groupes d'automorphismes des variétés affines et du problème de l'annulation de Zariski, des domaines où les actions de $\mathbb{G}_a$ et les structures de cylindres jouent un rôle pivot.

En résumé, Shakhmatov comble avec succès le fossé entre la définition algébrique de l'idéal de plinth et la structure géométrique des orbites de $\mathbb{G}_a$, prouvant que la « partie cylindrique » d'une variété affine est précisément le lieu où l'idéal de plinth ne s'annule pas.