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.
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”