Anneau caténaire

En mathématiques, un anneau commutatif caténaire est un anneau qui intervient en géométrie algébrique.

Définition[modifier | modifier le code]

Un anneau commutatif $A$ est dit caténaire si, pour toute paire d'idéaux premiers $p$ et $q$ , deux chaînes strictement croissantes

p_{0}\subset p_{1}\subset \cdots \subset p_{n}

d'idéaux premiers de longueur maximales de $p=p_{0}$ à $p_{n}=q$ ont même longueur $n$ . 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

\supset

anneau de Cohen-Macaulay

\supset

anneau de Gorenstein (en)

\supset

anneau d'intersection complète

\supset

anneau local régulier.

Exemples[modifier | modifier le code]

Presque 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[modifier | modifier le code]

Soit $A$ soit un anneau noethérien intègre et soit $B$ un anneau contenant $A$ qui est finiment engendré sur $A$ . Soit $P$ est un idéal premier de $B$ et soit $p$ son intersection avec $A'$ ; alors on a :

h(P)\leq h(p)+\deg _{A}(B)-\deg _{\kappa (p)}(\kappa (P)).

La formule de dimension des anneaux universellement caténaires dit qu'il y a égalité quand $A$ est universellement caténaire. Ici $\kappa (P)$ est le corps résiduel de $P$ et $\deg$ dénote le degré de transcendance (des corps quotients). L’égalité reste également vraie le cas particulier où $A$ n’est pas universellement caténaire, et $B=A[x_{1},\dots ,x_{n}]$ ^[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 | modifier le code]

Anneau formellement caténaire (qui est le même qu'un anneau universellement caténaire).

Références[modifier | modifier le code]

(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, hiver 2014.
↑ Nagata 1956.

Bibliographie[modifier | modifier le code]

Hideyuki Matsumura, Commutative algebra, Benjamin/Cummings Pub. Co, coll. « Mathematics Lecture Notes Series » (n^o 56), 1980 (ISBN 978-0-8053-7026-3)

Masayoshi Nagata, « On the chain problem of prime ideals », Nagoya Math. J., vol. 10,‎ 1956, 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 » (n^o 13), 1962; 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 », 1980 (ISBN 978-3-528-07246-9)

Articles liés[modifier | modifier le code]

Portail de l’algèbre

[1] 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, hiver 2014.

[2] Nagata 1956.

[1]

[2]