Variété algébrique non singulière

Une variété algébrique non singulière (ou lisse) est une variété dépourvue de point singulier (en). C'est le cadre naturel de nombre de théorèmes fondamentaux en géométrie algébrique.

DéfinitionModifier

On dit qu'une variété algébrique   est régulière lorsque son anneau local   est un anneau local régulier pour tout point  .

Soit   une variété algébrique sur un corps  . Soit   une clôture algébrique de  . On dit que   est non singulière ou lisse si la variété   obtenue après le changement de base   est une variété régulière.

Exemples

  • Les espaces affines   et les espaces projectifs   sont non singulières.
  • Une courbe plane   est non singulière si et seulement si les polynômes   n'ont pas de zéro commun dans   (ce qui équivaut à dire qu'ils engendrent l'idéal unité de  ).
  • Si   est un corps imparfait (i.e. un corps qui n'est pas parfait), alors il existe   qui ne soit une puissance  -ième, où   est la caractéristique de  . Soit   l'extension radicielle définie par la racine  -ième de  . Alors   est une variété algébrique sur  , régulière mais pas non singulière.

Remarque Être régulière est une propriété absolue de la variété algébrique, alors qu'être non singulière dépend du corps de base que l'on considère. Dans l'exemple ci-dessus,   n'est pas non singulière en tant que  -variété, mais elle l'est en tant que  -variété.

PropriétésModifier

  • Si   est non singulière, alors elle est régulière. L'inverse est vrai si   est parfait.
  • Critère jacobien: Soit   une variété algébrique affine connexe de dimension d. Alors   est non singulière si et seulement si le rang de la matrice jacobienne   est égal à n – d pour tout  .
  • Soit   une variété algébrique complexe (i.e. définie sur le corps des nombres complexes). Soit   l'espace analytique complexe (en) associé à  . Alors   est non singulière si et seulement si   est une variété analytique complexe, c'est-à-dire localement biholomorphe à un ouvert d'un ℂn.
  • Si   est non singulière et connexe de dimension n, alors   est irréductible et même intègre, et le faisceau des formes différentielles sur   est localement libre de rang n. Autrement dit, c'est un fibré vectoriel de rang n (appelé le fibré cotangent) sur  .
  • Structure locale : Contrairement aux variétés analytiques complexes ou différentielles, une variété algébrique, même non singulière, n'est pas localement (pour la topologie de Zariski) isomorphe à un ouvert d'un espace affine. Mais cela devient vrai si l'on remplace la topologie de Zariski par la topologie étale. En termes plus concrets, tout point d'une variété algébrique non singulière possède un voisinage ouvert (de Zariski !) qui est étale au-dessus d'un ouvert d'un espace affine.