Критерий алгебраичности $\mathbb G_a$- порожденной подгруппы

Доклад будет основан на результатах, полученных в работе Hanspeter Kraft, Mikhail Zaidenberg "Algebraically generated groups and their Lie algebras" (https://arxiv.org/abs/2203.11356)
Пусть $X$ - аффинное алгебраическое многообразие и $L$ - подалгебра Ли в алгебре Ли дифференцирований на $Х$, порожденная локально нильпотентными дифференцированиями. В своем докладе я собираюсь рассказать доказательство теоремы о том, почему если $L$ конечномерна, то группа, порожденная соответствующими $\mathbb G_a$ - действиями, является алгебраической