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 Modèle:Citation de variété abélienne qui sert de variété test.

Définition

On fixe une courbe algébrique projective lisse $C$ de genre au moins 1 sur un corps $k$. Dans une première approximation, on peut dire que sa jacobienne $J$ est une variété algébrique dont les points correspondent aux diviseurs de degré 0 sur $C$ modulo équivalence rationnelle. Comme ces derniers forment naturellement un groupe, $J$ est même un groupe algébrique.

De façon rigoureuse: on considère le foncteur de Picard (faisceautisé) ${\mathrm{P}\mathrm{i}\mathrm{c}}_{C/k}$. Ce foncteur est représentable par un schéma en groupes lisse localement de type fini. La composante connexe de l'élément neutre, notée ${\mathrm{P}\mathrm{i}\mathrm{c}}_{C/k}^0$ est appelée la jacobienne de $C$.

On montre que $J$ est une variété abélienne.

On note par ${\mathrm{P}\mathrm{i}\mathrm{c}}^0(C)$ le groupe des diviseurs de degré 0 sur $C$ modulo équivalence rationnelle. Par construction, on a un homomorphisme de groupes injectif

${\mathrm{P}\mathrm{i}\mathrm{c}}^0(C)\hookrightarrow J(k)$

dont le conoyau est un sous-groupe du groupe de Brauer de k. Supposons pour simplifier que $C$ admet un point rationnel P. Alors l'homomorphisme ci-dessus est un isomorphisme. En particulier, sur la clôture algébrique $\overline{k}$ de $k$, on a toujours un isomorphisme de groupes ${\mathrm{P}\mathrm{i}\mathrm{c}}^0(C_{\overline{k}})\to J(\overline{k}).$

Exemple Si $C$ est une courbe de genre 1, alors $J$ est une courbe elliptique, isomorphe à $C$ comme variétés algébriques si $C$ admet un point rationnel.

Propriétés

• $J$ est une variété abélienne de dimension $g$ si $g=g(C)$ est le genre de $C$.
• Si $C$ possède un point rationnel $P$, alors on a une immersion fermée $i:C\to J$ qui envoie $P$ sur 0 (élément neutre de $J$) et tout point rationnel $Q$ sur la classe du diviseur de degré 0 $Q-P$ dans ${\mathrm{P}\mathrm{i}\mathrm{c}}^0(C)$. De plus tout morphisme $C\to A$ dans une variété abélienne $A$ qui envoie $P$ sur 0 se factorise en $i:C\to J$ et un morphisme de variétés abéliennes $J\to A$.
• Sous l'hypothèse ci-dessus, pour tout entier positif $r$, il existe un morphisme $f_r:C^{(r)}\to J$ du produit symétrique $C^{(r)}$ (le quotient de $C^r$ par le groupe symétrique $S_r$ opérant par 'permutation des coordonnées') dans la jacobienne. Ensemblistement, $f_r$ envoie une somme $x_1+\dots +x_r$ de $r$ points rationnels sur la classe du diviseur $(x_1+\dots +x_r)-rP$. Le morphisme $f_g$ est birationnel. L'image de $f_{r-1}$ est un diviseur dans $J$, appelé diviseur théta $\theta$.
• Le diviseur $\theta$ induit un isomorphe de $J$ avec sa variété abélienne duale. On dit que $J$ est autoduale.
• Toute variété abélienne est un quotient d'une jacobienne.

Bibliographie

Modèle:En J. Milne, « Jacobian varieties », in Arithmetic Geometry, ed. Cornell, Silverman, Springer-Verlag.