Anneau caténaire

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

Définition

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

p 0 ⊂ p 1 ⊂ ⋯ ⊂ p n {\displaystyle p_{0}\subset p_{1}\subset \cdots \subset p_{n}}

d'idéaux premiers de longueur maximales de p = p 0 {\displaystyle p=p_{0}} à p n = q {\displaystyle p_{n}=q} ont même longueur n {\displaystyle 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 ⊃ {\displaystyle \supset } anneau de Cohen-Macaulay ⊃ {\displaystyle \supset } anneau de Gorenstein (en) ⊃ {\displaystyle \supset } anneau d'intersection complète ⊃ {\displaystyle \supset } anneau local régulier.

Exemples

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

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

h ( P ) ≤ h ( p ) + deg A ⁡ ( B ) − deg κ ( p ) ⁡ ( κ ( P ) ) . {\displaystyle 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 {\displaystyle A} est universellement caténaire. Ici κ ( P ) {\displaystyle \kappa (P)} est le corps résiduel de P {\displaystyle P} et deg {\displaystyle \deg } dénote le degré de transcendance (des corps quotients). L’égalité reste également vraie le cas particulier où A {\displaystyle A} n’est pas universellement caténaire, et B = A [ x 1 , … , x n ] {\displaystyle 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

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

Références

  • (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).
  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, .
  2. ↑ Nagata 1956.

Bibliographie

  • 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 Accès libre, 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

  • icône décorative Portail de l’algèbre