En
Mathématiques, le terme
groupe symplectique est utilisé pour désigner deux familles différentes de groupes linéaires. On les note Sp(2
n,
E) et Sp(
n), ce dernier étant parfois nommé
groupe compact symplectique pour le distinguer du premier. Il faut noter que cette notation ne fait pas l’unanimité et que 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.
Sp(2n,E)
Le groupe symplectique de degré 2
n sur un corps
E, noté Sp(2
n,
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(2
n,
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 les formes non-dégénérées, antisymétriques et bilinéaires.
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 R ou des nombres complexes 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, C) est simplement connexe tandis que Sp(2n, 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 :
JA + A T J = 0
où A T est la transposée de A et J est la matrice antisymétrique
| J = n |
(
| ┌
| n0 | I n | ┐
|
)
| | | n-I n | 0 | |
└ | n | |
┘ |
| n |
Sp(n)
Le groupe symplectique Sp(
n) est le sous-groupe de GL(n,
H) (
H étant l’ensemble des matrices
quaternioniques inversibles) préservant la forme hermitienne standard sur
H n :
| 〈 x, y 〉 = | –––
x 1
| y 1 + … + | –––
x n
| y n |
C’est-à-dire que Sp(n) est simplement le Groupe unitaire quaternionique U(n, 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 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 † = 0
où A † est la transposée conjuguée de A.
Relations entre les groupes symplectiques
La relation entre les groupes Sp(2
n,
R), Sp(2
n,
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
Cn.
L’algèbre de Lie complexe Cn est juste l’algèbre sp(2n, C) des groupes de Lie complexes Sp(2n, 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, R), qui est l’algèbre de Lie de Sp(2n, R).
Comparaison des groupes symplectiques :
| | Matrices | Groupe de Lie | Dim/R | Dim/C | Compact | π1 |
|---|
| Sp(2n, R) | R | réel | n(2n + 1) | – | | Z |
| Sp(2n, C) | C | complexe | 2n(2n + 1) | n(2n + 1) | | 1 |
| Sp(n) | H | réel | n(2n + 1) | – | x | 1 |
Voir aussi