title: Courbe stable
text: # Courbe stable
  
  En géométrie algébrique, une courbe stable est une courbe algébrique dont les singularités sont les plus simples possibles. Elles ont été introduites par Deligne et Mumford pour construire une compactification de l'espace de modules de courbes projectives lisses.
  
  ## Points doubles ordinaires
  
  Soit $k$ un corps algébriquement clos. Un point fermé $x$ d'une courbe algébrique $X$ (c'est-à-dire variété algébrique de dimension 1) sur $k$ est appelé un point double ordinaire si le complété formel de l'anneau local $O_{X,x}$ est isomorphe à la $k$-algèbre $k[[u,v]]/(uv)$.
  
  Par exemple, les courbes planes affines $u^{2}=v^{2}(v+1)$; $uv=0$ ont toutes les deux l'origine comme point double ordinaire.
  
  Un point double ordinaire s'obtient à partir d'une courbe lisse en identifiant deux points distinct : si $X'$ est une courbe lisse affine (pas nécessairement connexe) associée à une algèbre $A$, et si $p,q$ sont deux points fermés distincts dans $X'$, alors l'ensemble $B$ des $f\in A$ tels que $f(p)=f(q)$ est une $k$-algèbre de type fini, la variété algébrique $X$ qui lui est associée est une courbe, et le morphisme $X'\to X$ associé à l'inclusion $B\subset A$ envoie $p,q$ sur un même point qui est double ordinaire, et le morphisme est un isomorphisme en dehors de {$p,q$}.
  
  Une autre caractérisation des points doubles ordinaires utilise la topologie étale. Le point $x$ est double ordinaire s'il existe un voisinage étale commun à $x\in X$ et à $(0,0)\in uv=0$. Plus concrètement, cela veut dire qu'il existe un anneau local noethérien $A$ et des homomorphismes d'anneaux plats et non-ramifiés $O_{X,x}\to A$ et $(k[u,v]/(uv))_{m}\to A$ où $m$ est l'idéal maximal correspondant à l'origine.
  
  ## Courbes stables
  
  Soit $X$ une courbe algébrique sur un corps $k$. On dit que $X$ est semi-stable si après extension des scalaires à la clôture algébrique ${\bar {k}}$, la courbe $X_{\bar {k}}$ est réduite et n'a que des points doubles ordinaires comme points singuliers éventuels.
  
  On dit que $X$ est stable si de plus elle est projective sur $k$ et si $X_{\bar {k}}$ est connexe, de groupe des automorphismes fini. Sur un corps algébriquement clos, une courbe stable est une courbe projective connexe réduite, de genre arithmétique (en) au moins égal à 2, à singularités doubles ordinaires, et telle que toute composante irréductible isomorphisme à la droite projective rencontre les autres composantes irréductibles en au moins 3 points.
  
  Par exemple une courbe projective lisse sur $k$ est semi-stable. Elle est stable si elle est de plus de genre au moins 2 et géométriquement connexe. La réunion de deux courbes elliptiques qui se coupent transversalement en un point est une courbe stable qui n'est pas lisse.
  
  ## Le cas arithmétique
  
  Soit une courbe projective lisse $C$ sur le corps des rationnels. Soit $p$ un nombre premier. On dit que $C$ est semi-stable en $p$ s'il existe un schéma sur $\mathbb {Z}$ dont la fibre générique est isomorphe à $C$ et dont la fibre en $p$ (qui est une courbe algébrique sur le corps $\mathbb {F} _{p}$) est une courbe semi-stable. On dit que $C$ est semi-stable si elle est semi-stable en tous les nombres premiers. Plus intuitivement, cela veut dire qu'on peut trouver un ensemble de polynômes homogènes à plusieurs variables à coefficients entiers qui définissent la courbe $C$, et qui modulo $p$ (deviennent donc des polynômes homogènes à coefficients dans $\mathbb {F} _{p}$) définissent une courbe semi-stable sur $\mathbb {F} _{p}$.
  
  On prendra garde qu'il y a un léger abus de langage car la semi-stabilité ici n'est plus seulement une propriété de la courbe sur $\mathbb {Q}$, mais aussi une propriété relative aux réduction modulo p de $C$. En toute rigueur, on devrait dire semi-stable sur $\mathbb {Z}$.
  
  Si $E$ est une courbe elliptique sur $\mathbb {Q}$, la courbe semi-stable sur $\mathbb {F} _{p}$ est soit une courbe elliptique sur $\mathbb {F} _{p}$ (ce qui est le cas pour presque tous $p$, on dit que $p$ est un premier de bonne réduction), soit une réunion de droites projectives qui se coupent transversalement (réduction multiplicative). En réalité, on peut faire en sorte que dans le deuxième cas, la courbe semi-stable obtenue soit une courbe irreductible avec un unique point double ordinaire. La semi-stabilité de $E$ est en fait très simple à tester. On écrit son équation de Weierstrass minimale et on la réduit modulo $p$. Si l'équation modulo $p$ définit une courbe avec un point singulier cuspidale $y^{2}=x^{3}$, alors $E$ n'est pas semi-stable en $p$. Dans tous les autres cas, elle est semi-stable.
  
  La semi-stabilité implique un certain nombre de propriétés arithmétiques intéressantes sur $C$, notamment au niveau des représentations galoisiennes associées aux points de torsion de la jacobienne de $C$. Par exemple, la Conjecture de Shimura-Taniyama-Weil a d'abord été montrée par Wiles pour les courbes elliptiques semi-stables.
  
  Les courbes modulaires $X_{0}(N)$ sur $\mathbb {Q}$ sont semi-stables (en tous $p$ donc) pour les niveaux $N$ sans facteur carré.
  
  ## Espaces de modules
  
  Soit $g$ un entier au moins égal à 2. Soit $k$ un corps algébriquement clos. On sait qu'il existe une variété algébrique normale $M_{g}$ sur $k$ dont les points correspondent aux classes d'isomorphisme des courbes projectives lisses connexes de genre $g$ sur $k$. Cette variété est appelée l'espace de modules grossier des courbes projectives lisses de genre $g$. Elle est quasi-projective. Deligne et Mumford ont montré qu'il existe une variété projective ${\overline {M}}_{g}$ dont les points correspondent aux classes d'isomorphisme des courbes stables de genre $g$ sur $k$. C'est l'espace de modules grossier des courbes stables de genre $g$. Elle contient $M_{g}$ comme une partie ouverte dense. En fait, la construction donne un schéma projectif sur l'anneau des entiers $\mathbb {Z}$.
  
  On sait que $M_{g}$ et donc ${\overline {M}}_{g}$ sont connexes sur le corps des nombres complexes. Par le théorème de connexité de Zariski (qui n'est valable que pour les schémas propres), on en déduit qu'en toutes caractéristiques, ${\overline {M}}_{g}$ et donc $M_{g}$ sont connexes.
  
  