Dice Question Streamline Icon: https://streamlinehq.com

Purely R-algebraic characterization of smooth manifolds among R-algebraifolds

Develop a characterization, using only R-algebra structure, of those R-algebraifolds A that are isomorphic to C^\infty(M) for a connected smooth manifold M; i.e., provide algebraic criteria that identify C^\infty(M) within R-algebraifolds without invoking the language of C^\infty-rings.

Information Square Streamline Icon: https://streamlinehq.com

Background

The functor sending a connected smooth manifold M to its algebra of smooth functions C\infty(M) is fully faithful, and characterizations exist in the framework of C\infty-rings.

The authors point out that a characterization relying solely on the structure of the underlying R-algebra (without C\infty-ring machinery) is, to their knowledge, not available.

References

As far as we are aware, a more explicit characterization phrased in terms of R-algebra structure only is not known.

Differential geometry and general relativity with algebraifolds (2403.06548 - Fritz, 11 Mar 2024) in Subsection “The category of algebraifolds”