Courbe algébrique

Courbe algébrique

En mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale.

La cubique de Tschirnhausen (en) est une courbe algébrique de degré trois.

Sommaire

Définition

Sous sa forme la plus générale, une courbe algébrique sur un corps k est une variété algébrique de dimension 1 sur k, séparée pour éviter des pathologies. En considérant les composantes irréductibles munies de la structure réduite, on se ramène aux courbes intègres. Par compactification et normalisation, on se ramène aux courbes projectives régulières, ce qui est la situation le plus couramment abordée. En dehors des variétés algébriques de dimension 0 qui se réduisent aux algèbres finies sur un corps, les courbes sont les premières variétés algébriques non triviales.

Exemples.

  • La droite affine \mathbb A^1_k dont les points rationnels correspondent à l'ensemble k. C'est une courbe algébrique affine.
  • La droite projective \mathbb P^1_k dont les points rationnels correspondent à la droite projective ordinaire \mathbb P^1(k), c'est-à-dire l'ensemble des droites de l'espace vectoriel k2. C'est la courbe projective la plus simple.
  • Courbe plane affine: c'est une sous-variété fermée du plan affine \mathbb A^2_k définie par un idéal engendré par un polynôme non-constant F(x,y)\in k[x,y]. Ses points rationnels sont
 (a, b)\in k^2 \mid F(a,b)=0 .
C'est en quelque sorte la forme historique des courbes algébriques au moins lorsque le corps de base est \R.
  • Courbe plane projective: c'est une sous-variété fermée du plan projectif \mathbb P^2_k définie par un idéal engendré par un polynôme homogène de degré strictement positif F(x,y,z)\in k[x,y,z]. Ses points rationnels sont
 (a: b :c)\in {\mathbb P}^2(k) \mid F(a,b,c)=0 .
Les courbes elliptiques et les courbes de Fermat xn + ynzn = 0 sont des courbes projectives planes.


Dans toute la suite, sauf dans la dernière section, on se placera dans le cadre des courbes projectives irréductibles et lisses C sur un corps k. On sait que cela implique que C est régulière. Pour simplifier on suppose de plus que OC(C) = k (donc C reste irréductible sur la clôture algébrique de k).

Correspondance entre courbes et corps de fonctions

Pour toute courbe (projective régulière et irréductible), son corps des fonctions rationnelles K(C) est un corps de fonctions d'une variable.

Si f : C\to D est un morphisme entre deux courbes (projectives régulières irréductibles), il est soit constant, soit dominant. Dans ce dernier cas, f induit un morphisme des corps des fonctions rationnelles K(D)\to K(C) qui fait de K(C) une extension finie de K(D).

On obtient ainsi un foncteur de la catégorie des courbes projectives régulières irréductibles, dont les morphismes sont les morphismes non-constants de k-schémas, vers la catégorie des corps de fonctions d'une variable, dont les morphismes sont les morphismes de k-extensions.

Concrètement, cela veut dire que la donnée d'une courbe est équivalente à la donnée de son corps de fonctions, et que la donnée de morphismes non-constant est équivalente à la donnée d'extensions finies de corps de fonctions.

Note: si k n'est pas parfait, il existe des corps de fonctions d'une variable qui ne soient pas des corps des fonctions rationnelles de courbes projectives lisses irréductibles. En revanche, si k est parfait, il n'y a pas de distinction entre régulier et lisse.

Définition Soit C\to D un morphisme non-constant. On appelle degré de f le degré de l'extension de corps K(C) / K(D) correspondante. Un morphisme est degré 1 si et seulement si c'est un isomorphisme.

Diviseurs

Article détaillé : Diviseur.

Un diviseur sur C est une somme (formelle) finie

D = ax[x]
x

à coefficients ax entiers, indexée par des points (fermés) x de C. Les ax sont tous nuls sauf pour un nombre fini d'entre eux. Le coefficient ax se note aussi vx(D). C'est la valuation de D en x. L'ensemble des diviseurs forment un groupe abélien libre Z1(C) dont une base est constituée des classes [x], x\in C. Un diviseur D est dit effectif si les coefficients qui interviennent ax sont tous positifs ou nuls.

On définit le degré de D par

deg(D) = ax[k(x):k]
x

k(x) est le corps résiduel en xi, extension finie de k par le théorème des zéros de Hilbert. L'application degré est un morphisme de groupes Z^1(X)\to \mathbb Z. Le noyau de ce morphisme Z^1_0(X) est donc un groupe.

