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 anneau local
2 Le cas des schémas
3 Fibré tangent
4 Espace tangent d'un sous-schéma fermé, critère jacobien

Définition pour un anneau local

Soit A un anneau local d'idéal maximal M. Soit $k A = A / M$ le corps résiduel de A. Pour a ∈ A et m,m' ∈ M, on remarque que

$(a+m')m = am+m'm \equiv am \mod M^2$

avec M² le produit d'idéal de M par lui-même. Ainsi le quotient de A-modules $M / M 2$ est un $k A$ -espace vectoriel ; on l'appelle espace cotangent et son dual espace tangent de Zariski de $A$ . Notons-le $T A$ .

On a l'isomorphisme suivant :

$\begin{array}{rcl} \phi : \frac{M}{M^2} & \to & M \otimes_A k_A \\ \overline{m} & \mapsto & m \otimes_A 1\end{array}$

avec $\otimes_{A}$ le produit tensoriel de A-modules. Ces espaces vectoriels sont de dimension finie si A est noethérien car M est alors un module de type fini.

Si $A\to B$ est un homomorphisme d'anneaux locaux noethériens, on a canoniquement une application $k B$ -linéaire $T_B\to (T_A\otimes k_B)$ .

On sait que la dimension de l'espace tangent d'un anneau local noethérien $A$ est toujours minorée par la dimension de Krull de $A$ . Par définition, l'anneau local $A$ est dit régulier s'il y a égalité.

Le cas des schémas

Soit $x$ un point d'un schéma $X$ . Soient $m x$ l'idéal maximal de l'anneau local $O X, x$ de $X$ en $x$ . Rappelons que le corps $k (x) = O X, x / m x$ est le corps résiduel en $x$ . L'espace tangent de Zariski de $X$ en $x$ est par définition l'espace tangent de l'anneau local $O X, x$ . On le note $T X, x$ .

La construction des espaces tangents est fonctorielle pour les schémas noethériens. Si $f : X\to Y$ est un morphisme de schémas noethériens, alors $f$ induit canoniquement une application linéaire $T_{X,x}\to T_{Y,y}\otimes_{k(y)} k(x)$ , où $y = f (x)$ . Cette application est l'application tangente de $f$ en $x$ , que l'on note parfois $T f, x$ . Lorsque $k (y) = k (x)$ (par exemple si $X, Y$ sont des variétés algébriques sur un corps et si $x$ est un point rationnel de $X$ ), c'est une application $T_{X,x}\to T_{Y,y}$ .

Exemples

L'espace tangent de l'espace affine $A n$ sur un corps $k$ en un point rationnel est de dimension $n$ .
Supposons k algébriquement clos pour simplifier. Soit $X = Spec(k [u, v] / (u 2 - v 3))$ . Alors l'espace tangent de $X$ au point $u = v = 0$ est un k-espace vectoriel de dimension 2. Il est de dimension 1 aux autres points fermés, de dimension 0 au point générique.

Pour tout schéma localement noethérien $X$ et pour tout point $x$ de $X$ , on a

$\dim O_{X,x} \le \dim_{k(x)} T_{X,x}.$

La dimension de gauche étant la dimension de Krull de l'anneau local $O X, x$ , celle de droite étant la dimension vectorielle. L'égalité définit les points réguliers de $X$ .

Fibré tangent

Si $X$ est un schéma lisse de dimension $n$ sur un corps $k$ , de sorte que le faisceau des différentielles relatives $Ω X / k$ sur $X$ soit un fibré vectoriel de rang $n$ , alors le faisceau dual $\Omega_{X/k}^{\vee}$ est aussi un fibré vectoriel de rang $n$ . Pour tout point rationnel $x$ , on a un isomorphisme canonique

$\Omega_{X/k}^{\vee}\otimes_{O_{X,x}} k(x) \to T_{X,x}.$

Donc intuitivement les espaces tangents forment un fibré vectoriel au-dessus de $X$ .

Espace tangent d'un sous-schéma fermé, critère jacobien

Si $i : Z\to X$ est une immersion fermée, alors pour tout point $x$ de $Z$ , on a $k (x) = k (i (x))$ et l'application tangente $T i, x$ est injective.

Exemple On prend pour $X$ l'espace affine de dimension $n$ sur un corps $k$ et $Z$ la sous-variété fermée définie par des polynômes $F_1,\ldots, F_m$ à $n$ variables. Soit $x$ un point rationnel de $Z$ . Pour tout polynôme $F=F(T_1,\ldots, T_n)$ , notons $D x F$ la forme linéaire sur $k n$

$D_xF (t_1,\ldots, t_n)=\sum_{i}({\partial F}/{\partial T_i})(x) t_i .$

C'est la différentielle de $F$ en $x$ . Après avoir identifié l'espace tangent de $X$ en $x$ avec $k n$ , on a un isomorphisme de $T Z, x$ avec l'intersection des sous-espaces vectoriels

$\{ t=(t_1,\ldots,t_n) \mid D_xF_j(t)=0\}, j=1,2, \dots, m.$

Soit ${\rm Jac}_x(F_1,\ldots, F_m)$ la matrice $m\times n$ dont les lignes représentent les formes linéaires $D_xF_1, \ldots, D_xF_m$ . Alors on a $\dim T_{Z,x} + {\rm rg} ({\rm Jac}_x(F_1,\ldots, F_m))= n.$

Théorème — (Critère Jacobien) La variété algébrique $Z={\rm Spec} k[T_1,\ldots, T_n]/(F_1,\ldots, F_m)$ est régulière en un point rationnel $x$ si et seulement si le rang du jacobien ${\rm Jac}_x(F_1,\ldots, F_m)$ en $x$ est égal à $n - dim O Z, x$ .

Exemple Si $Z$ est une hypersurface définie par un polynôme non-nul $F(T_1,\ldots,T_n)$ . Alors $Z$ est régulière en un point rationnel $x$ si et seulement si la matrice jacobienne en $x$ est de rang 1. Ce qui revient à dire qu'une des dérivées partielles de $F$ en $x$ est non-nulle. Par conséquent, $Z$ est une variété algébrique lisse si et seulement si $F$ et ses dérivées partielles engendrent l'idéal unité dans $k[T_1,\ldots, T_n]$ .

Portail des mathématiques

Catégorie :

Géométrie algébrique

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace tangent (géométrie algébrique) de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

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
Geometrie differentielle — Géométrie différentielle En mathématique, la géométrie différentielle est l application des outils du calcul différentiel à l étude de la géométrie. Les objets d étude de base sont les variétés différentielles, ensembles ayant une régularité… … Wikipédia en Français
Géométrie Différentielle — En mathématique, la géométrie différentielle est l application des outils du calcul différentiel à l étude de la géométrie. Les objets d étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la… … Wikipédia en Français
Diviseur (Géométrie Algébrique) — Les Diviseurs de Weil et de Cartier sont des outils de la géométrie algébrique. En géométrie algébrique, comme en analyse complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d un schéma (une… … Wikipédia en Français
Géométrie différentielle — En mathématique, la géométrie différentielle est l application des outils du calcul différentiel à l étude de la géométrie. Les objets d étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la… … Wikipédia en Français
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
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 1 Définition 1.1 Corps résiduel 2 Morphismes … Wikipédia en Français
Géométrie différentielle des surfaces — En mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Espace tangent (géométrie algébrique)

Sommaire

Définition pour un anneau local

Le cas des schémas

Fibré tangent

Espace tangent d'un sous-schéma fermé, critère jacobien

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Espace tangent (géométrie algébrique)

Sommaire

Définition pour un anneau local

Le cas des schémas

Fibré tangent

Espace tangent d'un sous-schéma fermé, critère jacobien

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link