Abstract: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, we introduce the notion of formal manifolds and develop the foundational framework of formal manifolds. In this paper, we study various function spaces on formal manifolds, including generalizations of vector-valued generalized functions and vector-valued distributions on smooth manifolds to the setting of formal manifolds.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish smooth relative Lie algebra homology and cohomology theories for the representations of general Lie pairs. Specifically, the author aims to generalize the Schwartz theory of vector - valued generalized functions and distributions to the context of formal manifolds in order to study various function spaces on these formal manifolds. This includes: 1. **Defining and studying function spaces on formal manifolds**: such as formal generalized functions, formal distributions, and compactly supported formal densities, etc. 2. **Constructing smooth relative Lie algebra (co)homology theories**: Based on the concepts of formal manifolds and formal Lie groups, this goal is achieved by studying their (co)homology. This can be regarded as a relative generalization of the smooth (co)homology theory of Lie groups. 3. **Motivational background**: This work is inspired by the latest developments in the fields of Lie group representation theory and automorphic forms. In particular, when constructing Harish - Chandra modules and unitary representations, it is necessary to consider the (co)homology problems of certain Lie pairs \((q, L)\). Here, \(q\) is a finite - dimensional complex Lie algebra, \(L\) is a compact Lie group, and specific compatibility conditions are satisfied. 4. **Specific implementation**: In order to establish the above - mentioned theories, the article introduces the concept of formal manifolds and develops its basic framework. In addition, it is proved that there are finite products in the category of formal manifolds, and the categorical equivalence between formal Lie groups and Lie pairs is established. Using this equivalence, the (co)homology of formal Lie groups can be further studied, thereby constructing the required smooth relative Lie algebra (co)homology theories. In summary, the core problem of this paper is to generalize the concepts in the classical Lie group theory to a broader context of formal manifolds by introducing new mathematical tools and techniques, with the expectation of providing theoretical support for more complex mathematical structures.

Function spaces on formal manifolds

Formal manifolds: foundations

Poincaré's lemma for formal manifolds

On Curvatures and Fundamental Groups of Finsler Manifolds

On Fundamental Groups of Finsler Manifolds

On the formality problem for manifolds with special holonomy

Smooth Banach structure on orbit spaces and leaf spaces

Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups

On the formality of nearly Kähler manifolds and of Joyce's examples in $G_2$-holonomy

A classification of locally Chern homogeneous Hermitian manifolds

Subthermal linewidths in photoassociation spectra of cold alkaline earth atoms

Configuration Spaces of Manifolds with Boundary

The differentiable structure of three remarkable diffeomorphism groups

Relative Regular Riemann-Hilbert correspondence II

Formal Frobenius Manifold Structure on Equivariant Cohomology

A Category of Banach Space Functors

A class of closed manifolds in nonseparable Hilbert spaces

Sheaves of nonlinear generalized function spaces

F-Willmore Submanifold in Space Forms

Range Decreasing Group Homomorphisms and Holomorphic Maps Between Generalized Loop Spaces

ON THE ISOLATION PHENOMENA OF EINSTEIN MANIFOLDS-SUBMANIFOLDS VERSIONS