We outline the construction of the holonomy groupoid of a locally Lie groupoid and the monodromy groupoid of a Lie groupoid. These specialise to the well known holonomy and monodromy groupoids of a foliation, when the groupoid is just an equivalence relation.
Our main aim is to associate a holonomy Lie groupoid to the connective structure of an abelian gerbe. The construction has analogies with a procedure for the holonomy Lie groupoid of a foliation, in using a locally Lie groupoid and a globalisation procedure. We show that path connections and 2-holonomy on line bundles may be formulated using the notion of a connection pair on a double category, due to Brown-Spencer, but now formulated in terms of double groupoids using the thin fundamental groupoids introduced by Caetano-Mackaay-Picken. To obtain a locally Lie groupoid to which globalisation a…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of monodromy groupoid of a topological groupoid generalises those of fundamental groupoid and universal covering. It was earlier proved that the monodromy of a locally sectionable topological groupoid has a topological groupoid structure satisfying some properties. In this paper a similar problem is studied for compatible locally trivial topological groupoids.
Previous work (Pradines, 1966, Aof and Brown, 1992) has given a setting for a holonomy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for the crossed module case. The development also has to use corresponding notions for certain types of double groupoids. This leads to a holonomy Lie groupoid rather than double groupoid, but one which involv…
We give a new construction of the holonomy groupoid of a regular foliation in terms of a partial connection on a diffeological principal bundle of germs of transverse parametrisations. We extend these ideas to construct a novel holonomy groupoid for any foliated bundle, which we prove sits at the top of a hierarchy of diffeological jet holonomy groupoids associated to the foliated bundle.
For any topological groupoid G and any homomorphism from a locally compact Hausdorff topological group K to G, we construct an associated monodromy group. We prove that Morita equivalent topological groupoids have the same monodromy groups. We show how the monodromy groups can be used to test if a Lie groupoid lacks faithful representations.
We define the thin fundamental Gray 3-groupoid $S_3(M)$ of a smooth manifold $M$ and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps $S_3(M) \to C(H)$, where $H$ is a 2-crossed module of Lie groups and $C(H)$ is the Gray 3-groupoid naturally constructed from $H$. As an application, we define Wilson 3-sphere observables.
We look at Poisson geometry taking the viewpoint of singular foliations, understood as suitable submodules generated by Hamiltonian vector fields rather than partitions into (symplectic) leaves. The class of Poisson structures which behave best from this point of view, are those whose submodule generated by Hamiltonian vector fields arises from a smooth holonomy groupoid. We call them almost regular Poisson structures and determine them completely. They include regular Poisson and log symplectic manifolds, as well as several other Poisson structures whose symplectic foliation presents singular…
We define a notion of connection in a fibre bundle that is compatible with a singular foliation of the base. Fibre bundles equipped with such connections are in plentiful supply, arising naturally for any Lie groupoid-equivariant bundle, and simultaneously generalising regularly foliated bundles in the sense of Kamber-Tondeur and singular foliations. We define hierarchies of diffeological holonomy groupoids associated to such bundles, which arise from the parallel transport of jet/germinal conservation laws. We show that the groupoids associated in this manner to trivial singularly foliated bu…
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation of a monodromy principle on the extendibility of local Lie morphisms.
We prove a generalisation of Bott's vanishing theorem for the full transverse frame holonomy groupoid of any transversely orientable foliated manifold. As a consequence we obtain a characteristic map encoding both primary and secondary characteristic classes. Previous descriptions of this characteristic map are formulated for the Morita equivalent étale groupoid obtained via a choice of complete transversal. By working with the full holonomy groupoid we obtain novel geometric representatives of characteristic classes. In particular we give a geometric, non-étale analogue of the codimension 1 G…
We construct the holonomy groupoid of any singular foliation. In the regular case this groupoid coincides with the usual holonomy groupoid of Winkelnkemper (1983); the same holds in the singular cases of Bigonnet and Pradines (1985) and Debord (2001), which from our point of view can be thought of as being "almost regular". In the general case, the holonomy groupoid can be quite an ill behaved geometric object. On the other hand it often has a nice longitudinal smooth structure. Nonetheless, we use this groupoid to generalize to the singular case Connes' construction of the C*-algebra of the f…
In order to understand the linearization problem around a leaf of a singular foliation, we extend the familiar holonomy map from the case of regular foliations to the case of singular foliations. To this aim we introduce the notion of holonomy transformation. Unlike the regular case, holonomy transformations can not be attached to classes of paths in the foliation, but rather to elements of the holonomy groupoid of the singular foliation. This assignment is injective. Holonomy transformations allow us to link the linearization problem with the compactness of the isotropy group of the holonomy …
Let $M$ be a spin manifold, the Dirac operator with coefficient in the universal flat Hilbert $C^\ast π_1(M)$-module determines a "Rosenberg index element" which, according to B.Hanke and T.Schick, subsumes the enlargeablility obstruction of positive scalar curvature on $M$. In this note, we generalize this result to the case of spin foliation. More precisely, given a foliation $(M,F)$ with $F$ spin, we shall define a foliation version of "Rosenberg index element" and prove that it is nonzero at the presence of compactly enlargeability of $(M,F)$.
Every singular foliation has an associated topological groupoid, called holonomy groupoid (see arXiv:math/0612370). In this note we exhibit some functorial properties of this assignment: if a foliated manifold $(M,\mathcal{F}_M)$ is the quotient of a foliated manifold $(P,\mathcal{F}_P)$ along a surjective submersion with connected fibers, then the same is true for the corresponding holonomy groupoids. For quotients by a Lie group action, an analog statement holds under suitable assumptions, yielding a Lie 2-group action on the holonomy groupoid.
The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a fixed principal bundle $P$; the aforementioned bundles are then pull-backs of $P$ w.r.t. evaluation maps at different points. The explicit construction of these isomorphisms between pulled-back bundles relies on the notion of {\em parallel transport}. I introduce and discuss extensively at this point the notion of {\em generalized gauge transformation between…
We give a new construction of the holonomy and fundamental groupoids of a singular foliation. In contrast with the existing construction of Androulidakis and Skandalis, our method proceeds by taking a quotient of an infinite dimensional space of paths. This strategy is a direct extension of the classical construction for regular foliations and mirrors the integration of Lie algebroids via paths (per Crainic and Fernandes). In this way, we obtain a characterization of the holonomy and fundamental groupoids of a singular foliation that more clearly reflects the homotopic character of these invar…
This doctoral thesis has two objectives. The first objective is to introduce a notion of equivalence for singular foliations that preserves their transverse geometry and is compatible with the notions of Morita equivalence of the holonomy groupoids and the transverse equivalence for regular foliations that appeared in the 1980's. The second one is to describe the structures behind quotients of singular foliations and to connect these results with their associated holonomy groupoids. It also wants to give an introduction to the notion of singular foliations as given by Androulidakis and Skandal…
Given a Lie algebroid we discuss the existence of a smooth abelian integration of its abelianization. We show that the obstructions are related to the extended monodromy groups introduced recently in \cite{CFMb}. We also show that this groupoid can be obtained by a path-space construction, similar to the Weinstein groupoid of \cite{CF1}, but where the underlying homotopies are now supported in surfaces with arbitrary genus. As an application, we show that the prequantization condition for a (possibly non-simply connected) manifold is equivalent to the smoothness of an abelian integration. Our …
Due to a result by Mackenzie, extensions of transitive Lie groupoids are equivalent to certain Lie groupoids which admit an action of a Lie group. This paper is a treatment of the equivariant connection theory and holonomy of such groupoids, and shows that such connections give rise to the transition data necessary for the classification of their respective Lie algebroids.
We introduce the holonomy of a singular leaf $L$ of a singular foliation as a sequence of group morphisms from $π_n(L)$ to the $π_{n-1}$ of the universal Lie $\infty$-algebroid of the transverse foliation of $L$. We include these morphisms in a long exact sequence, thus relating them to the holonomy groupoid of Androulidakis and Skandalis and to a similar construction by Brahic and Zhu for Lie algebroids.
We introduce singular subalgebroids of an integrable Lie algebroid, extending the notion of Lie subalgebroid by dropping the constant rank requirement. We lay the bases of a Lie theory for singular subalgebroids: we construct the associated holonomy groupoids, adapting the procedure of Androulidakis-Skandalis for singular foliations, in a way that keeps track of the choice of Lie groupoid integrating the ambient Lie algebroid. The holonomy groupoids are topological groupoids, and are suitable for noncommutative geometry as they allow for the construction of the associated convolution algebras.…
In this paper we study the Lie groupoids which appear in foliation theory. A foliation groupoid is a Lie groupoid which integrates a foliation, or, equivalently, whose anchor map is injective. The first theorem shows that, for a Lie groupoid G, the following are equivalent: - G is a foliation groupoid, - G has discrete isotropy groups, - G is Morita equivalent to an etale groupoid. Moreover, we show that among the Lie groupoids integrating a given foliation, the holonomy and the monodromy groupoids are extreme examples. The second theorem shows that the cyclic homology of convolution algebras …
Given a representation up to homotopy of a Lie algebroid on a 2-term complex of vector bundles, we define the corresponding holonomy as a strict 2-functor from a Weinstein path 2-groupoid to the gauge 2-groupoid of the underlying 2-term complex. We construct a corresponding transformation 2-groupoid and we prove that the 1-truncation of this 2-groupoid is isomorphic to the Weinstein groupoid of the VB-algebroid associated to a representation up to homotopy. As applications, we describe alternative integration schemes for semi-direct products of Lie 2-algebras and string algebras.
We express Witten's deformation of Morse functions using deformation to the normal cone and $C^*$-modules. This allows us to obtain asymptotics of the `large eigenvalues'. Our methods extend to Morse functions along a foliation. We construct the Witten deformation using any generic function on an arbitrary foliation on a compact manifold and establish the compactness of its resolvent. When the foliation has a holonomy invariant transverse measure we show that our result implies Morse inequalities obtained by Connes and Fack in a slightly more general situation.
We introduce a blow-up construction of a smooth manifold along the singular leaves of an arbitrary singular foliation in the sense of Stefan and Sussmann, as well as a blow-up construction of the holonomy groupoid defined by Androulidakis and Skandalis. Our construction gives a locally compact locally Hausdorff groupoid, which can be regarded as a desingularisation of the singular foliation. We show that it retains some smooth structure.
We provide a complete solution to the problem of extending a local Lie groupoid to a global Lie groupoid. First, we show that the classical Mal'cev's theorem, which characterizes local Lie groups that can be extended to global Lie groups, also holds in the groupoid setting. Next, we describe a construction that can be used to obtain any local Lie groupoid with integrable algebroid. Last, our main result establishes a precise relationship between the integrability of a Lie algebroid and the failure in associativity of a local integration. We give a simplicial interpretation of this result showi…
This thesis treats two main topics: calibrated symplectic foliations, and local Lie groupoids. Calibrated symplectic foliations are one possible generalization of taut foliations of 3-manifolds to higher dimensions. Their study has been popular in recent years, and we collect several interesting results. We then show how de Rham's theory of currents, and Sullivan's theory of structure currents, can be applied in trying to understand the calibratability of symplectic foliations. Our study of local Lie groupoids begins with their definition and an exploration of some of their basic properties. N…
Using tools from the theory of Lie groupoids, we study the category of logarithmic flat connections on principal $G$-bundles, where $G$ is a complex reductive structure group. Flat connections on the affine line with a logarithmic singularity at the origin are equivalent to representations of a groupoid associated to the exponentiated action of $\mathbb{C}$. We show that such representations admit a canonical Jordan-Chevalley decomposition and use this to give a functorial classification. Flat connections on a complex manifold with logarithmic singularities along a hypersurface are equivalent …
We present Hausdorff versions for Lie Integration Theorems 1 and 2 and apply them to study Hausdorff symplectic groupoids arising from Poisson manifolds. To prepare for these results we include a discussion on Lie equivalences and propose an algebraic approach to holonomy. We also include subsidiary results, such as a generalization of the integration of subalgebroids to the non-wide case, and explore in detail the case of foliation groupoids.
The Deligne groupoid is a functor from nilpotent differential graded Lie algebras concentrated in positive degrees to groupoids; in the special case of Lie algebras over a field of characteristic zero, it gives the associated simply connected Lie group. We generalize the Deligne groupoid to a functor gamma from L-infinity algebras concentrated in degree >-n to n-groupoids. (We actually construct the nerve of the n-groupoid, which is an enriched Kan complex.) The construction of gamma is quite explicit (it is based on Dupont's proof of the de Rham theorem) and yields higher dimensional analogue…
We study the dg-Lie algebra f_n generated by the coefficients of the universal translation invariant flat dg-connection on the n-dimensional affine space. We describe its "semiabelianization" (in particular, the universal quotient which is a crossed module of Lie algebras) in terms of closed differential forms of arbitrary order. This generalizes the theorem of Reutenauer on the abelianization of the commutant of a free Lie algebra. Semiabelian dg-Lie algebras, i.e., non-poisitively graded dg-Lie algebras with brackets of any elements of strictly negative degree being 0, are Lie algebraic anal…