arxiv: 2604.25616 · v1 · submitted 2026-04-28 · 🧮 math.RT

Recognition: unknown

Lie pairs and formal Lie groups

Binyong Sun, Chuyun Wang, Fulin Chen

Pith reviewed 2026-05-07 14:16 UTC · model grok-4.3

classification 🧮 math.RT

keywords formal manifoldsformal Lie groupsLie pairsLie theorycategory equivalencegroup objectsformal geometry

0 comments

The pith

The category of formal Lie groups is equivalent to the category of Lie pairs.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops formal Lie groups as the group objects inside the category of formal manifolds, which were introduced earlier as a generalization of smooth manifolds. It proves an equivalence of categories between these formal Lie groups and Lie pairs, extending the classical theorem that ordinary Lie groups correspond to Lie algebras. A sympathetic reader cares because the result supplies a consistent way to handle group structures in formal or algebraic contexts where classical differential geometry does not apply. The work therefore completes the basic Lie theory in the formal-manifold setting.

Core claim

We establish the basic theory of formal Lie groups and, extending the classical formal Lie theory theorem, prove that the category of formal Lie groups is equivalent to the category of Lie pairs.

What carries the argument

Formal Lie groups, defined as group objects in the category of formal manifolds, together with their equivalence to Lie pairs.

Load-bearing premise

The category of formal manifolds admits well-defined group objects.

What would settle it

A concrete counterexample would be a group object in the category of formal manifolds whose associated structure fails to be a Lie pair, or a Lie pair that does not arise from any such group object.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves that formal Lie groups are equivalent to Lie pairs by extending the classical theorem to group objects in the authors' category of formal manifolds.

read the letter

The main point is that the authors define formal Lie groups as group objects in their earlier category of formal manifolds and then prove these are equivalent to Lie pairs. This is a direct extension of the usual formal Lie theory result, where the Lie algebra at the identity plus the group structure gives the pair, and the functors go both ways to recover the objects. The setup looks consistent with how one would adapt the classical case to a formal completion setting, and the equivalence should let people move between the group object and the pair data without extra work. They cite their prior paper on formal manifolds appropriately, since the whole thing builds on those definitions. The result is new in this specific category and could simplify some constructions in formal geometry or representation theory. The soft spots are limited but real. The paper depends entirely on the previous work for what a formal manifold is and how group objects are defined there, so it is not self-contained and readers need both papers to check the details. The abstract gives no explicit functor constructions or verification that they are inverses, though the full text presumably supplies them. No circularity or hidden fitting shows up in the claim itself. This is for people already working with formal manifolds or Lie theory extensions. A reader who wants a clean categorical equivalence for handling formal group structures would get something usable from it. The central claim is grounded enough to deserve a serious referee.

Referee Report

2 major / 2 minor

Summary. The manuscript develops the theory of formal Lie groups, defined as group objects in the category of formal manifolds introduced in the authors' prior work. It proves that the category of these formal Lie groups is equivalent to the category of Lie pairs, thereby extending the classical theorem equating formal Lie groups with Lie algebras.

Significance. If the equivalence is rigorously established with explicit functor constructions and inverses, the result provides a categorical foundation for formal Lie theory in the generalized setting of formal manifolds. This could facilitate applications in algebraic geometry, deformation theory, and non-standard smooth structures by linking geometric group objects directly to algebraic Lie pair data.

major comments (2)

[§4] §4 (Equivalence theorem): The central claim requires explicit construction of the two functors (formal Lie group to Lie pair via tangent space at identity and group law, and the inverse via exponentiation or formal completion) together with a verification that they are mutually inverse on objects and morphisms. The abstract and outline do not supply these steps, so the load-bearing part of the proof cannot be assessed from the given material.
[§2.3] §2.3 (Group objects in formal manifolds): The definition of a group object must be shown to be compatible with the formal manifold morphisms without additional restrictions; the paper relies on the prior paper's category axioms, but does not verify here that the multiplication and inverse maps remain within the formal structure when forming the Lie pair.

minor comments (2)

Notation for the Lie bracket in Lie pairs should be introduced with a reference to the classical case to clarify the extension.
The introduction would benefit from a short diagram or table comparing the classical formal Lie group/Lie algebra correspondence with the new formal Lie group/Lie pair equivalence.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major points below and will revise the manuscript to improve the clarity of the exposition.

read point-by-point responses

Referee: [§4] §4 (Equivalence theorem): The central claim requires explicit construction of the two functors (formal Lie group to Lie pair via tangent space at identity and group law, and the inverse via exponentiation or formal completion) together with a verification that they are mutually inverse on objects and morphisms. The abstract and outline do not supply these steps, so the load-bearing part of the proof cannot be assessed from the given material.

