Anneau de Grothendieck
En algèbre commutative, un anneau est un anneau de Grothendieck ou G-anneau si et seulement s’il est un anneau noethérien tel que pour tout point fermé du spectre d'anneau , le morphisme de complétion 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é anneau quasi-excellent (en)[1], 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 anneau excellent (en).
Définitions et notations
- Un anneau noéthérien contenant un corps est appelé géométriquement régulier sur si pour toute extension finie de , l'anneau est un anneau local régulier.
- Un homomorphisme d'anneaux de dans est dit régulier s'il est plat et si, pour tout , la fibre est géométriquement régulière sur le corps résiduel de . (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 en (où 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 , 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 de caractéristique qui n'est pas un G-anneau :
Soit un corps de caractéristique avec , soit et soit le sous-anneau de séries entières telles que est fini. Alors la fibre formelle[2] de sur le point générique n'est pas géométriquement régulière donc n'est pas un G-anneau (ici dénote l'image de par l'endomorphisme de Frobenius).
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « G-ring » (voir la liste des auteurs).
Bibliographie
- A. Grothendieck, J. Dieudonné, Eléments de géométrie algébrique IV Publ. Mathématiques. IHÉS 24 (1965), article n° 7.
- Hideyuki Matsumura, Commutative algebra, Benjamin/Cummings, coll. « Mathematics lecture note series », (ISBN 978-0-8053-7026-3), chap. 13.
Portail de l’algèbre