Anneau cohérent

La notion d'anneau cohérent est plus faible que celle d'anneau noethérien. Les anneaux cohérents jouissent néanmoins de remarquables propriétés, qu'on peut résumer en disant que sur de tels anneaux, les modules de présentation finie forment une sous-catégorie abélienne pleine de la catégorie des modules (tandis que sur un anneau noethérien, cela est vrai même pour les modules de type fini). On définit également la notion de Modèle:Lien d'anneaux sur un espace topologique.

Anneaux cohérents

Définitions

Soit $R$ un anneau et $M$ un $R$ -module. Il existe des modules libres $L_{1}$ et $L_{0}$ pour lesquels on a une suite exacte

L_{1} ⟶ L_{0} ⟶ M ⟶ 0

qui est appelée une présentation de $M$ . Le module $M$ est de type fini si $L_{0}$ est de type fini, et il est dit de présentation finie si $L_{0}$ et $L_{1}$ sont tous deux de type fini^[1].

Un $R$ -module $M$ est dit cohérent s'il est de type fini et si tout sous-module de type fini de $M$ est de présentation finie.

Un anneau $R$ est dit cohérent à gauche si tout idéal à gauche de $R$ de type fini est de présentation finie. On définit de même un anneau cohérent à droite, et un anneau cohérent est un anneau cohérent à gauche qui est cohérent à droite^[2].

Par exemple un anneau de polynômes à un nombre infini d'indéterminées à coefficients dans un anneau commutatif noethérien est cohérent, mais n'est pas noethérien^[3].

Propriétés

Soit $R$ un anneau.

Soit $M$ un $R$ -module à gauche. Les conditions suivantes sont équivalentes^[4]:

$M$ est cohérent à gauche.
$M$ est de type fini et pour tout entier $n \geq 0$ , le noyau de tout homomorphisme de $R$ -modules à gauche $R^{n} ⟶ M$ est de type fini.
$M$ est de type fini et pour tout $R$ -module à gauche $N$ de type fini, pour tout homomorphisme $f : N \to M$ , $\ker (f)$ est de type fini.

En outre, les conditions suivantes sont équivalentes^[2]Modèle:,^[5]:

$R$ est cohérent à gauche.
Tout sous-module de type fini d'un $R$ -module libre à gauche de type fini est de présentation finie.
Tout $R$ -module à gauche de présentation finie est cohérent.
Pour tout entier $n$ , le noyau de tout homomorphisme de $R$ -modules à gauche $R^{n} ⟶ R$ est de type fini.

Un anneau noethérien à gauche est cohérent à gauche.

Anneaux de Sylvester cohérents

Soit $R$ un anneau d'Ore. Cet anneau est un anneau de Sylvester cohérent à droite si, et seulement si l'annulateur à droite de toute matrice ligne (ou de toute matrice) finie à éléments dans $R$ est libre^[6].

Par exemple, un anneau de Bézout à droite est un anneau de Sylvester cohérent à droite.

Un anneau de Sylvester commutatif $R$ est cohérent si, et seulement si $R$ est un anneau à pgcd^[7].

Soit $D$ un ouvert simplement connexe du plan complexe. L'anneau de Hardy $H^{\infty} (D)$ des fonctions analytiques bornées dans $D$ est un anneau de Sylvester cohérent qui n'est pas un anneau de Bézout^[8].

Généralisation dans les catégories de Grothendieck

Catégories de Grothendieck

