Anneau de Grothendieck

En algèbre commutative, un anneau $A$ est un anneau de Grothendieck ou G-anneau si et seulement s’il est un anneau noethérien tel que pour tout point fermé $x$ du spectre d'anneau $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(A)$, le morphisme de complétion $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(\widehat{Ox})⟶\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(Ox)$ est régulier.

Presque tous les anneaux noethériens qui interviennent naturellement en géométrie algébrique ou en théorie des nombres sont des anneaux de Grothendieck. De plus il s'avère difficile de construire des exemples d'anneaux noéthériens qui ne sont pas des G-anneaux. La notion est nommée après Alexandre Grothendieck.

Un anneau qui est à la fois un G-anneau et un J-2-anneau est appelé Modèle:Lien, et si de surcroît il est universellement caténaire (i.e. si tout schéma affine de type fini sur X est caténaire) il est appelé un Modèle:Lien.

Définitions et notations

• Un anneau noéthérien $A$ contenant un corps $k$ est appelé géométriquement régulier sur $k$ si pour toute extension finie $K$ de $k$, l'anneau $A{\otimes }_{k}K$ est un anneau local régulier.
• Un homomorphisme d'anneaux de $A$ dans $S$ est dit régulier s'il est plat et si, pour tout $p\in \mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}(A)$, la fibre $S{\otimes }_{A}k(p)$ est géométriquement régulière sur le corps résiduel $k(p)$ de $p$. (voir aussi à ce propos le théorème de Popescu).
• Un anneau est un anneau de Grothendieck ou G-anneau s'il est noethérien et tous les localisations de $A$ en $p$ (où $p$ est un idéal premier) sont des G-anneaux locaux. (Il suffit de vérifier la condition pour ses idéaux premiers, puisque les G-anneaux locaux sont des G-anneaux)

Exemples

• Tout corps est un G-anneau.
• Un anneau local noethérien complet est un G-anneau.
• Un anneau de séries entières convergentes en un nombre fini de variables sur $ℝ$ ou $ℂ$ est un G-anneau.
• Un anneau de Dedekind en caractéristique 0, et en particulier l'anneau $\mathbb{Z}$, est un G-anneau. Dans des caractéristiques positives, il existe des domaines de Dedekind (et même des anneaux de valuation discrète ) qui ne sont pas des G-anneaux.
• Toute localisation d'un G-anneau est un G-anneau.
• Une algèbre de type fini sur un G-anneau est un G-anneau. Ce théorème est dû à Grothendieck.

Un anneau qui n'est pas de Grothendieck

Voici un exemple d'un anneau de valuation discrète $A$ de caractéristique $p>0$ qui n'est pas un G-anneau :

Soit $k$ un corps de caractéristique $p$ avec $[k:k^p]=\mathrm{\infty }$, soit $R=k[[x]]$ et soit $A$ le sous-anneau de séries entières $\sum _k{a}_k{x}^k$ telles que $[k^p(a_0,a_1,..]:k^p]$ est fini. Alors la fibre formelle de $A$ sur le point générique n'est pas géométriquement régulière donc $A$ n'est pas un G-anneau (ici $k^p$ dénote l'image de $k$ par l'endomorphisme de Frobenius).

Bibliographie

• A. Grothendieck, J. Dieudonné, Eléments de géométrie algébrique IV Publ. Mathématiques. IHÉS 24 (1965), article n° 7.

• Modèle:Ouvrage.