We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid.
Jacobi groupoids are introduced as a generalization of Poisson and contact groupoids and it is proved that generalized Lie bialgebroids are the infinitesimal invariants of Jacobi groupoids. Several examples are discussed.
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.
We prove that the cotangent of a double Lie groupoid S has itself a double groupoid structure with sides the duals of associated Lie algebroids, and double base the dual of the Lie algebroid of the core of S. Using this, we prove a result outlined by Weinstein in 1988, that the side groupoids of a general symplectic double groupoid are Poisson groupoids in duality. Further, we prove that any double Lie groupoid gives rise to a pair of Poisson groupoids (and thus of Lie bialgebroids) in duality. To handle the structures involved effectively we extend to this context the dualities and canonical …
We use symplectic reduction to give a new construction of the core $C$ of a symplectic double groupoid $D$ as the common leaf space of characteristic foliations associated to various coisotropic submanifolds of $D$. In the case of the cotangent double groupoid of a Lie groupoid $G$, the canonical relations arising from this process turn out to be cotangent lifts of structure maps associated to $G$. We also show that under this reduction procedure the double groupoid structure on $D$ descends to a groupoid structure on the leaf space above, recovering the core groupoid structure on $C$ of Brown…
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…
In this paper, we study geometric properties of quotient spaces of proper Lie groupoids. First, we construct a natural stratification on such spaces using an extension of the slice theorem for proper Lie groupoids of Weinstein and Zung. Next, we show the existence of an appropriate metric on the groupoid which gives the associated Lie algebroid the structure of a singular riemannian foliation. With this metric, the orbit space inherits a natural length space structure whose properties are studied. Moreover, we show that the orbit space of a proper Lie groupoid can be triangulated. Finally, we …
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.
In this survey, we discuss a series of linearization problems--for Poisson structures, Lie algebroids, and Lie groupoids. The last problem involves a conjecture on the structure of proper groupoids. Attempting to prove this by the method of averaging leads to problems concerning almost actions of compact groups and almost invariant submanifolds for compact group actions. The paper ends with a discussion of possible extensions of the convexity theorems for momentum maps of hamiltonian actions of compact groups.
We study higher-degree generalizations of symplectic groupoids, referred to as {\em multisymplectic groupoids}. Recalling that Poisson structures may be viewed as infinitesimal counterparts of symplectic groupoids, we describe "higher'' versions of Poisson structures by identifying the infinitesimal counterparts of multisymplectic groupoids. Some basic examples and features are discussed.
We use the techniques of integration of Poisson manifolds into symplectic Lie groupoids to build symplectic resolutions (= desingularizations) of the closure of a symplectic leaf. More generally, we show how Lie groupoids can be used to lift singularities, in particular when one imposes a compatibility condition with an additional structure given by a multi-vector field.
We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such objects are in one-to-one correspondence with symplectic double groupoids, generalizing a result of Zakrzewski concerning symplectic double groups and Hopf algebra objects in the aforementioned category. The proof relies on the fact that one can realize the core of a symplectic double …
We construct Hermitian representations of Lie algebroids and associated unitary representations of Lie groupoids by a geometric quantization procedure. For this purpose we introduce a new notion of Hamiltonian Lie algebroid actions. The first step of our procedure consists of the construction of a prequantization line bundle. Next, we discuss a version of Kähler quantization suitable for this setting. We proceed by defining a Marsden-Weinstein quotient for our setting and prove a ``quantization commutes with reduction'' theorem. We explain how our geometric quantization procedure relates to a …
Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the associated standard constructions. This extends a characterization of equivariant de Rham cohomology in terms of derived functors developed earlier for the special case where the Lie groupoid is an ordinary Lie group, viewed as a Lie groupoid with a single object; in that theory o…
In this note a functorial approach to the integration problem of an LA-groupoid to a double Lie groupoid is discussed. To do that, we study the notions of fibred products in the categories of Lie groupoids and Lie algebroids, giving necessary and sufficient conditions for the existence of such. In particular, it turns out, that the fibred product of Lie algebroids along integrable morphisms is always integrable by a fibred product of Lie groupoids. We show that to every LA-groupoid with integrable top structure one can associate a differentiable graph in the category of Lie groupoids, which is…
Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing some foundational material on canonical relations and this category, we show that symplectic hopfoids provide a characterization of symplectic double groupoids in these terms. Then, we show how such structures may be used to produce examples of symplectic orbifolds, and conjecture that all symplectic orbifolds arise via a similar construction. The symplectic st…
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 show that the leaves of an LA-groupoid which pass through the unit manifold are, modulo a connectedness issue, Lie groupoids. We illustrate this phenomenon by considering the cotangent Lie algebroids of Poisson groupoids thus obtaining an interesting class of symplectic groupoids coming from their symplectic foliations. In particular, we show that for a (strict) Lie 2-group the coadjoint orbits of the units in the dual of its Lie 2-algebra are symplectic groupoids, meaning that the classical Kostant-Kirillov-Souriau symplectic forms on these special coadjoint orbits are multiplicative.
We prove the following result, conjectured by Alan Weinstein: every smooth proper Lie groupoid near a fixed point is locally linearizable, i.e. it is locally isomorphic to the associated groupoid of a linear action of a compact Lie group. In combination with a slice theorem of Weinstein, our result implies the smooth linearizability of a proper Lie groupoid in the neighborhood of an orbit under a mild condition.
Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms [24], we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood theorem to the setting of cosymplectic Lie algebroids, we establish that dual integrations of triangular bialgebroids are always linearizable. Additionally, we show that the (non-dual) integration of a triangular Lie bialgebroid is linearizable whenever the $r$-matrix is of so-called cosymplectic type. The proof relies on the integration of a triangular Lie bialge…
Given a standard complex semisimple Poisson Lie group $(G, π_{st})$, generalised double Bruhat cells $G^{u, v}$ and generalised Bruhat cells $O^u$ equipped with naturally defined holomorphic Poisson structures, where u, v are finite sequences of Weyl group elements, were defined and studied by Jiang Hua Lu and the author. We prove in this paper that $G^{u,u}$ is naturally a Poisson groupoid over $O^u$, extending a result from the aforementioned authors about double Bruhat cells in $(G, π_{st})$. Our result on $G^{u,u}$ is obtained as an application of a construction interesting in its own righ…
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 discuss two sorts of generalization of Lie groupoids. One is Lie $n$-groupoids defined as simplicial manifolds with trivial $π_{k\geq n+1}$. The other is the stacky Lie groupoid $\cG\rra M$ with $\cG$ a differentiable stack. We build 1-1 correspondence between Lie 2-groupoids and stacky Lie groupoids up to a certain Morita equivalence. Equivalences of these higher groupoids are described.
For a Lie groupoid G we prove an analogous of the Baker-Campbell-Hausdorff formula and we calculate the structure functions of the Lie algebroid associated to G.
Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples of infinite-dimensional Lie groups modelled on locally convex spaces. In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (possibly with boundary) with values in a Lie groupoid form infinite-dimensional Lie groupoids which we call current Lie groupoids. We then study basic differential geometry and Lie theory for these Lie g…
We discuss natural transformations in the context of Lie groupoids, and their infinitesimal counterpart. Our main result is an integration procedure that provides smooth natural transformations between Lie groupoid morphisms.
Groupoids are mathematical structures able to describe symmetry properties more general than those described by groups. They were introduced (and named) by H. Brandt in 1926. Around 1950, Charles Ehresmann used groupoids with additional structures (topological and differentiable) as essential tools in topology and differential geometry. In recent years, Mickael Karasev, Alan Weinstein and Stanisław Zakrzewski independently discovered that symplectic groupoids can be used for the construction of noncommutative deformations of the algebra of smooth functions on a manifold, with potential applica…
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 …
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 …
In this master's thesis, we will go into the (projective) blow-up construction for Lie groupoids and Lie algebroids. In the literature, there are different methods to be found on how to do this, especially for Lie groupoids. The main goal of the thesis is to explain, in detail, the Lie groupoid and the Lie algebroid blow-up constructions, but also to examine and compare different points of view. More explicitly, we will rigorously explain the blow-up construction for Lie groupoids by Claire Debord and Georges Skandalis. Moreover, we will show that the blow-up construction for Lie groupoids by …
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-Hölder resolutions and, subsequently, to the integration of partial differential equations. The present introduction is an extension to Lie groupoids, as far as possible, of the so well known properties and techniques much useful in Lie groups theory. We mention as far as possible since, in the case of Lie groupoids, just the first Lie Theorem holds. As for the prolongation algorithm, it is extremely useful when dealing with groupoids whereas rat…
In this work we introduce the category of multiplicative sections of an $\la$-groupoid. We prove that this category carries natural strict Lie 2-algebra structures, which are Morita invariant. As applications, we study the algebraic structure underlying multiplicative vector fields on a Lie groupoid and in particular vector fields on differentiable stacks. We also introduce the notion of geometric vector field on the quotient stack of a Lie groupoid, showing that the space of such vector fields is a Lie algebra. We describe the Lie algebra of geometric vector fields in several cases, including…
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.
In this paper we prove that every proper Lie groupoid admits a desingularization to a regular proper Lie groupoid. When equipped with a Riemannian metric, we show that it admits a desingularization to a regular Riemannian proper Lie groupoid, arbitrarily close to the original one in the Gromov-Hausdorff distance between the quotient spaces. We construct the desingularization via a successive blow-up construction on a proper Lie groupoid. We also prove that our construction of the desingularization is invariant under Morita equivalence of groupoids, showing that it is a desingularization of the…
The van Est map is a map from Lie groupoid cohomology (with respect to a sheaf taking values in a representation) to Lie algebroid cohomology. We generalize the van Est map to allow for more general sheaves, namely to sheaves of sections taking values in a (smooth or holomorphic) $G$-module, where $G$-modules are structures which differentiate to representations. Many geometric structures involving Lie groupoids and stacks are classified by the cohomology of sheaves taking values in $G$-modules and not in representations, including $S^1$-groupoid extensions and equivariant gerbes. Examples of …
This paper is about the relation of the geometry of Lie groupoids over a fixed compact manifold and the geometry of their (infinite-dimensional) bisection Lie groups. In the first part of the paper we investigate the relation of the bisections to a given Lie groupoid, where the second part is about the construction of Lie groupoids from candidates for their bisection Lie groups. The procedure of this second part becomes feasible due to some recent progress in the infinite-dimensional Frobenius theorem, which we heavily exploit. The main application to the prequantisation of (pre)symplectic man…
We define multiplicative Poisson-Nijenhuis structures on a Lie groupoid which extends the notion of symplectic-Nijenhuis groupoid introduced by Stié23non and Xu. We also introduce a special class of Lie bialgebroid structure on a Lie algebroid $A$, called P-N Lie bialgebroid, which defines a hierarchy of compatible Lie bialgebroid structures on $A$. We show that under some topological assumption on the groupoid, there is a one-to-one correspondence between multiplicative Poisson-Nijenhuis structures on a Lie groupoid and P-N Lie bialgebroid structures on the corresponding Lie algebroid.
In this paper, we introduce a notion of a central $U(1)$-extension of a double Lie groupoid and show that it defines a cocycle in the certain triple complex.
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 study some properties of coisotropic submanifolds of a manifold with respect to a given multivector field. Using this notion, we generalize the results of Weinstein \cite{wein} from Poisson bivector field to Nambu-Poisson tensor or more generally to any multivector field. We also introduce the notion of Nambu-Lie groupoid generalizing the concepts of both Poisson-Lie groupoid and Nambu-Lie group. We show that the infinitesimal version of Nambu-Lie groupoid is the notion of weak Lie-Filippov bialgebroid as introduced in \cite{bas-bas-das-muk}. Next we introduce coisotropic subgroupoids of a …
As groupoids generalize groups, motivated by group extensions we consider a kind of fibrations of Lie groupoids, called locally topological product Lie groupoid fibrations with fiber $\sf A$, i.e., \[ 1\rightarrow {\sf A} \rightarrow {\sf G} \rightarrow {\sf K}\rightarrow 1 \] where $\sf A,\sf G$ and $\sf K$ are Lie groupoids. Similar to the theory of group extensions, we show that the existence of locally topological product Lie groupoid fibrations with fiber $\sf A$ over $\sf K$ is obstructed by a groupoid cohomology of $H^3_{\bar Λ}({\sf K},Z_{\sf A})$, and these locally topological product…
In this paper we give detailed construction of $G$-equivariant Kuranishi chart of moduli spaces of pseudo-holomorphic curves to a symplectic manifold with $G$-action, for an arbitrary compact Lie group $G$. The proof is based on the deformation theory of {\it unstable} marked curves using the language of Lie groupoid (which is {\it not} necessary etale) and the Riemannnian center of mass technique. This proof is actually similar to [FOn,Sections 13 and 15] except the usage of the language of Lie groupoid makes the argument more transparent. This version correct some errors of the previous vers…
We introduce a notion of metric on a Lie groupoid, compatible with multiplication, and we study its properties. We show that many families of Lie groupoids admit such metrics, including the important class of proper Lie groupoids. The exponential map of these metrics allow us to establish a Linearization Theorem for Riemannian groupoids, obtaining both a simpler proof and a stronger version of the Weinstein-Zung Linearization Theorem for proper Lie groupoids. This new notion of metric has a simplicial nature which will be explored in future papers of this series.
We complete the construction of the double Lie algebroid of a double Lie groupoid begun in the first paper of this title. We show that the Lie algebroid structure of an LA--groupoid may be prolonged to the Lie algebroid of its Lie groupoid structure; in the case of a double groupoid this prolonged structure for either LA--groupoid is canonically isomorphic to the Lie algebroid structure associated with the other; this extends many canonical isomorphisms associated with iterated tangent and cotangent structures. We also show that the cotangent of a double Lie groupoid is a symplectic double gro…
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…
Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie groups, Lie algebroids (integrable or not) one-to-one correspond to a sort of etale Lie 2-groupoids with 2-connected source fibres. Finally, we discuss how to lift Lie algebroid morphisms to Lie 2-groupoid morphisms (Lie II Theorem).
We prove that every slim double Lie groupoid with proper core action is completely determined by a factorization of a certain canonically defined "diagonal" Lie groupoid.
A Lie groupoid, called \textit{material Lie groupoid}, is associated in a natural way to any elastic material. The corresponding Lie algebroid, called \textit{material algebroid}, is used to characterize the uniformity and the homogeneity properties of the material. The relation to previous results in terms of $G-$structures is discussed in detail. An illustrative example is presented as an application of the theory.
A Lie groupoid, called \textit{second-order non-holonomic material Lie groupoid}, is associated in a natural way to any Cosserat media. This groupoid is used to give a new definition of homogeneity which does not depend on a reference crystal. The corresponding Lie algebroid, called \textit{second-order non-holonomic material Lie algebroid}, is used to characterize the homogeneity property of the material. We also relate these results with the previously ones in terms of non-holonomic second-order $\overline{G}$-structures.
In these lectures notes I discuss the Linearization Theorem for Lie groupoids, and its relation to the various classical linearization theorems for submersions, foliations and group actions. In particular, I explain in some detail the recent metric approach to this problem.
We give a precise and general description of gerbes valued in arbitrary crossed module and over an arbitrary differential stack. We do it using only Lie groupoids, hence ordinary differential geometry. We prove the coincidence with the existing notions by comparing our construction with non-Abelian cohomology.
