Open Research Index

Lie pairs and formal Lie groups

Fulin Chen, Binyong Sun, Chuyun Wang

arXivarxiv/2604.25616Apr 28, 2026math.RTscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2604.25616
curl -X POST /api/v1/records/arxiv/2604.25616/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.25616/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'