Оболочка Аренса-Майкла нильпотентной алгебры Ли есть гомологический эпиморфизм

В своих первопроходческих работах Джозеф Тейлор обнаружил, что оболочка Аренса-Майкла универсальной обертывающей алгебры комплексной алгебры Ли является гомологическим эпиморфизмом в абелевом случае и не является им в полупростом случае. С другой стороны, Пирковский доказал, что разрешимость есть необходимое условие. Достаточные условия для нильпотентных алгебр Ли были получены Пирковским и Досиевым. Будет предъявлено доказательство для произвольной нильпотентной алгебры Ли, привлекающее (довольно неожиданно) такие понятия, как порядок роста целой функции и риманова метрика.