Il y a un type particulièrement important de diviseurs, les diviseurs principaux. Il s'agit des diviseurs (f) associés aux fonctions rationnelles non nulles f\in K(C). Par définition,

(f) = ordx(f)[x],
x

ordx(f) est l'ordre d'annulation de f en x si f est régulière en x, et c'est l'opposé de son ordre de pôle sinon.

On montre que tout diviseur principal est de degré 0. L'ensemble des diviseurs principaux forment un sous-groupe du groupe Z^1_0(C). Le quotient Pic0(C) de Z^1_0(C) par les diviseurs principaux s'injecte dans J(k), où J est la jacobienne de X. C'est un isomorphisme si k est algébriquement clos ou si C a un point rationnel.

On dit que deux diviseurs sur C sont linéairement équivalents s'ils diffèrent par un diviseur principal.

Si D est un diviseur, on lui associe un faisceau inversible OC(D) sur C de la manière suivante: pour tout ouvert affine U de C, OC(D)(U) est égal à l'union de 0 avec l'ensemble des fonctions rationnelles non-nulles f vérifiant \mathrm{ord}_{x}(f)+a_x\ge 0 pour tout x \in U.

Inversement, tout faisceau inversible est isomorphe à un OC(D), D étant unique à équivalence linéaire près.

  • Diviseur canonique Le faisceau des formes différentielles ΩC / k sur C est un faisceau inversible. C'est le fibré cotangent sur C. Il lui correspond donc un diviseur K, unique à équivalence linéaire près. Un tel diviseur est appelé un diviseur canonique de C.

Théorème de Riemann-Roch

Article détaillé : Théorème de Riemann-Roch.

Le théorème de Riemann-Roch donne une estimation de la dimension de l'espace des fonctions rationnelles à pôles contrôlés par un diviseur donné. C'est un résultat fondamental dans l'étude des courbes algébriques. Concrètement, on se donne des points x_1,\ldots, x_r dans C, et on leur affecte des coefficients entiers n_1,\ldots, n_r. Soit D le diviseur somme des ni[xi]. Alors L(D) est par définition l'ensemble des fonctions rationnelles f nulle ou vérifiant l'inégalité \mathrm{ord}_{x_i}(f)\ge -n_i pour tout i (plus synthétiquement : (f)\ge -D ). C'est un espace vectoriel sur le corps de base k, de dimension finie que l'on note l(D). On a les propriétés suivantes:

  • Si D et D' sont linéairement équivalentes, alors l(D) = l(D').
  • l(D)\le 1 + \deg D. En particulier, l(D) = 0 si deg D < 0.
  • l(D)\ge 1 si et seulement si D est linéairement équivalent à un diviseur effectif.
  • l(D)\ge \deg D + 1-g , où g est le genre de la courbe, défini comme étant l(K). C'est la forme faible du théorème de Riemann-Roch.
  • Théorème de Riemann-Roch : On a l'égalité
l(D) − l(KD) = deg D + 1 − g.
  • Corollaire:
    • on a deg K = 2g − 2;
    • si deg D > 2g − 2, alors l(D) = deg D + 1 − g.

Définition Une courbe hyperelliptique est une courbe de genre au moins 2, dont le corps de fonction est une extension (nécessairement séparable) de degré 2 du corps des fractions rationnelles k(x). Cela revient donc à dire que C admet un morphisme de degré 2 vers {\mathbb P^1}. Attention cependant que certains auteurs appellent plus généralement courbes hyperelliptiques celles qui admettent un tel morphisme défini sur la clôture algébrique de k.

Exemples

  • Une courbe projective plane donnée par une équation homogène de degré n est de genre (n − 1)(n − 2) / 2.
  • Une courbe hyperelliptique correspondante à une extension y2 = f(x) (en caractéristique différente de 2) avec f(x)\in k[x] séparable de degré d, est de genre g = [(d − 1) / 2]. Une base des formes différentielles est donnée par dx/y, \ldots, x^{g}dx/y.
  • Sur la droite projective, le diviseur canonique est linéairement équivalent à − 2[x] si x est un point rationnel quelconque.

Classification des courbes projectives lisses

Un premier invariant pour distinguer les courbes algébriques entre elles est le genre, qui rappelons-le, est la dimension de l'espace vectoriel des formes différentielles sur la courbe. C'est donc un entier positif ou nul.

