Towards a 2-dimensional notion of holonomy. (Q1404974)

The notion of holonomy groupoid in this paper is due to \textit{J. Pradines} [C. R. Acad. Sci., Paris, Sér. A 263, 907--910 (1966; Zbl 0147.41102)]. Let \(G\) be a groupoid and suppose that \(W\) is a subset of \(G\) containing all the identities and having the structure of a manifold. For certain conditions on \(W\) the pair \((G,W)\) is called a locally topological groupoid. A locally toplogical groupoid is not in general extendible to a Lie groupoid. Instead, there is a Lie groupoid \(\text{Hol} (G,W)\) with a morphism \(\text{Hol} (G,W)\to G\) such that \(W\) is a subset and \(\text{Hol} (G,W)\) is in a certain sense universal among such topological groupoids. In the topological case the full details of this problem are given by \textit{M. Aof} and \textit{R. Brown} [Topology Appl. 47, 97--113 (1992; Zbl 0855.22007)]. In this paper analogous 2-dimensional notions of holonomy groupoid starting from a locally Lie crossed module of groupoids are developed. The authors consider the equivalence of the categories \({\mathcal C}rs{\mathcal M}od\sim (2-{\mathcal G}rpd)\sim {\mathcal {DG}}rpd\) of crossed modules over groupoids, 2-groupoids and double groupoids with connection. A notion of a locally Lie structure on a double groupoid \(\mathcal{D}(G)\) corresponding to a crossed module \(\mathcal{C}=\{C,G,\delta\}\) with base space \(X\) is formulated. Here \((G,X)\) is supposed to be a Lie groupoid with a smooth manifold structure on a set \(W\) such that \(X\subseteq W\subseteq C\). Then a locally Lie double groupoid over \(G\) is obtained. This leads to a 2-dimensional version of holonomy groupoid.