Differential Geometry of Microlinear Frolicher Spaces I
Hirokazu Nishimura

TL;DR
This paper develops the theory of vector fields on microlinear Frolicher spaces, showing that all vector fields form a Lie algebra, thus advancing the foundation of infinite-dimensional differential geometry.
Contribution
It extends the framework of synthetic differential geometry by establishing that vector fields on microlinear Frolicher spaces form a Lie algebra, emphasizing their role in infinite-dimensional geometry.
Findings
Vector fields on microlinear Frolicher spaces form a Lie algebra.
Frolicher spaces that are microlinear and Weil exponentiable are cartesian closed.
The paper advances the understanding of infinite-dimensional differential geometry.
Abstract
The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frolicher spaces -beyond the regnant philosophy of manifolds-, International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have emancipated microlinearity from within well-adapted models to Frolicher spaces. Therein we have shown that Frolicher spaces which are microlinear as well as Weil exponentiable form a cartesian closed category. To make sure that such Frolicher spaces are the central object of infinite-dimensional differential geometry, we develop the theory of vector fields on them in this paper. The central result is that all vector fields on such a Frolicher space form a Lie algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Banach Space Theory
