Towards Riemannian diffeology

TL;DR

This paper develops a new framework for Riemannian diffeology using tangent functors and metrics, establishing a category of weak Riemannian diffeological spaces with a valid pseudodistance.

Contribution

It introduces a formal structure for Riemannian diffeology, defining weak Riemannian diffeological spaces and their isometries, and demonstrates the pseudodistance as a true distance under certain conditions.

Findings

Category of weak Riemannian diffeological spaces established

Pseudodistance becomes a true distance with a technical condition

Examples include adjunction spaces, smooth map spaces, and mixed spaces

Abstract

We introduce a framework for Riemannian diffeology. To this end, we use the tangent functor in the sense of Blohmann and one of the options of a metric on a diffeological space in the sense of Iglesias-Zemmour. As a consequence, the category consisting of weak Riemannian diffeological spaces and isometries is established. With a technical condition for a definite weak Riemannian metric, we show that the pseudodistance induced by the metric is indeed a distance. As examples of weak Riemannian diffeological spaces, an adjunction space of manifolds, a space of smooth maps and the mixed one are considered.