Representations of formal Lie groups and Lie pairs

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 theory of formal Lie groups, including a formal Lie theory theorem that identifies formal Lie groups with Lie pairs. In this paper, we develop the foundations of the representation theory of formal Lie groups and Lie pairs. In particular, we construct modules of Lie pairs on function spaces over formal manifolds and prove that the category of representations of a formal Lie group is isomorphic to the category of modules of the corresponding Lie pair.