Infinitely many associated primes of local cohomology modules of ramified regular local rings

Cet article construit des exemples de modules de cohomologie locale sur des anneaux locaux réguliers ramifiés qui possèdent un nombre infini de idéaux premiers associés et de nombres de Bass.

L'essentiel

Le Grand Mystère : Les "Étiquettes" Infinies

Imaginez que vous êtes un grand architecte (le mathématicien) qui construit des structures très complexes appelées anneaux locaux réguliers. Ces structures sont comme des immeubles mathématiques parfaits.

Dans ces immeubles, il existe des objets appelés modules de cohomologie locale. Pour faire simple, imaginez que ces modules sont comme des boîtes à outils ou des archives qui contiennent des informations sur la structure de l'immeuble.

Pendant des décennies, les mathématiciens se sont posé une question cruciale, posée par un expert nommé Lyubeznik :

"Si on ouvre ces boîtes à outils dans un immeuble parfait, est-ce qu'on trouvera toujours un nombre fini d'étiquettes (appelées 'primes associés') pour identifier ce qu'il y a dedans ?"

La réponse attendue était "Oui". On pensait que même si la boîte était grande, elle ne contenait qu'un nombre fini de types d'objets distincts. C'était comme croire qu'une bibliothèque, aussi grande soit-elle, n'a qu'un nombre fini de catégories de livres.

La Révolution : "Non, il y en a une infinité !"

C'est ici que l'auteur de ce texte, Linquan Ma, arrive avec une nouvelle construction. Il dit : "Non, c'est faux."

Il a construit un type d'immeuble particulier (appelé un anneau "ramifié" de caractéristique mixte) où, si vous ouvrez la boîte à outils, vous trouvez une infinité d'étiquettes différentes. C'est comme si vous ouvriez une petite boîte et que, au lieu de trouver 5 types de vis, vous trouviez une infinité de types de vis, tous légèrement différents les uns des autres.

