SMF

Differential operators on homogeneous spaces II : relative enveloping algebras

Differential operators on homogeneous spaces II : relative enveloping algebras

Walter Borho, Jean-Luc Brylinski
Differential operators on homogeneous spaces II : relative enveloping algebras
  • Année : 1989
  • Fascicule : 2
  • Tome : 117
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Pages : 167-210
  • DOI : 10.24033/bsmf.2117
Cet article introduit le concept d'algèbre enveloppante relative et l'applique à l'analyse de l'induction d'idéaux bilatères d'algèbres enveloppantes d'algèbres de Lie. Si $H$ est un groupe algébrique et $X\rightarrow Y$ une fibration principale de groupe $H$, l'algèbre enveloppante relative est un faisceau d'algèbres $\mathcal {U}$ sur $Y$, qui consiste en les opérateurs différentiels $H$-invariants sur $X$. Si la fibration est triviale, $\mathcal {U}$ s'identifie au produit tensoriel de l'algèbre enveloppante $U(\mathfrak {h})$ et du faisceau $\mathcal {D}_Y$ des opérateurs différentiels sur $Y$ (où $\mathfrak {h}$ est l'algèbre de Lie de $H$). Pour tout idéal $J$ de $H(\mathfrak {h})$, on construit un faisceau d'idéaux $\widetilde J$ de $\mathcal {U}$, qui coïncide avec $\mathcal {D}_Y\otimes J$ dans une trivialisation locale. Pour $J$ de codimension un, le faisceau $\mathcal {U}/{\widetilde J}$ répond au nom d'opérateurs différentiels tordus [BeBe]. On étudie de près la fibration principale $G\rightarrow G/H$, où $G$ est un groupe algébrique et où $H$ est un sous-groupe de $G$. Soit $\mathfrak {g}={\rm Lie} (G)$. On montre que le noyau de l'homomorphisme de $U(\mathfrak {g})$ vers $\mathcal {U}/{\widetilde J}$ est l'idéal $I$ induit de $J$. Notre résultat principal (théorème 2) donne la relation précise entre les variétés associées de $J$ (dans $\mathfrak {h}^*$) et de $I$ (dans $\mathfrak {g}^*$). Ceci généralise des résultats de [BB I] et [BB III].. D'un point de vue géométrique, on explique la relation de nos constructions avec des travaux de V. Ginsburg et de B. Kostant sur les fibrés cotangents tordus et les polarisations. L'article se conclut par des applications aux nappes de Dixmier et à une conjecture de Gelfand et Kirillov.
Our main object here is to analyse the process of induction of (two-sided) ideals in enveloping algebras, in particular the behaviour of their associated varieties, by means of the new concept of relative enveloping algebras. For any algebraic group $H$, and any $H$-principal fibration $X\rightarrow Y$, we define the relative enveloping algebra as the sheaf of algebras $\mathcal {U}$ on $Y$ made up by all $H$-invariant differential operators on $X$. If the principal fibration is trivial, then $\mathcal {U}$ identifies with the enveloping algebra $U(\mathfrak {h})$ of the Lie algebra $\mathfrak {h}$ of $H$, tensored by the sheaf $D_Y$ of differential operators on the base $Y$. One of our main constructions is the following. For an ideal $J$ of $U(\mathfrak {h})$ we construct an sheaf of ideals $\widetilde J$ in $\mathcal {U}$, which is $D_Y\otimes J$ in a local trivialization. In a special case ($H$ a torus, $J$ maximal), the sheaf $\mathcal {U}/{\widetilde J}$ is known as twisted differential operators in the literature [BeBe]. For our present main purpose, we apply this new concept to the principal fibration $G\rightarrow G/H$ of an algebraic group $G$ by a closed sugbroup $H$. Let $\mathfrak {g}={\rm Lie}\, G$. The left $G$ action gives rise to an algebra homomorphism $U(\mathfrak {g})\rightarrow \Gamma (G/H,\mathcal {U})$, and so an ideal $J$ of $U(\mathfrak {h})$ gives rise to a homomorphism $U(\mathfrak {g})\rightarrow \Gamma (G/H,\mathcal {U}/{\widetilde J})$. Now the kernel of the homomorphism turns out to be the ideal $I$ induced from $J$ in $U(\mathfrak {g})$, up to a certain twist (Corollary of Proposition 2). Our main result (Theorem 2) gives then the precise relation between the associated varieties of $J$ resp. $I$ in $\mathfrak {h}$ resp. $\mathfrak {g}$, in the case $H$ parabolic. The behaviour of associated varieties of ideals is analogous to that of wave front sets of representations, as studied by Barbasch and Vogan [BV]. We define the characteristic variety of a coherent $\mathcal {U}$-module $\mathcal {M}$ as a subvariety $\mathrm {Ch}(\mathcal {M})$ in $(T^*X)/H$, and we prove that its image under the momentum map contains the associated variety of the $U(\mathfrak {g})$-module $\Gamma (G/H,\mathcal {M})$, assuming $H$ parabolic. Application to $\mathcal {M}=\mathcal {U}/{\widetilde J}$ then yields our main result. This generalizes some of the results in [BB I] and [BB III]. We also use this opportunity to report on recent work of V. Ginsburg and B. Kostant concerning shifted cotangent bundles and polarizations, and to relate it to our present context. Finally, some applications to Dixmier sheets and to a conjecture of Gelfand and Kirillov are made.


Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...