On Riemannian Geometry in Elastic Diffeology
Abstract
Blohmann's tangent functor makes the category of elastic diffeological spaces a Cartesian tangent category in the sense of Cockett and Cruttwell. We use this structure to develop Riemannian geometry on elastic diffeological spaces. Following Cockett and Cruttwell, with additional axioms for scalar multiplication, we introduce connections, covariant derivatives and curvature; for a Riemannian metric we prove a Koszul formula and the uniqueness of the Levi-Civita covariant derivative. Our main result is a variational characterization of geodesics: if a full connection whose vertical part is Levi-Civita admits a geodesic flow fixing the zero section, then the critical paths of the energy functional are exactly the paths satisfying the geodesic equation, and regular length-minimizing paths are geodesics after constant-speed reparametrization. On elastic spaces for which the real line is a curve object, completeness of the geodesic spray yields such a flow and uniqueness of geodesics. The results apply to quotients of complete Riemannian manifolds by free isometric actions of countable groups, such as irrational tori, and, under a tangent-commuting hypothesis, to mapping spaces from a closed manifold into elastic spaces for which the real line is a curve object, including free loop spaces of complete Riemannian manifolds.
Related
- Riemannian Structures on Quotients in Elastic Diffeology via Q-Charts
- Curvature, second variation and Jacobi fields in elastic diffeology
- Hodge-Carleman estimates and global attractors for heterogeneous elastic waves with localized damping on Riemannian manifolds
- Retro-synthetic Riemannian geometry in Rocq I : Taylor series of a metric
- A Cartan geometry from a correspondence space in Riemannian geometry
BibTeX
@misc{shiobara2026riemannian,
title = {{On Riemannian Geometry in Elastic Diffeology}},
author = {Yusuke Shiobara},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2608.01037},
eprint = {2608.01037},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.01037},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On Riemannian Geometry in Elastic Diffeology
AU - Yusuke Shiobara
PY - 2026
DA - 2026/11/02
PB - arXiv
DO - 10.48550/arxiv.2608.01037
UR - https://arxiv.org/abs/2608.01037
AB - Blohmann's tangent functor makes the category of elastic diffeological spaces a Cartesian tangent category in the sense of Cockett and Cruttwell. We use this structure to develop Riemannian geometry on elastic diffeological spaces. Following Cockett and Cruttwell, with additional axioms for scalar multiplication, we introduce connections, covariant derivatives and curvature; for a Riemannian metric we prove a Koszul formula and the uniqueness of the Levi-Civita covariant derivative. Our main result is a variational characterization of geodesics: if a full connection whose vertical part is Levi-Civita admits a geodesic flow fixing the zero section, then the critical paths of the energy functional are exactly the paths satisfying the geodesic equation, and regular length-minimizing paths are geodesics after constant-speed reparametrization. On elastic spaces for which the real line is a curve object, completeness of the geodesic spray yields such a flow and uniqueness of geodesics. The results apply to quotients of complete Riemannian manifolds by free isometric actions of countable groups, such as irrational tori, and, under a tangent-commuting hypothesis, to mapping spaces from a closed manifold into elastic spaces for which the real line is a curve object, including free loop spaces of complete Riemannian manifolds.
ER -