Les courbes de petit genre

  • On a g(C) = 0 si et seulement si C est une conique (non-dégénérée). Une conique est isomorphe (en tant que variété algébrique) à la droite projective si et seulement si elle possède un point rationnel. Le diviseur canonique sur une courbe de genre 1 est le diviseur nul.
  • Si g(C) = 1 et si C a un point rationnel, alors C possède une structure de courbe elliptique. Dans le cas général, la jacobienne J de C est une courbe elliptique et C est un torseur (espace homogène principal) sous J (grosso modo, J opère transitivement et librement sur C).
  • Si g(C) = 2, alors C est une courbe hyperelliptique.
  • Pour tout g\ge 0, il existe une courbe de genre g. Pour g > 1, il suffit de considérer une courbe hyperelliptique définie par y2 + ay = f(x) avec f(x)\in k[x] séparable de degré 2g + 1 et a = 1 ou 0, selon que k est de caractéristique 2 ou non.
  • Les courbes de genre 3 sont soit hyperelliptique sur la clôture algébrique de k, soit une courbe plane de degré 4.

Espace de modules des courbes de genre g

Un espace de modules est une variété algébrique ou plus généralement un schéma dont les points correspondent à une classe d'objects provenant de la géométrie algébrique. Un espace de module est dit fin lorsqu'il représente un foncteur de la catégorie des variétés algébriques dans la catégorie des ensembles.

Fixons le corps de base k et un genre g. On peut considérer l'ensemble Cg des classes d'isomorphes des courbes de genre g sur k. On montre qu'il existe une variété algébrique intègre, normale et quasi-projective Mg sur k tel qu'il existe une application naturelle C_g \to M_g(k) (naturelle veut dire une compatibilité avec les extensions de corps de base), qui soit une bijection sur un corps algébriquement clos. Cette variété s'appelle l'espace de modules des courbes de genre g. Elle est de dimension 0 si g = 0, de dimension 1 (et même isomorphe à la droite affine) si g = 1 (sur un corps algébriquement clos, toute courbe de genre 1 est une courbe elliptique, et sa classe d'isomorphisme est détermnée par l'invariant modulaire j). En genre au moins 2, Mg est de dimension 3g − 3. Moralement, il suffit de 3g − 3 paramètres (et des relations algébriques) pour décrire l'ensemble des courbes de genre g.

L'espace de modules Mg est dit grossier car il ne représente pas le foncteur des courbes projectives lisses de genre g (lequel foncteur n'est tout simplement pas représentable), mais ses points sur un corps algébriquement clos sont en bijection avec l'ensemble Cg, et la variété est en un sens minimal pour cette propriété.

Notons que contrairement aux surfaces topologiques, ce qui précède dit que le genre (à partir de 1) ne détermine absolument la courbe à isomorphisme près.

Groupe des automorphismes

Tout automorphisme de C se prolonge en un automorphisme de C_{\bar{k}}. On se limite donc aux courbes sur un corps k algébriquement clos.

  • Le groupe des automorphismes de la droite projective est isomorphisme au groupe des homographies PGL2(k).
  • Supposons C de genre 1 et désignons arbitrairement un point x0. Pour éviter les confusions possibles, on va noter par E la courbe elliptique constituée de C avec x0 comme élément neutre. Alors le groupe Aut(C) s'inserre dans une suite exacte
1 \to \mathrm{Aut}(E)\to \mathrm{Aut}(C) \to E(k) \to 1,

la dernière flèche envoyant un automorphisme σ sur σ(x0). Le groupe Aut(E) est en général le groupe cyclique d'ordre 2, et peut être exceptionnellement cyclique d'ordre 4 ou 6. Si le corps est de caractéristique 2 ou 3, ce groupe peut aussi être d'ordre 12 ou 24.

  • Si C est de genre g > 1, alors Aut(C) est un groupe fini. Si de plus, le corps de base est caractéristique nulle, alors l'ordre du groupe est borné par 84(g − 1) = 42deg K. En caractérisitique positive cette borne linéaire n'est plus valable. Il faut lui substituer une borne polynomiale du type cg4 avec une constante explicite c de l'ordre de 14x16.
  • Si g > 2 et si C est suffisamment générale, alors Aut(C) est trivial. Plus précisément, il existe un ouvert dense U de l'espace de modules Mg tel que la conclusion ci-dessus tienne pour toute courbe induisant un point dans U.