Authors: Section 4 provides the explicit functor from formal Lie groups to Lie pairs by sending a group object G to the pair (T_e G, [·,·]), where the bracket is induced by the commutator of the group law via the formal manifold structure. The inverse functor sends a Lie pair (V, [·,·]) to the formal group obtained by formal completion of the exponential map with the Baker-Campbell-Hausdorff series adapted to the formal manifold category. Mutual inverses are verified by showing that the tangent space of the constructed group recovers the original pair and that the group law on the exponential recovers the original group object. We agree that the outline in the introduction and the beginning of §4 could be expanded for easier assessment; we will add a concise summary of both functors and the key verification steps in the revised version. revision: yes
Referee: [§2.3] §2.3 (Group objects in formal manifolds): The definition of a group object must be shown to be compatible with the formal manifold morphisms without additional restrictions; the paper relies on the prior paper's category axioms, but does not verify here that the multiplication and inverse maps remain within the formal structure when forming the Lie pair.

Authors: By the definition of a group object in any category, the multiplication and inverse maps are required to be morphisms in the category of formal manifolds. The tangent space functor used to form the Lie pair is a functor on this category, so it automatically preserves the formal structure. We will insert a short clarifying paragraph in §2.3 (or at the start of §4) that recalls this fact explicitly rather than relying solely on the axioms from the prior paper, making the argument more self-contained. revision: yes

Circularity Check

0 steps flagged

Equivalence proof uses prior self-cited definitions for background but establishes independent content via new proof

full rationale

The paper claims to prove an equivalence between the category of formal Lie groups (defined as group objects in the category of formal manifolds) and the category of Lie pairs, extending classical formal Lie theory. This relies on definitions from the authors' previous paper on formal manifolds, which is a standard self-citation for foundational setup rather than a load-bearing reduction of the central claim. No equations, predictions, or steps in the abstract or described derivation reduce by construction to inputs or prior results; the equivalence is presented as a theorem proved in this work. Per rules, self-citation for definitions does not trigger higher circularity when the proof itself supplies independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard category theory and Lie algebra axioms from prior literature; no free parameters or invented entities are apparent from the abstract. The central claim rests on the prior definition of formal manifolds.

axioms (2)

domain assumption Formal manifolds form a category in which group objects (formal Lie groups) are well-defined.
Invoked implicitly when defining formal Lie groups as group objects in the category of formal manifolds.
domain assumption Lie pairs are objects in a category that can be placed in equivalence with formal Lie groups.
The target category for the equivalence theorem.

pith-pipeline@v0.9.0 · 5339 in / 1267 out tokens · 34014 ms · 2026-05-07T14:16:48.263776+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages

[1]

Bochner, Formal Lie groups, Ann

S. Bochner, Formal Lie groups, Ann. of Math. (2) (1946), 192--201

1946
[2]

Bourbaki, General Topology

N. Bourbaki, General Topology. Chapters 1–4, Springer-Verlag, Berlin Heidelberg, New York, 1995

1995
[3]

Bonneau, M

P. Bonneau, M. Flato, M. Gerstenhaber, G. Pinczon, The hidden group structure of quantum groups:strong duality, rigidity and preferred deformations, Commun. Math. Phys., 161,125-156 (1994)

1994
[4]

Bredon, Topology and Geometry, Graduate Texts in Mathematics 139, Springer-Verlag, New York, 1993

Glen E. Bredon, Topology and Geometry, Graduate Texts in Mathematics 139, Springer-Verlag, New York, 1993

1993
[5]

Bredon, Sheaf Theory, Graduate Texts in Mathematics 170, Springer-Verlag, New York, 1997

Glen E. Bredon, Sheaf Theory, Graduate Texts in Mathematics 170, Springer-Verlag, New York, 1997

1997
[6]

P.Blanc and D.Wigner,Homology of Lie groups and Poincar\'e duality,Lett. Math. Phys. 7 (1983), no. 3, 259--270

1983
[7]

Cartier and F

P. Cartier and F. Patras, Classical Hopf Algebras and Their Applications, Algebra and Applications, 29, Springer, Cham, 2021

2021
[8]

Sun, Chuyun Wang, Formal Manifolds,

Fulin Chen, B. Sun, Chuyun Wang, Formal Manifolds,
[9]

F. Chen, B. Sun and C. Wang, Formal manifolds: foundations, Sci. China Math. 69 (2026), no. 1, 183--216

2026
[10]

F. Chen, B. Sun and C. Wang, Function spaces on formal manifolds, arXiv:2407.09329, to appear in Chinese Ann. Math. Ser. B

work page arXiv
[11]

F. Chen, B. Sun, and C. Wang, Formal Manifolds: local structure of morphisms, and formal submanifolds, arXiv:2501.11312, to appear in Acta Math. Sin. (Engl. Ser.)

work page arXiv
[12]

F. Chen, B. Sun and C. Wang, Formal manifolds: local structure of morphisms, and formal submanifolds, Acta Math. Sin. (Engl. Ser.) 42 (2026), no. 3, 603--647

2026
[13]

