arXiv subjects

Christian Saemann

Publications and source records attributed to Christian Saemann.

At least 55 records · Page 3Linked to original sources

arXiv2018

Higher Gauge Theory with String 2-Groups

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.

math-ph↗

arXiv2018

Derived Brackets and Symmetries in Generalized Geometry and Double Field Theory

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.

hep-th↗

arXiv2017

The 2-Hilbert Space of a Prequantum Bundle Gerbe

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.

math-ph↗

arXiv2017

Supersymmetric Yang-Mills Theory as Higher Chern-Simons Theory

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.

hep-th↗

arXiv2016

$L_\infty$-Algebra Models and Higher Chern-Simons Theories

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.

hep-th↗

arXiv2016

Lectures on Higher Structures in M-Theory

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.

hep-th↗

arXiv2016

Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations

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.

hep-th↗

arXiv2016

On Twistors and Conformal Field Theories from Six Dimensions

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.

hep-th↗

arXiv2016

Generalized Higher Gauge Theory

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.

hep-th↗

arXiv2015

The Phase Diagram of Scalar Field Theory on the Fuzzy Disc

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.

hep-th↗

arXiv2015

Higher Poincare Lemma and Integrability

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.

hep-th↗

arXiv2015

Automorphisms of Strong Homotopy Lie Algebras of Local Observables

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.

hep-th↗

arXiv2015

Semistrict Higher Gauge Theory

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.

hep-th↗

arXiv2015

Bootstrapping Fuzzy Scalar Field Theory

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.

hep-th↗

arXiv2014

The ABJM Model is a Higher Gauge Theory

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.

hep-th↗

arXiv2014

Six-Dimensional Superconformal Field Theories from Principal 3-Bundles over Twistor Space

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.

hep-th↗

arXiv2014

Non-Abelian Tensor Multiplet Equations from Twistor Space

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.

hep-th↗

arXiv2014

Lie 2-algebra models

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.

hep-th↗