Holomorphic Poisson Manifolds and Holomorphic Lie Algebroids

We study holomorphic Poisson manifolds and holomorphic Lie algebroids from the viewpoint of real Poisson geometry. We give a characterization of holomorphic Poisson structures in terms of the Poisson Nijenhuis structures of Magri-Morosi and describe a double complex which computes the holomorphic Poisson cohomology. A holomorphic Lie algebroid structure on a vector bundle $A\to X$ is shown to be equivalent to a matched pair of complex Lie algebroids $(T^{0,1}X,A^{1,0})$, in the sense of Lu. The holomorphic Lie algebroid cohomology of $A$ is isomorphic to the cohomology of the elliptic Lie algebroid $T^{0,1}X\bowtie A^{1,0}$. In the case when $(X,\pi)$ is a holomorphic Poisson manifold and $A=(T^*X)_\pi$, such an elliptic Lie algebroid coincides with the Dirac structure corresponding to the associated generalized complex structure of the holomorphic Poisson manifold.Comment: 29 pages, v2: paper split into two, part 1 of 2, v3: two references added, v4: final version to appear in International Mathematics Research Notice

A Kolmogorov theorem for nearly-integrable Poisson systems with asymptotically decaying time-dependent perturbation

The aim of this paper is to prove the Kolmogorov theorem of persistence of Diophantine flows for nearly-integrable Poisson systems associated to a real analytic Hamiltonian with aperiodic time dependence, provided that the perturbation is asymptotically vanishing. The paper is an extension of an analogous result by the same authors for canonical Hamiltonian systems; the flexibility of the Lie series method developed by A. Giorgilli et al., is profitably used in the present generalisation.Comment: 10 page

Cohomology of skew-holomorphic Lie algebroids

We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts.Comment: 16 pages. v2: Final version to be published in Theor. Math. Phys. (incorporates only very minor changes

From double Lie groupoids to local Lie 2-groupoids

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.Comment: 23 pages, a few minor changes, including a correction to Lemma 6.

A heterotic sigma model with novel target geometry

We construct a (1,2) heterotic sigma model whose target space geometry consists of a transitive Lie algebroid with complex structure on a Kaehler manifold. We show that, under certain geometrical and topological conditions, there are two distinguished topological half--twists of the heterotic sigma model leading to A and B type half--topological models. Each of these models is characterized by the usual topological BRST operator, stemming from the heterotic (0,2) supersymmetry, and a second BRST operator anticommuting with the former, originating from the (1,0) supersymmetry. These BRST operators combined in a certain way provide each half--topological model with two inequivalent BRST structures and, correspondingly, two distinct perturbative chiral algebras and chiral rings. The latter are studied in detail and characterized geometrically in terms of Lie algebroid cohomology in the quasiclassical limit.Comment: 83 pages, no figures, 2 references adde

Non-commutative integrable systems on bb-symplectic manifolds

In this paper we study non-commutative integrable systems on $b$-Poisson manifolds. One important source of examples (and motivation) of such systems comes from considering non-commutative systems on manifolds with boundary having the right asymptotics on the boundary. In this paper we describe this and other examples and we prove an action-angle theorem for non-commutative integrable systems on a $b$-symplectic manifold in a neighbourhood of a Liouville torus inside the critical set of the Poisson structure associated to the $b$-symplectic structure

Post-Lie Algebras, Factorization Theorems and Isospectral-Flows

In these notes we review and further explore the Lie enveloping algebra of a post-Lie algebra. From a Hopf algebra point of view, one of the central results, which will be recalled in detail, is the existence of a second Hopf algebra structure. By comparing group-like elements in suitable completions of these two Hopf algebras, we derive a particular map which we dub post-Lie Magnus expansion. These results are then considered in the case of Semenov-Tian-Shansky's double Lie algebra, where a post-Lie algebra is defined in terms of solutions of modified classical Yang-Baxter equation. In this context, we prove a factorization theorem for group-like elements. An explicit exponential solution of the corresponding Lie bracket flow is presented, which is based on the aforementioned post-Lie Magnus expansion.Comment: 49 pages, no-figures, review articl

From Atiyah Classes to Homotopy Leibniz Algebras

A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore Kapranov proved that, for a K\"ahler manifold $X$, the Dolbeault resolution $\Omega^{\bullet-1}(T_X^{1,0})$ of $T_X[-1]$ is an $L_\infty$ algebra. In this paper, we prove that Kapranov's theorem holds in much wider generality for vector bundles over Lie pairs. Given a Lie pair $(L,A)$, i.e. a Lie algebroid $L$ together with a Lie subalgebroid $A$, we define the Atiyah class $\alpha_E$ of an $A$-module $E$ (relative to $L$) as the obstruction to the existence of an $A$-compatible $L$-connection on $E$. We prove that the Atiyah classes $\alpha_{L/A}$ and $\alpha_E$ respectively make $L/A[-1]$ and $E[-1]$ into a Lie algebra and a Lie algebra module in the bounded below derived category $D^+(\mathcal{A})$, where $\mathcal{A}$ is the abelian category of left $\mathcal{U}(A)$-modules and $\mathcal{U}(A)$ is the universal enveloping algebra of $A$. Moreover, we produce a homotopy Leibniz algebra and a homotopy Leibniz module stemming from the Atiyah classes of $L/A$ and $E$, and inducing the aforesaid Lie structures in $D^+(\mathcal{A})$.Comment: 36 page