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 faisceau cohérent (en) 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]^,^[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

∐_{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 $∐_{i \in J} G_{i} ⟶ A$ , où $J \subset I$ est fini, il existe une suite exacte

∐_{i \in K} G_{i} ⟶ ∐_{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

↑ Bourbaki 2007
1 2 Cohn 1985, p. 554
↑ Bourbaki 2006, §I.2, exercice 12(f)
↑ Bourlès et Marinescu 2011, Lem. 508
↑ Voir d'autres conditions équivalentes dans Bourbaki 2006, §I.2, exercice 12
↑ Dicks et Sontag 1978, Thm. 10
↑ Dicks 1983, Lem. 4.1
↑ Quadrat 2003, Cor. 3.31
↑ Grothendieck 1957, §1.5
↑ Grothendieck 1957, Prop. 3.1.1
↑ Grothendieck et Dieudonné 1960, (3.1.5)
↑ Roos 1969, Sect. 2, Def. 1
↑ Oberst 1970, Chap. I
↑ Grothendieck et Dieudonné 1960, §5
↑ Serre 1955, §2, Prop.7

Références

N. Bourbaki, Algèbre, Chapitre 10 : algèbre homologique, Springer, 2007, 216 p. (ISBN 978-3-540-34492-6)
N. Bourbaki, Algèbre commutative, chapitres 1 à 4, Springer, 2006, 364 p. (ISBN 354033937X)
(en) Henri Bourlès et Bogdan Marinescu, Linear Time-Varying Systems : Algebraic-Analytic Approach, Springer, 2011, 638 p. (ISBN 978-3-642-19726-0, présentation en ligne)
(en) Paul Moritz Cohn, Free Rings and their Relations, Academic Press, 1985, 2^e éd., 595 p. (ISBN 0121791521)
(en) Warren Dicks, « Free algebras over Bézout domains are Sylvester domains », Journal of Pure and Applied Algebra, vol. 27,‎ 1983, p. 15-28
(en) Warren Dicks et Eduardo D. Sontag, « Sylvester Domains », Journal of Pure and Applied Algebra, vol. 13,‎ 1978, p. 243-275 (lire en ligne)
Alexandre Grothendieck, « Sur quelques points d'algèbre homologique I », Tohoku Mathematical Journal, vol. 9,‎ 1957, p. 119-184 (lire en ligne)
Alexandre Grothendieck, « Sur quelques points d'algèbre homologique II », Tohoku Mathematical Journal, vol. 9,‎ 1957, p. 185-221 (lire en ligne)
Alexander Grothendieck et Jean Dieudonné, « Éléments de géométrie algébrique: I. Le langage des schémas », Publications Mathématiques de l'IHÉS,‎ 1960, p. 5-228 (lire en ligne)
(en) John C. McConnell et James C. Robson, Noncommutative Noetherian Rings, American Mathematical Society, 2001, 636 p. (ISBN 0821821695, lire en ligne)
(en) Ulrich Oberst, « Duality Theory for Grothendieck Categories and Linearly Compact Rings », Journal of Algebra, vol. 15, n^o 4,‎ 1970, p. 473-542 (lire en ligne)
(en) Alban Quadrat, « The fractional representation approach to synthesis problems: an algebraic analysis viewpoint. Part I: (weakly) doubly coprime factorizations », SIAM J. Control Optim., vol. 42, n^o 1,‎ 2003, p. 266-299
(en) Jan-Erik Roos, « Locally noetherian categories and generalized strictly linear compact rings. Applications », Category Theory, Homology Theory and their applications II, Springer Verlag, Lecture Notes in Mathematics Vol. 92,‎ 1969, p. 197-277 (lire en ligne)
Jean-Pierre Serre, « Faisceaux algébriques cohérents », Annals of Mathematics, vol. 61, n^o 2,‎ 1955, p. 197-278 (lire en ligne)

Portail de l’algèbre

[Bourbaki_AX-1] Bourbaki 2007

[Cohn1985-2] 1 2 Cohn 1985, p. 554

[3] Bourbaki 2006, §I.2, exercice 12(f)

[4] Bourlès et Marinescu 2011, Lem. 508

[5] Voir d'autres conditions équivalentes dans Bourbaki 2006, §I.2, exercice 12

[6] Dicks et Sontag 1978, Thm. 10

[7] Dicks 1983, Lem. 4.1

[8] Quadrat 2003, Cor. 3.31

[9] Grothendieck 1957, §1.5

[10] Grothendieck 1957, Prop. 3.1.1

[11] Grothendieck et Dieudonné 1960, (3.1.5)

[12] Roos 1969, Sect. 2, Def. 1

[13] Oberst 1970, Chap. I

[14] Grothendieck et Dieudonné 1960, §5

[15] Serre 1955, §2, Prop.7

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]