Diffeological gluing of vector pseudo-bundles and pseudo-metrics on them (Q517118)

For a set \(X\), a collection \(\mathcal{D}_X\) of maps \(U\to X\), called plots, is called the diffeology of \(X\) if for each open set \(U\) in \(\mathbb R^n\) and for each \(n\in\mathbb N\) such that for all open subsets \(U\subset\mathbb R^n\) and \(V\subset\mathbb R^m\) the following three conditions are satisfied: {\parindent=8mm\begin{itemize}\item[(i)] every constant map \(U\to X\) is a plot, \item[(ii)] if \(U\to X\) is a plot and \(V\to U\) is a smooth map, then the composition \(V\to U\to X\) is also a plot, and \item[(iii)] if \(U=\bigcup_iU_i\) is an open cover and \(U\to X\) is a set map such that each restriction \(U_i\to X\) is a plot, then the entire map \(U\to X\) is a plot as well. \end{itemize}} The pair \((X,\mathcal{D}_X)\) is called diffeological space. In [Topology Appl. 202, 269--300 (2016; Zbl 1341.58001)], the author considered a diffeological counterpart of the notion of vector bundle, called a pseudo-bundle. The main difference in the diffeological version is that diffeological pseudo-bundles may not be locally trivial. For a vector space \(V\), a vector space diffeology is any diffeology for which the addition map \(V\times V\to V\) and the scalar multiplication map \(\mathbb R\times V\to V\) are smooth. \(V\) endowed with a diffeological vector space is called a diffeological vector space. A smooth surjective map \(\pi:V\to X\) between two diffeological vector spaces \(V\) and \(X\) is called a diffeological vector pseudo-bundle if for every \(x\in X\) the pre-image \(\pi^{-1}(x)\) is endowed with a vector space structure such that the induced operations \(V\times_XV\to V\) of fibrewise addition and \(\mathbb R\times V\to V\) of scalar multiplication, as well as the zero section, are smooth, for the subset diffeology on \(V\times_XV\to V\subset V\times V\) and the product diffeologies on \(V\times V\) and \(\mathbb R\times V\). If \(\pi_1:V_1\to X_1\) and \(\pi_2:V_2\to X_2\) are two diffeological vector pseudo-bundles, \(f:X_1\supset Y\to f(Y)\subset X_2\), and \(\widetilde f:\pi_1^{-1}(Y)\to\pi_2^{-1}(f(Y))\) are smoth maps, then \(\pi_1\) and \(\pi_2\) induce a smooth surjection \(\pi_1\cup_{(\widetilde f,f)}\pi_2\) of the diffeological space \(V_1\cup_{\widetilde f}V_2\) onto \(X_1\cup_{f}X_2\) which is again a diffeological vector pseudo-bundle. This pseudo-bundle is the result of gluing the pseudo-bundle \(\pi_1:V_1\to X_1\) to \(\pi_2:V_2\to X_2\) along \((\widetilde f,f)\). In this paper, the author continues her studies of the gluing operation for pseudo-bundles, and then considers the notion of a pseudo-metric on a diffeological vector pseudo-bundle, also, the relation between the spaces of all pseudo-metrics on the factors of a gluing and on its result. It is proven that if \(\pi_1:V_1\to X_1\), \(\pi_1':V'_1\to X_1\), and \(\pi_2:V_2\to X_2\), \(\pi'_2:V'_2\to X_2\) are two pairs of finite-dimensional diffeological vector pseudo-bundles, \(f:X_1\supset Y\to f(Y)\subset X_2\) is a smooth map that is a diffeomorphism with its image, and \(\widetilde f:V_1\supset\pi_1^{-1}(Y)\to\pi_2^{-1}(f(Y))\subset V_2\) and \(\widetilde f':V'_1\supset{\pi'_1}^{-1}(Y)\to{\pi'_2}^{-1}(f(Y))\subset V'_2\) are two smooth lifts of it that are linear on all fibers, then there exists a diffeomorphism \(\Psi:(V_1\cup_{\widetilde f}V_2)\otimes(V'_1\cup_{\widetilde f'}V'_2)\to(V_1\otimes V'_1)\cup_{\widetilde f\otimes f}(V_2\otimes V'_2)\) such that \[ \left(\pi_1\cup_{(\widetilde f,f)}\pi_2\right)\otimes\left(\pi'_1\cup_{(\widetilde f',f)}\pi'_2\right)=\left((\pi_1\otimes\pi'_1)\cup_{(\widetilde f,\widetilde f')}(\pi_2\otimes\pi'_2)\right)\circ\Psi. \]