On Riemannian Geometry in Elastic Diffeology

Several inequivalent notions of tangent space exist for diffeological spaces, which has hindered the development of Riemannian geometry in this setting. On Blohmann's elastic diffeological spaces, the tangent functor carries a genuine tangent structure in the sense of Cockett and Cruttwell, and we use this to develop Riemannian geometry. We introduce connections adapted to this setting and show that they induce covariant derivatives on vector fields satisfying the usual axioms, together with the associated curvature tensor, whose basic properties we record following Cockett--Cruttwell. Given a Riemannian metric, we establish a Koszul formula and prove that the Levi-Civita covariant derivative is unique if it exists, while its existence remains open in general. We then develop the theory of geodesics and of the energy functional: geodesics are always critical paths of the energy functional, and on elastic spaces for which the real line is a curve object, completeness of the geodesic spray yields existence and uniqueness of geodesics, as well as the converse statement that critical paths are geodesics. As a fundamental class of examples, we show that for a closed manifold $M$ and an elastic Riemannian diffeological space $N$ these structures on the mapping space $C^\infty(M,N)$ are obtained pointwise from those on $N$, under a natural tangent-commuting hypothesis that holds automatically when $N$ is a manifold; in particular, the geodesic spray of $C^\infty(M,N)$ is complete whenever that of $N$ is.