• ### Extended Riemannian Geometry I: Local Double Field Theory(1611.02772)

July 2, 2018 hep-th, math.DG, math-ph, math.MP
We present an extended version of Riemannian geometry suitable for the description of current formulations of double field theory (DFT). This framework is based on graded manifolds and it yields extended notions of symmetries, dynamical data and constraints. In special cases, we recover general relativity with and without 1-, 2- and 3-form gauge potentials as well as DFT. We believe that our extended Riemannian geometry helps to clarify the role of various constructions in DFT. For example, it leads to a covariant form of the strong section condition. Furthermore, it should provide a useful step towards global and coordinate invariant descriptions of T- and U-duality invariant field theories.
• ### Extended Riemannian Geometry II: Local Heterotic Double Field Theory(1711.03308)

April 23, 2018 hep-th, math-ph, math.MP
We continue our exploration of local Double Field Theory (DFT) in terms of symplectic graded manifolds carrying compatible derivations and study the case of heterotic DFT. We start by developing in detail the differential graded manifold that captures heterotic Generalized Geometry which leads to new observations on the generalized metric and its twists. We then give a symplectic pre-NQ-manifold that captures the symmetries and the geometry of local heterotic DFT. We derive a weakened form of the section condition, which arises algebraically from consistency of the symmetry Lie 2-algebra and its action on extended tensors. We also give appropriate notions of twists-which are required for global formulations-and of the torsion and Riemann tensors. Finally, we show how the observed $\alpha'$-corrections are interpreted naturally in our framework.
• ### Towards an M5-Brane Model I: A 6d Superconformal Field Theory(1712.06623)

April 5, 2018 hep-th, math-ph, math.MP
We present an action for a six-dimensional superconformal field theory containing a non-abelian tensor multiplet. All of the ingredients of this action have been available in the literature. We bring these pieces together by choosing the string Lie 2-algebra as a gauge structure, which we motivated in previous work. The kinematical data contains a connection on a categorified principal bundle, which is the appropriate mathematical description of the parallel transport of self-dual strings. Our action can be written down for each of the simply laced Dynkin diagrams, and each case reduces to a four-dimensional supersymmetric Yang--Mills theory with corresponding gauge Lie algebra. Our action also reduces nicely to an M2-brane model which is a deformation of the ABJM model. While this action is certainly not the desired M5-brane model, we regard it as a key stepping stone towards a potential construction of the (2,0)-theory.
• ### Higher Gauge Theory with String 2-Groups(1602.03441)

March 30, 2018 hep-th, math.DG, math-ph, math.MP
We give a complete and explicit description of the kinematical data of higher gauge theory on principal 2-bundles with the string 2-group model of Schommer-Pries as structure 2-group. We start with a self-contained review of the weak 2-category Bibun of Lie groupoids, bibundles and bibundle morphisms. We then construct categories internal to Bibun, which allow us to define principal 2-bundles with 2-groups internal to Bibun as structure 2-groups. Using these, we Lie-differentiate the 2-group model of the string group and we obtain the well-known string Lie 2-algebra. Generalizing the differentiation process, we find Maurer-Cartan forms leading us to higher non-abelian Deligne cohomology, encoding the kinematical data of higher gauge theory together with their (finite) gauge symmetries. We end by discussing an example of non-abelian self-dual strings in this setting.
• ### Derived Brackets and Symmetries in Generalized Geometry and Double Field Theory(1803.01659)

March 5, 2018 hep-th, math-ph, math.MP
Derived brackets as introduced and studied by Kosmann-Schwarzbach and Voronov are a powerful tool for describing and understanding infinitesimal symmetry actions relevant in physics. Roytenberg and Weinstein showed that this continues to hold for the categorified symmetries arising in Hitchin's generalized geometry. After reviewing some well-established examples, we prove that derived brackets also underlie the symmetries of Double Field Theory and heterotic Double Field Theory. This leads to a common framework for large classes of symmetries, which suggests that derived bracket constructions can function as a guiding principle in the description of infinitesimal actions of symmetries in physics. As a new result, we present sufficient conditions on a bracket to give rise to a Lie 2-algebra of symmetries via antisymmetrized derived brackets.
• ### The 2-Hilbert Space of a Prequantum Bundle Gerbe(1608.08455)

