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.
We show that the path construction integration of Lie algebroids by Lie groupoids is an actual equivalence from the category of integrable Lie algebroids and complete Lie algebroid comorphisms to the category of source 1-connected Lie groupoids and Lie groupoid comorphisms. This allows us to construct an actual symplectization functor in Poisson geometry. We include examples to show that the integrability of comorphisms and Poisson maps may not hold in the absence of a completeness assumption.
We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid.
In this paper, we describe an integration of exact Courant algebroids to symplectic 2-groupoids, and we show that the differentiation procedure from [26] inverts our integration.
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.
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…
Cartan-Lie algebroids, i.e. Lie algebroids equipped with a compatible connection, permit the definition of an adjoint representation, on the fiber as well as on the tangent of the base. We call (positive) quadratic Lie algebroids, Cartan-Lie algebroids with ad-invariant (Riemannian) metrics on their fibers and base $κ$ and $g$, respectively. We determine the necessary and sufficient conditions for a positive quadratic Lie algebroid to integrate to a Riemmanian Cartan-Lie groupoid. Here we mean a Cartan-Lie groupoid $\mathcal{G}$ equipped with a bi-invariant and inversion invariant metric $η$ o…
We prove that a holomorphic Lie algebroid is integrable if, and only if, its underlying real Lie algebroid is integrable. Thus the integrability criteria of Crainic-Fernandes do also apply in the holomorphic context without any modification. As a consequence we give another proof of the following theorem: a holomorphic Poisson manifold is integrable if, and only if, its real (or imaginary) part is integrable as a real Poisson manifold.
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.
If $A$ is a Lie algebroid over a foliated manifold $(M,\mathcal{F})$, a foliation of $A$ is a Lie subalgebroid $B$ with anchor image $T\mathcal{F}$ and such that $A/B$ is locally equivalent with Lie algebroids over the slice manifolds of $\mathcal{F}$. We give several examples and, for foliated Lie algebroids, we discuss the following subjects: the dual Poisson structure and Vaintrob's super-vector field, cohomology and deformations of the foliation, integration to a Lie groupoid. In the last section, we define a corresponding notion of a foliation of a Courant algebroid $A$ as a bracket-close…
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.
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…
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 consider a simple instance of action up to homotopy. More precisely, we consider strict actions of DGLAs in degrees -1 and 0 on degree 1 NQ-manifolds. In a more conventional language this means: strict actions of Lie algebra crossed modules on Lie algebroids. When the action is strict, we show that it integrates to group actions in the categories of Lie algebroids and Lie groupoids (i.e. actions of LA-groups and 2-groups). We perform the integration in the framework of Mackenzie's doubles.
We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obtain a Lie 2-groupoid integration of an exact Courant algebroid.
We describe arbitrary multiplicative differential forms on Lie groupoids infinitesimally, i.e., in terms of Lie algebroid data. This description is based on the study of linear differential forms on Lie algebroids and encompasses many known integration results related to Poisson geometry. We also revisit multiplicative multivector fields and their infinitesimal counterparts, drawing a parallel between the two theories.
In this paper we study the local description of spaces of forms on transitive Lie algebroids. We use this local description to introduce global structures like metrics, $\ast$-Hodge operation and integration along the algebraic part of the transitive Lie algebroid (its kernel). We construct a Čech-de Rham bicomplex with a Leray-Serre spectral sequence. We apply the general theory to Atiyah Lie algebroids and to derivations on a vector bundle.
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 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 consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformation sending the solutions of the Maurer-Cartan equation to closed differential forms. Following ideas of Ezra Getzler we then impose a gauge condition which cuts out a finite-dimensional simplicial submanifold. This "smaller" simplicial manifold is (the nerve of) a local Lie k-gr…
We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspondence with a simple class of Courant algebroids that we call constant Courant algebroids. Furthermore, we find a correspondence between certain Dirac structures and Lagrangian sub-2-groupoids.
In this paper we introduce multiplicative Dirac structures on Lie groupoids, providing a unified framework to study both multiplicative Poisson bivectors (i.e., Poisson group(oid)s) and multiplicative closed 2-forms (e.g., symplectic groupoids). We prove that for every source simply connected Lie groupoid $G$ with Lie algebroid $AG$, there exists a one-to-one correspondence between multiplicative Dirac structures on $G$ and Dirac structures on $AG$, which are compatible with both the linear and algebroid structures of $AG$. We explain in what sense this extends the integration of Lie bialgebro…
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…
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 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…
In this paper we introduce and study some mathematical structures on top of transitive Lie algebroids in order to formulate gauge theories in terms of generalized connections and their curvature: metrics, Hodge star operator and integration along the algebraic part of the transitive Lie algebroid (its kernel). Explicit action functionals are given in terms of global objects and in terms of their local description as well. We investigate applications of these constructions to Atiyah Lie algebroids and to derivations on a vector bundle. The obtained gauge theories are discussed with respect to o…
The integration problem of a C-bracket and a Vaisman (metric, pre-DFT) algebroid which are geometric structures of double field theory (DFT) is analyzed. We introduce a notion of a pre-rackoid as a global group-like object for an infinitesimal algebroid structure. We propose that several realizations of pre-rackoid structures. One realization is that elements of a pre-rackoid are defined by cotangent paths along doubled foliations in a para-Hermitian manifold. Another realization is proposed as a formal exponential map of the algebroid of DFT. We show that the pre-rackoid reduces to a rackoid …
We study the relationship between multiplicative 2-forms on Lie groupoids and linear 2-forms on Lie algebroids, which leads to a new approach to the infinitesimal description of multiplicative 2-forms and to the integration of twisted Dirac manifolds.
We introduce the notion of Glanon groupoids, which are Lie groupoids equipped with multiplicative generalized complex structures. It combines symplectic groupoids, holomorphic Lie groupoids and holomorphic Poisson groupoids into a unified framework. Their infinitesimal, Glanon Lie algebroids are studied. We prove that there is a bijection between Glanon Lie algebroids and source-simply connected and source-connected Glanon groupoids. As a consequence, we recover various integration theorem and obtain the integration theorem for holomorphic Poisson groupoids.
We solve the integration problem for generalized complex manifolds, obtaining as the natural integrating object a weakly holomorphic symplectic groupoid, which is a real symplectic groupoid with a compatible complex structure defined only on the associated stack, i.e., only up to Morita equivalence. We explain how such objects differentiate to give generalized complex manifolds, and we show that a generalized complex manifold is integrable in this sense if and only if its underlying real Poisson structure is integrable. Crucial to our solution are several new technical tools which are of indep…
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 …
We study the semidirect product of a Lie algebra with a representation up to homotopy and provide various examples coming from Courant algebroids, string Lie 2-algebras, and omni-Lie algebroids. In the end, we study the semidirect product of a Lie group with a representation up to homotopy and use it to give an integration of a certain string Lie 2-algebra.
This paper first introduces the notion of a Rota-Baxter operator (of weight $1$) on a Lie group so that its differentiation gives a Rota-Baxter operator on the corresponding Lie algebra. Direct products of Lie groups, including the decompositions of Iwasawa and Langlands, carry natural Rota-Baxter operators. Formal inverse of the Rota-Baxter operator on a Lie group is precisely the crossed homomorphism on the Lie group, whose tangent map is the differential operator of weight $1$ on a Lie algebra. A factorization theorem of Rota-Baxter Lie groups is proved, deriving directly on the Lie group l…
We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these objects are related by differentiation and integration. We use these results to revisit Lie 2-bialgebras by means of Poisson double structures.
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.
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…
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 …
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…
In this paper we study quotients of Lie algebroids and groupoids endowed with compatible differential forms. We identify Lie theoretic conditions under which such forms become basic and characterize the induced forms on the quotients. We apply these results to describe generalized quotient and reduction processes for (twisted) Poisson and Dirac structures, as well as to their integration by (twisted, pre-)symplectic groupoids. In particular, we recover and generalize several known results concerning Poisson reduction.
Let G be a Lie groupoid with Lie algebroid g. It is known that, unlike in the case of Lie groups, not every subalgebroid of g can be integrated by a subgroupoid of G. In this paper we study conditions on the invariant foliation defined by a given subalgebroid under which such an integration is possible. We also consider the problem of integrability by closed subgroupoids, and we give conditions under which the closure of a subgroupoid is again a subgroupoid.
The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we integrate such a Lie 2-algebra to a strict Lie 2-group in the finite dimensional case.
We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several examples including Lie algebras and Poisson manifolds. The construction is based on an A_infty version of de Rham's theorem due to Gugenheim. The integration procedure we explain here amounts to extending the construction of parallel transport for superconnections, introduced by Igusa …
Lie theory for the integration of Lie algebroids to Lie groupoids, on the one hand, and of Poisson manifolds to symplectic groupoids, on the other, has undergone tremendous developements in the last decade, thanks to the work of Mackenzie-Xu, Moerdijk-Mrcun, Cattaneo-Felder and Crainic-Fernandes, among others. In this thesis we study - part of - the categorified version of this story, namely the integrability of LA-groupoids (groupoid objects in the category of Lie algebroids), to double Lie groupoids (groupoid objects in the category of Lie groupoids) providing a first set of sufficient condi…
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…
Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds
University of Bergen（卑尔根大学）；Washington University in St. Louis（圣路易斯华盛顿大学）；Western Norway University of Applied Sciences（西挪威应用科学大学）；KTH Royal Institute of Technology（瑞典皇家理工学院）
We describe a method for solving the Maurer-Cartan structure equation associated with a Lie algebra that isolates the role of the Jacobi identity as an obstruction to integration. We show that the method naturally adapts to two other interesting situations: local symplectic realizations of Poisson structures, in which case our method sheds light on the role of the Poisson condition as an obstruction to realization; and the Maurer-Cartan structure equation associated with a Lie algebroid, in which case we obtain an explicit formula for a solution to the equation which generalizes the well known…
