$F$-injectivity does not imply $F$-fullness in normal domains

Cet article construit des exemples de domaines locaux géométriquement normaux de caractéristique première qui sont $F$-injectifs mais non $F$-pleins, démontrant ainsi que l'$F$-injectivité n'implique pas l'$F$-pleineur.

L'essentiel

Voici une explication de ce papier mathématique, traduite en langage simple et illustrée par des analogies pour rendre les concepts abstraits plus concrets.

Le Titre : « L'Injectivité F n'implique pas la Pleine F »

Imaginez que vous êtes un architecte inspectant des bâtiments (les anneaux mathématiques). Dans le monde des mathématiques, il existe différents types de "défauts" ou de "cassures" dans la structure d'un bâtiment. Les mathématiciens utilisent des outils spéciaux (comme le Frobenius, qui agit comme un rayon X magique) pour voir si ces bâtiments sont solides ou non.

Ce papier raconte l'histoire de deux types de défauts :

1. L'Injectivité F (F-injective) : C'est comme dire que le bâtiment a passé un test de base. Le rayon X ne trouve pas de trous majeurs dans les fondations. C'est un signe que le bâtiment est "correct" à un niveau élémentaire.
2. La Pleine F (F-full) : C'est un test beaucoup plus strict. Il exige que le bâtiment soit non seulement sans trous, mais qu'il soit aussi parfaitement "rempli" et structuré, capable de résister à des transformations complexes sans s'effondrer.

Le message principal du papier : Les auteurs ont découvert qu'il existe des bâtiments qui passent le test de base (ils sont "F-injectifs") mais qui échouent lamentablement au test strict (ils ne sont pas "F-pleins"). De plus, ces bâtiments sont "normaux" (ils ont l'air bien construits de l'extérieur), ce qui rend la découverte encore plus surprenante.

---

L'Analogie du "Changement de Terrain" (Base Change)

Pour comprendre pourquoi c'est important, imaginez que vous construisez une maison sur un terrain spécifique (un corps de base, noté $k$).

• La situation normale : Si votre maison est solide sur le terrain $k$, vous vous attendez à ce qu'elle reste solide si vous la déplacez sur un terrain voisin un peu différent (une extension du corps, noté $k'$). C'est ce qu'on appelle la stabilité.
• Le problème découvert : Les auteurs ont construit des maisons (des anneaux) qui semblent parfaites sur leur terrain d'origine. Mais dès qu'ils les ont déplacées sur un terrain voisin très spécifique (un terrain "purement inséparable", une sorte de terrain géométrique très étrange), la maison s'est effondrée ou a révélé des fissures cachées.

C'est comme si vous aviez un château de cartes qui tient parfaitement debout dans une pièce calme, mais qui s'effondre dès qu'on ouvre une fenêtre pour faire entrer un courant d'air très spécifique.

Les Deux Découvertes Majeures

Les auteurs ont construit deux types de "maisons" (des exemples mathématiques) pour prouver leur point :

1. La Maison à Deux Étages (Dimension 2)

• Ce qu'ils ont trouvé : Un bâtiment à deux étages qui est "normal" (il a l'air bien) et qui passe le test de base (F-injectif).
• Le problème : Il n'est pas "anti-nilpotent" (un terme technique pour dire qu'il ne résiste pas bien à certaines manipulations mathématiques).
• L'analogie : C'est comme un pont qui semble solide quand on le regarde de loin, mais qui commence à vibrer dangereusement dès qu'on y fait passer un camion trop lourd. De plus, si on change le sol sous le pont (le terrain $k$), le pont s'effondre.

2. La Maison à Trois Étages (Dimension 3)

• Ce qu'ils ont trouvé : Un bâtiment à trois étages, toujours "normal" et "F-injectif".
• Le problème : Il n'est pas "F-plein".
• L'analogie : Imaginez un immeuble qui a l'air magnifique et qui ne s'effondre pas sous le vent (F-injectif), mais qui a des pièces vides et mal connectées à l'intérieur. Si vous essayez de le rénover ou de le transformer (un problème de "déformation"), il ne peut pas supporter les changements. Il manque de "plein" intérieur.

Pourquoi est-ce important ?

Pendant longtemps, les mathématiciens pensaient que si un bâtiment était "normal" et passait le test de base (F-injectif), il devrait automatiquement passer tous les tests stricts (comme être F-plein ou F-anti-nilpotent). Ils pensaient que la normalité était un "bouclier" magique.

