AnnalesÉcoles d'ingénieurs
X-ENS MP 2012 — Maths A
Le sujet étudie l'espace des matrices antihermitiennes de trace nulle, réel de dimension 3 et stable par crochet, et l'exponentielle de matrices, dont il établit les propriétés (conjugaison, déterminant, quand et commutent). Il décrit , montre que tout élément est conjugué dans à une matrice , que deux éléments sont conjugués si et seulement s'ils ont même trace, que envoie surjectivement sur , et que tout sous-groupe distingué contenant un élément autre que est entier. Il étudie enfin les représentations de dimension finie de l'algèbre de Lie : à partir d'un vecteur propre de annulé par (vecteur de plus haut poids), il construit une famille libre , avec , sur laquelle , et agissent par des formules explicites, .
Le sujet, partie par partie
Notations et Première partie — Algèbre de Lie et exponentielle p. 1–2
Exponentielle de matrices · Groupes de Lie matriciels et algèbres de Lie · Espaces vectoriels et dimension · Trigonalisation · Normes subordonnées et applications linéaires continues — algèbre de Lie de , crochet de Lie, matrices antihermitiennes, exponentielle de matrice, déterminant de l'exponentielle, matrices triangulaires
Deuxième partie — Le groupe p. 2–3
Groupes de matrices · Groupes de Lie matriciels et algèbres de Lie · Exponentielle de matrices · Groupes · Diagonalisation · Connexité — groupe unitaire, , classes de conjugaison, surjectivité de l'exponentielle, sous-groupe distingué, groupe simple, trace
Troisième partie — Représentations de dimension finie p. 3–4
Groupes de Lie matriciels et algèbres de Lie · Algèbres et sous-algèbres · Réduction des endomorphismes · Représentations des groupes finis · Espaces vectoriels et dimension — représentation d'algèbre de Lie, vecteur de plus haut poids, opérateurs d'échelle, relations de commutation, valeurs propres ,