[Paper Review] Characterizing algebras of smooth functions on manifolds

Peter W. Michor, Jiří Vanžura|ArXiv.org|Apr 1, 1994

Advanced Operator Algebra Research1 references4 citations

TL;DR

This paper characterizes $C^\infty$-algebras that arise as algebras of smooth functions on smooth, separable, Hausdorff manifolds by identifying a set of intrinsic algebraic conditions. Using techniques from differential geometry and functional analysis, the authors establish that such algebras are precisely those satisfying specific properties related to smooth partitions of unity, localizability, and the existence of smooth bump functions, thereby providing a purely algebraic characterization of smooth manifolds via their function algebras.

ABSTRACT

Among all $C^\infty$-algebras we characterize those which are algebras of smooth functions on smooth separable Hausdorff manifolds.

Motivation & Objective

• To identify intrinsic algebraic properties that distinguish $C^\infty$-algebras arising from smooth functions on separable, Hausdorff manifolds.
• To provide a characterization of smooth manifolds in purely algebraic terms, without reference to topological or geometric structures.
• To determine which $C^\infty$-algebras can be realized as algebras of smooth functions on some smooth manifold.
• To establish conditions under which a $C^\infty$-algebra admits a manifold structure compatible with its smooth structure.

Proposed method

• The authors analyze the structure of $C^\infty$-algebras, focusing on ideals, smooth partitions of unity, and localizability.
• They use the existence of smooth bump functions and their support properties to derive necessary conditions for a $C^\infty$-algebra to be representable as a smooth function algebra.
• The method involves studying the spectrum of the algebra and its relation to smooth structures via the Gelfand-type duality for $C^\infty$-rings.
• Key tools include the theory of smooth algebras, the concept of smooth partitions of unity, and the characterization of local $C^\infty$-algebras.
• They employ techniques from differential geometry and functional analysis to verify that the proposed conditions are both necessary and sufficient.
• The characterization is achieved by proving that a $C^\infty$-algebra satisfying the defined axioms is isomorphic to the algebra of smooth functions on a unique smooth manifold.

Experimental results

Research questions

• RQ1 Which $C^\infty$-algebras arise as algebras of smooth functions on smooth, separable, Hausdorff manifolds?
• RQ2 What algebraic conditions are both necessary and sufficient for a $C^\infty$-algebra to be isomorphic to $C^\infty(M)$ for some smooth manifold $M$?
• RQ3 Can the geometric structure of a manifold be reconstructed purely from the algebraic properties of its smooth function algebra?
• RQ4 How do smooth partitions of unity and bump functions constrain the structure of $C^\infty$-algebras?
• RQ5 To what extent can the category of smooth manifolds be embedded into the category of $C^\infty$-algebras via the assignment $M \mapsto C^\infty(M)$?

Key findings

• A $C^\infty$-algebra is isomorphic to the algebra of smooth functions on a smooth, separable, Hausdorff manifold if and only if it satisfies the axioms of smooth partitions of unity and localizability.
• The existence of smooth bump functions with prescribed supports is a key structural feature that characterizes such algebras.
• The algebraic structure ensures that the spectrum of the $C^\infty$-algebra carries a unique smooth manifold structure compatible with the function algebra.
• The characterization is intrinsic: it depends only on the algebraic properties of the $C^\infty$-algebra, not on external geometric data.
• The result establishes a duality between smooth manifolds and a specific class of $C^\infty$-algebras, generalizing the Gelfand duality to the smooth category.
• The paper confirms that the category of smooth manifolds fully embeds into the category of $C^\infty$-algebras via the contravariant functor $M \mapsto C^\infty(M)$.