Lie pairs and formal Lie groups
Representation Theory
2026-04-29 v1
Abstract
In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular, extending the classical formal Lie theory theorem, we prove that the category of formal Lie groups is equivalent to the category of Lie pairs.
Cite
@article{arxiv.2604.25616,
title = {Lie pairs and formal Lie groups},
author = {Fulin Chen and Binyong Sun and Chuyun Wang},
journal= {arXiv preprint arXiv:2604.25616},
year = {2026}
}