Groupe symplectique

En mathématiques, le terme groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2n, E) et Sp(n), ce dernier étant parfois nommé groupe compact symplectique pour le distinguer du premier. Cette notation ne fait pas l’unanimité et certains auteurs en utilisent d’autres, différant généralement d’un facteur 2. La notation utilisée dans cet article est en rapport avec la taille des matrices représentant les groupes.

Généralités

Le groupe symplectique de degré 2n sur un corps commutatif E, noté Sp(2n, E), est le groupe des matrices symplectiques 2n×2n à coefficients dans E, muni de la multiplication matricielle. Comme toutes les matrices symplectiques ont pour déterminant 1, le groupe symplectique est un sous-groupe du groupe spécial linéaire SL(2n, E).

De façon plus abstraite, le groupe symplectique peut être défini comme l’ensemble des transformations linéaires d’un espace vectoriel de dimension 2n sur E préservant une forme non-dégénérée, antisymétrique et bilinéaire.

Si n = 1, la condition symplectique sur une matrice est satisfaite si et seulement si son déterminant est tel que Sp(2, E) = SL(2, E). Pour n>1, d’autres conditions s’y ajoutent.

Typiquement, le corps E est le corps des nombres réels $\mathbb R$ ou des nombres complexes $\mathbb C$ . Dans ce cas, Sp(2n, E) est un groupe de Lie réel ou complexe, de dimension réelle ou complexe n(2n + 1). Ces groupes sont connexes mais pas compacts. Sp(2n, $\mathbb C$ ) est simplement connexe tandis que Sp(2n, $\mathbb R$ ) possède un groupe fondamental isomorphe à Z.

L’algèbre de Lie de Sp(2n, E) est donnée par l’ensemble des matrices 2n×2n réelles ou complexes A satisfaisant :

J A + A T J = 0

où $A T$ est la transposée de A et J est la matrice antisymétrique

$J = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \\ \end{pmatrix}$

Structure et géométrie des groupe symplectiques

Structure des groupes symplectiques

Isomorphismes en basses dimensions

Groupes symplectiques sur un corps fini

Géométrie des groupes symplectiques

Groupes symplectiques réels et complexes

Groupes symplectiques réels

Groupes symplectiques complexes

Groupes symplectiques quaternioniens

Groupes symplectiques compacts

Définitions et propriétés

Le groupe symplectique Sp(n) est le sous-groupe de GL(n, $\mathbb H$ ) ( $\mathbb H$ étant l’ensemble des matrices quaternioniques inversibles) préservant la forme hermitienne standard sur $\mathbb H^n$ :

$\langle x, y\rangle = \bar x_1 y_1 + \cdots + \bar x_n y_n$

C’est-à-dire que Sp(n) est simplement le groupe unitaire quaternionique U(n, $\mathbb H$ ). Il est d’ailleurs parfois appelé groupe hyperunitaire. Sp(n) n’est pas un groupe symplectique au sens de la section précédente : il ne préserve pas une forme antisymétrique sur $\mathbb H^n$ (en fait, une telle forme n’existe pas).

Sp(n) est un groupe de Lie de dimension n(2n + 1). Il est compact, connexe et simplement connexe. L’algèbre de Lie de Sp(n) est donnée par l’ensemble des matrices quaternioniques n×n satisfaisant

$A+A^{\dagger} = 0$

où $A^{\dagger}$ est la transposée conjuguée de A.

Géométrie

Groupes symplectiques quaternioniens

Définitions et propriétés

Géométrie

Relations entre les groupes symplectiques

La relation entre les groupes Sp(2n, $\mathbb R$ ), Sp(2n, $\mathbb C$ ) et Sp(n) est la plus évidente au niveau de leur algèbre de Lie. Les algèbres de Lie de ces trois groupes, considérés comme groupes de Lie réels, partagent la même complexification. Dans la classification des algèbres de Lie simples de Cartan, cette algèbre est notée C_n.

L’algèbre de Lie complexe C_n est juste l’algèbre sp(2n, $\mathbb C$ ) des groupes de Lie complexes Sp(2n, $\mathbb C$ ). Cette algèbre possède deux formes réelles différentes :

la forme compacte, sp(n), qui est l’algèbre de Lie de Sp(n),
la forme normale, sp(2n, $\mathbb R$ ), qui est l’algèbre de Lie de Sp(2n, $\mathbb R$ ).

Comparaison des groupes symplectiques :

	Matrices	Groupe de Lie	Dim/ $\mathbb R$	Dim/ $\mathbb C$	Compact	π₁
Sp(2n, $\mathbb R$ )	$\mathbb R$	réel	n(2n + 1)	–		$\mathbb Z$
Sp(2n, $\mathbb C$ )	$\mathbb C$	complexe	2n(2n + 1)	n(2n + 1)		1
Sp(n)	$\mathbb H$	réel	n(2n + 1)	–	x	1

Groupes symplectiques sur des corps non commutatifs

Voir aussi

Portail des mathématiques

Catégories :

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Groupe Symplectique — En mathématiques, le terme groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2n, E) et Sp(n), ce dernier étant parfois nommé groupe compact symplectique pour le distinguer du premier.… … Wikipédia en Français
groupe sympléctique — simplektinė grupė statusas T sritis fizika atitikmenys: angl. symplectic group vok. symplektische Gruppe, f rus. симплектическая группа, f pranc. groupe sympléctique, m … Fizikos terminų žodynas
Groupe symplectique linéaire — Groupe symplectique En mathématiques, le terme groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2n, E) et Sp(n), ce dernier étant parfois nommé groupe compact symplectique pour le… … 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
Groupe Général Linéaire — En mathématiques, le groupe général linéaire de degré n d’un corps E est le groupe des matrices n×n inversibles à coefficients dans E, muni de la multiplication matricielle. On le note GLn(E), ou GLn (ici GL(n,E)). Ces groupes sont importants… … Wikipédia en Français
Groupe general lineaire — Groupe général linéaire En mathématiques, le groupe général linéaire de degré n d’un corps E est le groupe des matrices n×n inversibles à coefficients dans E, muni de la multiplication matricielle. On le note GLn(E), ou GLn (ici GL(n,E)). Ces… … Wikipédia en Français
Groupe linéaire — Groupe général linéaire En mathématiques, le groupe général linéaire de degré n d’un corps E est le groupe des matrices n×n inversibles à coefficients dans E, muni de la multiplication matricielle. On le note GLn(E), ou GLn (ici GL(n,E)). Ces… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Groupe symplectique

Sommaire

Généralités