Aller au contenu

Anneau cohérent

Un article de Wikipédia, l'encyclopédie libre.

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

Définitions[modifier | modifier le code]

  • Soit un anneau et un -module. Il existe des modules libres et pour lesquels on a une suite exacte

qui est appelée une présentation de . Le module est de type fini si est de type fini, et il est dit de présentation finie si et sont tous deux de type fini[1].

  • Un -module est dit cohérent s'il est de type fini et si tout sous-module de type fini de est de présentation finie.
  • Un anneau est dit cohérent à gauche si tout idéal à gauche de 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[modifier | modifier le code]

Soit un anneau.

  • Soit un -module à gauche. Les conditions suivantes sont équivalentes[4]:
  1. est cohérent à gauche.
  2. est de type fini et pour tout entier , le noyau de tout homomorphisme de -modules à gauche est de type fini.
  3. est de type fini et pour tout -module à gauche de type fini, pour tout homomorphisme , est de type fini.
  • En outre, les conditions suivantes sont équivalentes[2],[5]:
  1. est cohérent à gauche.
  2. Tout sous-module de type fini d'un -module libre à gauche de type fini est de présentation finie.
  3. Tout -module à gauche de présentation finie est cohérent.
  4. Pour tout entier , le noyau de tout homomorphisme de -modules à gauche est de type fini.
  • Un anneau noethérien à gauche est cohérent à gauche.

Anneaux de Sylvester cohérents[modifier | modifier le code]

  • Soit 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 est libre[6].
  • Par exemple, un anneau de Bézout à droite est un anneau de Sylvester cohérent à droite.
  • Un anneau de Sylvester commutatif est cohérent si, et seulement si est un anneau à pgcd[7].
  • Soit un ouvert simplement connexe du plan complexe. L'anneau de Hardy des fonctions analytiques bornées dans 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[modifier | modifier le code]

Catégories de Grothendieck[modifier | modifier le code]

On appelle catégorie de Grothendieck une catégorie abélienne qui admet des coproduits arbitraires, a une famille de générateurs , et satisfait à la condition AB5)[9]: si est un objet de , si est un sous-objet de , et si est une famille filtrante croissante de sous-objets de , alors

.

Exemples[modifier | modifier le code]

  • La catégorie des modules à gauche sur un anneau est une catégorie de Grothendieck ayant pour générateur le module .
  • Soit un espace topologique, un faisceau d'anneaux sur et la catégorie des faisceaux de -modules à gauche sur . Cette catégorie est une catégorie de Grothendieck[10]. Une famille de générateurs dans est constituée des faisceaux induits décrit l'ensemble des ouverts de [11].


Objets cohérents[modifier | modifier le code]

  • Soit une catégorie de Grothendieck. Un objet de est dit de type fini si pour toute famille filtrante croissante de telle que , il existe un indice pour lequel . Un objet de est dit cohérent s'il est de type fini et si pour tout morphisme est de type fini, est de type fini[12].
  • Soit une catégorie de Grothendieck ayant pour générateur l'objet et

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 est de type fini si, et seulement s'il existe une suite exacte

est un ensemble fini d'indices, et est cohérent si, et seulement s'il est de type fini et pour tout morphisme , où est fini, il existe une suite exacte

est fini.

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

Exemples[modifier | modifier le code]

  • Dans la catégorie , les objets de type fini (resp. cohérents) sont les modules de type fini (resp. cohérents).
  • Dans la catégorie , les objets de type fini (resp. cohérents) sont les -modules de type fini (resp. cohérents).

Faisceaux cohérents d'anneaux[modifier | modifier le code]

  • Un faisceau d'anneaux est dit cohérent à gauche si pour tout ouvert et tout homomorphisme de -modules à gauche, le noyau de cet homomorphisme est de type fini[14].
  • On a alors le résultat suivant[15]: soit un faisceau d'anneaux cohérents à gauche. Pour qu'un faisceau de -modules à gauche soit cohérent, il faut et il suffit que, localement, il soit isomorphe au conoyau d'un homomorphisme de -modules à gauche , i.e., pour tout ouvert non vide de il existe une suite exacte
.

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

  1. Bourbaki 2007
  2. a et b Cohn 1985, p. 554
  3. Bourbaki 2006, §I.2, exercice 12(f)
  4. Bourlès et Marinescu 2011, Lem. 508
  5. Voir d'autre 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

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