Comment a-t-il fait ? (L'Analogie du Miroir et du Puzzle)

Pour prouver cela, Linquan Ma a utilisé une astuce de construction ingénieuse, un peu comme assembler deux puzzles différents pour en créer un troisième qui a des propriétés surprenantes.

1. Le Premier Puzzle (La Base) : Il a pris une structure mathématique connue (basée sur une forme géométrique appelée plan projectif réel, un peu comme un ruban de Möbius en 3D) qui, lorsqu'on l'analyse, a une propriété étrange : elle est "annulée" par le nombre 2. Imaginez une machine qui s'arrête complètement si vous lui donnez le chiffre 2.
2. Le Deuxième Puzzle (Le Problème) : Il a pris un autre exemple célèbre (trouvé par d'autres chercheurs) qui contient déjà une infinité d'étiquettes, mais qui fonctionne dans un contexte différent (sur un corps fini, comme si on travaillait uniquement avec des nombres pairs et impairs).
3. La Fusion (La Construction) : Il a combiné ces deux puzzles dans un nouvel immeuble.
   • Il a pris le premier puzzle et l'a mélangé avec le deuxième.
   • Grâce à une astuce mathématique (une "longue suite exacte", imaginez une chaîne de dominos), il a montré que la propriété "infinie" du deuxième puzzle a été transférée dans le nouvel immeuble.
   • Le résultat ? La nouvelle boîte à outils (le module de cohomologie) hérite de l'infinité de l'autre puzzle.

Pourquoi est-ce important ?

Avant ce papier, on pensait que les mathématiques étaient "bien rangées" : les structures parfaites (régulières) devaient avoir des propriétés finies et prévisibles.

Ce papier dit : "Attention, le monde est plus sauvage que ça."

• Il prouve qu'il existe des structures "parfaites" qui cachent une complexité infinie.
• Il réfute plusieurs conjectures (des hypothèses de travail) qui étaient considérées comme vraies depuis longtemps.
• Il montre que même si vous changez légèrement les règles du jeu (en passant d'un contexte "non ramifié" à "ramifié"), vous pouvez faire apparaître une infinité de comportements imprévus.

En résumé

Imaginez que vous pensiez que tous les châteaux forts avaient un nombre limité de clés pour ouvrir leurs portes. Linquan Ma a construit un château spécial où, si vous cherchez les clés, vous en trouvez une infinité, chacune unique. Cela force les mathématiciens à réécrire leurs règles sur la façon dont les structures mathématiques se comportent et à accepter que l'infini peut se cacher même dans les endroits les plus "réguliers" et prévisibles.

C'est une découverte majeure qui ouvre de nouvelles portes (et ferme d'anciennes hypothèses) dans le monde fascinant de l'algèbre.

Résumé technique

1. Contexte et Problématique

L'article s'attaque à une question fondamentale en géométrie algébrique et en théorie des anneaux locaux, posée par Gennady Lyubeznik en 1993. La question porte sur le comportement des modules de cohomologie locale $H^i_I(R)$ lorsque $R$ est un anneau local régulier et $I$ un idéal.

Plus précisément, Lyubeznik a conjecturé que pour tout anneau local régulier $R$ :

1. Le module de cohomologie locale $H^i_I(R)$ possède un nombre fini d'idéaux premiers associés.
2. Les nombres de Bass (la dimension des espaces vectoriels $\text{Ext}^j(k, H^i_I(R))$) sont finis.

Des travaux antérieurs ([HS93, Lyu93, Lyu00, NnB13a]) ont confirmé cette conjecture dans les cas suivants :

• Anneaux réguliers contenant un corps.
• Anneaux locaux réguliers de caractéristique mixte non ramifiée.

Cependant, le cas des anneaux locaux réguliers de caractéristique mixte ramifiée restait ouvert. L'objectif de cet article est de fournir une réponse négative à cette conjecture dans le cas ramifié.

2. Méthodologie et Construction

L'auteur construit un contre-exemple explicite en combinant deux types d'exemples existants dans la littérature :

1. Les exemples de Datta, Smith et Z. (DSZ23) concernant la triangulation du plan projectif réel $\mathbb{R}P^2$.
2. Les exemples de S. Srinivas et S. S. (SS04) (ou Kat02) concernant des modules de cohomologie locale avec une infinité d'idéaux premiers associés sur des hypersurfaces.

La Construction de l'Anneau

Soit $S = \mathbb{Z}_2[[x_1, \dots, x_6, y_1, \dots, y_6]]$ l'anneau de séries formelles sur les entiers 2-adiques.
L'auteur définit un anneau $R$ comme un quotient de $S$ :
$$R := S / (2 + f(y))$$
où $f(y) = y_1^2 y_3^2 y_6 + y_1 y_2 y_3 y_4 y_5 + y_2^2 y_4^2 y_6$.
Cet anneau $R$ est un anneau local régulier complet ramifié de caractéristique mixte (caractéristique résiduelle 2, caractéristique 0).

L'idéal test $J \subseteq R$ est défini par :
$$J = I_S + (y_1, y_2)S$$
où $I_S$ est l'idéal monomial sans facteur carré correspondant à la triangulation standard de $\mathbb{R}P^2$ (généré par 10 monômes en 6 variables $x_i$).

3. Résultats Principaux

L'article établit deux résultats majeurs (Claims 1 et 2) qui réfutent les conjectures de Lyubeznik et de Huneke.

Résultat 1 : Infinité d'idéaux premiers associés

Théorème : Le module de cohomologie locale $H^6_J(R)$ possède une infinité d'idéaux premiers associés.

Démonstration technique :

• L'auteur utilise la suite exacte longue de cohomologie locale associée à la multiplication par l'élément $2+f(y)$.
• Il montre que $H^6_J(R)$ est isomorphe au conoyau de la multiplication par $f(y)$ sur un module tensoriel :
  $$H^6_J(R) \cong E_{\mathbb{F}_2[[x]]}(\mathbb{F}_2) \otimes_{\mathbb{F}_2} H^2_{(y_1, y_2)}\left(\frac{\mathbb{F}_2[[y]]}{(f(y))}\right)$$
• Le terme de droite, $H^2_{(y_1, y_2)}(\mathbb{F}_2[[y]]/(f(y)))$, est précisément le module étudié dans [SS04] qui possède une infinité d'idéaux premiers associés.
• Comme $H^6_J(R)$ est annulé par 2, il peut être vu comme un module sur $R/(2)$. Les idéaux premiers associés du module de [SS04] s'étendent naturellement à $R/(2)$ en ajoutant les variables $x_i$, générant ainsi une infinité d'idéaux premiers associés pour $H^6_J(R)$.

Résultat 2 : Dimension infinie du socle (Nombres de Bass infinis)

Théorème : Il existe un exemple (en modifiant légèrement la construction avec $R' = \mathbb{Z}_2[[x, y]]/(2 + y_1 y_3 + y_2 y_4)$) où le module de cohomologie locale $H^6_J(R')$ possède un socle de dimension infinie.

Signification :
Puisque les nombres de Bass sont définis par la dimension du socle (ou via les foncteurs Ext), cela implique que les nombres de Bass sont infinis. Cela réfute les conjectures 4.3 et 4.4 de Huneke ([Hun92]) concernant la finitude des nombres de Bass pour les anneaux réguliers ramifiés.

4. Généralisations et Observations

L'auteur note plusieurs extensions de sa construction :

• Type fini sur un DVR : Les exemples peuvent être construits sur des anneaux de type fini sur un anneau de valuation discrète (DVR) ou sur $\mathbb{Z}$, en utilisant l'anneau de Witt $W$ d'un corps parfait de caractéristique 2.
• Autres caractéristiques résiduelles : La méthode s'étend à toute caractéristique résiduelle $p$. Il suffit de remplacer la triangulation de $\mathbb{R}P^2$ par celle du "chapeau de dunce" $p$-plié ($p$-fold dunce cap), ce qui garantit que la cohomologie critique est annulée par $p$.

5. Signification et Impact

Ce travail est une avancée majeure en théorie des anneaux commutatifs et en cohomologie locale :

1. Réponse définitive à Lyubeznik : Il clôt la question ouverte depuis 30 ans en montrant que la propriété de finitude des idéaux premiers associés et des nombres de Bass n'est pas vraie pour tous les anneaux réguliers, mais échoue spécifiquement dans le cas ramifié de caractéristique mixte.
2. Refut des conjectures de Huneke : Il démontre que les conjectures de Huneke sur la finitude des nombres de Bass sont fausses dans le contexte ramifié.
3. Nouvelles perspectives : La construction met en lumière le rôle crucial de la ramification et de la géométrie combinatoire (triangulations de variétés topologiques comme $\mathbb{R}P^2$) dans la génération de comportements pathologiques en cohomologie locale.

En résumé, Linquan Ma démontre que la régularité d'un anneau local n'est pas suffisante pour garantir la finitude des invariants associés aux modules de cohomologie locale lorsque l'anneau est ramifié en caractéristique mixte, ouvrant ainsi de nouvelles voies de recherche sur les conditions nécessaires pour assurer ces propriétés de finitude.