Showing changes from revision #22 to #23: Added | Removed | Changed

Contents

Idea

A Poisson Lie algebroid on a manifold $X$ is a Lie algebroid on $X$ naturally defined from and defining the structure of a Poisson manifold on $X$.

This is the degree-1 example of a tower of related concepts, described at n-symplectic manifold.

Definition

Let $\pi \in \Gamma (T{\bigwedge }^2\mathrm{<span><del\; class="diffmod">\; X</del><ins\; class="diffmod">\; TX</ins></span>})\wedge \Gamma (TX)$ \pi \in \Gamma(T \Gamma(\Wedge^2 X) TX) \wedge \Gamma(T X) be a Poisson manifold structure, incarnated as a Poisson tensor.

As vector-bundle with anchor

In terms of the vector-bundle-with anchor definition of Lie algebroid the Poisson Lie algebroid $\mathfrak{P}(X,\pi)$ corresponding to $\pi$ is the cotangent bundle

equipped with the anchor map that sends a differential 1-form $\alpha$ to the vector obtained by contraction with the Poisson bivector $\pi \colon \alpha \mapsto \pi(\alpha,-)$.

The Lie bracket $[-,-] : \Gamma(T^* X) \wedge \Gamma(T^* X) \to \Gamma(T^* X)$ is given by

where $\mathcal{L}$ denotes the Lie derivative and $d_{dR}$ the de Rham differential. This is the unique Lie algebroid bracket on $T^* X \stackrel{\pi}{\to} T X$ which is given on exact differential 1-forms by

for all $f,g \in C^\infty(X)$. On a coordinate patch this reduces to

for $\{x^i\}$ the coordinate functios and $\{\pi^{i j}\}$ the components of the Poisson tensor in these coordinates.

Chevalley-Eilenberg algebra

We describe the Chevalley-Eilenberg algebra of the Poisson Lie algebra given by $\pi$, which defines it dually.

Notice that $\pi$ is an element of degree 2 in the exterior algebra $\wedge^\bullet \Gamma(T X)$ of multivector fields on $X$. The Lie bracket on tangent vectors in $\Gamma(T X)$ extends to a bracket $[-,-]_{Sch}$ on multivector field, the Schouten bracket. The defining property of the Poisson structure $\pi$ is that

This makes

into a differential of degree +1 on multivector fields, that squares to 0. We write $CE(\mathfrak{P}(X,\pi))$ for the exterior algebra equipped with this differential.

More explicitly, let $\{x^i\} : X \to \mathbb{R}^{dim X}$ be a coordinate patch. Then the differential of $CE(\mathfrak{P}(X,\pi))$ is given by

Properties

Cohomology and Chern-Simons elements

We discuss aspects of the ∞-Lie algebroid cohomology of Poisson Lie algebroids $\mathfrak{P}(X,\pi)$. This is equivalently called Poisson cohomology (see there for details).

We shall be lazy (and follow tradition) and write the following formulas in a local coordinate patch $\{x^i\}$ for $X$.

Then the Chevalley-Eilenberg algebra $CE(\mathfrak{P}(X,\pi))$ is generated from the $x^i$ and the $\partial_i$, and the Weil algebra $W(\mathfrak{P}(X,\pi))$ is generated from $x^i$, $\partial_i$ and their shifted partners, which we shall write $\mathbf{d} x^i$ and $\mathbf{d}\partial_i$. The differential on the Weil algebra we may then write

Notice that $\pi \in CE(\mathfrak{P}(X,\pi))$ is a Lie algebroid cocycle, since

Lagrangian submanifolds and coisotropic submanifolds

The Lagrangian dg-submanifolds (see there for more) of a Poisson Lie algebroid correspond to the coisotropic submanifolds of the corresponding Poisson manifold.

Related concepts

• Under Lie integration a Poisson Lie algebroid is supposed to yield a symplectic groupoid.

• There is a formulation of Legendre transformation in terms of Lie algebroid.

• symplectic Lie n-algebroid

  • symplectic manifold

  • Poisson Lie algebroid

  • Courant algebroid

• Hopf algebroid (appears as a deformation quantization of a Poisson-Lie algebroid)

∞-Chern-Simons theory from binary and non-degenerate invariant polynomial

$n \in \mathbb{N}$	symplectic Lie n-algebroid	Lie integrated smooth ∞-groupoid = moduli ∞-stack of fields of $(n+1)$-d sigma-model	higher symplectic geometry	$(n+1)$d sigma-model	dg-Lagrangian submanifold/ real polarization leaf	= brane	(n+1)-module of quantum states in codimension $(n+1)$	discussed in:
0	symplectic manifold	symplectic manifold	symplectic geometry		Lagrangian submanifold	–	ordinary space of states (in geometric quantization)	geometric quantization
1	Poisson Lie algebroid	symplectic groupoid	2-plectic geometry	Poisson sigma-model	coisotropic submanifold (of underlying Poisson manifold)	brane of Poisson sigma-model	2-module = category of modules over strict deformation quantiized algebra of observables	extended geometric quantization of 2d Chern-Simons theory
2	Courant Lie 2-algebroid	symplectic 2-groupoid	3-plectic geometry	Courant sigma-model	Dirac structure	D-brane in type II geometry
$n$	symplectic Lie n-algebroid	symplectic n-groupoid	(n+1)-plectic geometry	$d = n+1$ AKSZ sigma-model

(adapted from Ševera 00)

Examples

• For the simple but important special case of Lie-Poisson structure see there at Poisson-Lie algebroid cohomology.

References

One of the earliest reference seems to be

• Ted Courant, Tangent Lie algebroid (pdf)

A review is for instance in

• Dmitry Roytenberg, appendix A Courant algebroids, derived brackets and even symplectic supermanifolds (arXiv:math/9910078)

The H-cohomology of the graded symplectic form of a Poisson Lie algebroid, regarded a a symplectic Lie n-algebroid, is considered in

• Pavol ?evera?, p. 1 of On the origin of the BV operator on odd symplectic supermanifolds, Lett Math Phys (2006) 78: 55. (arXiv:0506331)