Anneau caténaire
En mathématiques, un anneau commutatif caténaire est un anneau qui intervient en géométrie algébrique.
Définition
modifierUn anneau commutatif est dit caténaire si, pour toute paire d'idéaux premiers et , deux chaînes strictement croissantes
d'idéaux premiers de longueur maximales de à ont même longueur . En géométrie algébrique, la dimension d'une variété algébrique attachée à un idéal premier diminue à mesure que l'idéal premier grandit et la longueur d'une telle chaîne est généralement la différence de dimensions.
Un anneau est appelé universellement caténaire si toutes les algèbres de type fini sur de cet anneau sont des anneaux caténaires.
On a la chaîne d'inclusions suivante :
- Anneau universellement catenaire anneau de Cohen-Macaulay anneau de Gorenstein (en) anneau d'intersection complète anneau local régulier.
Exemples
modifierPresque tous les anneaux noethériens qui apparaissent en géométrie algébrique sont universellement caténaires. En particulier les anneaux suivants sont universellement caténaires :
- Anneaux locaux noethériens complets ;
- Anneaux locaux de Dedekind ;
- Anneaux de Cohen–Macaulay (et anneaux locaux réguliers) ;
- Une localisation d'un anneau universellement caténaire ;
- Une algèbre de type finie sur un anneau universellement caténaire.
Il est difficile de construire des exemples d'anneaux noethériens qui ne sont pas universellement caténaires. Le premier exemple a été donné par Masayoshi Nagata ( ; c'est un anneau local noethérien de dimension 2 qui est caténaire mais pas universellement caténaire. L'exemple est le suivant :
Formule de dimension
modifierSoit soit un anneau noethérien intègre et soit un anneau contenant qui est finiment engendré sur . Soit est un idéal premier de et soit son intersection avec ; alors on a :
La formule de dimension des anneaux universellement caténaires dit qu'il y a égalité quand est universellement caténaire. Ici est le corps résiduel de et dénote le degré de transcendance (des corps quotients). L’égalité reste également vraie le cas particulier où n’est pas universellement caténaire, et [1].
Il est difficile de construire des exemples d'anneaux noethériens qui ne sont pas universellement caténaires. Le premier exemple a été donné par Masayoshi Nagata[2] ; c'est un anneau local noethérien de dimension 2 qui est caténaire mais pas universellement caténaire.
L'exemple donné par Nagata est également un anneau quasi-excellent, et fournit donc un exemple d'anneau quasi-excellent qui n'est pas un anneau excellent .
Voir aussi
modifier- Anneau formellement caténaire (qui est le même qu'un anneau universellement caténaire).
Références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « catenary ring » (voir la liste des auteurs).
- Mel Hochster, « Lecture of January 8, 2014 », Lectures on integral closure, the Briançon–Skoda theorem and related topics in commutative algebra, University of Michigan, .
- Nagata 1956.
Bibliographie
modifier- Hideyuki Matsumura, Commutative algebra, Benjamin/Cummings Pub. Co, coll. « Mathematics Lecture Notes Series » (no 56), (ISBN 978-0-8053-7026-3)
- Masayoshi Nagata, « On the chain problem of prime ideals », Nagoya Math. J., vol. 10, , p. 51–64 (DOI 10.1017/S0027763000000076
, MR 0078974, S2CID 122444738, lire en ligne)
- Masayoshi Nagata, Local rings, New York-London, Interscience Publishers, a division of John Wiley & Sons, coll. « Interscience Tracts in Pure and Applied Mathematics » (no 13), ; réimprimé par R. E. Krieger Pub. Co (1975) (ISBN 0-88275-228-6)
- Ernst Kunz, Einführung in die kommutative Algebra und algebraische Geometrie: mit 185 Übungsaufgaben, Vieweg, coll. « Vieweg-Studium Aufbaukurs Mathematik », (ISBN 978-3-528-07246-9)
Articles liés
modifier- Théorie des anneaux
- Anneau local
- Anneau commutatif
- Anneau de Cohen-Macaulay
- Anneaux locaux de Gorenstein