An Integrally Closed Reduced Ring with McCoy Localizations That Is Neither McCoy nor Locally a Domain

Cet article résout positivement le problème 9 des « Open Problems in Commutative Ring Theory » en construisant un anneau réduit et intégralement clos qui est localement McCoy mais globalement non McCoy et non localement un domaine, démontrant ainsi que la propriété McCoy ne se localise pas.

L'essentiel

Le Titre : Un Puzzle Mathématique Résolu

Imaginez que les mathématiciens sont comme des architectes qui construisent des bâtiments (des "anneaux" en algèbre). Ils ont des règles strictes pour savoir si un bâtiment est solide, bien conçu et sans fissures.

Ce papier répond à une question précise posée par d'autres architectes : "Peut-on construire un bâtiment qui semble parfait dans chaque petite pièce (localement), mais qui a des défauts majeurs quand on le regarde de l'extérieur (globalement) ?"

Plus précisément, ils cherchaient un objet mathématique appelé un "anneau" qui possède trois propriétés contradictoires :

1. Il est "parfait" (réduit et intégralement clos) dans chaque petite pièce.
2. Il est "parfait" dans chaque petite pièce selon une règle spécifique appelée "condition de McCoy".
3. Mais, dans son ensemble, il n'est pas "parfait" selon cette même règle, et il n'est même pas un "domaine" (une structure sans trous ni zéros inutiles).

La réponse du papier est un grand OUI. L'auteur, Haotian Ma, a construit cet objet mathématique.

---

Les Trois Ingédients de la Recette

Pour construire ce monstre mathématique, l'auteur a utilisé une recette en trois étapes, comme pour faire un sandwich ou un cocktail.

1. Le Premier Ingredient : La "Maison de Paille" (Le facteur Akiba)

L'auteur commence avec une structure déjà connue, créée par un mathématicien nommé Akiba.

• L'analogie : Imaginez une maison construite avec des briques très solides. Si vous entrez dans n'importe quelle pièce, tout semble parfait et sans défaut. C'est une "maison de domaine".
• Le problème caché : Cependant, si vous regardez les fondations de toute la maison d'un seul coup, vous découvrez un gros trou. Il y a une partie de la maison qui est "cassée" (un idéal de diviseurs de zéro) qui ne peut pas être réparée par un simple coup de marteau (son annulateur est nul).
• En résumé : C'est une maison qui est parfaite pièce par pièce, mais qui échoue à la règle "McCoy" quand on la regarde en entier.

2. Le Deuxième Ingredient : Le "Petit Atelier Local" (Le facteur Local)

Ensuite, l'auteur construit un deuxième objet, beaucoup plus simple.