We construct a prequantum 2-Hilbert space for any line bundle gerbe whose Dixmier-Douady class is torsion. Analogously to usual prequantisation, this 2-Hilbert space has the category of sections of the line bundle gerbe as its underlying 2-vector space. These sections are obtained as certain morphism categories in Waldorf's version of the 2-category of line bundle gerbes. We show that these morphism categories carry a monoidal structure under which they are semisimple and abelian. We introduce a dual functor on the sections, which yields a closed structure on the morphisms between bundle gerbes and turns the category of sections into a 2-Hilbert space. We discuss how these 2-Hilbert spaces fit various expectations from higher prequantisation. We then extend the transgression functor to the full 2-category of bundle gerbes and demonstrate its compatibility with the additional structures introduced. We discuss various aspects of Kostant-Souriau prequantisation in this setting, including its dimensional reduction to ordinary prequantisation.
• ### Supersymmetric Yang-Mills Theory as Higher Chern-Simons Theory(1702.04160)

July 26, 2017 hep-th, math-ph, math.MP
We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitwistor space action functional for maximally supersymmetric Yang-Mills theory.
• ### The Non-Abelian Self-Dual String and the (2,0)-Theory(1705.02353)

June 6, 2017 hep-th, math.DG, math-ph, math.MP
We argue that the relevant higher gauge group for the non-abelian generalization of the self-dual string equation is the string 2-group. We then derive the corresponding equations of motion and discuss their properties. The underlying geometric picture is a string structure, i.e. a categorified principal bundle with connection whose structure 2-group is the string 2-group. We readily write down the explicit elementary solution to our equations, which is the categorified analogue of the 't Hooft-Polyakov monopole. Our solution passes all the relevant consistency checks; in particular, it is globally defined on $\mathbb{R}^4$ and approaches the abelian self-dual string of charge one at infinity. We note that our equations also arise as the BPS equations in a recently proposed six-dimensional superconformal field theory and we show that with our choice of higher gauge structure, the action of this theory can be naturally reduced to four-dimensional supersymmetric Yang-Mills theory.
• ### $L_\infty$-Algebra Models and Higher Chern-Simons Theories(1511.08201)

Oct. 10, 2016 hep-th, math-ph, math.MP
We continue our study of zero-dimensional field theories in which the fields take values in a strong homotopy Lie algebra. In a first part, we review in detail how higher Chern-Simons theories arise in the AKSZ-formalism. These theories form a universal starting point for the construction of $L_\infty$-algebra models. We then show how to describe superconformal field theories and how to perform dimensional reductions in this context. In a second part, we demonstrate that Nambu-Poisson and multisymplectic manifolds are closely related via their Heisenberg algebras. As a byproduct of our discussion, we find central Lie $p$-algebra extensions of $\mathfrak{so}(p+2)$. Finally, we study a number of $L_\infty$-algebra models which are physically interesting and which exhibit quantized multisymplectic manifolds as vacuum solutions.
• ### Lectures on Higher Structures in M-Theory(1609.09815)

Sept. 30, 2016 hep-th, math.DG, math-ph, math.MP, math.CT
These are notes for four lectures on higher structures in M-theory as presented at workshops at the Erwin Schroedinger Institute and Tohoku University. The first lecture gives an overview of systems of multiple M5-branes and introduces the relevant mathematical structures underlying a local description of higher gauge theory. In the second lecture, we develop the corresponding global picture. A construction of non-abelian superconformal gauge theories in six dimensions using twistor spaces is discussed in the third lecture. The last lecture deals with the problem of higher quantization and its relation to loop space. An appendix summarizes the relation between 3-Lie algebras and Lie 2-algebras.
• ### Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations(1604.01639)

Aug. 24, 2016 hep-th, math.DG, math-ph, math.MP
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of $(\infty,1)$-categories. We then discuss principal bundles in terms of simplicial maps and their homotopies. We explain in detail a differentiation procedure, suggested by Severa, that maps higher groupoids to $L_\infty$-algebroids. Generalising this procedure, we define connections for higher groupoid bundles. As an application, we obtain six-dimensional superconformal field theories via a Penrose-Ward transform of higher groupoid bundles over a twistor space. This construction reduces the search for non-Abelian self-dual tensor field equations in six dimensions to a search for the appropriate (higher) gauge structure. The treatment aims to be accessible to theoretical physicists.
• ### On Twistors and Conformal Field Theories from Six Dimensions(1111.2539)

