The Arens–Michael Envelope of a Solvable Lie Algebra is a Homological Epimorphism
摘要
The Arens–Michael envelope of the universal enveloping algebra of a finite-dimensional complex Lie algebra is a homological epimorphism if and only if the Lie algebra is solvable. The necessity was proved by Pirkovskii in [Proc. Amer. Math. Soc., 2006, 134(9): 2621–2631]. We prove the sufficiency.