arXiv subjects
Publications and source records attributed to Fridrich Valach.
Although the action of diffeomorphisms on pinor (or spinor) fields is geometrically unambiguous, the definition of a natural Lie derivative is more subtle and requires some understanding of the geometry of the space of metrics at a point. In this work we revisit the classical construction of Kosmann and Bourguignon-Gauduchon and develop the corresponding theory in generalised geometry.
We give an explicit description (in component fields) of a holomorphic theory associated to a general supersymmetric background of $\mathcal N=1$ supergravity in ten dimensions. Conjecturally, this provides a sought-for holomorphic realisation of the supergravity twist in such backgrounds, generalising the minimal type I BCOV theory for Calabi-Yau manifolds. Our theory unpacks the recently introduced Courant contact model associated to a holomorphic Courant algebroid. We also show that a coisotropic reduction of this model reproduces the recent model of ref [1], which is formulated in terms of constrained fields.
Studying Courant algebroids on dg ringed manifolds, we observe that the associated Roytenberg-Weinstein $L_\infty$ algebra admits a local structure reminiscent of a shifted contact structure. On a dg ringed manifold with an $n$-orientation, its symplectification produces a sheaf of $(2-n)$-shifted symplectic formal moduli problems, which we call the Courant contact model. This construction can be interpreted as a ($\mathbb{Z}/2\mathbb{Z}$-graded) theory in the Batalin-Vilkovisky formalism whenever $n$ is odd. After developing the procedure of reduction and extension of scalars, we show how twisted backgrounds in type I supergravity naturally lead to Courant algebroids over the Dolbeault complex. Specialising to the case of a Calabi-Yau fivefold, we show that the Courant contact model for that Courant algebroid is equivalent to a central extension of minimal type I BCOV theory. Inspired by this, we extend the conjecture of Costello and Li and place it within the setting of generalized geometry, conjecturing a description of the BV formulation of type I supergravity in general twisted backgrounds.
We provide full details of a BV formulation of $\mathcal N=1$ supergravity in ten dimensions, to all orders in fermions, built from the generalised geometry description of the theory. In contrast to standard treatments, we introduce neither the degrees of freedom corresponding to orthonormal frames for the metric nor the local Lorentz symmetries that remove them again. Instead, we observe that the field space has a fibred structure, with the fermionic degrees of freedom spanning the fibres. We explain in detail how this geometric picture allows one to understand simultaneous variations of spinorial quantities and the metric with respect to which the spinor bundles are defined. This leads to additional terms in certain commutators on field space which account for the Lorentz transformation terms appearing in the calculation of the supersymmetry algebra. Unencumbered by the Lorentz degrees of freedom, we provide an efficient and full demonstration that our action satisfies the classical master equation.
We present a full Batalin-Vilkovisky action in the component field formalism for $\mathcal N=1$ supergravity in ten dimensions coupled to Yang-Mills multiplets.
We show that the generalised geometry formalism provides a new approach to the description of higher-fermion terms in $\mathcal N=1$ supergravity in ten dimensions, which does not appeal to supercovariantisation or superspace. We find expressions containing only five higher-fermion terms across the action and supersymmetry transformations, working in the second-order formalism.
It has been known for some time that generalised geometry provides a particularly elegant rewriting of the action and symmetries of 10-dimensional supergravity theories, up to the lowest nontrivial order in fermions. By exhibiting the full symmetry calculations in the second-order formalism, we show in the $\mathcal N=1$ case that this analysis can be upgraded to all orders in fermions and we obtain a strikingly simple form of the action as well as of the supersymmetry transformations, featuring overall only five higher-fermionic terms. Surprisingly, even after expressing the action in terms of classical (non-generalised geometric) variables one obtains a simplification of the usual formulae. This in particular confirms that generalised geometry provides the natural set of variables for studying (the massless level of) string theory. We also show how this new reformulation implies the compatibility of the Poisson-Lie T-duality with the equations of motion of the full supergravity theory.
The generalised-geometric formulation of 10-dimensional supergravity suggests a particular simple "limit", which results in a theory whose only dynamical degrees of freedom are the dilaton and the dilatino. The theory is still invariant both under generalised diffeomorphisms and a local supersymmetry and in many aspects is structurally similar to the original supergravity, which makes it a convenient playground for understanding more subtle aspects of the full physical setup. In particular, the simplicity and the geometric nature of the dilatonic theory allow us to build a full BV extension to all orders in the fermionic variables.
We consider a variety of physical systems in which one has states that can be thought of as generalised instantons. These include Yang--Mills theories on manifolds with a torsion-free $G$-structure, analogous gravitational instantons and certain supersymmetric solutions of ten-dimensional supergravity, using their formulation as generalised $G$-structures on Courant algebroids. We provide a universal algebraic construction of a complex, which we call the BPS complex, that computes the infinitesimal moduli space of the instanton as one of its cohomologies. We call a class of these spinor type complexes, which are closely connected to supersymmetric systems, and show how their Laplacians have nice properties. In the supergravity context, the BPS complex becomes a double complex, in a way that corresponds to the left- and right-moving sectors of the string, and becomes much like the double complex of $(p,q)$-forms on a K\"ahler manifold. If the BPS complex has a symplectic inner product, one can write down an associated linearised BV Chern--Simons theory, which reproduces several classic examples in gauge theory. We discuss applications to (quasi-)topological string theories and heterotic superpotential functionals, whose quadratic parts can also be constructed naturally from the BPS complex.
We develop a theory of Ricci flow for metrics on Courant algebroids which unifies and extends the analytic theory of various geometric flows, yielding a general tool for constructing solutions to supergravity equations. We prove short time existence and uniqueness of solutions on compact manifolds, in turn showing that the Courant isometry group is preserved by the flow. We show a scalar curvature monotonicity formula and prove that generalized Ricci flow is a gradient flow, extending fundamental works of Hamilton and Perelman. Using these we show a convergence result for certain nonsingular solutions to generalized Ricci flow.
We define the notion of Y-algebroids, generalising the Lie, Courant, and exceptional algebroids that have been used to capture the local symmetry structure of type II string theory and M-theory compactifications to $D \geq 5$ dimensions. Instead of an invariant inner product, or its generalisation arising in exceptional algebroids, Y-algebroids are built around a specific type of tensor, denoted $Y$, that provides exactly the necessary properties to also describe compactifications to $D=4$ dimensions. We classify "M-exact" $E_7$-algebroids and show that this precisely matches the form of the generalised tangent space of $E_{7(7)} \times \mathbb{R}^+$-generalised geometry, with possible twists due to 1-, 4- and 7-form fluxes, corresponding physically to the derivative of the warp factor and the M-theory fluxes. We translate the notion of generalised Leibniz parallelisable spaces, relevant to consistent truncations, into this language, where they are mapped to so-called exceptional Manin pairs. We also show how to understand Poisson-Lie U-duality and exceptional complex structures using Y-algebroids.
We discuss a natural extension of the AKSZ construction to the case where the source is given by a supermanifold with a chosen integral form. We then focus on the special case with the target given by a Courant algebroid. In the simplest case this leads to the BV version of the super Chern-Simons theory, as developed by Grassi-Maccaferri and Cremonini-Grassi. In the case of exact Courant algebroids we derive the 2-dimensional $\mathcal N=(1,1)$ sigma model on the boundary, together with the Wess-Zumino term, paralleling the approach of \v{S}evera in the bosonic case.
We present a universal democratic Lagrangian for the bosonic sector of ten-dimensional type II supergravities, treating "electric" and "magnetic" potentials of all RR fields on equal footing. For type IIB, this includes the five-form whose self-duality equation is derived from the Lagrangian. We also present an alternative form of the action for type IIB, with manifest $SL(2,\mb R)$ symmetry.
We study exceptional algebroids in the context of warped compactifications of type IIA string theory down to $n$ dimensions, with $n\le 6$. In contrast to the M-theory and type IIB case, the relevant algebroids are no longer exact, and their locali moduli space is no longer trivial, but has $5$ distinct points. This relates to two possible scalar deformations of the IIA theory. The proof of the local classification shows that, in addition to these scalar deformations, one can twist the bracket using a pair of $1$-forms, a $2$-form, a $3$-form, and a $4$-form. Furthermore, we use the analysis to translate the classification of Leibniz parallelisable spaces (corresponding to maximally supersymmetric consistent truncations) into a tractable algebraic problem. We finish with a discussion of the Poisson-Lie U-duality and examples given by tori and spheres in $2$, $3$, and $4$ dimensions.
In this note we study exceptional algebroids, focusing on their relation to type IIB superstring theory. We show that a IIB-exact exceptional algebroid (corresponding to the group $E_{n(n)}\times \mathbb{R}^+$, for $n\le 6$) locally has a standard form given by the exceptional tangent bundle. We derive possible twists, given by a flat $\mathfrak{gl}(2,\mathbb{R})$-connection, a covariantly closed pair of 3-forms, and a 5-form, and comment on their physical interpretation. Using this analysis we reduce the search for Leibniz parallelisable spaces, and hence maximally supersymmetric consistent truncations, to a simple algebraic problem. We show that the exceptional algebroid perspective also gives a simple description of Poisson-Lie U-duality without spectators and hence of generalised Yang-Baxter deformations.
We introduce the notion of G-algebroid, generalising both Lie and Courant algebroids, as well as the algebroids used in $E_{n(n)}\times\mathbb{R}^+$ exceptional generalised geometry for $n\in\{3,\dots,6\}$. Focusing on the exceptional case, we prove a classification of "exact" algebroids and translate the related classification of Leibniz parallelisable spaces into a tractable algebraic problem. After discussing the general notion of Poisson-Lie duality, we show that the Poisson-Lie U-duality is compatible with the equations of motion of supergravity.
We define the notion of the Ricci tensor for NQ symplectic manifolds of degree 2 and show that it corresponds to the standard generalized Ricci tensor on Courant algebroids. We use an appropriate notion of connections compatible with the generalized metric on the graded manifold.
We give an interpretation of the holographic correspondence between two-dimensional $BF$ theory on the punctured disk with gauge group ${\rm PSL}(2,\mathbb R)$ and Schwarzian quantum mechanics in terms of a Drinfeld-Sokolov reduction. The latter, in turn, is equivalent to the presence of certain edge states imposing a first class constraint on the model. The constrained path integral localizes over exceptional Virasoro coadjoint orbits. The reduced theory is governed by the Schwarzian action functional generating a Hamiltonian $S^1$-action on the orbits. The partition function is given by a sum over topological sectors (corresponding to the exceptional orbits), each of which is computed by a formal Duistermaat-Heckman integral.