In this note we revisit the notions of transverse density bundle and of modular classes of Lie algebroids and Lie groupoids; in particular, we point out that one should use the transverse density bundle $\mathcal{D}_{A}^{\textrm{tr}}$ instead of $Q_A$, which is the representation that is commonly used when talking about modular classes. One of the reasons for this is that, as we will see, $Q_A$ is not really an object associated to the stack presented by a Lie groupoid (in general, it is not a representation of the groupoid!).
We consider groupoids in the category of principal bundles, which we call principal bundles (PB) groupoids. Inspired by work by Th. Nikolaus and K. Waldorf, we generalise bundle gerbes over manifolds to bundle gerbes over groupoids and discuss a functorial correspondence between PB groupoids and bundle gerbes over groupoids. From a PB groupoid over a fibre product groupoid, we build a bundle gerbe over another fibre product groupoid. Conversely, from a bundle gerbe over a Lie groupoid, we build a PB groupoid. It has a trivial base and from any PB groupoid with trivial base, we build a bundle g…
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.
The equivalence of principal bundles with transitive Lie groupoids due to Ehresmann is a well known result. A remarkable generalisation of this equivalence, due to Mackenzie, is the equivalence of principal bundle extensions with those transitive Lie groupoids over the total space of a principal bundle, which also admit an action of the structure group by automorphisms. This paper proves the existence of suitably equivariant transition functions for such groupoids, generalising consequently the classification of principal bundles by means of their transition functions, to extensions of princip…
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…
We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in the sense of Weinstein's "The volume of a differentiable stack".
A Jet groupoid R_q over a manifold X is a special Lie groupoid consisting of q-jets of local diffeomorphisms from X to X. As a subbundle of the q-th order jet bundle of the trivial bundle X times X, a jet groupoid can be considered as a nonlinear system of partial differential equations (PDE). This leads to the concept of formal integrability. On the other hand, each jet groupoid is the symmetry groupoid of a geometric object, modelled as a section of a natural bundle. Using the jet groupoids, we give a local characterisation of formal integrability for transitive jet groupoids in terms of the…
In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids, we use pairs of a Kan fibration and a special acyclic fibration to model principal bundles of higher groupoids, we use inner Kan fibrations over the interval to model bibundles of higher groupoids. In particular, we show that our definitions given by the simplicial method agree with those given by the categorification approach to actions, principal bundles, and bibundles of 2-groupoids. In addition, we use the …
We study VB-groupoids and VB-algebroids, which are vector bundles in the realm of Lie groupoids and Lie algebroids. Through a suitable reformulation of their definitions, we elucidate the Lie theory relating these objects, i.e., their relation via differentiation and integration. We also show how to extend our techniques to describe the more general Lie theory underlying double Lie algebroids and LA-groupoids.
In 1974, Folland and Stein constructed an inhomogeneous pseudo-differential calculus based on analysis on the Heisenberg group. This Heisenberg calculus was generalized by several authors, to any subbundle of the tangent bundle. van Erp and Yuncken, following Debord and Skandalis showed that this calculus can be recovered using a deformation groupoid alla tangent groupoid of Connes. Using functoriality of the deformation to the normal cone construction, we give an elementary construction of this groupoid. We then extend it to the general case of a filtration of the tangent bundle by an iterate…
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…
VB-groupoids are vector bundles in the category of Lie groupoids. They encompass several classical objects, including Lie group representations and 2-vector spaces. Moreover, they provide geometric pictures for 2-term representations up to homotopy of Lie groupoids. We attach to every VB-groupoid a cochain complex controlling its deformations and discuss its fundamental features, such as Morita invariance and a van Est theorem. Several examples and applications are given.
We begin with a short presentation of the basic concepts related to Lie groupoids and Lie algebroids, but the main part of this paper deals with Lie algebroids. A Lie algebroid over a manifold is a vector bundle over that manifold whose properties are very similar to those of a tangent bundle. Its dual bundle has properties very similar to those of a cotangent bundle: in the graded algebra of sections of its external powers, one can define an operator similar to the exterior derivative. We present the theory of Lie derivatives, Schouten-Nijenhuis brackets and exterior derivatives in the genera…
Motivated by the computations done in \cite{C1}, where I introduced and discussed what I called the groupoid of generalized gauge transformations, viewed as a groupoid over the objects of the category $\mathsf{Bun}_{G,M}$ of principal $G$-bundles over a given manifold $M$, I develop in this paper the same ideas for the more general case of {\em principal $\calG$-bundles or principal bundles with structure groupoid $\calG$}, where now $\calG$ is a Lie groupoid in the sense of \cite{Moer2}. Most of the concepts introduced in \cite{C1} can be translated almost verbatim in the framework of princip…
We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of principality for these bundles, which uses the notion of a subduction, generalising the notion of a Lie group(oid) principal bundle. We say two diffeological groupoids are Morita equivalent if and only if there exists a biprincipal bibundle between them. Using a Hilsum-Skandalis tensor product, we further define a composition of diffeological bibundles, and …
This thesis deals with deformations of VB-algebroids and VB-groupoids. They can be considered as vector bundles in the categories of Lie algebroids and groupoids and encompass several classical objects, including Lie algebra and Lie group representations, 2-vector spaces and the tangent and the cotangent algebroid (groupoid) to a Lie algebroid (groupoid). Moreover, they are geometric models for some kind of representations of Lie algebroids (groupoids), namely 2-term representations up to homotopy. Finally, it is well known that Lie groupoids are "concrete" incarnations of differentiable stack…
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…
A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the aforementioned structure a \textit{$t$-symplectic Lie groupoid}; the "$t$" is motivated by the fact that each target fiber of a $t$-symplectic Lie groupoid is a symplectic manifold. For a Lie groupoid $\mathcal{G}\rightrightarrows M$, we show that there is a one-to-one correspondence between quasi-Frobenius Lie algebroid structures on $A\mathcal{G}$ (the associated …
This work is a spin-off of an on-going programme which aims at revisiting the original studies of Lie and Cartan on pseudogroups and geometric structures from a modern perspective. We encode geometric structures induced by transitive Lie pseudogroups into principal $G$-bundles equipped with a transversally parallelisable foliation generated by a subalgebra of $\mathfrak{g}$, called Cartan bundles. Our approach is complementary to arXiv:1911.13147 and is based on Morita equivalence of Lie groupoids. After identifying the main examples and properties, we develop a notion of flatness with respect…
A proper etale Lie groupoid is modelled as a (noncommutative) spectral geometric space. The spectral triple is built on the algebra of smooth functions on the groupoid base which are invariant under the groupoid action. Stiefel-Whitney classes in Lie groupoid cohomology are introduced to measure the orientability of the tangent bundle and the obstruction to lift the tangent bundle to a spinor bundle. In the case of an orientable and spin Lie groupoid, an invariant spinor bundle and an invariant Dirac operator will be constructed. This data gives rise to a spectral triple. The algebraic orienta…
We define and make initial study of Lie groupoids equipped with a compatible homogeneity (or graded bundle) structure, such objects we will refer to as weighted Lie groupoids. One can think of weighted Lie groupoids as graded manifolds in the category of Lie groupoids. This is a very rich geometrical theory with numerous natural examples. Note that $\mathcal{VB}$-groupoids, extensively studied in the recent literature, form just the particular case of weighted Lie groupoids of degree one. We examine the Lie theory related to weighted groupoids and weighted Lie algebroids, objects defined in a …
The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern-Weil map of Bott-Tu. We also obtain an expl…
We observe that any connected proper Lie groupoid whose orbits have codimension at most two admits a globally effective representation on a smooth vector bundle, i.e., one whose kernel consists only of ineffective arrows. As an application, we deduce that any such groupoid can up to Morita equivalence be presented as an extension of some action groupoid G n X with G compact by some bundle of compact Lie groups.
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of $(\infty,1)$-categories. We then discuss principal bundles in terms of simplicial maps and their homotopies. We explain in detail a differentiation procedure, suggested by Severa, that maps higher gro…
We put together some of the efforts by several people of making aspects of fibre bundle theory into algebra. The initiator of these efforts was Charles Ehresmann, who put the notion of groupoid and groupoid action in the focus of fibre bundle theory in general, and in connection theory in particular.
A VB-groupoid is a Lie groupoid equipped with a compatible linear structure. In this paper, we describe a correspondence, up to isomorphism, between VB-groupoids and 2-term representations up to homotopy of Lie groupoids. Under this correspondence, the tangent bundle of a Lie groupoid G corresponds to the "adjoint representation" of G. The value of this point of view is that the tangent bundle is canonical, whereas the adjoint representation is not. We define a cochain complex that is canonically associated to any VB-groupoid. The cohomology of this complex is isomorphic to the groupoid cohomo…
We consider the problem of existence of representations of topological groupoids on a principal bundle and the classification of such representations up to gauge transformation. Such representations naturally occur in various contexts such as gauge theory, lattice gauge fields, equivariant bundles, etc. In the course of the proofs, some new facts about Milnor's classifying spaces and gauge groups are established.
VB-groupoids and algebroids are vector bundle objects in the categories of Lie groupoids and Lie algebroids respectively, and they are related via the Lie functor. VB-groupoids and algebroids play a prominent role in Poisson and related geometries. Additionally, they can be seen as models for vector bundles over singular spaces. In this paper we study their infinitesimal automorphisms, i.e. vector fields on them generating a flow by diffeomorphisms preserving both the linear and the groupoid/algebroid structures. For a special class of VB-groupoids/algebroids coming from representations of Lie…
We observe that any regular Lie groupoid G over an manifold M fits into an extension $K \to G \to E$ of a foliation groupoid E by a bundle of connected Lie groups K. If $\FF$ is the foliation on M given by the orbits of E and T is a complete transversal to $\FF$, this extension restricts to T, as an extension $K_{T}\to G_{T}\to E_{T}$ of an étale groupoid $E_{T}$ by a bundle of connected groups $K_{T}$. We break up the classification into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-abelian) cohomology classes in a new Čech cohomology of étale groupo…
In this PhD thesis, we have studied certain geometric structures over Lie groupoids and differentiable stacks. This thesis is based on the work [arXiv:2103.04560, arXiv:2012.08447, arXiv:2012.08442, arXiv:1907.00375]. In [arXiv:1907.00375], we have discussed the correspondence between two notions of a gerbe over a stack. In [arXiv:2012.08447], we have developed the notion of Chern-Weil map for principal bundles over a Lie groupoid when the Lie groupoid is equipped with a connection. In [arXiv:2012.08442], we discuss the notion of connection on the principal bundle over a Deligne Mumford stack …
The aim of this paper is to review and discuss in detail local aspects of principal bundles with groupoid structure. Many results, in particular from the second and third section, are already known to some extents, but, due to the lack of a ``unified'' point of view on the subject, I decided nonetheless to (re)define all the main concepts and write all proofs; however, some results are reformulated in a more elegant way, using the division map and the generalized conjugation of a Lie groupoid. In the same framework, I discuss later generalized groupoids and Morita equivalences from a local poi…
Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact étale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated projective modules over an Azumaya algebra on $M$. This result can be seen as an equivariant Serre-Swan theorem for twisted vector bundles.
We introduce the modular class of a Poisson map. We look at several examples and we use the modular classes of Poisson maps to study the behavior of the modular class of a Poisson manifold under different kinds of reduction. We also discuss their symplectic groupoid version, which lives in groupoid cohomology.
Transitive Lie algebroids and \textbf{Q}-manifolds
Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米翁·斯托伊洛数学研究所）；Unité Mixte de Recherche 5127 CNRS, Université Savoie Mont Blanc, Laboratoire de Mathématiques (LAMA)（CNRS联合研究单位5127，萨瓦-蒙布朗大学，数学实验室）
Given a Poisson (or more generally Dirac) manifold $P$, there are two approaches to its geometric quantization: one involves a circle bundle $Q$ over $P$ endowed with a Jacobi (or Jacobi-Dirac) structure; the other one involves a circle bundle with a (pre-) contact groupoid structure over the (pre-) symplectic groupoid of $P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre-) symplectic groupoid of $P$ is obtained from the groupoid of $Q$ via an $S^1$ reduction that preserves both the groupoid and the geometric structure.
We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids.
We introduce nonassociative geometric objects generalising naturally Lie groupoids and called (smooth) quasiloopoids and loopoids. We prove that the tangent bundles of smooth loopoids are canonically smooth loopoids again (it is nontrivial in the case of loopoids). We show also that this is not true if the cotangent bundles are concerned. After providing a few natural constructions, we show how the Lie-like functor associates with loopoids skew-algebroids and almost Lie algebroids and how discrete mechanics on Lie groupoids can be reformulated in the nonassociative case.
We study vector bundles over Lie groupoids, known as VB-groupoids, and their induced geometric objects over differentiable stacks. We establish a fundamental theorem that characterizes VB-Morita maps in terms of fiber and basic data, and use it to prove the Morita invariance of VB-cohomology, with implications to deformation cohomology of Lie groupoids and of classic geometries. We discuss applications of our theory to Poisson geometry, providing a new insight over Marsden-Weinstein reduction and the integration of Dirac structures. We conclude by proving that the derived category of VB-groupo…
Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our construction is well defined under the weaker assumption of positive Novikov-Shubin invariant. We prove that this torsion form appears in a transgression formula, from which a non-commutative Riamannian-Roch-Grothendieck index formula follows.
For a smooth (locally trivial) principal bundle in Ehresmann's sense, the relation between the commuting vertical and horizontal actions of the structural Lie group and the structural Lie groupoid (isomorphisms between vertical fibers) is regarded as a special case of a symmetrical concept of conjugation between "principal" Lie groupoid actions, allowing possibly non-locally trivial bundles. A diagrammatic description of this concept via a symmetric "butterfly diagram" allows its "internalization" in a wide class of categories (used by "working mathematicians") whenever they are endowed with t…
For a strict Lie 2-group, we develop a notion of Lie 2-algebra-valued differential forms on Lie groupoids, furnishing a differential graded-commutative Lie algebra equipped with an adjoint action of the Lie 2-group and a pullback operation along Morita equivalences between Lie groupoids. Using this notion, we define connections on principal 2-bundles as Lie 2-algebra-valued 1-forms on the total space Lie groupoid of the 2-bundle, satisfying a condition in complete analogy to connections on ordinary principal bundles. We carefully treat various notions of curvature, and prove a classification r…
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 …
Let $G$ be a Lie group, with an invariant non-degenerate symmetric bilinear form on its Lie algebra, let $π$ be the fundamental group of an orientable (real) surface $M$ with a finite number of punctures, and let $\bold C$ be a family of conjugacy classes in $G$, one for each puncture. A finite-dimensional construction used earlier to obtain a symplectic structure on the moduli space of flat $G$-bundles over compact $M$ is extended to the punctured case. It yields a symplectic structure on a certain smooth manifold $\Cal M_{\bold C}$ containing the space $\roman{Hom}(π,G)_{\bold C}$ of homomor…
Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoids, i.e., actions whose quotients are again differentiable stacks in such a way that the projection onto the quotient is a principal bundle. As an application, we extend the notion of Morita equivalence of Lie groupoids to the realm of stacky Lie groupoids, providing examples tha…
Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand, principal 2-group $[G\to\Aut(G)]$-bundles over Lie groupoids and, on the other hand, $G$-extensions of Lie groupoids (i.e.\ between principal $[G\to\Aut(G)]$-bundles over differentiable stacks and $G$-gerbes over differentiable stacks). This approach also allows us to identify $G$-bound gerbes and $[Z(G)\to 1]$-group bundles over differentiable stacks, wher…
