Lie algebroids can not always be integrated into Lie groupoids. We introduce a new object--``Weinstein groupoid'', which is a differentiable stack with groupoid-like axioms. With it, we have solved the integration problem of Lie algebroids. It turns out that every Weinstein groupoid has a Lie algebroid and every Lie algebroid can be integrated into a Weinstein groupoid.
We develop a theory of Lie algebroids over differentiable stacks that extends the standard theory of Lie algebroids over manifolds. In particular we show that Lie algebroids satisfy descent for submersions, define the category of Lie algebroids over a differentiable stack, construct a cohomology theory for these objects, and explain the relation to the theory of $\mathcal{LA}$-groupoids. We construct a number of examples.
In this paper we consider deformations of an algebroid stack on an etale groupoid. We construct a differential graded Lie algebra (DGLA) which controls this deformation theory. In the case when the algebroid is a twisted form of functions we show that this DGLA is quasiisomorphic to the twist of the DGLA of Hochschild cochains on the algebra of functions on the groupoid by the characteristic class of the corresponding gerbe.
A complex Lie algebroid is a complex vector bundle over a smooth (real) manifold M with a bracket on sections and an anchor to the complexified tangent bundle of M which satisfy the usual Lie algebroid axioms. A proposal is made here to integrate analytic complex Lie algebroids by using analytic continuation to a complexification of M and integration to a holomorphic groupoid. A collection of diverse examples reveal that the holomorphic stacks presented by these groupoids tend to coincide with known objects associated to structures in complex geometry. This suggests that the object integrating…
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.
Just like Atiyah Lie algebroids encode the infinitesimal symmetries of principal bundles, exact Courant algebroids are believed to encode the infinitesimal symmetries of $S^1$-gerbes. At the same time, transitive Courant algebroids may be viewed as the higher analogue of Atiyah Lie algebroids, and the non-commutative analogue of exact Courant algebroids. In this article, we explore what the "principal bundle" behind transitive Courant algebroids are, and they turn out to be principal 2-bundles of string groups. First, we construct the stack of principal 2-bundles of string groups with connecti…
Given a G-structure with connection satisfying a regularity assumption we associate to it a classifying Lie algebroid. This algebroid contains all the information about the equivalence problem and is an example of a G-structure Lie algebroid. We discuss the properties of this algebroid, the G-structure groupoids integrating it and the relationship with Cartan's realization problem.
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…
Shifted symplectic Lie and $L_\infty$ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetries, in terms of classical geometric "higher structures", such as Courant algebroids twisted by $Ω^2$-gerbes. As applications, we produce new examples of twisted Courant algebroids from codimension-two cycles, and we give symplectic interpretations for several well known features …
We generalize the van Est map and isomorphism theorem in three ways, and we discuss conjectured connections with homotopy theory, including a proposal of a category which unifies differentiable stacks, Lie algebroids and homotopy theory. In Part 2 of this thesis we generalize the van Est map from a comparison map between Lie groupoid cohomology and Lie algebroid cohomology to a (more conceptual) comparison map between the cohomology of a stack $\mathcal{G}$ and the cohomology of a simple foliation $\mathcal{H}\to\mathcal{G}$. In Part 1 we generalize the functions that we can take cohomology of…
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).
A Nijenhuis operator on a manifold $M$ is a $(1,1)$ tensor $\mathcal N$ whose Nijenhuis-torsion vanishes. A Nijenhuis operator $\mathcal N$ on $M$ determines a Lie algebroid structure $(TM)_{\mathcal N}$ on the tangent bundle $TM$. In this sense a Nijenhuis operator can be seen as an infinitesimal object. In this paper, we identify its "global counterpart". Namely, we show that when the Lie algebroid $(TM)_{\mathcal N}$ is integrable, then it integrates to a Lie groupoid equipped with appropriate additional structure responsible for $\mathcal N$, and viceversa, the Lie algebroid of a Lie group…
We define a new differential geometric structure, called Lie rackoid. It relates to Leibniz algebroids exactly as Lie groupoids relate to Lie algebroids. Its main ingredient is a selfdistributive product on the manifold of bisections of a smooth precategory. We show that the tangent algebroid of a Lie rackoid is a Leibniz algebroid and that Lie groupoids gives rise via conjugation to a Lie rackoid. Our main objective are large classes of examples, including a Lie rackoid integrating the Dorfman bracket without the cocycle term of the standard Courant algebroid.
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 …
A VB-algebroid is a vector bundle object in the category of Lie algebroids. We attach to every VB-algebroid a differential graded Lie algebra and we show that it controls deformations of the VB-algebroid structure. Several examples and applications are discussed. This is the first in a series of papers devoted to deformations of vector bundles and related structures over differentiable stacks.
We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic, then the corresponding base manifolds are necessarily diffeomorphic. Further, we give two characterizations of the isomorphisms of the Lie algebras of sections for Atiyah algebroids associated to principle bundles with semisimple structure groups. For instance we prove that in the semisimple case the Lie algebras of sections are isomorphic if and only if th…
We provide a framework for extensions of Lie algebroids, including non-abelian extensions and Lie algebroids over different bases. Our approach involves Ehresmann connections, which allows straight generalizations of classical constructions. We exhibit a filtration in cohomology and explain the associated spectral sequence. We also give a description of the groupoid integrating an extension in case a complete connection can be fixed. The problem of integrability is also studied.
A symplectic groupoid $G.:=(G_1 \rightrightarrows G_0)$ determines a Poisson structure on $G_0$. In this case, we call $G.$ a symplectic groupoid of the Poisson manifold $G_0$. However, not every Poisson manifold $M$ has such a symplectic groupoid. This keeps us away from some desirable goals: for example, establishing Morita equivalence in the category of all Poisson manifolds. In this paper, we construct symplectic Weinstein groupoids which provide a solution to the above problem (Theorem \ref{main}). More precisely, we show that a symplectic Weinstein groupoid induces a Poisson structure on…
We study Maurer-Cartan elements on homotopy Poisson manifolds of degree $n$. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson $\g$-manifolds, and twisted Courant algebroids. Using the fact that the dual of an $n$-term $L_\infty$-algebra is a homotopy Poisson manifold of degree $n-1$, we obtain a Courant algebroid from a $2$-term $L_\infty$-algebra $\g$ via the degree $2$ symplectic NQ-manifold $T^*[2]\g^*[1]$. By integrating the Lie quasi-bialgebroid associated to the Courant algebroid, we obtain a Lie…
We introduce the notion of cofoliation on a stack. A cofoliation is a change of the differentiable structure which amounts to giving a full representable smooth epimorphism. Cofoliations are uniquely determined by their associated Lie algebroids. Cofoliations on stacks arise from flat connections on groupoids. Connections on groupoids generalize connections on gerbes and bundles in a natural way. A flat connection on a groupoid is an integrable distribution of the morphism space compatible with the groupoid structure and complementary to both source and target fibres. A cofoliation of a stack …
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…
The construction of gauge theories beyond the realm of Lie groups and algebras leads one to consider Lie groupoids and algebroids equipped with additional geometrical structures which, for gauge invariance of the construction, need to satisfy particular compatibility conditions. This paper analyzes these compatibilities from a mathematical perspective. In particular, we show that the compatibility of a connection with a Lie algebroid that one finds is the Cartan condition, introduced previously by A. Blaom. For the metric on the base M of a Lie algebroid equipped with any connection, we show t…
A log symplectic manifold is a Poisson manifold which is generically nondegenerate. We develop two methods for constructing the symplectic groupoids of log symplectic manifolds. The first is a blow-up construction, corresponding to the notion of an elementary modification of a Lie algebroid along a subalgebroid. The second is a gluing construction, whereby groupoids defined on the open sets of an appropriate cover may be combined to obtain global integrations. This allows us to classify all Hausdorff symplectic groupoids of log symplectic manifolds in a combinatorial fashion, in terms of a cer…
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 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…
We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a complete account of local Lie theory and, in particular, to a finite-dimensional proof of the fact that the category of germs of local Lie groupoids is equivalent to that of Lie algebroids.
We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2-algebra structure built from known (ordinary) Lie brackets on multiplicative vector fields of Mackenzie and Xu and the global sections of the Lie algebroid of the Lie groupoid. After giving a precise…
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 provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. In particular, we obtain local integrations and non-degenerate realizations of Poisson, Nijenhuis-Poisson, Dirac, and Jacobi structures by local symplectic, symplectic-Nijenhuis, presymplectic, and contact groupoids, respectively.
The holonomy Lie $\infty$-groupoid of a singular foliation I
Department of Mathematics, University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校数学系);Institut Élie Cartan de Lorraine, UMR 7502, Université de Lorraine(洛林埃利嘉当研究所)
We introduce and study a "desingularization" of a Lie groupoid $G$ along an "$A(G)$-tame" submanifold $L$ of the space of units $M$. An $A(G)$-tame submanifold $L \subset M$ is one that has, by definition, a tubular neighborhood on which $A(G)$ becomes a thick pull-back Lie algebroid. The construction of the desingularization $[[G:L]]$ of $G$ along $L$ is based on a canonical fibered pull-back groupoid structure result for $G$ in a neighborhood of the tame $A(G)$-submanifold $L \subset M$. This local structure result is obtained by integrating a certain groupoid morphism, using results of Moer…
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…
An anologue of the Calabi invariant for Poisson manifolds is considered. For any Poisson manifold $P$, the Poisson bracket on $C^{\infty}(P)$ extends to a Lie bracket on the space $Ω^{1}(P)$ of all differential one-forms, under which the space $Z^{1}(P)$ of closed one-forms and the space $B^{1}(P)$ of exact one-forms are Lie subalgebras. These Lie algebras are related by the exact sequence: $$0\lon \reals \lon C^{\infty}(P)\stackrel{d}{\lon} Z^{1}(P)\stackrel{f}{\lon} H^{1}(P, \reals)\lon 0, $$ where $H^{1}(P,\reals)$ is considered as a trivial Lie algebra, and $f$ is the map sending each clos…