Aug. 24, 2016 hep-th, math-ph, math.MP
We discuss chiral zero-rest-mass field equations on six-dimensional space-time from a twistorial point of view. Specifically, we present a detailed cohomological analysis, develop both Penrose and Penrose-Ward transforms, and analyse the corresponding contour integral formulae. We also give twistor space action principles. We then dimensionally reduce the twistor space of six-dimensional space-time to obtain twistor formulations of various theories in lower dimensions. Besides well-known twistor spaces, we also find a novel twistor space amongst these reductions, which turns out to be suitable for a twistorial description of self-dual strings. For these reduced twistor spaces, we explain the Penrose and Penrose-Ward transforms as well as contour integral formulae.
• ### Generalized Higher Gauge Theory(1512.07554)

April 12, 2016 hep-th, math-ph, math.MP
We study a generalization of higher gauge theory which makes use of generalized geometry and seems to be closely related to double field theory. The local kinematical data of this theory is captured by morphisms of graded manifolds between the canonical exact Courant Lie 2-algebroid $TM\oplus T^*M$ over some manifold $M$ and a semistrict gauge Lie 2-algebra. We discuss generalized curvatures and their infinitesimal gauge transformations. Finite gauge transformation as well as global kinematical data are then obtained from principal 2-bundles over 2-spaces. As dynamical principle, we consider first the canonical Chern-Simons action for such a gauge theory. We then show that a previously proposed 3-Lie algebra model for the six-dimensional (2,0) theory is very naturally interpreted as a generalized higher gauge theory.
• ### The Phase Diagram of Scalar Field Theory on the Fuzzy Disc(1507.05978)

Nov. 18, 2015 hep-th, math-ph, math.MP
Using a recently developed bootstrapping method, we compute the phase diagram of scalar field theory on the fuzzy disc with quartic even potential. We find three distinct phases with second and third order phase transitions between them. In particular, we find that the second order phase transition happens approximately at a fixed ratio of the two coupling constants defining the potential. We compute this ratio analytically in the limit of large coupling constants. Our results qualitatively agree with previously obtained numerical results.
• ### Higher Poincare Lemma and Integrability(1406.5342)

Aug. 28, 2015 hep-th, math.DG, math-ph, math.MP
We prove the non-abelian Poincare lemma in higher gauge theory in two different ways. The first method uses a result by Jacobowitz which states solvability conditions for differential equations of a certain type. The second method extends a proof by Voronov and yields the explicit gauge parameters connecting a flat local connective structure to the trivial one. Finally, we show how higher flatness appears as a necessary integrability condition of a linear system which featured in recently developed twistor descriptions of higher gauge theories.
• ### Automorphisms of Strong Homotopy Lie Algebras of Local Observables(1507.00972)

July 3, 2015 hep-th, math-ph, math.MP, math.SG
There is a well-established procedure of assigning a strong homotopy Lie algebra of local observables to a multisymplectic manifold which can be regarded as part of a categorified Poisson structure. For a 2-plectic manifold, the resulting Lie 2-algebra is isomorphic to a sub Lie 2-algebra of a natural Lie 2-algebra structure on an exact Courant algebroid. We generalize this statement to arbitrary n-plectic manifolds and study automorphisms on the arising Lie n-algebras. Our observations may be useful in studying the quantization problem on multisymplectic manifolds.
• ### Semistrict Higher Gauge Theory(1403.7185)

April 29, 2015 hep-th, math.DG, math-ph, math.MP, math.CT
We develop semistrict higher gauge theory from first principles. In particular, we describe the differential Deligne cohomology underlying semistrict principal 2-bundles with connective structures. Principal 2-bundles are obtained in terms of weak 2-functors from the Cech groupoid to weak Lie 2-groups. As is demonstrated, some of these Lie 2-groups can be differentiated to semistrict Lie 2-algebras by a method due to Severa. We further derive the full description of connective structures on semistrict principal 2-bundles including the non-linear gauge transformations. As an application, we use a twistor construction to derive superconformal constraint equations in six dimensions for a non-Abelian N=(2,0) tensor multiplet taking values in a semistrict Lie 2-algebra.
• ### Bootstrapping Fuzzy Scalar Field Theory(1412.6255)

