On Riemannian Geometry in Elastic Diffeology

Abstract

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.

Disclosure

“generous support and encouragement. This work was supported by JST SPRING, Grant Number JPMJSP2144, at Shinshu University. Declaration of generative AI in the writing process. During the preparation of this manuscript, the author used ChatGPT and Claude for language editing and for discussing possible formulations, presentations, and future research directions. All mathematical results, proofs, and scientific conclusions were developed and verified by the author. The author car”

PDF page 3

Classification

Rewriting existing author-written text

Multiplier

4

Verified

2026-08-23T19:17:22.853145Z

Structural counts