Variété algébrique projective

Variété algébrique projective

En géométrie algébrique, les variétés projectives forment une classe importante de variétés. Elles vérifient des propriétés de compacité et des propriétés de finitude. C'est l'objet central de la géométrie algébrique globale.

Sur un corps algébriquement clos, les points d'une variété projective sont les points d'un ensemble algébrique projectif.

Sommaire

Définition

On fixe un corps (commutatif) k.

  • Algèbre homogène. Soit B le quotient de k[T_0,\ldots, T_n] par un idéal homogène (i.e. idéal engendré par des polynômes homogènes). C'est alors une algèbre graduée
B=\oplus_{d\ge 0} B_d,
où Bd est l'ensemble des classes modulo I des polynômes homogènes de degrés d. Les éléments de Bd sont appelés des éléments homogènes de degré d. Un idéal homogène de B est un idéal engendré par des éléments homogènes. Un idéal homogène particulier est B + , ensemble des éléments homogènes de degré strictement positif. C'est l'idéal maximal engendré par les classes des T_0,\ldots, T_n.
  • Espace topologique. Par définition, l'ensemble Proj B est constitué des idéaux premiers homogènes de B ne contenant pas B + (donc strictement contenus dans B + ) et maximaux pour cette propriété. Pour tout idéal homogène I, on note V + (I) l'ensemble des idéaux premiers q dans Proj B contenant I. Lorsque l'on fait varier les I, les parties V + (I) de ProjB constituent les parties fermées de la topologie de Zariski sur Proj B.
  • Une base de topologie. Si f est un élément homogène, on note D + (f) le complémentaire de V + (fB). C'est un ouvert principal. Les ouverts principaux constituent une base de topologie. De plus, l'espace topologique D + (f) est homéomorphe au spectre maximal Spm(B(f)), où B(f) est l'ensemble des éléments de la localisation Bf qui peuvent être représentés par une fraction b / fm avec b homogène de degré mdeg f. L'algèbre B(f) est de type fini sur k.
  • Définition. Une variété projective sur k est une variété algébrique sur k isomorphe à ProjB pour une k-algèbre homogène B.
  • Une variété quasi-projective est une sous-variété ouverte d'une variété projective. Toute variété affine se plonge comme sous-variété ouverte dans une variété projective. Ainsi toute variété quasi-affine est quasi-projective.

Exemples

  • La variété projective {\rm Proj} k[T_0,\ldots, T_n] s'appelle l'espace projectif de dimension n sur k. On note cette variété \mathbb P^n_k ou \mathbb P_n. Elle est réunion des n + 1 ouverts D + (Ti) qui sont isomorphes à l'espace affine Spm k[X_1,\ldots, X_n]. Ses points sur k sont exactement les points de l'espace projectif de dimension n sur k. Sa dimension de Krull est n.
  • Si f est un polynôme homogène à n + 1 variables et non-nul. Alors {\rm Proj} (k[T_0,\ldots, T_n]/(f)) est une hypersurface de \mathbb P^n_k, donc de dimension n − 1. Pour n = 2, on obtient alors une courbe plane projective. C'est notamment le cas des courbes de Fermat (avec f=T_0^p+T_1^p+T_2^p et p > 2) et des courbes elliptiques.

Propriétés

  • Si B est une algèbre homogène, quotient de k[T_0,\ldots, T_n]. Alors ProjB est une sous-variété fermée de l'espace projectif \mathbb P^n_k. Inversement, on montre que toute sous-variété fermée d'un espace projectif (ou d'une variété projective) est une variété projective.
  • Le produit de deux variétés projectives est une variété projective. Cela résulte du plongement de Segre qui identifie le produit \mathbb P^n\times_k \mathbb P^m_k à une sous-variété fermée de \mathbb P^{nm+n+m}_k.
  • Toute variété projective est séparée, et propre sur k.
  • Si f : X\to Y est un morphisme d'une variété projective dans une variété algébrique séparée, alors f est une application fermée (i.e. l'image de toute partie fermée est fermée).
  • Si k=\R ou \C, la variété topologique \mathbb P^n(k) est compacte. Pour toute variété projective X sur k, l'ensemble X(k) des k-points de X est alors une partie fermée (pour la topologie de la variété topologique) de \mathbb P^n(k). En particulier, X(k) est compact pour la topologie induite.
  • Pour l'espace projectif \mathbb P^n, on montre aisément que l'algèbre O(\mathbb P^n) des fonctions régulières sur \mathbb P^n est égale à k (i.e. les seules fonctions régulières globales sont les fonctions constantes). Pour une variété projective X en général, la k-algèbre OX(X) est de dimension vectorielle finie. C'est un cas particulier du théorème de Serre sur la cohomologie des faisceaux cohérents. Les variétés projectives sont ainsi à rapprocher des espaces analytiques (complexes) compacts.
  • Il en résulte qu'une variété projective qui est aussi affine est nécessairement constituée d'un nombre fini de points (i.e. de dimension 0).

Bibliographie


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Variete algebrique — Variété algébrique Pour les articles homonymes, voir variété. Une variété algébrique est, de manière informelle, l ensemble des racines communes d un ensemble de polynômes en plusieurs indéterminées. La géométrie algébrique est la théorie qui… …   Wikipédia en Français

  • Variété algébrique — Pour les articles homonymes, voir variété. Une variété algébrique est, de manière informelle, l ensemble des racines communes d un nombre fini de polynômes en plusieurs indéterminées. C est l objet d étude de la géométrie algébrique. Les schémas… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • 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

  • 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

  • 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

  • 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… …   Wikipédia en Français

  • Diviseur (géométrie algébrique) — En mathématiques, plus précisément en géométrie algébrique, les diviseurs sont une généralisation des sous variétés de codimension 1 de variétés algébriques ; deux généralisations différentes sont d un usage commun : les diviseurs de… …   Wikipédia en Français

  • Diviseur (Géométrie Algébrique) — Les Diviseurs de Weil et de Cartier sont des outils de la géométrie algébrique. En géométrie algébrique, comme en analyse complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d un schéma (une… …   Wikipédia en Français

  • Géométrie algébrique — La géométrie algébrique est un domaine des mathématiques qui, historiquement, s est d abord intéressé à des objets géométriques (courbes, surfaces...) dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des… …   Wikipédia en Français

Share the article and excerpts

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