April 13, 2015 hep-th, math-ph, math.MP
We describe a new way of rewriting the partition function of scalar field theory on fuzzy complex projective spaces as a solvable multitrace matrix model. This model is given as a perturbative high-temperature expansion. At each order, we present an explicit analytic expression for most of the arising terms; the remaining terms are computed explicitly up to fourth order. The method presented here can be applied to any model of hermitian matrices. Our results confirm constraints previously derived for the multitrace matrix model by Polychronakos. A further implicit expectation about the shape of the multitrace terms is however shown not to be true.
• ### The ABJM Model is a Higher Gauge Theory(1311.1997)

Sept. 3, 2014 hep-th, math-ph, math.MP
M2-branes couple to a 3-form potential, which suggests that their description involves a non-abelian 2-gerbe or, equivalently, a principal 3-bundle. We show that current M2-brane models fit this expectation: they can be reformulated as higher gauge theories on such categorified bundles. We thus add to the still very sparse list of physically interesting higher gauge theories.
• ### Six-Dimensional Superconformal Field Theories from Principal 3-Bundles over Twistor Space(1305.4870)

July 9, 2014 hep-th, math.DG, math-ph, math.MP
We construct manifestly superconformal field theories in six dimensions which contain a non-Abelian tensor multiplet. In particular, we show how principal 3-bundles over a suitable twistor space encode solutions to these self-dual tensor field theories via a Penrose-Ward transform. The resulting higher or categorified gauge theories significantly generalise those obtained previously from principal 2-bundles in that the so-called Peiffer identity is relaxed in a systematic fashion. This transform also exposes various unexplored structures of higher gauge theories modelled on principal 3-bundles such as the relevant gauge transformations. This enables us to formulate the non-Abelian differential cohomology that describes principal 3-bundles with connective structures.
• ### Non-Abelian Tensor Multiplet Equations from Twistor Space(1205.3108)

May 6, 2014 hep-th, math.DG, math-ph, math.MP
We establish a Penrose-Ward transform yielding a bijection between holomorphic principal 2-bundles over a twistor space and non-Abelian self-dual tensor fields on six-dimensional flat space-time. Extending the twistor space to supertwistor space, we derive sets of manifestly N=(1,0) and N=(2,0) supersymmetric non-Abelian constraint equations containing the tensor multiplet. We also demonstrate how this construction leads to constraint equations for non-Abelian supersymmetric self-dual strings.
• ### Lie 2-algebra models(1308.4892)

April 16, 2014 hep-th, math-ph, math.MP
In this paper, we begin the study of zero-dimensional field theories with fields taking values in a semistrict Lie 2-algebra. These theories contain the IKKT matrix model and various M-brane related models as special cases. They feature solutions that can be interpreted as quantized 2-plectic manifolds. In particular, we find solutions corresponding to quantizations of R^3, S^3 and a five-dimensional Hpp-wave. Moreover, by expanding a certain class of Lie 2-algebra models around the solution corresponding to quantized R^3, we obtain higher BF-theory on this quantized space.
• ### Self-dual String and Higher Instanton Solutions(1312.5644)

Jan. 27, 2014 hep-th, math-ph, math.MP
We present and discuss explicit solutions to the non-abelian self-dual string equation as well as to the non-abelian self-duality equation in six dimensions. These solutions are generalizations of the 't Hooft-Polyakov monopole and the BPST instanton to higher gauge theory. We expect that these solutions are relevant to the effective description of M2- and M5-branes.
• ### Six-Dimensional (1,0) Superconformal Models and Higher Gauge Theory(1308.2622)

Nov. 26, 2013 hep-th, math-ph, math.MP
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.
• ### Groupoids, Loop Spaces and Quantization of 2-Plectic Manifolds(1211.0395)

Nov. 26, 2012 hep-th, math-ph, math.MP, math.QA, math.SG
We describe the quantization of 2-plectic manifolds as they arise in the context of the quantum geometry of M-branes and non-geometric flux compactifications of closed string theory. We review the groupoid approach to quantizing Poisson manifolds in detail, and then extend it to the loop spaces of 2-plectic manifolds, which are naturally symplectic manifolds. In particular, we discuss the groupoid quantization of the loop spaces of R^3, T^3 and S^3, and derive some interesting implications which match physical expectations from string theory and M-theory.