Submersions, immersions, and \'etale maps in diffeology

TL;DR

This paper extends the concepts of submersions, immersions, and e9tale maps to diffeology, systematically studying their properties and introducing diffeological e9tale manifolds, with applications to tangent spaces and dimensions.

Contribution

It provides a nonlinear adaptation of classical maps to diffeology, introduces diffeological e9tale manifolds, and establishes foundational theorems for these maps within diffeology.

Findings

Diffeological embeddings are inductions.

Introduced diffeological e9tale manifolds including irrational tori.

Established rank, implicit function, and flow theorems in this setting.

Abstract

Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and \'{e}tale maps (i.e., local diffeomorphisms) consistent with the classical versions of these maps between manifolds. In this paper, we consider diffeological submersions, immersions, and \'{e}tale maps as an adaptation of these maps to diffeology by a nonlinear approach. In the case of manifolds, there is no difference between the classical and diffeological versions of these maps. Moreover, we study their diffeological properties from different aspects in a systematic fashion with respect to the germs of plots. We also discuss notions of embeddings of diffeological spaces and regard diffeological embeddings similar to those of manifolds. In particular, we show that diffeological embeddings are inductions. In order to characterize the considered maps from their linear behaviors, we introduce a class of diffeological spaces, so-called diffeological \'etale manifolds, which not only contains the usual manifolds but also includes irrational tori. We state and prove versions of the rank and implicit function theorems, as well as the fundamental theorem on flows in this class. As an application, we use the results of this work to facilitate the computations of the internal tangent spaces and diffeological dimensions in a few interesting cases.