Infinite-dimensional manifolds as ringed spaces
Abstract
We analyze the possibility of defining infinite-dimensional manifolds as ringed spaces. More precisely, we consider three definitions of manifolds modeled on locally convex spaces: in terms of charts and atlases, in terms of ringed spaces, and in terms of functored spaces, as introduced by Douady in his thesis. It is shown that for large classes of locally convex model spaces (containing Fr\'echet spaces and duals of Fr\'echet-Schwartz spaces), the three definitions are actually equivalent. The equivalence of the definition via charts with the definition via ringed spaces is based on the fact that for the classes of model spaces under consideration, smoothness of maps turns out to be equivalent to their scalarwise smoothness (that is, the smoothness of their composition with smooth real-valued functions).
Cite
@article{arxiv.1403.5741,
title = {Infinite-dimensional manifolds as ringed spaces},
author = {Michel Egeileh and Tilmann Wurzbacher},
journal= {arXiv preprint arXiv:1403.5741},
year = {2016}
}
Comments
Typos and condition on Mackey-closure topology in Theorem 3.14 and subsequent results corrected. This version to appear in "Publications of Research Institute for Mathematical Sciences"