Hierarchies of holonomy groupoids for foliated bundles (Q1979477)

The paper introduces a new construction of the so-called holonomy groupoid of a regular foliation. Around the years 1982--1983, Winkelnkemper introduced the holonomy groupoid of a regular foliation in [\textit{H. E. Winkelnkemper}, Ann. Global Anal. Geom. 1, No. 3, 51--75 (1983; Zbl 0526.53039)]. This concept provided a smooth model for the leaf space of any foliation, therefore it was a foundational object for the study of foliations via non-commutative geometry of \textit{A. Connes} [Noncommutative geometry. Transl. from the French by Sterling Berberian. San Diego, CA: Academic Press (1994; Zbl 0818.46076)]. Excluding Section 1 in which the history of the research problem is introduced, the rest of the paper consists of 4 sections. In Section 2, the author introduce the necessary background of the theory of regular foliated manifolds, recollection of Winkelnkemper's construction of the holonomy groupoid, Kamber and Tondeur's defnition of foliated bundles as well as the construction of the associated transverse jet bundles. Section 3 is devoted to the the background needed from diffeology which is sourced from the book [\textit{P. Iglesias-Zemmour}, Diffeology. Providence, RI: American Mathematical Society (AMS) (2013; Zbl 1269.53003)] and the papers [\textit{J. D. Christensen} and \textit{E. Wu}, Cah. Topol. Géom. Différ. Catég. 57, No. 1, 3--50 (2016; Zbl 1355.57023); \textit{G. Hector}, in: Analysis and geometry in foliated manifolds. Proceedings of the VII international colloquium on differential geometry, Santiago de Compostela, Spain, July 26--30, 1994. Singapore: World Scientific. 55--80 (1995; Zbl 0993.58500); \textit{G. Hector} and \textit{E. Macías-Virgós}, Res. Expo. Math. 25, 247--260 (2002; Zbl 1018.58001)]. In this section, the author has also introduced some new adaptions to the diffeological context. In Section 4, the author considers a foliated manifold \((M, \mathcal{F})\) of codimension \(q\) the set \(\mathcal{D}_g (M, \mathcal{F})\), consisting all of pairs \((x, [f]_x)\) where \(x \in M\) and \([f]_x\) is the germ of a distinguished function at \(x\). For \(\mathcal{D}_g (M, \mathcal{F})\), he constructs a ``leafwise'' principal partial connection \(H\) and obtains the first result of the paper in Theorem 4.7 on the problem of lifting smooth paths in \(M\) to paths in \(\mathcal{D}_g (M, \mathcal{F})\) that are tangent to \(H\). The second result of the paper is Theorem 4.10 in which the author shows that his holonomy groupoid coincides with the well-known groupoid constructed by Winkelnkemper-Phillips [\textit{J. Phillips}, Rocky Mt. J. Math. 17, 151--165 (1987; Zbl 0641.57011)]. Finally, in Section 5, the author considers fibre bundles of the form \(\pi B \to M\) and the foliations \((M, \mathcal{F})\) induced by these bundles and he obtains the last result of the paper in Theorem 5.15 that the holonomy groupoid sits at the top of a canonical hierarchy of diffeological holonomy groupoids constructed from the foliations of the transverse jet bundles of \({\pi}_B\).