AKSZ-BV Formalism and Courant Algebroid-induced Topological Field Theories

We give a detailed exposition of the Alexandrov-Kontsevich-Schwarz- Zaboronsky superfield formalism using the language of graded manifolds. As a main illustarting example, to every Courant algebroid structure we associate canonically a three-dimensional topological sigma-model. Using the AKSZ formalism, we construct the Batalin-Vilkovisky master action for the model.Comment: 13 pages, based on lectures at Rencontres mathematiques de Glanon 200

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

On the AKSZ formulation of the Rozansky-Witten theory and beyond

Using the AKSZ formalism, we construct the Batalin-Vilkovisky master action for the Rozansky-Witten model, which can be defined for any complex manifold with a closed (2,0)-form. We also construct the holomorphic version of Rozansky-Witten theory defined over Calabi-Yau 3-fold.Comment: 12 page

Six-Dimensional (1,0) Superconformal Models and Higher Gauge Theory

We analyze the gauge structure of a recently proposed superconformal field theory in six dimensions. We find that this structure amounts to a weak Courant-Dorfman algebra, which, in turn, can be interpreted as a strong homotopy Lie algebra. This suggests that the superconformal field theory is closely related to higher gauge theory, describing the parallel transport of extended objects. Indeed we find that, under certain restrictions, the field content and gauge transformations reduce to those of higher gauge theory. We also present a number of interesting examples of admissible gauge structures such as the structure Lie 2-algebra of an abelian gerbe, differential crossed modules, the 3-algebras of M2-brane models and string Lie 2-algebras.Comment: 31+1 pages, presentation slightly improved, version published in JM

QP-Structures of Degree 3 and 4D Topological Field Theory

A A BV algebra and a QP-structure of degree 3 is formulated. A QP-structure of degree 3 gives rise to Lie algebroids up to homotopy and its algebraic and geometric structure is analyzed. A new algebroid is constructed, which derives a new topological field theory in 4 dimensions by the AKSZ construction.Comment: 17 pages, Some errors and typos have been correcte

Poisson quasi-Nijenhuis structures with background

We define the Poisson quasi-Nijenhuis structures with background on Lie algebroids and we prove that to any generalized complex structure on a Courant algebroid which is the double of a Lie algebroid is associated such a structure. We prove that any Lie algebroid with a Poisson quasi-Nijenhuis structure with background constitutes, with its dual, a quasi-Lie bialgebroid. We also prove that any pair $(\pi,\omega)$ of a Poisson bivector and a 2-form induces a Poisson quasi-Nijenhuis structure with background and we observe that particular cases correspond to already known compatibilities between $\pi$ and $\omega$.Comment: 11 pages, submitted to Letters in Mathematical Physic

Topological Field Theories and Geometry of Batalin-Vilkovisky Algebras

The algebraic and geometric structures of deformations are analyzed concerning topological field theories of Schwarz type by means of the Batalin-Vilkovisky formalism. Deformations of the Chern-Simons-BF theory in three dimensions induces the Courant algebroid structure on the target space as a sigma model. Deformations of BF theories in $n$ dimensions are also analyzed. Two dimensional deformed BF theory induces the Poisson structure and three dimensional deformed BF theory induces the Courant algebroid structure on the target space as a sigma model. The deformations of BF theories in $n$ dimensions induce the structures of Batalin-Vilkovisky algebras on the target space.Comment: 25 page

Non-Commutative Batalin-Vilkovisky Algebras, Homotopy Lie Algebras and the Courant Bracket

We consider two different constructions of higher brackets. First, based on a Grassmann-odd, nilpotent \Delta operator, we define a non-commutative generalization of the higher Koszul brackets, which are used in a generalized Batalin-Vilkovisky algebra, and we show that they form a homotopy Lie algebra. Secondly, we investigate higher, so-called derived brackets built from symmetrized, nested Lie brackets with a fixed nilpotent Lie algebra element Q. We find the most general Jacobi-like identity that such a hierarchy satisfies. The numerical coefficients in front of each term in these generalized Jacobi identities are related to the Bernoulli numbers. We suggest that the definition of a homotopy Lie algebra should be enlarged to accommodate this important case. Finally, we consider the Courant bracket as an example of a derived bracket. We extend it to the "big bracket" of exterior forms and multi-vectors, and give closed formulas for the higher Courant brackets.Comment: 42 pages, LaTeX. v2: Added remarks in Section 5. v3: Added further explanation. v4: Minor adjustments. v5: Section 5 completely rewritten to include covariant construction. v6: Minor adjustments. v7: Added references and explanation to Section

On quasi-Jacobi and Jacobi-quasi bialgebroids

We study quasi-Jacobi and Jacobi-quasi bialgebroids and their relationships with twisted Jacobi and quasi Jacobi manifolds. We show that we can construct quasi-Lie bialgebroids from quasi-Jacobi bialgebroids, and conversely, and also that the structures induced on their base manifolds are related via a quasi Poissonization

Odd Chern-Simons Theory, Lie Algebra Cohomology and Characteristic Classes

We investigate the generic 3D topological field theory within AKSZ-BV framework. We use the Batalin-Vilkovisky (BV) formalism to construct explicitly cocycles of the Lie algebra of formal Hamiltonian vector fields and we argue that the perturbative partition function gives rise to secondary characteristic classes. We investigate a toy model which is an odd analogue of Chern-Simons theory, and we give some explicit computation of two point functions and show that its perturbation theory is identical to the Chern-Simons theory. We give concrete example of the homomorphism taking Lie algebra cocycles to Q-characteristic classes, and we reinterpreted the Rozansky-Witten model in this light.Comment: 52 page