On the left ideal in the universal enveloping algebra of a Lie group generated by a complex Lie subalgebra

Author:
Juan Tirao

Journal:
Proc. Amer. Math. Soc. **121** (1994), 1257-1266

MSC:
Primary 22E15; Secondary 17B35, 22E60

DOI:
https://doi.org/10.1090/S0002-9939-1994-1189550-8

MathSciNet review:
1189550

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a connected Lie group with Lie algebra and let *h* be a Lie subalgebra of the complexification *g* of . Let be the annihilator of *h* in and let be the annihilator of in the universal enveloping algebra of *g*. If *h* is the complexification of the Lie algebra of a Lie subgroup of then whenever is closed, is a known result, and the point of this paper is to prove the converse assertion. The paper has two distinct parts, one for , the other for holomorphic functions. In the first part the Lie algebra of the closure of is characterized as the annihilator in of , and it is proved that is an ideal in and that where *v* is an abelian subalgebra of . In the second part we consider a complexification *G* of and assume that *h* is the Lie algebra of a closed connected subgroup *H* of *G*. Then we establish that if and only if has many holomorphic functions. This is the case if is a quasi-affine variety. From this we get that if *H* is a unipotent subgroup of *G* or if *G* and *H* are reductive groups then .

**[1]**A. Białynicki-Birula, G. Hochschild, and G. D. Mostow,*Extensions of representations of algebraic linear groups*, Amer. J. Math.**85**(1963), 131–144. MR**0155938**, https://doi.org/10.2307/2373191**[2]**C. Chevalley,*Theory of Lie groups*, Vol. 1, Princeton Univ. Press, Princeton, NJ, 1946.**[3]**Jacques Dixmier,*Algèbres enveloppantes*, Gauthier-Villars Éditeur, Paris-Brussels-Montreal, Que., 1974 (French). Cahiers Scientifiques, Fasc. XXXVII. MR**0498737****[4]**Morikuni Gotô,*Faithful representations of Lie groups. I*, Math. Japonicae**1**(1948), 107–119. MR**0029919****[5]**SigurÄ‘ur Helgason,*Differential geometry and symmetric spaces*, Pure and Applied Mathematics, Vol. XII, Academic Press, New York-London, 1962. MR**0145455****[6]**G. Hochschild and G. D. Mostow,*Affine embeddings of complex analytic homogeneous spaces*, Amer. J. Math.**87**(1965), 807–839. MR**0191900**, https://doi.org/10.2307/2373247**[7]**G. Hochschild and G. D. Mostow,*Representations and representative functions of Lie groups*, Ann. of Math. (2)**66**(1957), 495–542. MR**0098796**, https://doi.org/10.2307/1969906**[8]**James E. Humphreys,*Linear algebraic groups*, Springer-Verlag, New York-Heidelberg, 1975. Graduate Texts in Mathematics, No. 21. MR**0396773****[9]**A. T. Huckleberry and E. Oeljeklaus,*Homogeneous spaces from a complex analytic viewpoint*, Manifolds and Lie groups (Notre Dame, Ind., 1980) Progr. Math., vol. 14, Birkhäuser, Boston, Mass., 1981, pp. 159–186. MR**642856****[10]**George Daniel Mostow,*The extensibility of local Lie groups of transformations and groups on surfaces*, Ann. of Math. (2)**52**(1950), 606–636. MR**0048464**, https://doi.org/10.2307/1969437**[11]**Mitsuo Sugiura,*The Tannaka duality theorem for semisimple Lie groups and the unitarian trick*, Manifolds and Lie groups (Notre Dame, Ind., 1980) Progr. Math., vol. 14, Birkhäuser, Boston, Mass., 1981, pp. 405–428. MR**642870****[12]**Garth Warner,*Harmonic analysis on semi-simple Lie groups. I*, Springer-Verlag, New York-Heidelberg, 1972. Die Grundlehren der mathematischen Wissenschaften, Band 188. MR**0498999**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
22E15,
17B35,
22E60

Retrieve articles in all journals with MSC: 22E15, 17B35, 22E60

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1994-1189550-8

Keywords:
Lie subgroup,
closure,
annihilator,
complexification,
and holomorphic functions,
quasi-affine variety,
reductive and unipotent groups

Article copyright:
© Copyright 1994
American Mathematical Society