Lycée Louis-Le-Grand, Paris
MPSI 4 – Mathématiques
A. Troesch
Problème no 18 : Espaces vectoriels
Problème 1 – (Extrait de X-ENS 2013) – Opérateurs quantiques modulaires
Dans tout le problème, tous les espaces vectoriels ont pour corps de base C. On note CZ l’espace vectoriel des fonctions
de Z dans C. Si f est une fonction de Z dans C, on appelle support de f , et on note Supp(f ), l’ensemble des k ∈ Z
tels que f (k) 6= 0. Dans tout le problème, V désigne l’ensemble des fonctions de Z dans C dont le support est un
ensemble fini.
Partie I – Opérateurs sur les fonctions à support fini
1. (a) Montrer que V est un sous-espace vectoriel de CZ .
(b) Étant donné f ∈ CZ , on définit E(f ) ∈ CZ par E(f )(k) = f (k + 1).
Montrer que E ∈ L(CZ ), et que V est stable par E.
On note encore E l’endomorphisme induit par E sur V .
(c) Montrer que E ∈ GL(V ).
2. Pour tout i ∈ Z, on pose vi ∈ CZ définie pour tout k ∈ Z par vi (k) = δi,k , où δi,k est le symbole de Kronecker,
égal à 1 si i = k, et nul sinon.
(a) Montrer que la famille (vi )i∈Z est une base de V .
(b) Calculer E(vi ).
Partie II – Opérateurs quantiques
Soit ℓ un entier impair supérieur ou égal à 3. Soit q une racine primitive ℓ-ième de 1 dans C, c’est-à-dire une racine
de 1 engendrant multiplicativement le groupe des racines ℓ-ièmes de l’unité.
Soient λ et µ dans CZ . On définit F et H dans L(V ) par :
H(vi ) = λ(i)vi et F (vi ) = µ(i)vi+1 .
1. Montrer que H ◦ E = q 2 E ◦ H si et seulement si pour tout i ∈ Z, λ(i) = λ(0)q −2i .
Dans la suite du problème, on suppose cette condition satisfaite. On suppose de plus que λ(0) 6= 0.
2. Montrer que H ∈ GL(V ).
3. Montrer que E ◦ F = F ◦ E + H − H −1 si et seulement si pour tout i ∈ Z,
µ(i) = µ(i − 1) + λ(0)q −2i − λ(0)−1 q 2i .
Dans la suite du problème, on suppose cette condition satisfaite.
4. Montrer que λ et µ sont ℓ-périodiques (on ne demande pas de justifier que ℓ est la période minimale)
5. Soit C = (q − q −1 )E ◦ F + q −1 H + qH −1 .
(a) Montrer que C = (q − q −1 )F ◦ E + qH + q −1 H −1 .
(b) Montrer que C est une homothétie de V . On note k son rapport.
Partie III – Opérateurs quantiques modulaires
M
ℓ−1
On pose Wℓ = Cvi = Vect(v0 , . . . , vℓ−1 ).
k=0
1
Soit a ∈ C∗ . On définit Pa de V dans V par :
Pa (vi ) = ap vr ,
où pour i ∈ Z, on définit r et p respectivement comme le reste et le quotient de la division euclidienne de i par ℓ.
Autrement dit, i = pℓ + r, où 0 6 r < ℓ et p ∈ Z.
1. Montrer que Pa est un projecteur, d’image Wℓ .
On dit qu’un élément ϕ de L(V ) est compatible avec Pa si Pa ◦ ϕ ◦ Pa = Pa ◦ ϕ.
2. (a) Montrer que si ϕ ∈ L(V ) commute avec Pa , alors ϕ est compatible avec Pa .
(b) Montrer que H et H −1 sont compatibles avec Pa .
Soit Uq l’ensemble des endomorphismes ϕ ∈ L(E) compatibles avec Pa .
3. Montrer que Uq est une sous-algèbre de L(V ).
4. Montrer que E ∈ Uq et F ∈ Uq .
5. (a) Montrer qu’il existe un unique morphisme d’algèbre Ψa : Uq → L(Wℓ ), tel que
∀ϕ ∈ Uq , Ψa (ϕ) ◦ Pa = Pa ◦ ϕ.
(b) Montrer que ϕ ∈ Uq est contenu dans le noyau de Ψa si et seulement si l’image de ϕ est dans le sous-espace
de V engendré par les vecteurs vi − ap vr , i ∈ Z, où i = pℓ + r est la division euclidienne de i par ℓ.
6. Donner une condition nécessaire et suffisante sur k (défini dans la partie II) pour que Ψa (F ) soit nilpotent.