Ce papier dit : "Non, ce n'est pas vrai."

Ils ont prouvé que même avec des bâtiments parfaitement "normaux" (sans défauts visibles à l'œil nu), on peut avoir des structures fragiles qui échouent aux tests avancés. Cela force les mathématiciens à revoir leurs théories sur la façon dont ces structures se comportent lorsqu'on change leur environnement (le terrain).

En Résumé

• Le but : Vérifier si les règles qui fonctionnent pour les bâtiments "parfaits" s'appliquent aussi aux bâtiments "normaux".
• Le résultat : Non. Il existe des bâtiments "normaux" qui semblent solides mais qui sont en réalité fragiles face à certains changements de terrain.
• La méthode : Ils ont construit des modèles mathématiques très précis (des hypersurfaces) pour montrer exactement où et comment ces bâtiments échouent.
• L'impact : Cela montre que la théorie des singularités (les défauts des formes géométriques) est plus complexe et subtile qu'on ne le pensait. On ne peut pas se fier uniquement à la "normalité" pour garantir la solidité d'une structure mathématique.

C'est un peu comme découvrir que même les voitures les plus élégantes et bien entretenues peuvent avoir un défaut de moteur caché qui ne se révèle que sur une route de gravier spécifique. Les auteurs ont trouvé ce défaut et ont montré qu'il existe partout, quelle que soit la taille de la voiture (la dimension).

Résumé technique

Voici un résumé technique détaillé du papier « F-INJECTIVITY DOES NOT IMPLY F-FULLNESS IN NORMAL DOMAINS » de Alessandro De Stefani, Thomas Polstra et Austyn Simpson, rédigé en français.

1. Problématique et Contexte

Ce travail s'inscrit dans l'étude des singularités en caractéristique positive ($p > 0$), un domaine central de la géométrie algébrique et de la théorie des anneaux commutatifs. Les auteurs se concentrent sur la classe des anneaux F-injectifs.

• Définition : Un anneau local $(R, \mathfrak{m})$ est dit F-injectif si les applications induites par l'endomorphisme de Frobenius $F : H^i_{\mathfrak{m}}(R) \to H^i_{\mathfrak{m}}(R)$ sont injectives pour tout $i$.
• Contexte théorique : Les anneaux F-injectifs sont considérés comme l'analogue en caractéristique positive des singularités de Du Bois en géométrie complexe. Ils sont moins restrictifs que les singularités F-régulières ou F-rationnelles.
• Le problème ouvert : Il est bien établi que les anneaux F-purs (une classe plus forte) possèdent de bonnes propriétés structurelles, telles que :
  1. La normalité faible (WN1) : la normalisation est non ramifiée en codimension 1.
  2. La stabilité par changement de base fini (même purement inséparable).
  3. L'anti-nilpotence F (une propriété liée à l'action de Frobenius sur les sous-modules invariants).
  4. La propriété d'être F-plein (F-full).

Cependant, pour les anneaux F-injectifs, ces propriétés échouent généralement. La question centrale abordée par les auteurs est de savoir si l'imposition de conditions de normalité géométrique (c'est-à-dire que $R \otimes_k L$ est normal pour toute extension finie $L$ de $k$) suffit à rétablir ces propriétés, en particulier la propriété d'être F-plein (F-full) et F-anti-nilpotent.

2. Méthodologie

Les auteurs construisent des contre-exemples explicites en utilisant une combinaison d'outils algébriques et géométriques :