• L'analogie : Imaginez un petit atelier de réparation. C'est un endroit très spécial où tout le monde se connaît. Si vous avez un outil cassé (un diviseur de zéro), vous pouvez toujours trouver quelqu'un dans l'atelier pour le réparer (un annulateur).
• La particularité : Cet atelier n'est pas un "domaine" parfait (il y a des outils qui ne servent à rien), mais il respecte parfaitement la règle "McCoy" localement.
• En résumé : C'est un petit monde qui obéit aux règles, mais qui n'est pas "propre" (ce n'est pas un domaine).

3. Le Montage : Le "Mariage" des deux (Le Produit Direct)

C'est ici que la magie opère. L'auteur prend la "Maison de Paille" (Ingredient 1) et l'attache à l'"Atelier Local" (Ingredient 2) pour former un seul grand bâtiment : R = Maison × Atelier.

• Pourquoi ça marche ?
  • Localement (dans chaque pièce) : Quand on regarde une pièce de ce nouveau bâtiment, on voit soit une pièce de la Maison (parfaite), soit une pièce de l'Atelier (qui respecte la règle McCoy). Donc, localement, tout le monde est content. Chaque pièce est un "domaine" ou un "anneau McCoy".
  • Globalement (l'ensemble) : Mais quand on regarde le bâtiment entier, le gros trou de la "Maison de Paille" (le défaut McCoy) reste là. Le fait d'avoir collé l'Atelier à côté n'a pas réparé le trou. De plus, comme l'Atelier n'est pas un domaine, le bâtiment entier n'est pas un domaine non plus.

La Conclusion Simple

L'auteur a prouvé que l'on peut avoir une situation où tout semble parfait si vous ne regardez que de très près, mais que l'ensemble global est imparfait.

Cela répond à la "Problème 9" de la théorie des anneaux commutatifs. Avant cette découverte, on pensait peut-être que si chaque pièce d'un bâtiment était parfaite, le bâtiment entier devait l'être aussi. Ce papier dit : "Non, pas toujours !"

Pourquoi est-ce important ?

En mathématiques, on aime souvent dire : "Si c'est vrai partout localement, alors c'est vrai globalement." Ce papier montre qu'il existe des exceptions subtiles et complexes. C'est comme si un architecte disait : "Chaque brique de ce mur est solide, donc le mur est solide." L'auteur répond : "Attendez, j'ai collé deux murs ensemble d'une manière spéciale, et maintenant le mur entier s'effondre, même si chaque brique est intacte."

C'est une victoire de la logique et de la construction mathématique : on a créé un exemple précis pour briser une intuition fausse.

Résumé technique

1. Contexte et Problématique

Le papier s'inscrit dans le cadre de la théorie des anneaux commutatifs, plus précisément dans l'étude des anneaux de McCoy et de la clôture intégrale.

• Définition d'un anneau de McCoy : Un anneau commutatif $R$ est dit de McCoy si tout idéal de type fini $I$ contenu dans l'ensemble des diviseurs de zéro $Z(R)$ possède un annihilateur non nul (c'est-à-dire qu'il existe $0 \neq r \in R$ tel que $rI = 0$).
• Le Problème 9 : Ce travail répond affirmativement au Problème 9 posé dans l'ouvrage Open Problems in Commutative Ring Theory. La question était de savoir s'il existe un anneau réduit et intégralement clos $R$ vérifiant les conditions suivantes :
  1. Pour tout idéal maximal $\mathfrak{p}$ de $R$, la localisation $R_{\mathfrak{p}}$ est un anneau de McCoy intégralement clos.
  2. $R$ lui-même n'est pas un anneau de McCoy.
  3. $R$ n'est pas localement un domaine (c'est-à-dire qu'il existe au moins une localisation qui n'est pas un domaine intègre).

Ce problème est crucial car il teste la relation entre les propriétés locales et globales concernant la clôture intégrale des anneaux de polynômes $R[X]$. Des résultats antérieurs (Akiba, Huckaba) établissaient que si $R$ est réduit et que chaque $R_{\mathfrak{p}}$ est un domaine intégralement clos de McCoy, alors $R[X]$ est intégralement clos. Le problème cherchait à savoir si la condition « localement un domaine » était indispensable pour garantir que $R$ soit de McCoy globalement.

2. Méthodologie : Une Construction par Produit Direct

L'auteur construit un contre-exemple explicite en utilisant une stratégie de « produit direct » combinant deux anneaux aux propriétés complémentaires. La construction repose sur trois étapes clés :

A. Le Facteur d'Akiba (Anneau $A$)

L'auteur utilise un exemple de type Nagata dû à Akiba.

• Construction : Soit $k$ un corps. On considère l'ensemble $P$ de représentants des polynômes irréductibles de $k[X, Y]$. Pour chaque polynôme $f$, on construit un anneau $T'_f$ (la clôture normale de $k[X,Y]/(f)$). On définit un anneau $S_A$ comme le produit infini de ces anneaux, et $R_{A,0}$ comme une sous-algèbre spécifique. L'anneau $A$ est défini comme $R_{A,0}[u, v]$.
• Propriétés de $A$ :
  • $A$ est réduit et intégralement clos.
  • Pour tout idéal maximal $M$, la localisation $A_M$ est un domaine intégralement clos.
  • Il existe un idéal de type fini $I_A = (u, v)$ contenu dans les diviseurs de zéro $Z(A)$ tel que son annihilateur est nul ($\text{Ann}_A(I_A) = 0$).
  • Par conséquent, $A$ n'est pas un anneau de McCoy.

B. Le Facteur Local (Anneau $B$)

L'auteur construit un anneau local $B$ qui comble le manque de propriété « non-domaine » de $A$.

• Construction : Soit $k$ un corps. On considère le produit infini d'anneaux de séries formelles $S_i = k[[t]]$. On définit $m_B$ comme la somme directe des idéaux maximaux $t k[[t]]$. L'anneau $B$ est défini comme $k + m_B$.
• Propriétés de $B$ :
  • $B$ est un anneau local réduit et intégralement clos.
  • Tout élément non inversible de $B$ est un diviseur de zéro ($Z(B) = m_B$).
  • $B$ est un anneau de McCoy (tout idéal de type fini dans $m_B$ a un annihilateur non nul).
  • $B$ n'est pas un domaine (car il contient des diviseurs de zéro non nuls).

C. L'Anneau Final $R$

L'anneau recherché est défini comme le produit direct :
$$R = A \times B$$

3. Résultats Principaux et Preuves

L'article démontre que l'anneau $R = A \times B$ satisfait toutes les conditions requises grâce aux propriétés des produits directs (Lemme 3) :

1. Réduit et Intégralement Clos : Puisque $A$ et $B$ sont réduits et intégralement clos, leur produit $R$ l'est également (le produit de clôtures intégrales est la clôture intégrale du produit).
2. Localisation McCoy Intégralement Clos :
   • Les idéaux maximaux de $R$ sont de la forme $M \times B$ (où $M \in \text{Max}(A)$) ou $A \times m_B$.
   • Si $\mathfrak{p} = M \times B$, alors $R_{\mathfrak{p}} \cong A_M$. Or, $A_M$ est un domaine intégralement clos, donc un anneau de McCoy.
   • Si $\mathfrak{p} = A \times m_B$, alors $R_{\mathfrak{p}} \cong B$. Or, $B$ est un anneau de McCoy intégralement clos par construction.
   • Conclusion : Toutes les localisations maximales de $R$ sont des anneaux de McCoy intégralement clos.
3. Échec de la propriété McCoy Globale :
   • L'idéal $J = I_A \times B$ est de type fini dans $R$.
   • Il est contenu dans les diviseurs de zéro de $R$.
   • Son annihilateur dans $R$ est nul (car $\text{Ann}_A(I_A) = 0$ et la composante $B$ ne peut pas annuler la composante $A$ de manière non triviale dans ce contexte).
   • Conclusion : $R$ n'est pas un anneau de McCoy.
4. Non-localité de domaine :
   • La localisation en l'idéal maximal $A \times m_B$ est isomorphe à $B$.
   • Puisque $B$ n'est pas un domaine, $R$ n'est pas localement un domaine.

4. Contributions et Signification

• Réponse au Problème 9 : Le papier fournit une réponse affirmative et constructive au Problème 9, démontrant que la propriété d'être un anneau de McCoy n'est pas une propriété locale, même sous l'hypothèse forte de clôture intégrale et de réduction.
• Nuance sur la clôture intégrale de $R[X]$ : En combinant ce résultat avec l'observation de Huckaba, l'auteur montre qu'il existe un anneau réduit $R$ tel que $R[X]$ est intégralement clos, alors que $R$ n'est ni un anneau de McCoy ni localement un domaine. Cela affine notre compréhension des conditions suffisantes pour la clôture intégrale des anneaux de polynômes.
• Méthodologie : L'utilisation du produit direct pour « mélanger » un anneau qui échoue globalement mais réussit localement (en tant que domaine) avec un anneau qui échoue localement (en tant que domaine) mais réussit globalement (en tant que McCoy) est une technique élégante pour construire des contre-exemples complexes en théorie des anneaux.

En résumé, ce travail établit que la condition « localement un domaine » dans les théorèmes de clôture intégrale de Huckaba/Akiba est strictement nécessaire pour garantir que l'anneau de base soit de McCoy, même si les localisations sont de McCoy.