21 pages, further minor revisions; a contribution to the proceedings of the conference "Poisson 2008" (Poisson Geometry in Mathematics and Physics), to appear in Letters in Mathematical Physics
We establish a 1:1 correspondence between Poisson-Lie group actions on integrable Poisson manifolds and twisted multiplicative hamiltonian actions on source 1-connected symplectic groupoids. For an action of a Poisson-Lie group $G$ on a Poisson manifold $M$, we find an explicit description of the lifted hamiltonian action on the symplectic groupoid $Σ(M)$. We give applications of these results to the integration of Poisson quotients $M/G$, Lu-Weinstein quotients $μ^{-1}(e)/G$ and Poisson homogeneous spaces $G/H$.
We study conditions for the integrability of the distribution defined on a regular Poisson manifold as the orthogonal complement (with respect to some (pseudo)-Riemannian metric) to the tangent spaces of the leaves of a symplectic foliation. Examples of integrability and non-integrability of this distribution are provided.
We study the integrability of Poisson and Dirac structures that arise from quotient constructions. From our results we deduce several classical results as well as new applications. We also give explicit constructions of Lie groupoids integrating two interesting families of geometric structures: (i) a special class of Poisson homogeneous spaces of symplectic groupoids integrating Poisson groups and (ii) Dirac homogeneous spaces.
In this paper we study Poisson actions of complete Poisson groups, without any connectivity assumption or requiring the existence of a momentum map. For any complete Poisson group $G$ with dual $G^\star$ we obtain a suitably connected integrating symplectic double groupoid $\calS$. As a consequence, the cotangent lift of a Poisson action on an integrable Poisson manifold $P$ can be integrated to a Poisson action of the symplectic groupoid $\poidd{\calS}{G^\star}$ on the symplectic groupoid for $P$. Finally, we show that the quotient Poisson manifold $P/G$ is also integrable, giving an explicit…
We show that various notions of integrability for Poisson brackets are all equivalent, and we give the precise obstructions to integrating Poisson manifolds. We describe the integration as a symplectic quotient, in the spirit of the Poisson sigma-model of Cattaneo and Felder. For regular Poisson manifolds we express the obstructions in terms of variations of symplectic areas. As an application of these results, we show that a Poisson manifold admits a complete symplectic realization if, and only if, it is integrable. We discuss also the integration of submanifolds and Morita equivalence of Poi…
We present a geometric construction of central S^1-extensions of the quantomorphism group of a prequantizable, compact, symplectic manifold, and explicitly describe the corresponding lattice of integrable cocycles on the Poisson Lie algebra. We use this to find nontrivial central S^1-extensions of the universal cover of the group of Hamiltonian diffeomorphisms. In the process, we obtain central S^1-extensions of Lie groups that act by exact strict contact transformations.
In this paper we develope, in a geometric framework, a Hamilton-Jacobi Theory for general dynamical systems. Such a theory contains the classical theory for Hamiltonian systems on a cotangent bundle and recent developments in the framework of general symplectic, Poisson and almost-Poisson manifolds (including some approaches to a Hamilton-Jacobi theory for nonholonomic systems). Given a dynamical system, we show that every complete solution of its related Hamilton-Jacobi Equation (HJE) gives rise to a set of first integrals, and vice versa. From that, and in the context of symplectic and Poiss…
We study a class of Poisson-Nijenhuis systems defined on compact hermitian symmetric spaces, where the Nijenhuis tensor is defined as the composition of Kirillov-Konstant-Souriau symplectic form with the so called Bruhat-Poisson structure. We determine its spectrum. In the case of Grassmannians the eigenvalues are the Gelfand-Tsetlin variables. We introduce the abelian algebra of collective hamiltonians defined by a chain of nested subalgebras and prove complete integrability. By construction, these models are integrable with respect to both Poisson structures. The eigenvalues of the Nijenhuis…
We construct families of functions in involution for transverse Poisson structures at nilpotent elements of Lie-Poisson structures on simple Lie algebras by using the argument shift method. Examples show that these families contain completely integrable systems that consist of polynomial functions. We provide a uniform construction of these integrable systems for an infinite family of distinguished nilpotent elements of semisimple type.
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.
We survey recent results on the local and global integrability of a Lie algebroid, as well as the integrability of infinitesimal multiplicative geometric structures on it.
We give a new proof of the equivalence between the existence of a complete action of a Lie algebroid on a surjective submersion and its integrability. The main tools in our approach are double Lie groupoids and multiplicative foliations, our proof relies on a simple characterization of those vacant double Lie groupoids which induce a Lie groupoid structure on their orbit spaces.
In this paper we present the solution to a longstanding problem of differential geometry: Lie's third theorem for Lie algebroids. We show that the integrability problem is controlled by two computable obstructions. As applications we derive, explain and improve the known integrability results, we establish integrability by local Lie groupoids, we clarify the smoothness of the Poisson sigma-model for Poisson manifolds, and we describe other geometrical applications.
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…
We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions of integrable transitive Lie algebroids by Lie algebra bundles. Such a lifting obstruction is directly related with the classification of extensions of transitive Lie groupoids. We also give a classification of such extensions which differentiates to the classification of transitive Lie algebroids discussed in \cite{KCHM:new}.
It is shown that a simple Lie group $G$ ($ \neq {\rm SL}_2$) can be locally characterised by an integrability condition on an $\operatorname{Aut}(\mathfrak{g})$ structure on the tangent bundle, where $\operatorname{Aut}(\mathfrak{g})$ is the automorphism group of the Lie algebra of $G$. The integrability condition is the vanishing of a torsion tensor of type $(1,2)$. This is a slight improvement of an earlier result proved in [Min-Oo M., Ruh E.A., in Differential Geometry and Complex Analysis, Springer, Berlin, 1985, 205-211].
A compact semisimple Lie algebra $\mathfrak{g}$ induces a Poisson structure $π$ on the unit sphere $S$ in $\mathfrak{g}^*$. We compute the moduli space of Poisson structures on $S$ around $π$. This is the first explicit computation of a Poisson moduli space in dimension greater or equal than three around a degenerate (i.e. not symplectic) Poisson structure.
A Riemann-Lie algebra is a Lie algebra $\cal G$ such that its dual ${\cal G}^*$ carries a Riemannian metric compatible (in the sense introduced by th author in C. R. Acad. Paris, t. 333, Série I, (2001) 763-768) with the canonical linear Poisson sructure of ${\cal G}^*$. The notion of Riemann-Lie algebra has its origins in the study, by the author, of Riemann-Poisson manifolds (see Preprint math.DG/0206102 to appear in Differential Geometry and its Applications). In this paper, we show that, for a Lie group $G$, its Lie algebra $\cal G$ carries a structure of Riemann-Lie algebra iff $G$ carrie…
To give a criterion for the integrability of Banach-Lie triple systems, we follow the construction of the period group of a Lie algebra and define the period group of a Lie triple system as an analogous concept. We show that a Lie triple system is integrable if and only if its period group is discrete. Along the way, we see how to turn the path and the loop space of a pointed symmetric space into pointed symmetric spaces.
By considering suitable Poisson groupoids, we develop an approach to obtain Lie group structures on (subgroups of) the Poisson diffeomorphism groups of various classes of Poisson manifolds. As applications, we show that the Poisson diffeomorphism groups of (normal-crossing) log-symplectic, elliptic symplectic, scattering-symplectic and cosymplectic manifolds are regular infinite-dimensional Lie groups.
We establish a criterion for when an abelian extension of infinite-dimensional Lie algebras integrates to a corresponding Lie group extension $\hat{G}$ of $G$ by $A$, where $G$ is a connected, simply connected Lie group and $A$ is a quotient of its Lie algebra by some discrete subgroup. When $G$ is non-simply connected, the kernel $A$ is replaced by a central extension $\hat{A}$ of $π_1(G)$ by $A$.
We prove a series of van Est type theorems relating the cohomologies of strict Lie 2-groups and strict Lie 2-algebras and use them to prove the integrability of Lie 2-algebras anew.
We use foliations and connections on principal Lie groupoid bundles to prove various integrability results for Lie algebroids. In particular, we show, under quite general assumptions, that the semi-direct product associated to an infinitesimal action of one integrable Lie algebroid on another is integrable. This generalizes recent results of Dazord and Nistor.
We give an integrability criterion for a projective limit of Banach distributions on a Fréchet manifold which is a projective limit of Banach manifolds. This leads to a result of integrability of projective limit of involutive bundles on a projective sequence of Banach manifolds. This can be seen as a version of Frobenius Theorem in Fréchet setting. As consequence, we obtain a version of the third Lie theorem for a Fréchet-Lie group which is a submersive projective limit of Banach Lie groups. We also give an application to a sequence of prolongations of a Banach Lie algebroid.
A symplectic integration of a Poisson manifold $(M,Λ)$ is a symplectic groupoid $(Γ,η)$ which realizes the given Poisson manifold, i.e. such that the space of units $Γ_0$ with the induced Poisson structure $Λ_0$ is isomorphic to $(M,Λ)$. This notion was introduced by A. Weinstein in order to quantize Poisson manifolds by quantizing their symplectic integration. Any Poisson manifold can be integrated by a local symplectic groupoid but already for regular Poisson manifolds there are obstructions to global integrability. The aim of this paper is to summarize all the known obstructions and present…
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 paper concerns the problem of integrability of non closed distributions on Banach manifolds. We introduce the notion of weak distribution and we look for conditions under which these distributions admit weak integral submanifolds. We give some applications to Banach Lie algebroid and Banach Lie-Poisson manifold. The main results of this paper generalize the works presented in [ChSt], [Nu] and [Gl].
A multiplicatively closed, horizontal $n$-plane field $D$ on a Lie groupoid $G$ over $M$ generalizes to intransitive geometry the classical notion of a Cartan connection. The infinitesimalization of the connection $D$ is a Cartan connection $\nabla $ on the Lie algebroid of $G$, a notion already studied elsewhere by the author. It is shown that $\nabla $ may be regarded as infinitesimal parallel translation in the groupoid $G$ along $D$. From this follows a proof that $D$ defines a pseudoaction generating a pseudogroup of transformations on $M$ precisely when the curvature of $\nabla $ vanishe…
We introduce and study some mixed product Poisson structures on product manifolds associated to Poisson Lie groups and Lie bialgebras. For quasitriangular Lie bialgebras, our construction is equivalent to that of fusion products of quasi-Poisson G-manifolds introduced by Alekseev, Kosmann- Schwarzbach, and Meinrenken. Our primary examples include four series of holomorphic Poisson structures on products of flag varieties and related spaces of complex semi-simple Lie groups.
VB-groupoids can be thought of as vector bundle objects in the category of Lie groupoids. Just as Lie algebroids are the infinitesimal counterparts of Lie groupoids, VB-algebroids correspond to the infinitesimal version of VB-groupoids. In this work we address the problem of the existence of a VB-groupoid admitting a given VB-algebroid as its infinitesimal data. Our main result is an explicit characterization of the obstructions appearing in this integrability problem as the vanishing of the spherical periods of certain cohomology classes. Along the way, we illustrate our result in concrete ex…
We show that for any coboundary Poisson Lie group G, the Poisson structure on G^* is linearizable at the group unit. This strengthens a result of Enriquez-Etingof-Marshall, who had established formal linearizability of G^* for quasi-triangular Poisson Lie groups G. We also prove linearizability properties for the group multiplication in G^* and for Poisson Lie group morphisms, with similar assumptions.
In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie subgroups, and integrability of Lie algebra extensions to Lie group extensions. We further describe how regularity or local exponentiality of a Lie group can be used to obtain quite satisfying answers to some of the fundamental problems. These results are illustrated by specialization to some specific classes of Lie groups, such as direct limit groups, linear Lie gro…
We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla.
We discuss the integrability of Jacobi manifolds by contact groupoids, and then look at what the Jacobi point of view brings new into Poisson geometry. In particular, using contact groupoids, we prove a Kostant-type theorem on the prequantization of symplectic groupoids, which answers a question posed by Weinstein and Xu \cite{prequan}. The methods used are those of Crainic-Fernandes on $A$-paths and monodromy group(oid)s of algebroids. In particular, most of the results we obtain are valid also in the non-integrable case.
Poisson sigma models represent an interesting use of Poisson manifolds for the construction of a classical field theory. Their definition in the language of fibre bundles is shown and the corresponding field equations are derived using a coordinate independent variational principle. The elegant form of equations of motion for so called Poisson-Lie groups is derived. Construction of the Poisson-Lie group corresponding to a given Lie bialgebra is widely known only for coboundary Lie bialgebras. Using the adjoint representation of Lie group and Drinfel'd double we show that Poisson-Lie group can …
A Poisson-Lie group acting by the coadjoint action on the dual of its Lie algebra induces on it a non-trivial class of quadratic Poisson structures extending the linear Poisson bracket on the coadjoint orbits.
We introduce and study a class of Lie algebroids associated to faithful modules which is motivated by the notion of cotangent Lie algebroids of Poisson manifolds. We also give a classification of transitive Lie algebroids and describe Poisson algebras by using the notions of algebroid and Lie connections.
In this letter, first we give a decomposition for any Lie-Poisson structure $π_g$ associated to the modular vector. In particular, $π_g$ splits into two compatible Lie-Poisson structures if $dim{g} \leq 3$. As an application, we classified quadratic deformations of Lie-Poisson structures on $\mathbb R^3$ up to linear diffeomorphisms.
This work is motivated by a result of Drinfeld on Poisson homogeneous spaces. For each Poisson manifold $P$ with a Poisson action by a Poisson Lie group $G$, we describe a Lie algebroid structure on the direct sum vector bundle $P \times {\frak g} \oplus T^*P$, where ${\frak g}$ is the Lie algebra of $G$. It is built out of the transformation Lie algebroid $P \times {\frak g}$ and the cotangent bundle Lie algebroid $T^*P$ together with a pair of representations of them on each other. When the action of $G$ on $P$ is transitive, the kernel of the anchor map of this Lie algebroid gives a Lie alg…