Plongement dans un espace projectif

  • Sur un corps infini, toute courbe projective lisse se plonge dans \mathbb P^3.

De façon plus canonique:

    • si g > 2, le diviseur canonique induit un plongement dans \mathbb P^{g-1} si et seulement si la courbe n'est pas hyperelliptique (sur \bar{k}).
    • si g > 1, alors 3K (qui correspond à la puissance tensorielle \Omega_{C/k}^{\otimes 3}) induit un plongement de la courbe dans {\mathbb P}^{5g-6}.

Courbes sur des corps particuliers

Sur les nombres complexes

Article détaillé : Surface de Riemann.

Sur les corps globaux

Mordell-Weil, Mordell

Sur les corps finis

Comptage des points: hypothèse de Riemann sur un corps fini.

Cas général

Régularité

Soit X une variété algébrique intègre de dimension 1. Alors les propriétés suivantes sont équivalentes

Si le corps de base k est parfait, ces propriétés sont équivalentes à

Projectivité

Une courbe algébrique est projective si et seulement si elle est propre. Elle est propre si et seulement chaque composante irréductible est propre. Une courbe irréductible est propre si et seulement si elle n'est pas affine.

Ainsi une courbe algébrique intégre est soit affine, soit projective.

Courbes singulières ou non projectives

Si C est une courbe algébrique séparée, alors elle est quasi-projective. Si aucune de ses composantes irréductibles n'est projective, alors elle est affine.

Une courbe peut présenter des singularités, au si on prend sa normalisation C', alors C'\to C est un morphisme fini surjectif, et C' est une courbe régulière.

Notes

Références bibliographiques


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Courbe Algébrique — Une courbe algébrique est une courbe, le plus souvent plane, dont l’équation cartésienne peut se mettre sous forme polynômiale. Une courbe non algébrique est dite transcendante. En géométrie algébrique, une courbe est une variété algébrique dont… …   Wikipédia en Français

  • Courbe algebrique — Courbe algébrique Une courbe algébrique est une courbe, le plus souvent plane, dont l’équation cartésienne peut se mettre sous forme polynômiale. Une courbe non algébrique est dite transcendante. En géométrie algébrique, une courbe est une… …   Wikipédia en Français

  • Courbe algébrique plane — ● Courbe algébrique plane courbe dont une équation cartésienne est f(X, Y) = 0, où f est un polynôme …   Encyclopédie Universelle

  • Courbe algébrique de l'espace — ● Courbe algébrique de l espace intersection de deux surfaces algébriques …   Encyclopédie Universelle

  • Courbe algébrique réelle plane — Une courbe algébrique réelle plane est une courbe dont l’équation cartésienne peut se mettre sous forme polynomiale. Une courbe non algébrique est dite transcendante. En géométrie algébrique, une courbe est une variété algébrique dont les… …   Wikipédia en Français

  • Classe d'une courbe algébrique plane — ● Classe d une courbe algébrique plane nombre des tangentes qu on peut lui mener d un point arbitraire du plan …   Encyclopédie Universelle

  • algébrique — [ alʒebrik ] adj. • XVIIIe; algébraïque 1585; de algèbre ♦ Relatif à l algèbre, qui s effectue par l algèbre. Calcul numérique et calcul algébrique. Mesure, quantité algébrique. Courbe, équation, fonction algébrique. Nombre algébrique. Topologie… …   Encyclopédie Universelle

  • Courbe transcendante — Courbe algébrique Une courbe algébrique est une courbe, le plus souvent plane, dont l’équation cartésienne peut se mettre sous forme polynômiale. Une courbe non algébrique est dite transcendante. En géométrie algébrique, une courbe est une… …   Wikipédia en Français

  • Courbe Elliptique — Une sélection de courbes cubiques réelles définies par l équation y2 = x3 + ax + b.. La région montrée est [ 3,3]². La courbe pour a=b=0 n est pas elliptique. En mathématiques, une courbe elliptique est un cas particulier de courbe algébrique,… …   Wikipédia en Français

  • courbe — [ kurb ] adj. et n. f. • 1699; corbe mil. XIIIe; lat. curvus 1 ♦ Adj. Qui change de direction sans former d angles; qui n est pas droit. ⇒ arqué, arrondi, bombé, busqué, cambré, cintré, circulaire, contourné, courbé, enroulé, galbé, incurvé,… …   Encyclopédie Universelle

Share the article and excerpts

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