Searcharxiv⌕ Search

arXiv subjects

Charles Strickland-Constable

Publications and source records attributed to Charles Strickland-Constable.

At least 19 recordsLinked to original sources
arXiv2026

Kodaira-Spencer theory for flux backgrounds

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.

hep-th↗
arXiv2026

Holomorphic supergravity in ten dimensions and anomaly cancellation

We formulate a ten-dimensional version of Kodaira-Spencer gravity on a Calabi-Yau five-fold that reproduces the classical Maurer-Cartan equation governing supersymmetric heterotic moduli. Quantising this theory's quadratic fluctuations, we show that its one-loop partition function simplifies to products of holomorphic Ray-Singer torsions and exhibits an anomaly that factorises as in $SO(32)$ and $E_8\times E_8$ supergravity. Based on this, we conjecture that this theory is the $SU(5)$-twisted version of ten-dimensional $N=1$ supergravity coupled to Yang-Mills and show that is related to the type I Kodaira-Spencer theory of Costello-Li via a non-local field redefinition. The counter-terms needed to cancel the anomaly and retain gauge invariance for the one-loop effective theory reconstruct the differential of a recently discovered double-extension complex. This complex has non-tensorial extension classes and its first cohomology counts the infinitesimal moduli of heterotic compactifications modulo order $α'^2$ corrections.

hep-th↗
arXiv2026

Kodaira-Spencer theory for Courant algebroids

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.

math-ph↗
arXiv2025

Geometry of supergravity and the Batalin--Vilkovisky formulation of the $\mathcal N=1$ theory in ten dimensions

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.

hep-th↗
arXiv2025

Higher fermions in supergravity

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.

hep-th↗
arXiv2025

Direct derivation of $\mathcal N=1$ supergravity in ten dimensions to all orders in fermions

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.

hep-th↗
arXiv2024

Supergravity without gravity and its BV formulation

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.

hep-th↗
arXiv2024

BPS complexes and Chern--Simons theories from $G$-structures in gauge theory and gravity

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ähler 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.

hep-th↗
arXiv2024

Ricci flow on Courant algebroids

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.

math.DG↗
arXiv2023

A heterotic Kodaira-Spencer theory at one-loop

We consider a heterotic version of six-dimensional Kodaira-Spencer gravity derived from the heterotic superpotential. We compute the one-loop partition function and find it can be expressed as a product of holomorphic Ray-Singer torsions. We discuss its topological properties and potential gauge and gravitational anomalies. We show these anomalies can be cancelled using Green-Schwarz-like counter-terms. We also discuss the dependence on the background geometry, and in particular the choice of hermitian metric needed for quantisation. Given suitable topological constraints, this dependence may again be cancelled by the addition of purely background-dependent counter-terms. We also explain how our methods provide the one-loop partition functions of a large class of more general holomorphic field theories in terms of holomorphic Ray-Singer torsions.

hep-th↗
arXiv2021

Topological G$_{2}$ and Spin(7) strings at 1-loop from double complexes

We study the topological $G_2$ and $Spin(7)$ strings at 1-loop. We define new double complexes for supersymmetric NSNS backgrounds of string theory using generalised geometry. The 1-loop partition function then has a target-space interpretation as a particular alternating product of determinants of Laplacians, which we have dubbed the analytic torsion. In the case without flux where these backgrounds have special holonomy, we reproduce the worldsheet calculation of the $G_2$ string and give a new prediction for the $Spin(7)$ string. We also comment on connections with topological strings on Calabi-Yau and K3 backgrounds.

hep-th↗
arXiv2021

Classical worldvolumes as generalised geodesics

It is a standard result that the integral curves of an auto-parallel vector field are geodesics which, for null and timelike vectors, are the paths of freely-falling particles in general relativity. We introduce a definition of an "auto-parallel" generalised vector field and show that it gives the analogous statements for the classical worldvolumes of strings and branes in arbitrary background field configurations. This appears to give a unified description of the worldvolume equations of strings and branes, similar to the way that generalised geometry provides a unified description of maximal supergravity theories. We present details of the cases of string worldsheets in $O(10,10)$ generalised geometry and M2 branes restricted to the four dimensions of $SL(5,\mathbb{R})\times\mathbb{R}^+$ generalised geometry. A key quantity is the infinitesimal flow of the conjugate momentum along the generalised tangent vector, which is equated to the gradient of the Hamiltonian, viewed as a function on spacetime.

hep-th↗
arXiv2020

Heterotic backgrounds via generalised geometry: moment maps and moduli

