On higher analogues of Courant algebroids

In this paper, we study the algebraic properties of the higher analogues of Courant algebroid structures on the direct sum bundle $TM\oplus\wedge^nT^*M$ for an $m$-dimensional manifold. As an application, we revisit Nambu-Poisson structures and multisymplectic structures. We prove that the graph of an $(n+1)$-vector field $\pi$ is closed under the higher-order Dorfman bracket iff $\pi$ is a Nambu-Poisson structure. Consequently, there is an induced Leibniz algebroid structure on $\wedge^nT^*M$. The graph of an $(n+1)$-form $\omega$ is closed under the higher-order Dorfman bracket iff $\omega$ is a premultisymplectic structure of order $n$, i.e. \dM\omega=0. Furthermore, there is a Lie algebroid structure on the admissible bundle $A\subset\wedge^{n}T^*M$. In particular, for a 2-plectic structure, it induces the Lie 2-algebra structure given in \cite{baez:classicalstring}.Comment: 13 page

Courant-Dorfman algebras and their cohomology

We introduce a new type of algebra, the Courant-Dorfman algebra. These are to Courant algebroids what Lie-Rinehart algebras are to Lie algebroids, or Poisson algebras to Poisson manifolds. We work with arbitrary rings and modules, without any regularity, finiteness or non-degeneracy assumptions. To each Courant-Dorfman algebra (\R,\E) we associate a differential graded algebra \C(\E,\R) in a functorial way by means of explicit formulas. We describe two canonical filtrations on \C(\E,\R), and derive an analogue of the Cartan relations for derivations of \C(\E,\R); we classify central extensions of \E in terms of H^2(\E,\R) and study the canonical cocycle \Theta\in\C^3(\E,\R) whose class $[\Theta]$ obstructs re-scalings of the Courant-Dorfman structure. In the nondegenerate case, we also explicitly describe the Poisson bracket on \C(\E,\R); for Courant-Dorfman algebras associated to Courant algebroids over finite-dimensional smooth manifolds, we prove that the Poisson dg algebra \C(\E,\R) is isomorphic to the one constructed in \cite{Roy4-GrSymp} using graded manifolds.Comment: Corrected formulas for the brackets in Examples 2.27, 2.28 and 2.29. The corrections do not affect the exposition in any wa

The general (2,2) gauged sigma model with three--form flux

We find the conditions under which a Riemannian manifold equipped with a closed three-form and a vector field define an on--shell N=(2,2) supersymmetric gauged sigma model. The conditions are that the manifold admits a twisted generalized Kaehler structure, that the vector field preserves this structure, and that a so--called generalized moment map exists for it. By a theorem in generalized complex geometry, these conditions imply that the quotient is again a twisted generalized Kaehler manifold; this is in perfect agreement with expectations from the renormalization group flow. This method can produce new N=(2,2) models with NS flux, extending the usual Kaehler quotient construction based on Kaehler gauged sigma models.Comment: 24 pages. v2: typos fixed, other minor correction

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