Metric algebroid and Dirac generating operator in Double Field Theory

We give a formulation of Double Field Theory (DFT) based on a metric algebroid. We derive a covariant completion of the Bianchi identities, i.e. the pre-Bianchi identity in torsion and an improved generalized curvature, and the pre-Bianchi identity including the dilaton contribution. The derived bracket formulation by the Dirac generating operator is applied to the metric algebroid. We propose a generalized Lichnerowicz formula and show that it is equivalent to the pre-Bianchi identities. The dilaton in this setting is included as an ambiguity in the divergence. The projected generalized Lichnerowicz formula gives a new formulation of the DFT action. The closure of the generalized Lie derivative on the spin bundle yields the Bianchi identities as a consistency condition. A relation to the generalized supergravity equations (GSE) is discussed.

Simultaneous deformations and Poisson geometry

We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an $L_{\infty }$-algebra, which we construct explicitly. Our machinery is based on Voronov’s derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications cannot be, to our knowledge, obtained by other methods such as operad theory.

General Yang–Mills type gauge theories for p-form gauge fields: From physics-based ideas to a mathematical frameworkorFrom Bianchi identities to twisted Courant algebroids

Starting with minimal requirements from the physical experience with higher gauge theories, i.e. gauge theories for a tower of differential forms of different form degrees, we discover that all the structural identities governing such theories can be concisely recombined into what is called a Q-structure or, equivalently, an L∞-algebroid. This has many technical and conceptual advantages: complicated higher bundles become just bundles in the category of Q-manifolds in this approach (the many structural identities being encoded in the one operator Q squaring to zero), gauge transformations are generated by internal vertical automorphisms in these bundles and even for a relatively intricate field content the gauge algebra can be determined in some lines and is given by what is called the derived bracket construction. This paper aims equally at mathematicians and theoretical physicists; each more physical section is followed by a purely mathematical one. While the considerations are valid for arbitrary highest form degree p, we pay particular attention to p = 2, i.e. 1- and 2-form gauge fields coupled nonlinearly to scalar fields (0-form fields). The structural identities of the coupled system correspond to a Lie 2-algebroid in this case and we provide different axiomatic descriptions of those, inspired by the application, including e.g. one as a particular kind of a vector-bundle twisted Courant algebroid.

POISSON BRACKET IN CLASSICAL FIELD THEORY AS A DERIVED BRACKET

We construct a Leibniz bracket on the space Ω• (Jk (π)) of all differential forms over the finite-dimensional jet bundle Jk (π). As an example, we write Maxwell equations with sources in the covariant finite-dimensional hamiltonian form.