Groupe algebrique


Groupe algebrique

Groupe algébrique

En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d'une loi de groupe compatible avec sa structure de variété algébrique.

Sommaire

Définition

Un groupe algébrique sur un corps (commutatif) K est une variété algébrique G sur K munie :

  • d'un morphisme de K-variétés algébriques (appelé aussi multiplication) \mu : G\times_K G\to G. La variété source étant le produit fibré de G par lui-même;
  • d'un morphisme inverse \iota : G\to G;
  • d'un élément neutre ε appartenant à G(K) (un point rationnel de G)

vérifiant formellement les axiomes d'un groupe. Si G est réduit et si K est algébriquement clos, il suffit que ces morphismes induisent une structure de groupe sur l'ensemble G(K) des points rationnels de G.

Pour toute variété algébrique X sur K, l'ensemble G(X) des K-morphismes de X dans G hérite d'une structure de groupe. Une façon rapide de définir un groupe algébrique est alors de dire que c'est une variété algébrique qui représente un foncteur de la catégorie des variétés algébriques sur K dans la catégorie des groupes.

Attention : G\times_K G est muni de la topologie de Zariski et non de la topologie produit.

  • Un homomorphisme de groupes algébriques f : G\to H sur K est un morphisme de variétés algébriques sur K qui est compatible avec la structure de groupe: si μGH sont les lois de multiplication sur G et H respectivement, alors f\circ\mu_G = \mu_H\circ (f\times f). En termes des points, cela revient à dire que pour toute K-algèbre de type fini A, l'application f(A) : G(A)\to H(A) induite par f est un homomorphisme de groupes. Si K est algébriquement clos et si G, H sont réduits, il suffit de prendre A=K.
  • Un isomorphisme de groupes algébriques est un homomorphisme de groupes algébriques qui est un isomorphisme pour les variétés algébriques sous-jacentes.
  • Un sous-groupe algébrique F de G est une sous-variété de G telle que l'immersion i : F\to G soit un homomorphisme de groupes algébriques. On sait que F est alors une sous-variété fermée.
  • Si f : G\to H est un homomorphisme de groupes algébriques sur K, le noyau Ker(f) de f est défini par G\times_H \epsilon_H. L'espace sous-jacent à Ker(f) est f − 1H), mais la structure de sous-variété n'est pas nécessairement réduite. On montre facilement que Ker(f) est un sous-groupe algébrique de G.


Exemples

  • Si Γ est un groupe fini, il existe un unique groupe algébrique sur K tel que G(L) = Γ pour toute extension de corps L/K. C'est le groupe constant Γ.
  • Le groupe additif Ga: la variété sous-jacente est la droite affine A^1 sur K. Pour toute K-algèbre de type fini A, le groupe Ga(A) s'identifie canoniquement au groupe (additif) A.
  • Le groupe multiplicatif Gm: la variété sous-jacente est la droite affine A^1 sur K privée de l'origine. Pour toute K-algèbre de type fini A, le groupe Gm(A) s'identifie canoniquement au groupe multiplicatif A * des éléments inversibles de A.
  • GLn,K, le groupe des matrices inversibles, est un groupe algébrique. Pour toute K-algèbre de type fini A, le groupe GLn,K(A) s'identifie au groupe multiplicatif des matrices carrés d'ordre n, à coefficients dans A et inversibles. Lorsque n=1, on retrouve le groupe multiplicatif Gm.
  • Soit n un entier naturel. La multiplication par n induit un homomorphisme de groupes algébriques G_a\to G_a. Si n est premier à la caractéristique du corps K, alors le noyau de cet homomorphisme est réduit à l'élément neutre.
  • Si K est de caractéristique p positive, l'élevation à la puissance p (appelé le Frobenius) dans Ga est un homomorphisme de groupes algébriques. Son noyau, noté αp, est un exemple typique de groupe algébrique non-lisse. La variété algébrique sous-jacente est Spec K[T] / (TpK[T]) (elle n'a qu'un seul point et n'est pas réduite).
  • Soit n un entier naturel. Dans le groupe multiplicatif Gm, l'élevation à la puissance n induit un homomorphisme de groupes algébriques, dont le noyau μn est un groupe algébrique fini, constant si le corps de base K contient toutes les racines n-ième de l'unité. Il est étale sur K si et seulement si n est premier à la caractéristique de K.
  • En géométrie algébrique, un tore T sur K est un groupe algébrique, isomorphe à un produit de Gm sur la clôture algébrique de K. On dit que T est déployé si l'isomorphisme est défini sur K.

