Variété abélienne

En mathématiques, et en particulier, en géométrie algébrique et en analyse complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de « projectivité » est l'équivalent de compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique.

Définition

Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite. Cette dernière condition veut dire que lorsque l'on étend le corps de base k à une clôture algébrique de k, la nouvelle variété est réduite (cela implique que A est réduite). Si k est de caractéristique nulle, la condition "géométriquement réduite" est automatiquement satisfaite pour tout groupe algébrique sur k (Théorème de Cartier).

Exemple: Les variétés abéliennes de dimension 1 sont les courbes elliptiques.

La jacobienne d'une courbe algébrique projective non-singulière géométriquement connexe, de genre g, est une variété abélienne de dimension g.

Si A est une variété abélienne de dimension $g$ sur ℂ, alors A(ℂ) est naturellement une variété analytique complexe, et même un groupe de Lie. C'est le quotient (au sens de la géométrie analytique complexe) de ℂ $g$ par un réseau $Λ$ , le quotient admettant un plongement dans un espace projectif.

Propriétés basiques

Une variété abélienne $A$ est toujours non-singulière, et la loi de groupe sur $A$ est commutative.

Si $A$ et $B$ sont des variétés abéliennes sur $k$ , et si $f : A\to B$ est un morphisme de variétés algébriques qui envoie le zéro de $A$ sur le zéro de $B$ , alors $f$ est un hommorphisme de groupes algébriques (c'est-à-dire que $f$ est compatible avec les structures de groupes algébriques sur $A$ et $B$ ).

Structure de la torsion Si A est une variété abélienne de dimension g définie sur un corps k et si n est un entier naturel premier à la caractéristique de k, alors l'ensemble $A(\bar{k})[n]$ des éléments de A à coordonnées dans une clôture algébrique $\bar{k}$ de k et qui sont d'ordre divisant n (c'est donc le noyau de l'application multiplication par n dans le groupe $A(\bar{k})$ ) est un groupe fini, isomorphe à $(\mathbb{Z}/n\mathbb{Z})^{2g}$ . En particulier, les points de $A$ à coordonnées dans $k$ et qui sont d'ordre divisant $n$ est un sous-groupe de $(\mathbb{Z}/n\mathbb{Z})^{2g}$ .

Si $k$ est de caractéristique $p > 0$ , alors il existe un entier $r$ compris entre 0 et $g$ tel que pour toute puissance $n$ de $p$ , $A(\bar{k})[n]$ soit isomorphe à $(\mathbb{Z}/n\mathbb{Z})^{r}$ . On appelle $r$ le $p$ -rang de $A$ . On dit que $A$ est ordinaire si son $p$ -rang prend la valeur maximale, c'est-à-dire $g$ .

Isogénie

Un homomorphisme $f : A \to B$ de variétés abéliennes est une isogénie si A et B ont la même dimension et si le noyau de f est fini. Ce dernier est alors le spectre d'une algèbre finie sur $k$ , dont la dimension vectorielle est appelée le degré de $f$ . C'est aussi le degré de l'extension des corps de fonctions rationnelles $k(B) \to k(A)$ induite par $f$ .

Un exemple typique d'isogénie est la multiplication par n :

$n_A : A \to A, a \to na$

pour tout entier naturel n (même quand il est divisible par la caractéristique de k). Cette isogénie est de degré $n 2 g$ si $g = dim A$ .

Théorème Si $f : A \to B$ est une isogénie, alors il existe une isogénie $g: B \to A$ telle que $f g = n B$ et $g f = n A$ .

On dit que $A$ est simple si elle n'a pas d'autres sous-variété abélienne que {0} et elle-même. Par exemple toute courbe elliptique est simple, mais pas le produit de deux courbes elliptiques. On dit que $A$ est absolument simplet si elle est simple sur une clôture algébrique de $k$ .

Théorème (irréductibilité complète de Poincaré) Si $f : A \to B$ est un homomorphisme de variétés abéliennes surjectif, alors il existe une sous-variété abélienne C de A telle que A soit isogène à $B \times C$ .

On en déduit que toute variété abelienne A est isogène à un produit de variétés abeliennes simples. L'ensemble de ces facteurs simples est unique à permutations et isogénies près.

Anneaux d'endomorphismes

Soit A une variété abélienne sur k de dimension g. On note End(A) l'ensemble des endomorphismes de A.

Théorème L'ensemble End(A) est naturellement un anneau. Comme module sur ℤ, il est libre de rang au plus 4g.

La structure de l'anneau End(A) est plus simple lorsqu'on permet d'inverser les isogénies. On note End⁰(A) le produit tensoriel sur ℤ de End(A) par le corps des rationnels $\mathbb Q$ .

Théorème Si A est isogène au produit $\prod_i A_i^{r_i}$ avec $A i$ simples, $r_i \ge 1$ , et $A i$ non isogène à $A j$ si i est différent de j, alors $End 0 (A)$ est isomorphe au produit $\prod_i M_{r_i}(k_i)$ , où $k i = End 0 (A i)$ est un corps gauche de dimension finie sur k, et où $M n$ désigne l'algèbre des matrices carré d'ordre n.

Module de Tate

Nous avons vu que sur ℂ, $A$ est un quotient (comme variété analytique) de ℂ $n$ par un réseau $Λ$ . Sur un corps $k$ quelconque, il existe un équivalent du réseau $Λ$ , c'est le module de Tate.

Définition Soit $l$ un nombre premier distinct de l'exposant caractéristique de k. On a un système projectif $(A(\bar{k})[l^n])_n$ , où les applications de transition sont la multiplication par $l$ . Alors le module de Tate (du nom du mathématicien John Tate) de $A$ est la limite projective, notée $T l (A)$ , de $(A(\bar{k})[l^n])_n$ .

Le module de Tate est naturellement un module sur l'anneau ℤ $l$ des entiers $l$ -adiques.

Proposition $T l (A)$ est isomorphe à ℤ $_{l}^{2g}$ .

Le groupe de Galois absolu Gal( $k s / k$ ) agit naturellement sur $T l (A)$ à travers son action sur les points de torsion $A(\bar{k})[l^n]$ (qui sont tous définis sur la clôture séparable $k s$ de $k$ dans $\bar{k}$ ). La structure de $T l (A)$ en tant que module galoisien est très importante en géométrie arithmétique, lorsque le corps de base $k$ est un corps de nombres par exemple.

Variété abélienne duale

Définition Soit $A$ une variété abélienne sur un corps $k$ . On montre que le foncteur de Picard relatif $Pic A / k$ est représentable par un schéma en groupe lisse sur $k$ . Sa composante neutre (composante connexe de l'élément neutre) ${\rm Pic}_{A/k}^0$ est une variété abélienne sur $k$ , appelée la variété abélienne duale de $A$ . Elle est parfois notée $A'$ .

Description Si $a\in A(k)$ est un point rationnel, on note par $t a$ la translation par $a$ . C'est un automorphisme de $A$ (comme variété algébrique, pas comme groupe algébrique, puisque la translation ne conserve pas l'élément neutre). On considère l'ensemble des (classes d'isomorphisme) de faisceaux inversibles $L$ sur $A$ tels que $t_a^*L\otimes L^{-1}$ soit isomorphe à $L$ pour tout point rationnel $a\in A(k)$ . Lorsque $k$ est algébriquement clos, on note ce sous-groupe $Pic 0 (A)$ . Dans le cas général, on note $Pic 0 (A)$ le sous-groupe de $Pic(A)$ des faisceaux inversibles $L$ appartenant à ${\rm Pic}^0(A_{\bar{k}})$ sur une clôture algébrique $\bar{k}$ de $k$ . Alors $A'(k)$ s'identifie à $Pic 0 (A)$ .

