On-line catalogue and orders (secure paiement, VISA or MASTERCARD only)

Journals available by subscription

Annales scientifiques de l'ENS

Astérisque

Bulletin de la SMF

Mémoires de la SMF

Revue d'Histoire des Mathématiques

Gazette des Mathématiciens

Books

Astérisque

Cours Spécialisés

Documents Mathématiques

Mémoires de la SMF

Panoramas et Synthèses

Séminaires et Congrès

Jean Morlet Chair Series

SMF/AMS Texts and Monographs

La Série T

Volumes "Journée Annuelle"

Other Books

Donald E. Knuth - French translations

Nicolas Bourbaki's seminar new edition

Jean Leray's scientific works new edition

Revue de l'Institut Elie Cartan

Electronic Editions

Annales scientifiques de l'ENS

Bulletin de la SMF

Revue d'Histoire des Mathématiques

Séminaires et Congrès

More information / Subscription

Publications for a general public

L'explosion des mathématiques (smf.emath.fr)

Mathématiques L'explosion continue (smf.emath.fr)

Zoom sur les métiers des maths (smf.emath.fr)

Zoom sur les métiers des mathématiques et de l'informatique (smf.emath.fr)

Où en sont les mathématiques ?

La Série T

For the authors

Submission of manuscripts

Formats and documentation

More info

Electronic distribution list (smf.emath.fr)

Information for bookselers and subscription agencies (smf.emath.fr)

Publications de la SMF
fr en
Your IP number: 54.242.115.30
Access to elec. publ.: SémCong

Bulletin de la SMF

Presentation of the publication

Titles

Last Titles

Editorial staff committee / Secretary

Number:

Search


Catalogue & orders

Bulletin de la SMF - Titles - 117 - pages 167-210

Titles117

Differential operators on homogeneous spaces II: relative enveloping algebras
Walter Borho - Jean-Luc Brylinski
Bulletin de la Société mathématique de France 117, number 2 (1989), 167-210

Résumé :
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.

Abstract:
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 DY 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.


ISSN : 0037-9484
Publié avec le concours de : Centre National de la Recherche Scientifique