Tangent spaces and tangent bundles for diffeological spaces
J. Daniel Christensen, Enxin Wu

TL;DR
This paper extends the concept of tangent spaces and bundles from smooth manifolds to diffeological spaces, addressing definitions, properties, and examples including singular and infinite-dimensional spaces.
Contribution
It compares two tangent space definitions, identifies issues with existing tangent bundle definitions, and proposes an improved, smooth-compatible tangent bundle construction for diffeological spaces.
Findings
Internal and external tangent spaces often differ in general diffeological spaces.
Existing tangent bundle definitions can have non-smooth operations, which we correct with a new dvs diffeology.
The improved tangent bundle behaves well in various examples, including singular and infinite-dimensional spaces.
Abstract
We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth curves into the space, and the external tangent space is defined using smooth derivations on germs of smooth functions. We prove fundamental results about these tangent spaces, compute them in many examples, and observe that while they agree for smooth manifolds and many of the examples, they do not agree in general. After this, we recall Hector's definition of the tangent bundle of a diffeological space, and show that both scalar multiplication and addition can fail to be smooth, revealing errors in several references. We then give an improved definition of the tangent…
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
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Neuroimaging Techniques and Applications · Algebraic Geometry and Number Theory
