arXiv · 2604.25616
Lie pairs and formal Lie groups
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.
Explore related subjects
Keep this discovery
Fulin Chen, Binyong Sun, Chuyun Wang. 2026-04-28. Lie pairs and formal Lie groups. https://arxiv.org/abs/2604.25616
Cite the original work for its findings. Save a collection to share your selection of sources.