Deux classes de groupes algébriques sont particulièrement importantes. Tout d'abord, les variétés abéliennes sont des groupes algébriques pour lesquelles la variété sous-jacente est propre, connexe, et lisse. Les courbes elliptiques sont des exemples de variétés abéliennes.

Ensuite viennent les groupes algébriques linéaires : ceux-ci correspondent au cas où le groupe est une variété affine, autrement dit, où c'est le lieu des zéros d'une famille de polynômes dans K[X_1,\dots,X_n]. La plupart des sous-groupes usuels de GLn(K) correspondent à des groupes algébriques linéaires. Par exemple, SLn(K) est l'ensemble des zéros du polynôme det − 1. On peut montrer que les groupes algébriques linéaires peuvent être représentés fidèlement. Ainsi, ils peuvent toujours être vus comme des sous-groupes de GLn,K, ce qui explique leur appellation.

Structure

Structure de variété

Un groupe algébrique géométriquement réduit est automatiquement lisse. Sur un corps de caractéristique 0, tout groupe algébrique est lisse (théorème de Cartier). En revanche, si K est de caractéristique p positive, il existe des groupes algébriques non-lisses (voir l'exemple αp ci-dessus).

Décomposition

Si G est un groupe algébrique sur un corps K, on peut décomposer G comme suit.

  • Il existe un sous-groupe ouvert G0 de G, appelé la composante neutre de G, et un groupe algébrique π0(G) fini étale sur K, tels que G soit extension de π0(G) par G0, c'est-à-dire qu'on a une suite exacte

 1 \to G^0 \to G \to \pi_0(G) \to 1.

Si K est algébriquement clos, π0(G) est un groupe fini constant.

  • Supposons maintenant G lisse et K parfait (par exemple de caractéristique 0). Alors G0 est extension d'une variété abélienne par un groupe linéaire lisse L (théorème de Chevalley).
  • Supposons de plus que G est commutatif. Le groupe linéaire L est produit d'un tore par un groupe unipotent (c'est-à-dire un groupe algébrique qui est extensions successives de Ga). En caractéristique 0, les groupes unipotents sont isomorphes à un produit de Ga.

Formes différentielles

Si G est un groupe algébrique lisse, alors son fibré tangent est constant, engendré par l'espace tangent de G à l'origine εG. Par dualité, le faisceau des formes différentielles sur G est libre (rappelons que sur une variété algébrique lisse, le faisceau des formes différentielles est seulement localement libre en général).

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe alg%C3%A9brique ».

Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • Groupe Algébrique — En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa structure de… …   Wikipédia en Français

  • Groupe algébrique — En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa structure de… …   Wikipédia en Français

  • Groupe De Lie — En mathématiques, un groupe de Lie est un groupe qui est continu, c est à dire que chaque élément du groupe peut être approché d aussi près que l on veut par une suite d autres éléments du groupe. Un groupe de Lie est en fait un peu plus qu un… …   Wikipédia en Français

  • Groupe de lie — En mathématiques, un groupe de Lie est un groupe qui est continu, c est à dire que chaque élément du groupe peut être approché d aussi près que l on veut par une suite d autres éléments du groupe. Un groupe de Lie est en fait un peu plus qu un… …   Wikipédia en Français

  • Groupe De Type De Lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… …   Wikipédia en Français

  • Groupe de type de lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… …   Wikipédia en Français

  • Algebrique — Algébrique Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Groupe De Weyl — En mathématiques, et en particulier dans la théorie des algèbres de Lie, le groupe de Weyl d un système de racines est le sous groupe du groupe d isométries du système de racines engendré par les réflexions orthogonales par rapport aux hyperplans …   Wikipédia en Français

  • Groupe de weyl — En mathématiques, et en particulier dans la théorie des algèbres de Lie, le groupe de Weyl d un système de racines est le sous groupe du groupe d isométries du système de racines engendré par les réflexions orthogonales par rapport aux hyperplans …   Wikipédia en Français

  • Groupe de Lie — En mathématiques, un groupe de Lie est un groupe « lisse », c est à dire qu il possède une structure différentiable pour laquelle les opérations de groupe – multiplication et inversion – sont différentiables. Les groupes de Lie sont… …   Wikipédia en Français


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.