Schéma noethérien

Schéma noethérien

En géométrie algébrique, les schémas noethériens sont aux schémas ce que les anneaux noethériens sont aux anneaux commutatifs. Ce sont les schémas qui possèdent un certain nombre de propriétés de finitude. De nombreux résultats fondamentaux en géométrie algébrique sont montrés dans le cadre des schémas noethériens. Il est généralement considéré comme raisonnable de travailler dans la catégorie des schémas noethériens.

Sommaire

Définition

Un schéma affine SpecA est noethérien si A est un anneau noethérien.

Un schéma noethérien est un schémas qui est réunion fini d'ouverts affines noethériens.

Exemples

  • La droite projective \mathbb P^1_k sur un corps k est noethérien.
  • Une réunion disjointe infinie de Speck n'est pas noethérien. Il est cependant localement noethérien, c'est-à-dire que tout point possède un voisinage ouvert affine noethérien.

Constructions de schémas noethériens

Article détaillé : anneau noethérien.

À partir d'un anneau noethérien A (par exemple un corps ou l'anneau des entiers \mathbb Z), on peut construire les anneaux de polynômes A[T_1,\ldots, T_n] qui sont noethériens. Les quotients et les localisés d'anneaux noethériens sont noethériens. L'anneau des séries formelles A[[T_1,\ldots, T_n]] est noethérien. Un complété formel (en) d'un anneau noethérien est noethérien. Essentiellement toutes les constructions habituelles en algèbre commutative conservent la noethérianité. Cependant le produit tensoriel d'anneaux noethériens au-dessus d'un anneau noethérien n'est pas nécessairement noethérien.

Si X est un schéma noethérien, tout sous-schéma ouvert ou fermé de X est noethérien. Tout schéma de type fini sur un schéma noethérien est noethérien. Ainsi toute variété algébrique est un schéma noethérien.

Propriétés topologiques

L'espace topologique sous-jacent à un schéma noethérien est quasi-compact, c'est-à-dire que de tout recouvrement ouvert on peut extraire un sous-recouvrement fini.

Cet espace topologique est noethérien: c'est-à-dire que toute suite décroissante de parties fermées est stationnaire. Sous une forme équivalente, cela s'énonce en disant que toute partie non-vide de parties fermées admet une partie fermée minimale (pour la relation de l'inclusion).

Récurrence noethérienne Dans un espace topologique noethérien X, on considère une propriété (P) concernant les parties fermées de X. Supposons que pour toute partie fermée F, on a

(P) vérifiée pour toute partie fermée strictement contenue dans F implique que (P) est vérifiée pour F

alors (P) est vérifiée pour toute partie fermée de X.

Un espace topologique noethérien a un nombre fini de composantes irréductibles et donc un nombre fini de composantes connexes. Celles-ci sont alors ouvertes et fermées.

Si un espace topologique noethérien est de dimension finie, alors toute suite croissante de parties fermées est stationnaire.

Notes

Grothendieck a développé toute une machinerie pour se passer de l'hypothèse noethérienne.[réf. nécessaire]


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Schéma noethérien de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Schéma (géométrie algébrique) — Pour les articles homonymes, voir Schéma. En géométrie algébrique, un schéma est un espace localement annelé (X,OX) localement isomorphe à un schéma affine. Le faisceau OX est appelé le faisceau structural. Un schéma affine est le spectre d un… …   Wikipédia en Français

  • Schéma intègre — En mathématiques et plus particulièrement en géométrie algébrique, un schéma intègre est un schéma qui est localement défini par des anneaux intègres. Dans tout ce qui suit, le mot schéma peut être remplacé par variété algébrique sauf mention… …   Wikipédia en Français

  • Diviseur (géométrie algébrique) — En mathématiques, plus précisément en géométrie algébrique, les diviseurs sont une généralisation des sous variétés de codimension 1 de variétés algébriques ; deux généralisations différentes sont d un usage commun : les diviseurs de… …   Wikipédia en Français

  • Dimension de Krull — En mathématiques, et plus particulièrement en géométrie algébrique, la taille et la complexité d une variété algébrique (ou d un schéma) est d abord mesurée sa dimension. Elle est basée sur la topologie de Zariski et coïncide avec l intuition… …   Wikipédia en Français

  • Partie constructible — En géométrie algébrique, la notion d ensembles constructibles généralise les parties ouvertes, fermées et même localement fermées. Les ensembles constructibles ont été introduits par Claude Chevalley, et présentent l avantage d être d une… …   Wikipédia en Français

  • Anneau artinien — En algèbre commutative, un anneau artinien est un anneau vérifiant la condition des chaines décroissantes pour ses idéaux. Ce sont des anneaux noethériens de taille minimale. Les anneaux artiniens doivent leur nom au mathématicien autrichien Emil …   Wikipédia en Français

  • Groupe de Picard — En géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Morphisme de type fini — En géométrie algébrique, un morphisme de type fini peut être pensé comme une famille de variétés algébriques paramétrée par un schéma de base. C est un des types de morphismes les plus couramment étudiés. Sommaire 1 Définition 2 Lien avec les… …   Wikipédia en Français

  • Espace tangent (géométrie algébrique) — En géométrie algébrique, on peut définir la notion d espace tangent (de Zariski) sans faire (explicitement) de calcul différentiel. C est en quelque sorte une première approximation de la structure locale du schéma. Sommaire 1 Définition pour un… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”