On appelle catégorie de Grothendieck une catégorie abélienne $ℭ$ qui admet des coproduits arbitraires, a une famille de générateurs ${(G_{i})}_{i \in I}$ , et satisfait à la condition AB5)^[9]: si $A$ est un objet de $ℭ$ , si $A^{'}$ est un sous-objet de $A$ , et si ${(A_{i})}_{i \in I}$ est une famille filtrante croissante de sous-objets de $A$ , alors

⋃_{i \in I} (A^{'} \cap A_{i}) = A^{'} \cap (⋃_{i \in I} A_{i})

.

Exemples

La catégorie $_{R} M o d$ des modules à gauche sur un anneau $R$ est une catégorie de Grothendieck ayant pour générateur le module $_{R} R$ .

Soit $X$ un espace topologique, $𝒪_{X}$ un faisceau d'anneaux sur $X$ et $_{𝒪_{X}} 𝐌 𝐨 𝐝$ la catégorie des faisceaux de $𝒪_{X}$ -modules à gauche sur $X$ . Cette catégorie $_{𝒪_{X}} 𝐌 𝐨 𝐝$ est une catégorie de Grothendieck^[10]. Une famille de générateurs dans $_{𝒪_{X}} 𝐌 𝐨 𝐝$ est constituée des faisceaux induits $𝒪_{X} | U$ où $U$ décrit l'ensemble des ouverts de $X$ ^[11].

Objets cohérents

Soit $ℭ$ une catégorie de Grothendieck. Un objet $A$ de $ℭ$ est dit de type fini si pour toute famille filtrante croissante ${(A_{i})}_{i \in I}$ de $A$ telle que $⋃_{i \in I} A_{i} = A$ , il existe un indice $j$ pour lequel $A_{i} = A$ . Un objet $A$ de $ℭ$ est dit cohérent s'il est de type fini et si pour tout morphisme $f : B \to A$ où $B$ est de type fini, $\ker (f)$ est de type fini^[12].

Soit $ℭ$ une catégorie de Grothendieck ayant pour générateur l'objet $G$ et

0 ⟶ A^{'} ⟶ A ⟶ A^{''} ⟶ 0

une suite exacte courte dans $ℭ$ . Si deux objets de cette suite sont cohérents, il en va de même du troisième. En outre, un objet $A$ est de type fini si, et seulement s'il existe une suite exacte

\underset{i \in J}{∐} G_{i} ⟶ A ⟶ 0

où $J \subset I$ est un ensemble fini d'indices, et $A$ est cohérent si, et seulement s'il est de type fini et pour tout morphisme $\underset{i \in J}{∐} G_{i} ⟶ A$ , où $J \subset I$ est fini, il existe une suite exacte

\underset{i \in K}{∐} G_{i} ⟶ \underset{i \in J}{∐} G_{i} ⟶ A ⟶ 0

où $K \subset I$ est fini.

La sous-catégorie pleine de $ℭ$ formée de tous les objets cohérents, notée $C o h ℭ$ , est abélienne et l'injection $C o h ℭ ⟶ ℭ$ est exacte^[13].

Exemples

Dans la catégorie $_{R} M o d$ , les objets de type fini (resp. cohérents) sont les modules de type fini (resp. cohérents).

Dans la catégorie $_{𝒪_{X}} 𝐌 𝐨 𝐝$ , les objets de type fini (resp. cohérents) sont les $𝒪_{X}$ -modules de type fini (resp. cohérents).

Faisceaux cohérents d'anneaux

Un faisceau d'anneaux $𝒪_{X}$ est dit cohérent à gauche si pour tout ouvert $U \subset X$ et tout homomorphisme $𝒪_{X}^{n} | U ⟶ 𝒪_{X} | U$ de $𝒪_{X} | U$ -modules à gauche, le noyau de cet homomorphisme est de type fini^[14].

On a alors le résultat suivant^[15]: soit $𝒪_{X}$ un faisceau d'anneaux cohérents à gauche. Pour qu'un faisceau de $𝒪_{X}$ -modules à gauche $ℱ$ soit cohérent, il faut et il suffit que, localement, il soit isomorphe au conoyau d'un homomorphisme de $𝒪_{X}$ -modules à gauche $𝒪_{X}^{q} ⟶ 𝒪_{X}^{p}$ , i.e., pour tout ouvert non vide $U$ de $X$ il existe une suite exacte

𝒪_{X}^{q (U)} | U ⟶ 𝒪_{X}^{p (U)} | U \to ℱ | U ⟶ 0

.

Notes et références

Notes

Modèle:Références

Références

Modèle:Palette Théorie des anneaux Modèle:Portail

↑ Modèle:Harvsp
↑ ^2,0 et ^2,1 Modèle:Harvsp, p. 554
↑ Modèle:Harvsp, §I.2, exercice 12(f)
↑ Modèle:Harvsp, Lem. 508
↑ Voir d'autre conditions équivalentes dans Modèle:Harvsp, §I.2, exercice 12
↑ Modèle:Harvsp, Thm. 10
↑ Modèle:Harvsp, Lem. 4.1
↑ Modèle:Harvsp, Cor. 3.31
↑ Modèle:Harvsp, §1.5
↑ Modèle:Harvsp, Prop. 3.1.1
↑ Modèle:Harvsp, (3.1.5)
↑ Modèle:Harvsp, Sect. 2, Def. 1
↑ Modèle:Harvsp, Chap. I
↑ Modèle:Harvsp, §5
↑ Modèle:Harvsp, §2, Prop.7

[Bourbaki_AX-1] Modèle:Harvsp

[Cohn1985-2] 2,0 et ^2,1 Modèle:Harvsp, p. 554

[3] Modèle:Harvsp, §I.2, exercice 12(f)

[4] Modèle:Harvsp, Lem. 508

[5] Voir d'autre conditions équivalentes dans Modèle:Harvsp, §I.2, exercice 12

[6] Modèle:Harvsp, Thm. 10

[7] Modèle:Harvsp, Lem. 4.1

[8] Modèle:Harvsp, Cor. 3.31

[9] Modèle:Harvsp, §1.5

[10] Modèle:Harvsp, Prop. 3.1.1

[11] Modèle:Harvsp, (3.1.5)

[12] Modèle:Harvsp, Sect. 2, Def. 1

[13] Modèle:Harvsp, Chap. I

[14] Modèle:Harvsp, §5

[15] Modèle:Harvsp, §2, Prop.7

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Anneau cohérent

Sommaire

Anneaux cohérents

Définitions

Propriétés

Anneaux de Sylvester cohérents

Généralisation dans les catégories de Grothendieck

Catégories de Grothendieck

Exemples

Objets cohérents

Exemples

Faisceaux cohérents d'anneaux

Notes et références

Notes

Références

Menu de navigation

Anneau cohérent

Anneaux cohérents

Définitions

Propriétés

Anneaux de Sylvester cohérents

Généralisation dans les catégories de Grothendieck

Catégories de Grothendieck

Exemples

Objets cohérents

Exemples

Faisceaux cohérents d'anneaux

Notes et références

Notes

Références

Menu de navigation

Rechercher