Fibré de Poincaré Il existe un faisceau inversible $P$ sur $A\times_K A'$ , appelé le Fibré de Poincaré tel que

La restriction $P|_{0\times A'}$ est triviale (i.e. isomorphe à $O A'$ ) et $P|_{A\times {a}}$ appartient à $Pic 0 (A k (a))$ pour tout point fermé $a\in A'$ .

Le faisceau $P$ est universel dans le sens suivant: pour tout schéma $T$ sur $k$ , et pour tout faisceau inversible $L$ sur $A\times_k T$ vérifiant les propriétés ci-dessus (à la place de $P$ ), il existe un unique morphisme $f: T\to A'$ tel que $(1\times f)^*P$ soit isomorphe à $L$ .

Réflexivité La duale de la duale $(A')'$ est isomorphe à $A$ .

Polarisation

Lorsque le corps de base $k$ est algébriquement clos, une polarisation sur $A$ est une isogénie $\varphi_L: A\to A'$ de $A$ dans sa duale, associée à un faisceau ample $L$ sur $A$ . Sur les points, cette isogénie est donnée par $a\mapsto t_a^* L \otimes L^{-1}$ , où $t a$ désigne la translation par $a$ .

Sur un corps de base quelconque, une polarisation sur $A$ est une isogénie $A\to A'$ qui est de la forme $φ L$ sur une clôture algébrique de $k$ .

Une variété abélienne munie d'une polarisation est appelée une variété abélienne polarisée. Le degré de la polarisation est simplement le degré de l'isogénie. Une polarisation principale est une polarisation de degré 1, donc un isomorphe. Une variété abélienne principalement polarisée est une variété abélienne munie d'une polarisation principale. Toute jacobienne de courbe est principalement polarisée (donc isomorphe à sa duale) avec la polarisation définie par le diviseur thêta.

Référence

Marc Hindry and Joseph H. Silverman: Diophantine Geometry: An Introduction, Graduate Texts in Mathematics, Springer, 2000

James Milne: Abelian varieties, in Arithmetical Geometry (edited by Cornell and Silverman), Springer, 1984

James Milne : Abelian varieties, http://www.jmilne.org/math/CourseNotes/av.html

David Mumford: Abelian varieties, 1974 (ré-édité en 1985)

André Weil: Courbes algébriques et variétés abéliennes, 1948

Portail des mathématiques

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Variété abélienne de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Variete abelienne — Variété abélienne En mathématiques, une variété abélienne A est, grosso modo, un groupe algébrique projectif. La projectivité (l équivalent de compacité pour les variétés différentielles ou analytiques) donne une certaine rigidité à la strucutre … Wikipédia en Français
Variete abelienne de type CM — Variété abélienne de type CM En mathématiques, une variété abélienne A définie sur un corps K est dite de type CM si elle possède un sous anneau commutatif suffisamment grand dans son anneau d endomorphisme End(A). La terminologie ici est issue… … Wikipédia en Français
Variété abélienne de type cm — En mathématiques, une variété abélienne A définie sur un corps K est dite de type CM si elle possède un sous anneau commutatif suffisamment grand dans son anneau d endomorphisme End(A). La terminologie ici est issue de la théorie de la… … Wikipédia en Français
Variété abélienne de type CM — En mathématiques, une variété abélienne A définie sur un corps commutatif K est dite de type CM si elle possède un sous anneau commutatif suffisamment grand dans son anneau d endomorphisme End(A). La terminologie ici est issue de la théorie de la … Wikipédia en Français
Variété jacobienne — En géométrie algébrique, la jacobienne d une courbe C est une variété algébrique (en fait une variété abélienne) qui paramètrise les diviseurs de degré 0 sur C. C est un objet fondamental pour l étude des courbes, et c est aussi un exemple… … Wikipédia en Français
Variété (géométrie) — Pour les articles homonymes, voir Variété. Réalisation du ruban de Möbius à partir du collage d une bande de papier. Le « bord » n est que d un seul tenant. En math … 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
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
Abelien — Abélien Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Variété abélienne

Sommaire

Définition

Propriétés basiques

Isogénie

Anneaux d'endomorphismes

Module de Tate

Variété abélienne duale

Polarisation

Référence

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Variété abélienne

Sommaire

Définition

Propriétés basiques

Isogénie

Anneaux d'endomorphismes

Module de Tate

Variété abélienne duale

Polarisation

Référence

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link