1. Hypersurfaces pondérées : Ils commencent par définir des hypersurfaces $R = S/fS$ sur un corps $k = \mathbb{F}_p(t)$ (corps de fonctions rationnelles, donc à corps résiduel imparfait). Les polynômes $f$ sont choisis de manière à garantir que $R$ soit une singularité isolée géométriquement normale.
2. Analyse de la Cohomologie Locale : Ils calculent explicitement les modules de cohomologie locale $H^i_{\mathfrak{m}}(R)$, en particulier leur structure graduée et l'action de Frobenius sur les composantes de degré zéro et négatif.
3. Sous-anneaux de Veronese : Pour obtenir un anneau F-injectif, ils ne travaillent pas directement sur $R$ (qui a un invariant $a$ positif et n'est donc pas F-injectif), mais sur un sous-anneau de Veronese $T = R^{(n)}$. Le choix de $n$ permet de déplacer les degrés critiques pour que l'action de Frobenius devienne injective sur les degrés pertinents.
4. Produits de Segre : Pour construire l'exemple de dimension 3 (Théorème B), ils utilisent le produit de Segre $A = T \# k[u,v]$ entre l'anneau de Veronese $T$ et un anneau de polynômes en deux variables. Cela permet de passer de la dimension 2 à la dimension 3 tout en contrôlant la cohomologie locale via une formule de type Künneth.
5. Changement de base purement inséparable : La clé de la construction réside dans l'analyse du comportement de l'anneau sous l'extension $k \to k^{1/p}$. Ils montrent que bien que l'anneau soit F-injectif sur $k$, il perd cette propriété (ou la propriété F-plein) après changement de base.

3. Résultats Principaux

Les auteurs établissent deux théorèmes majeurs qui répondent négativement à la question de savoir si la normalité géométrique implique ces propriétés pour les anneaux F-injectifs.

Théorème A (Dimension 2)

Pour tout nombre premier $p > 0$, il existe un anneau local $(R, \mathfrak{m})$ de dimension 2, géométriquement normal et essentiellement de type fini sur $k$, tel que :

• $R$ est F-injectif.
• $R$ n'est pas F-anti-nilpotent.
• De plus, le changement de base purement inséparable $R \otimes_k k^{1/p}$ n'est pas F-injectif.

Ce résultat montre que même en dimension 2 et avec normalité géométrique, l'anti-nilpotence F (et donc la stabilité par changement de base) peut échouer.

Théorème B (Dimension 3)

Pour tout nombre premier $p > 0$, il existe un anneau local $(R, \mathfrak{m})$ de dimension 3, géométriquement normal et essentiellement de type fini sur $k$, tel que :

• $R$ est F-injectif.
• $R$ n'est pas F-plein (F-full).
• En particulier, $R$ n'est pas Cohen-Macaulay.

Ce résultat est optimal en dimension : en dimension 2, la normalité implique Cohen-Macaulay, ce qui implique F-plein (d'après des résultats antérieurs). La dimension 3 est donc le seuil minimal pour ce contre-exemple.

4. Contributions Techniques Clés

• Construction d'exemples minimaux : Les exemples fournis sont de dimension minimale pour chaque propriété (dim 2 pour l'anti-nilpotence, dim 3 pour la plénitude F).
• Rôle du corps résiduel imparfait : Les auteurs soulignent que leurs exemples nécessitent un corps résiduel imparfait. En effet, si le corps résiduel est parfait, les anneaux F-injectifs avec singularités isolées sont automatiquement F-anti-nilpotents.
• Pathologie du changement de base : Le mécanisme unificateur de ces contre-exemples est la perte de l'injectivité de Frobenius lors d'un changement de base purement inséparable. Cela démontre que la propriété F-injective n'est pas stable par changement de base, même pour des domaines normaux.
• Diagramme des implications : Le papier met à jour le diagramme des relations entre les différentes singularités F (F-régulier, F-rationnel, F-pur, F-injectif, F-plein, etc.), montrant explicitement où les implications échouent même sous l'hypothèse de normalité géométrique.

5. Signification et Impact

Ce travail a une importance significative pour la théorie des singularités en caractéristique positive :

1. Limites de la normalité : Il démontre que l'hypothèse de normalité (ou même de normalité géométrique) est insuffisante pour garantir les propriétés structurelles fortes (comme la plénitude F ou l'anti-nilpotence) qui sont souvent attendues des singularités « douces ».
2. Problème de déformation : La propriété F-plein est cruciale pour les problèmes de déformation (si $R/fR$ est F-plein et F-injectif, alors $R$ l'est). En montrant que des anneaux F-injectifs et normaux ne sont pas nécessairement F-pleins, les auteurs éclairent les obstacles potentiels à la résolution du problème de déformation pour les singularités F-injectives.
3. Distinction des classes : Le papier affine la hiérarchie des singularités F, prouvant que la classe des anneaux F-injectifs normaux est strictement plus large et plus complexe que ce que l'on pourrait espérer en se basant sur les analogues complexes (singularités de Du Bois).

En résumé, ce papier établit que la « F-injectivité » est une classe de singularités extrêmement fine et instable, dont les propriétés peuvent échouer même dans des contextes géométriques très réguliers (domaines normaux), principalement en raison de la sensibilité aux extensions de corps purement inséparables.