Espace localement annelé

Espace localement annelé

Le concept d'espace localement annelé est commun à différents domaines de géométrie, mais est plus utilisé en géométrie algébrique et en géométrie analytique complexe.

Sommaire

Définition

Un espace localement annelé est un espace topologique X muni d'un faisceau d'anneaux commutatifs OX, appelé faisceau structural, tel qu'en tout point, l'anneau des germes de OX soit un anneau local.

Si A est un anneau (commutatif unitaire), un espace localement annelé dont le faisceau structural est un faisceau de A-algèbres est appelé un espace localement annelé sur A.

Exemples

Un sous-espace ouvert de X est une partie ouverte U munie du faisceau d'anneaux OX | U. Le couple (U,OX | U) est un espace localement annelé.

Corps résiduel

Soit x un point de X. Soit mx l'idéal maximal de l'anneau local OX,x. Le quotient k(x): = OX,x / mx est le corps résiduel de X en x. Si U est un voisinage ouvert de x, alors U et X ont le même corps résiduel en x.

Par exemple, Si X est une variété algébrique, alors x appartient à un voisinage ouvert affine SpmA. Le point x correspond à un idéal maximal M de A, et le corps résiduel k(x) est égal à A / M.

Pour les variétés complexes (resp. différentielles), les corps résiduels sont tous égaux à \mathbb C (resp. \mathbb R).

Morphismes

Un morphisme entre deux espaces localement annelés (X, OX) et (Y, OY) est la donnée d'une application continue f : XY et d'un morphisme de faisceaux d'anneaux f# : OY → f*OX tel que pour tout x ∈ X, le morphisme d'anneaux OY, f(x)OX, x induit par f# soit un morphisme d'anneaux locaux (c'est-à-dire qu'il envoie l'idéal maximal de l'anneau source dans l'idéal maximal de l'anneau but). Quand il n'y a pas d'ambiguïté possible, on note souvent le morphisme (f, f^{\#}) par f.

Un exemple trivial de morphisme est l'identité d'un espace dans lui-même. On peut naturellement composer deux morphismes (X, O_X) \to (Y, O_Y) , (Y, O_Y) \to (Z, O_Z) pour obtenir un morphisme (X, O_X) \to (Z, O_Z) . Un isomorphisme est un morphisme f : (X, O_X) \to (Y, O_Y) qui admet un morphisme inverse, c'est-à-dire dont la composition (à gauche ou à droite) avec f est égale à l'identité.

Un morphisme (f, f#) : (X, OX) → (Y, OY) est une immersion si f est une immersion au sens topologique (c'est-à-dire que f induit un homéomorphisme de X sur son image), et si pour tout x ∈ X, le morphisme d'anneaux OY, f(x)OX, x est surjectif.

Exemple Soit x un point de X. Alors l'espace topologique {x} muni du faisceau constant k(x) est un espace localement annelé, et on a un morphisme ({x}, k(x)) \to (X, O_X) qui est l'inclusion canonique \{ x \} \to X au niveau du point x. C'est une immersion.

Espace tangent

Soit x un point de X. Soit mx l'idéal maximal de l'anneau local OX,x. Alors le quotient m_x/m_x^2=m_x\otimes_{O_{X,x}}k(x) est un espace vectoriel sur k(x). Son dual s'appelle l'espace tangent (de Zariski) de X en x. C'est surtout en géométrie algébrique qu'on utilise cette approche. Cependant, dans le cas des variétés différentielles et variétés analytiques complexes, cette notion coïncide avec la définition standard.

Références

A. Grothendieck, J. Dieudonné: Éléments de géométrie algébrique, Chapitre 0, § 4.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace localement annelé de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Espace Localement Annelé — Un espace localement annelé est un espace topologique X muni d un faisceau d anneaux (commutatifs unitaires) OX, appelé faisceau structural, tel qu en tout point, l anneau des germes de OX soit un anneau local. Si A est un anneau (commutatif… …   Wikipédia en Français

  • Espace localement annele — Espace localement annelé Un espace localement annelé est un espace topologique X muni d un faisceau d anneaux (commutatifs unitaires) OX, appelé faisceau structural, tel qu en tout point, l anneau des germes de OX soit un anneau local. Si A est… …   Wikipédia en Français

  • GÉOMÉTRIE ALGÉBRIQUE — Sous sa forme actuelle, la géométrie algébrique est une branche de l’algèbre relativement récente (cf. ALGÈBRE, DEDEKIND). Pour «comprendre» les phénomènes d’intersection des courbes et des surfaces, il s’est révélé nécessaire d’élaborer des… …   Encyclopédie Universelle

  • Géométrie algébrique — La géométrie algébrique est un domaine des mathématiques qui, historiquement, s est d abord intéressé à des objets géométriques (courbes, surfaces...) dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des… …   Wikipédia en Français

  • Variete algebrique — Variété algébrique Pour les articles homonymes, voir variété. Une variété algébrique est, de manière informelle, l ensemble des racines communes d un ensemble de polynômes en plusieurs indéterminées. La géométrie algébrique est la théorie qui… …   Wikipédia en Français

  • Variété algébrique — Pour les articles homonymes, voir variété. Une variété algébrique est, de manière informelle, l ensemble des racines communes d un nombre fini de polynômes en plusieurs indéterminées. C est l objet d étude de la géométrie algébrique. Les schémas… …   Wikipédia en Français

  • Variété algébrique affine —  Ne doit pas être confondu avec les variétés affines (ou sous espaces affines) en géométrie affine En géométrie algébrique, une variété affine est un modèle local pour les variétés algébriques, c est à dire que celles ci sont obtenues par… …   Wikipédia en Français

  • 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

  • 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

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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