ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

X-ENS MP 2013 — Maths A

Algèbres d'opérateurs quantiques sur les fonctions à support fini · 4 pages

PDF hébergé hors du site officiel — source : vmaths.fr

Le sujet étudie, sur l'espace VV des fonctions de ℤ\mathbb{Z} dans ℂ\mathbb{C} à support fini, l'opérateur de décalage EE et des opérateurs diagonaux HH et de pondération FF soumis à des relations de commutation, d'abord du type 𝔰𝔩2\mathfrak{sl}_2 (H∘E=E∘H+2EH \circ E = E \circ H + 2E), puis dans une version quantique en une racine primitive ℓ\ell-ième de l'unité qq (H∘E=q2E∘HH \circ E = q^2 E \circ H). Il établit que l'opérateur de Casimir CC est une homothétie, puis construit une sous-algèbre d'opérateurs compatibles avec un projecteur PaP_a et un morphisme d'algèbres vers ℒ(Wℓ)\mathcal{L}(W_\ell), dont il étudie les images de EE, HH et FF.

Le sujet, partie par partie

Préambule et Partie I — Opérateurs sur les fonctions à support fini p. 1–2

Applications linéaires et rang · Algèbres et sous-algèbres · Espaces vectoriels et dimension · Sous-espaces stables · Polynômes d'endomorphismes — opérateur de décalage, fonctions à support fini, base dénombrable, relations de commutation, sous-algèbre engendrée par un endomorphisme, isomorphisme d'algèbres

Partie II — Intermède p. 2–3

Diagonalisation · Matrices remarquables · Nombres complexes · Applications linéaires et rang · Projecteurs et trace — racine primitive de l'unité, matrice compagnon, vecteurs propres, projecteur, division euclidienne

Partie III — Opérateurs quantiques p. 3–4

Applications linéaires et rang · Réduction des endomorphismes · Nombres complexes · Algèbres et sous-algèbres — groupe quantique, qq-commutation, opérateur de Casimir, homothétie, suites périodiques, racine primitive de l'unité

Partie IV — Opérateurs quantiques modulaires p. 4

Algèbres et sous-algèbres · Sous-espaces stables · Nilpotents, Jordan, Dunford · Polynômes d'endomorphismes · Diagonalisation · Applications linéaires et rang · Projecteurs et trace — sous-algèbre, morphisme d'algèbres, projecteur, opérateur nilpotent, vecteurs propres, dimension d'une algèbre de polynômes d'endomorphisme

Ouvrir dans l'atlas interactif →