Anneau de Gorenstein

Un anneau de Gorenstein est un anneau étudié en algèbre commutative, une branche des mathématiques. Un anneau de Gorenstein est un anneau de Cohen-Macaulay possédant certaines propriétés supplémentaires. Une singularité de Gorenstein est une singularité dont l'anneau local est un anneau de Gorenstein.

Les anneaux portent le nom de Daniel Gorenstein, même si ce dernier a toujours affirmé ne pas en comprendre la définition^[1].

Dans la hiérarchie des anneaux, on a les inclusions suivantes :

Anneau universellement caténaire

\supset

anneau de Cohen-Macaulay

\supset

anneau de Gorenstein

\supset

anneau d'intersection complète

\supset

anneau local régulier.

Les anneaux considérés dans cette page sont commutatifs et unitaires. Les morphismes d'anneau envoient l'élément unité sur l'élément unité.

Définition

Soit $R$ un anneau local noethérien de dimension $d$ avec son idéal maximal noté $m$ . Un ensemble ${a_{1}, \dots, a_{d}}$ est appelé un système de paramètres de $R$ s'il engendre un idéal primaire. On peut montrer qu'un anneau local noéthérien possède toujours un système de paramètres.

Soit $R$ un anneau de Cohen-Macaulay avec idéal maximal $m$ , soit ${a_{1}, \dots, a_{n}}$ un système de paramètres et soit $q = (a_{1}, \dots, a_{n})$ l'idéal primaire correspondant. Le nombre

r : = {d i m}_{R / m} {\bar{r} \in R / q | m \cdot r = 0}

est indépendant du système de paramètres choisi et est appelé le type de $R$ .

Un anneau Gorenstein local est, par définition, un anneau de Cohen-Macaulay de type 1.

Un anneau noethérien $R$ est un anneau de Gorenstein si toutes ses localisations d'idéaux maximaux sont des anneaux de Gorenstein locaux.

Cette définition est celle du livre de Modèle:Harvsp. Un anneau de Gorenstein est aussi défini fréquemment par la dimension injective.

Propriétés

$R$ Un anneau de Cohen-Macaulay local est un anneau de Gorenstein si et seulement si l'idéal engendré par un système de paramètres est irréductible.
Un anneau noethérien local est un anneau de Gorenstein si et seulement si sa dimension injective est finie.
Tout anneau local régulier est un anneau de Gorenstein.
Un anneau d'intersection complète est une anneau de Gorenstein, et notamment un anneau local régulier.

Exemples

Soit $K$ un corps ; la variété composée de l'axe des $X$ et de l'axe des $Y$ est décrite par l'anneau de coordonnées $K [X, Z] / (X Y)$ .

Le point d'intersection est décrit par l'anneau

R = (K [X, Y] / (X Y))_{(X, Y)}

Il est une singularité parce que

R

est unidimensionnel, mais l'idéal maximum de

R

ne peut être engendré que par deux éléments.

R

un anneau de Gorenstein, parce que tout élément régulier contenu dans l'idéal maximal engendre une sous-variété irréductible.

L'anneau $K [X, Y] / (X^{2}, Y^{2}, X \cdot Y)$ est un anneau local de dimension 0. C'est donc un anneau de Cohen-Macaulay. Mais ce n'est pas un anneau de Gorenstein, car l' idéal zéro, bien $m$ -primaire, n'est pas irréductible, puisqu'il est l'intersection des idéaux $(X)$ et $(Y)$ .