Formal Manifolds: An Algebraic-Geometric Framework

• Formal manifolds are locally ringed spaces that merge smooth functions with formal power series, capturing both classical geometry and algebraic extensions.
• They underpin robust de Rham complexes, duality theorems, and homological constructions, facilitating advanced studies in deformation theory and Lie group representations.
• Their structure supports practical constructions through tensor product operations, enabling the modeling of formal neighborhoods, graded extensions, and supergeometric generalizations.

A formal manifold is a generalization of the classical smooth manifold framework, allowing the systematic incorporation of "formal directions"—modeled algebraically via formal power series—into the local geometry and function theory. Drawing on the analogy with formal schemes in algebraic geometry, the formal manifold concept is foundational for new developments in differential geometry, particularly in the smooth deformation theory, representation theory, and the study of infinite jet spaces, and is crucial for the modern theory of formal Lie groups and smooth relative Lie algebra cohomology.

1. Definition and Local Structure

A formal manifold is a locally ringed space $(M, \mathcal{O}_M)$ over $\operatorname{Spec}(\mathbb{C})$, such that:

• $M$ is a paracompact Hausdorff topological space;
• For each point $a \in M$, there exists a neighborhood $U$ and integers $n, k \geq 0$ such that

$$(U, \mathcal{O}_M|_U) \simeq (\mathbb{R}^n, C^{\infty}(U)[[y_1, \dots, y_k]])$$

as locally ringed spaces over $\mathbb{C}$. Here, $C^{\infty}(U)[[y_1, \dots, y_k]]$ denotes smooth functions on $U$ with values in formal power series in $\operatorname{Spec}(\mathbb{C})$0 variables.

The integers $\operatorname{Spec}(\mathbb{C})$1 and $\operatorname{Spec}(\mathbb{C})$2 denote the (real) dimension and degree at the point $\operatorname{Spec}(\mathbb{C})$3, respectively (Chen et al., 2024, Chen et al., 2024, Chen et al., 2024, Chen et al., 20 Jan 2025, Chen et al., 28 Apr 2026).

Important constructions:

• The structure sheaf $\operatorname{Spec}(\mathbb{C})$4 admits a natural topology, extending the classical Fréchet topology of smooth functions.
• The reduction $\operatorname{Spec}(\mathbb{C})$5 of a formal manifold is defined by quotienting out the sheaf of nilpotents in $\operatorname{Spec}(\mathbb{C})$6; this is a traditional smooth manifold (Chen et al., 28 Apr 2026).
• Local models include smooth manifolds (degree $\operatorname{Spec}(\mathbb{C})$7), formal thickenings ($\operatorname{Spec}(\mathbb{C})$8)), and formal neighborhoods of submanifolds (Chen et al., 2024).

2. Algebraic and Topological Structure

Formal manifolds admit a rich algebraic structure that encodes all geometric information via their global algebra of formal functions:

• The assignment $\operatorname{Spec}(\mathbb{C})$9 is a fully faithful contravariant functor to the category of nuclear, locally convex topological $M$0-algebras (Chen et al., 2024).
• The algebra $M$1 admits a family of seminorms induced by compactly supported differential operators, extending the standard topologies on spaces of smooth functions.
• The category of formal manifolds admits finite products, constructed via tensor products of the corresponding sheaves of formal functions:

$M$2

where $M$3 denotes the completed projective tensor product (Chen et al., 2024).

• Every formal manifold is locally isomorphic (as a locally ringed space) to a direct product of a smooth manifold and a formal disk of degree $M$4.

3. Function Spaces and Dualities

Function theory on formal manifolds generalizes classical sheaves and dualities:

• Formal functions: Global sections of the structure sheaf, $M$5.
• Compactly supported formal densities: Sections of the cosheaf of tensor products of the structure sheaf with the determinant bundle, dualizing the classical notion (Chen et al., 2024).
• Formal generalized functions (Gelfand–Shilov): Continuous linear functionals on the space of compactly supported formal densities; these generalize distributions and vector-valued generalized functions to the formal setting (Chen et al., 2024).
• Formal distributions: Strong duals of spaces of compactly supported formal sections.
• These spaces are locally convex and nuclear, and their local models are given by completed tensor products with classical spaces, e.g.,

$M$6

The formal setting admits duality theorems analogous to those of Schwartz and Grothendieck for smooth manifolds; e.g., the strong dual of compactly supported formal densities is the space of formal generalized functions, and vice versa (Chen et al., 2024).

4. Differential Geometry: Morphisms and Submanifolds

The category of formal manifolds supports a robust theory of morphisms and subspaces:

• Morphisms: Maps of locally ringed spaces over $M$7; locally, these are governed by pullback homomorphisms on rings of formal functions (Chen et al., 20 Jan 2025).
• Formal analogues of the inverse function theorem and constant rank theorem hold: a morphism of formal manifolds with invertible Jacobian on both smooth and formal directions admits a local inverse (Chen et al., 20 Jan 2025).
• Formal submanifolds: Defined as closed immersed or embedded subspaces characterized via quotient sheaves; can also be described as level sets of morphisms of constant rank.
• The local structure of submanifolds and morphisms is controlled via the completeness and surjectivity properties of the pullback maps between rings of formal functions.

5. de Rham Theory and Homological Applications

The theory of formal manifolds supports a well-developed de Rham complex:

• The sheaf of derivations $M$8 is locally free of rank $M$9.
• The de Rham complex of a formal manifold includes global sections of exterior powers of the dual of the sheaf of derivations, equipped with a differential given by the Koszul formula (Chen et al., 2024).
• Four versions of the de Rham complex are defined, with coefficients respectively in formal functions, formal generalized functions, compactly supported formal densities, and compactly supported formal distributions.
• Poincaré’s lemma holds in the formal setting: on a contractible formal chart $a \in M$0, the de Rham complexes are strongly exact, and there exist explicit continuous homotopy operators (Chen et al., 2024).
• These functional-analytic properties (nuclear Fréchet and LF spaces, strong dualities) play a crucial role in the development of homological techniques for smooth relative Lie algebra homology and cohomology.

6. Connections to Formal Lie Groups and Representation Theory

Formal manifolds form the natural stage for generalizations of Lie theory:

• Formal Lie groups are group objects in the category of formal manifolds and admit structure theory parallel to the classical case, including the existence of tangent spaces, exponential maps, and integration of Lie algebra actions (Chen et al., 28 Apr 2026).
• The category of formal Lie groups is equivalent to the category of Lie pairs $a \in M$1, encoding both infinitesimal and global symmetry (Lie algebra plus global group action) (Chen et al., 28 Apr 2026).
• Formal manifolds and their function spaces underlie the construction of cohomology and homology theories for representations of Lie pairs, making formal manifolds central objects in representation theory and derived geometry (Chen et al., 2024).

7. Examples and Extensions

Key examples demonstrate the flexibility and utility of the formal manifold concept:

• Ordinary smooth manifolds embed as formal manifolds of degree $a \in M$2.
• Global algebras for formal manifolds of degree $a \in M$3 are of the form $a \in M$4.
• Products yield models with function algebras $a \in M$5.
• Formal neighborhoods and infinitesimal disks: points with degree $a \in M$6 have function algebra $a \in M$7.
• The formal framework also supports graded and supergeometric generalizations, including formal tangent bundles and connections, with applications to QP-manifolds and deformation theory (Arvanitakis, 2022).

The theory of formal manifolds thus provides powerful tools for extending smooth geometry to incorporate formal–algebraic directions, dualities, and higher structures, supplying foundational language and analytic machinery for contemporary research in geometry, analysis, and mathematical physics.