Garth Warner, Harmonic Analysis on Semi-simple Lie groups I, Springer-Verlag Berlin Heidelberg New, 1972

1972
[14]

Grothendieck, Produits tensoriels topologiques et espaces nucl\' e aires , Mem

A. Grothendieck, Produits tensoriels topologiques et espaces nucl\' e aires , Mem. Amer. Math. Soc. 16 (1955)

1955
[15]

Hazewinkel, Formal Groups and Applications, AMS Chelsea Publ., Providence, RI, 2012

M. Hazewinkel, Formal Groups and Applications, AMS Chelsea Publ., Providence, RI, 2012

2012
[16]

G.Hochschild and G.Mostow, Cohomology of Lie groups,Illinois J. Math. 6 (1962), 367--401

1962
[17]

Hilgert and K.-H

J. Hilgert and K.-H. Neeb, Structure and Geometry of Lie groups, Springer Monographs in Mathematics, Springer, New York, 2012

2012
[18]

Jarchow, Locally Convex Spaces, Math

H. Jarchow, Locally Convex Spaces, Math. Leitf\" a den, B.G. Teubner, Stuttgart, 1981

1981
[19]

Jan-Erik Bj\"ork, Analytic D -Modules and applications , Mathematics and Its Applications, Springer-Science+Business Media, B.V
[20]

A. W. Knapp, Lie Groups beyond an Introduction, Second Edition, Progress in Mathematics, 140, Birkh\"auser Boston, Boston, MA, 2002

2002
[21]

K\" o the, Topological Vector Spaces I, Berlin-Heidelberg-New York, 1969

G. K\" o the, Topological Vector Spaces I, Berlin-Heidelberg-New York, 1969

1969
[22]

A. W. Knapp and D. A. Vogan Jr, Cohomological Induction and Unitary Representations, Princeton Mathematical Series, 45, Princeton Univ. Press, Princeton, NJ, 1995

1995
[23]

Manfredo P.do Carmo, Differential Forms and Applications, Springer-Verlag Berlin Heidelberg GmbH, 1991

1991
[24]

Mac Lane, Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics, 5, Springer, New York, 1998

S. Mac Lane, Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics, 5, Springer, New York, 1998

1998
[25]

J. S. Milne, Algebraic Groups, Cambridge Studies in Advanced Mathematics, 170, Cambridge Univ. Press, Cambridge, 2017

2017
[26]

J. W. Milnor and J. C. Moore, On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), 211--264

1965
[27]

Daniel Quillen, Rational homotopy theory, Ann. Math. 90 (1969), 205-295

1969
[28]

Sorin Dascalescu, Constantin Nastasescu, Serban Raianu, Hopf algebras : an introduction, CRC press, 2000,

2000
[29]

Sun, Vector valued smooth functions and quasi-complete tensor products, preprint

B. Sun, Vector valued smooth functions and quasi-complete tensor products, preprint
[30]

Sun, Almost linear Nash groups, Chin

B. Sun, Almost linear Nash groups, Chin. Ann. Math. 36B(3), 2015, 355-400

2015
[31]

Sun, On representations of real Jacobi groups, Sci

B. Sun, On representations of real Jacobi groups, Sci. China Math. 55, (2012), 541-555

2012
[32]

Joachim Hilgert, Karl-Hermann Neeb, Structure and Geometry of Lie Groups Springer-Verlag,New York ,2012

2012
[33]

Tr\`eves, Topological Vector Spaces, Distributions and Kernels, Academic Press, New York, 1970

F. Tr\`eves, Topological Vector Spaces, Distributions and Kernels, Academic Press, New York, 1970

1970
[34]

D. A. Vogan, Gelfand-Kirillov dimension for Harish-Chandra modules, Invent. Math. 48, No. 1 (1978), 75--98

1978
[35]

D. A. Vogan, The unitary dual of GL (n) over an Archimedean field, Invent. Math. 83, No. 3 (1986), 449--505

1986
[36]

Wallach, Real Reductive Groups II, Academic Press, SanDiego, 1992

N. Wallach, Real Reductive Groups II, Academic Press, SanDiego, 1992

1992
[37]

Warner, Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics, 94, Springer, New York-Berlin, 1983

F. Warner, Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics, 94, Springer, New York-Berlin, 1983

1983
[38]

Wong,H.W., Dolbeault cohomologies and Zuckerman modules associated with finite rank representations, Ph.D.Diss., Harvard University,1992

1992
[39]

Zelevinsky, Induced representations of reductive p-adic groups, II

A.V. Zelevinsky, Induced representations of reductive p-adic groups, II. On irreducible representationsof GL(n), Ann. scient. \'Ec. Norm. Sup., 4^e s\'erie 13 (1980), 165-210

1980
[40]

Zuckerman,G.J, Construction of representations via derived functors, Institute for Advanced Study, Princeton, N.J., Jan.-Mar.1978

1978