Sur la méthode des orbites pour une algèbre de Lie résoluble

Charbonnel, Jean-Yves 

Annales de l'Institut Fourier, Tome 48 (1998) no. 5, pp. 1309-1344

Résumé (VO)

Soit $𝔤$ une algèbre de Lie complètement résoluble sur un corps de caractéristique zéro. Soit $Q$ un idéal $𝔤$-invariant de l’algèbre symétrique de $𝔤$. L’application de Dixmier pour $𝔤$ associe à $Q$ un idéal premier de l’algèbre enveloppante $\mathrm{U}\left(𝔤\right)$ de $𝔤$. Soit $\widehat{\mathrm{A}}\left(𝔤\right)$ l’algèbre des opérateurs différentiels à coefficients séries formelles. Dans l’algèbre $\mathrm{A}\left(𝔤\right)$ des opérateurs différentiels à coefficients polynomiaux, il y a un idéal à gauche ${\Lambda }_{𝔤}^{\prime }\left(Q\right)$ qui contient $Q$ et les champs de vecteurs adjoints. Il y a un plongement canonique $L_{𝔤}$ de $\mathrm{U}\left(𝔤\right)$ dans $\widehat{\mathrm{A}}\left(𝔤\right)$. Suivant une idée de Dixmier, on montre que pour un bon élément inversible, $𝔤$-invariant, $p$ de $\widehat{\mathrm{A}}\left(𝔤\right)$, $P$ est l’image inverse par $L_{𝔤}$ de l’idéal à gauche $\widehat{\mathrm{A}}\left(𝔤\right){\Lambda }_{𝔤}^{\prime }\left(Q\right)p$. Les éléments $p$ sont liés à la formule des caractères pour les groupes de Lie résolubles.

Abstract

Let $𝔤$ be a completely solvable Lie algebra over a field of characteristic zero. Let $Q$ be a $𝔤$-invariant ideal in the symmetric algebra $\mathrm{S}\left(𝔤\right)$ of $𝔤$. The Dixmier’s map for $𝔤$ associates to $Q$ a prime ideal $P$ in the enveloping algebra $\mathrm{U}\left(𝔤\right)$ of $𝔤$. Let $\widehat{\mathrm{A}}\left(𝔤\right)$ be the algebra of differential operators with formal series coefficients. In the algebra $\mathrm{A}\left(𝔤\right)$ of differential operators with polynomial coefficients, there is a left ideal ${\Lambda }_{𝔤}^{\prime }\left(Q\right)$ which contains $Q$ and the adjoint vector fields. There is a canonical embedding $L_{𝔤}$ of $\mathrm{U}\left(𝔤\right)$ in $\widehat{\mathrm{A}}\left(𝔤\right)$. Following an idea of Dixmier, we prove that for a good invertible, $𝔤$-invariant element $p$ in $\widehat{\mathrm{A}}\left(𝔤\right)$, $P$ is the inverse image by $L_{𝔤}$ of the left ideal $\widehat{\mathrm{A}}\left(𝔤\right){\Lambda }_{𝔤}^{\prime }\left(Q\right)p$. The elements $p$ are related to the character formula for solvable Lie groups.

Détail

DOI : 10.5802/aif.1656