activity
20242026
collaborators

7 papers

math.RT2026

Representations of formal Lie groups and Lie pairs

Fulin Chen, Binyong Sun, Chuyun Wang

Formal Lie groups, which generalize Lie groups in differential geometry, are analogous to formal group schemes in algebraic geometry. In a previous paper, we established the basic…

math.RT2026

Lie pairs and formal Lie groups

Fulin Chen, Binyong Sun, Chuyun Wang

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…

cond-mat.soft2025

Intrinsic pressure as a convenient mechanical framework for dry active matter

Zihao Sun, Longfei Li, Chuyun Wang +6

The identification of local pressure in active matter systems remains a subject of considerable debate. Through theoretical calculations and extensive simulations of various active…

math.DG2025

Formal manifolds: local structure of morphisms, and formal submanifolds

Fulin Chen, Binyong Sun, Chuyun Wang

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous pa…

math.FA2024

Poincaré's lemma for formal manifolds

Fulin Chen, Binyong Sun, Chuyun Wang

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous pape…

math.FA2024

Function spaces on formal manifolds

Fulin Chen, Binyong Sun, Chuyun Wang

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper,…

math.DG2024

Formal manifolds: foundations

Fulin Chen, Binyong Sun, Chuyun Wang

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this pape…