We describe the geometry of generic heterotic backgrounds preserving minimal supersymmetry in four dimensions using the language of generalised geometry. They are characterised by an $SU(3)\times Spin(6+n)$ structure within $O(6,6+n)\times\mathbb{R}^+$ generalised geometry. Supersymmetry of the background is encoded in the existence of an involutive subbundle of the generalised tangent bundle and the vanishing of a moment map for the action of diffeomorphisms and gauge symmetries. We give both the superpotential and the Kähler potential for a generic background, showing that the latter defines a natural Hitchin functional for heterotic geometries. Intriguingly, this formulation suggests new connections to geometric invariant theory and an extended notion of stability. Finally we show that the analysis of infinitesimal deformations of these geometric structures naturally reproduces the known cohomologies that count the massless moduli of supersymmetric heterotic backgrounds.

hep-th↗
arXiv2020

On symmetries and dynamics of exotic supermultiplets

Among the allowed representations of extended supersymmetry in six dimensions there are exotic chiral multiplets that, instead of a graviton, contain mixed-symmetry spin-2 tensor fields. Notably, an $\mathcal{N}=(4,0)$ multiplet has a four index exotic graviton and it was conjectured that an interacting theory based on this multiplet could arise as a strong coupling limit of M theory compactified on $T^6$. We present an algebraic study of these multiplets and their possible embedding into the framework of exceptional field theory, finding in particular that the six-dimensional momenta do not correspond to a conventional spacetime section. When compactified on a circle, the six-dimensional multiplets give rise to the same degrees of freedom as five-dimensional supergravity theories with the same number of supersymmetries. However, by considering anomalies (computed using the product multiplets construction) and the generation of Chern-Simons couplings, we find reason to doubt that their dynamics will agree with the five-dimensional gravity theories. We propose an alternative picture, similar to F-theory, in which particular fixed-volume $T^3$-fibered spacetimes play a central role, suggesting that only on compactification to three-dimensions will one make contact with the dynamics of supergravity.

hep-th↗
arXiv2019

Generalising G$_\text{2}$ geometry: involutivity, moment maps and moduli

We analyse the geometry of generic Minkowski $\mathcal{N}=1$, $D=4$ flux compactifications in string theory, the default backgrounds for string model building. In M-theory they are the natural string theoretic extensions of $\mathrm{G}_2$ holonomy manifolds. In type II theories, they extend the notion of Calabi--Yau geometry and include the class of flux backgrounds based on generalised complex structures first considered by Graña et al. (GMPT). Using $\mathrm{E}_{7(7)}\times\mathbb{R}^+$ generalised geometry we show that these compactifications are characterised by an $\mathrm{SU}(7)\subset\mathrm{E}_{7(7)}$ structure defining an involutive subbundle of the generalised tangent space, and with a vanishing moment map, corresponding to the action of the diffeomorphism and gauge symmetries of the theory. The Kähler potential on the space of structures defines a natural extension of Hitchin's $\mathrm{G}_2$ functional. Using this framework we are able to count, for the first time, the massless scalar moduli of GMPT solutions in terms of generalised geometry cohomology groups. It also provides an intriguing new perspective on the existence of $G_{2}$ manifolds, suggesting possible connections to Geometrical Invariant Theory and stability.

hep-th↗
arXiv2019

Supergravity Fluxes and Generalised Geometry

We briefly review the description of the internal sector of supergravity theories in the language of generalised geometry and how this gives rise to a description of supersymmetric backgrounds as integrable geometric structures. We then review recent work, featuring holomorphic Courant algebroids, on the description of $\mathcal N=1$ heterotic flux vacua. This work studied the finite deformation problem of the Hull-Strominger system, guided by consideration of the superpotential functional on the relevant space of geometries. It rewrote the system in terms of the Maurer-Cartan set of a particular $L_\infty$-algebra associated to a holomorphic Courant algebroid, with the superpotential itself becoming an analogue of a holomorphic Chern-Simons functional.

hep-th↗
arXiv2018

Finite deformations from a heterotic superpotential: holomorphic Chern--Simons and an $L_\infty$ algebra

We consider finite deformations of the Hull--Strominger system. Starting from the heterotic superpotential, we identify complex coordinates on the off-shell parameter space. Expanding the superpotential around a supersymmetric vacuum leads to a third-order Maurer--Cartan equation that controls the moduli. The resulting complex effective action generalises that of both Kodaira--Spencer and holomorphic Chern--Simons theory. The supersymmetric locus of this action is described by an $L_3$ algebra.

hep-th↗