
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 3form 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 Uduality
invariant field theories.

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 preNQmanifold 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 2algebra and its
action on extended tensors. We also give appropriate notions of twistswhich
are required for global formulationsand of the torsion and Riemann tensors.
Finally, we show how the observed $\alpha'$corrections are interpreted
naturally in our framework.

We present an action for a sixdimensional superconformal field theory
containing a nonabelian 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 2algebra 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 selfdual strings. Our action can be written down for
each of the simply laced Dynkin diagrams, and each case reduces to a
fourdimensional supersymmetric YangMills theory with corresponding gauge Lie
algebra. Our action also reduces nicely to an M2brane model which is a
deformation of the ABJM model. While this action is certainly not the desired
M5brane model, we regard it as a key stepping stone towards a potential
construction of the (2,0)theory.

We give a complete and explicit description of the kinematical data of higher
gauge theory on principal 2bundles with the string 2group model of
SchommerPries as structure 2group. We start with a selfcontained review of
the weak 2category Bibun of Lie groupoids, bibundles and bibundle morphisms.
We then construct categories internal to Bibun, which allow us to define
principal 2bundles with 2groups internal to Bibun as structure 2groups.
Using these, we Liedifferentiate the 2group model of the string group and we
obtain the wellknown string Lie 2algebra. Generalizing the differentiation
process, we find MaurerCartan forms leading us to higher nonabelian Deligne
cohomology, encoding the kinematical data of higher gauge theory together with
their (finite) gauge symmetries. We end by discussing an example of nonabelian
selfdual strings in this setting.

Derived brackets as introduced and studied by KosmannSchwarzbach 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 wellestablished 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 2algebra of symmetries via antisymmetrized
derived brackets.

We construct a prequantum 2Hilbert space for any line bundle gerbe whose
DixmierDouady class is torsion. Analogously to usual prequantisation, this
2Hilbert space has the category of sections of the line bundle gerbe as its
underlying 2vector space. These sections are obtained as certain morphism
categories in Waldorf's version of the 2category 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 2Hilbert space. We discuss how these 2Hilbert
spaces fit various expectations from higher prequantisation. We then extend the
transgression functor to the full 2category of bundle gerbes and demonstrate
its compatibility with the additional structures introduced. We discuss various
aspects of KostantSouriau prequantisation in this setting, including its
dimensional reduction to ordinary prequantisation.

We observe that the string field theory actions for the topological sigma
models describe higher or categorified ChernSimons theories. These theories
yield dynamical equations for connective structures on higher principal
bundles. As a special case, we consider holomorphic higher ChernSimons theory
on the ambitwistor space of fourdimensional spacetime. In particular, we
propose a higher ambitwistor space action functional for maximally
supersymmetric YangMills theory.

We argue that the relevant higher gauge group for the nonabelian
generalization of the selfdual string equation is the string 2group. 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 2group is the string 2group.
We readily write down the explicit elementary solution to our equations, which
is the categorified analogue of the 't HooftPolyakov monopole. Our solution
passes all the relevant consistency checks; in particular, it is globally
defined on $\mathbb{R}^4$ and approaches the abelian selfdual string of charge
one at infinity. We note that our equations also arise as the BPS equations in
a recently proposed sixdimensional superconformal field theory and we show
that with our choice of higher gauge structure, the action of this theory can
be naturally reduced to fourdimensional supersymmetric YangMills theory.

We continue our study of zerodimensional field theories in which the fields
take values in a strong homotopy Lie algebra. In a first part, we review in
detail how higher ChernSimons theories arise in the AKSZformalism. 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 NambuPoisson 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.

These are notes for four lectures on higher structures in Mtheory as
presented at workshops at the Erwin Schroedinger Institute and Tohoku
University. The first lecture gives an overview of systems of multiple
M5branes 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 nonabelian 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 3Lie
algebras and Lie 2algebras.

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 selfcontained 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 sixdimensional
superconformal field theories via a PenroseWard transform of higher groupoid
bundles over a twistor space. This construction reduces the search for
nonAbelian selfdual tensor field equations in six dimensions to a search for
the appropriate (higher) gauge structure. The treatment aims to be accessible
to theoretical physicists.

We discuss chiral zerorestmass field equations on sixdimensional
spacetime from a twistorial point of view. Specifically, we present a detailed
cohomological analysis, develop both Penrose and PenroseWard transforms, and
analyse the corresponding contour integral formulae. We also give twistor space
action principles. We then dimensionally reduce the twistor space of
sixdimensional spacetime to obtain twistor formulations of various theories
in lower dimensions. Besides wellknown twistor spaces, we also find a novel
twistor space amongst these reductions, which turns out to be suitable for a
twistorial description of selfdual strings. For these reduced twistor spaces,
we explain the Penrose and PenroseWard transforms as well as contour integral
formulae.

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 2algebroid $TM\oplus T^*M$
over some manifold $M$ and a semistrict gauge Lie 2algebra. We discuss
generalized curvatures and their infinitesimal gauge transformations. Finite
gauge transformation as well as global kinematical data are then obtained from
principal 2bundles over 2spaces. As dynamical principle, we consider first
the canonical ChernSimons action for such a gauge theory. We then show that a
previously proposed 3Lie algebra model for the sixdimensional (2,0) theory is
very naturally interpreted as a generalized higher gauge theory.

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.

We prove the nonabelian 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.

There is a wellestablished 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 2plectic manifold,
the resulting Lie 2algebra is isomorphic to a sub Lie 2algebra of a natural
Lie 2algebra structure on an exact Courant algebroid. We generalize this
statement to arbitrary nplectic manifolds and study automorphisms on the
arising Lie nalgebras. Our observations may be useful in studying the
quantization problem on multisymplectic manifolds.

We develop semistrict higher gauge theory from first principles. In
particular, we describe the differential Deligne cohomology underlying
semistrict principal 2bundles with connective structures. Principal 2bundles
are obtained in terms of weak 2functors from the Cech groupoid to weak Lie
2groups. As is demonstrated, some of these Lie 2groups can be differentiated
to semistrict Lie 2algebras by a method due to Severa. We further derive the
full description of connective structures on semistrict principal 2bundles
including the nonlinear gauge transformations. As an application, we use a
twistor construction to derive superconformal constraint equations in six
dimensions for a nonAbelian N=(2,0) tensor multiplet taking values in a
semistrict Lie 2algebra.

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 hightemperature 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.

M2branes couple to a 3form potential, which suggests that their description
involves a nonabelian 2gerbe or, equivalently, a principal 3bundle. We show
that current M2brane 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.

We construct manifestly superconformal field theories in six dimensions which
contain a nonAbelian tensor multiplet. In particular, we show how principal
3bundles over a suitable twistor space encode solutions to these selfdual
tensor field theories via a PenroseWard transform. The resulting higher or
categorified gauge theories significantly generalise those obtained previously
from principal 2bundles in that the socalled Peiffer identity is relaxed in a
systematic fashion. This transform also exposes various unexplored structures
of higher gauge theories modelled on principal 3bundles such as the relevant
gauge transformations. This enables us to formulate the nonAbelian
differential cohomology that describes principal 3bundles with connective
structures.

We establish a PenroseWard transform yielding a bijection between
holomorphic principal 2bundles over a twistor space and nonAbelian selfdual
tensor fields on sixdimensional flat spacetime. Extending the twistor space
to supertwistor space, we derive sets of manifestly N=(1,0) and N=(2,0)
supersymmetric nonAbelian constraint equations containing the tensor
multiplet. We also demonstrate how this construction leads to constraint
equations for nonAbelian supersymmetric selfdual strings.

In this paper, we begin the study of zerodimensional field theories with
fields taking values in a semistrict Lie 2algebra. These theories contain the
IKKT matrix model and various Mbrane related models as special cases. They
feature solutions that can be interpreted as quantized 2plectic manifolds. In
particular, we find solutions corresponding to quantizations of R^3, S^3 and a
fivedimensional Hppwave. Moreover, by expanding a certain class of Lie
2algebra models around the solution corresponding to quantized R^3, we obtain
higher BFtheory on this quantized space.

We present and discuss explicit solutions to the nonabelian selfdual string
equation as well as to the nonabelian selfduality equation in six dimensions.
These solutions are generalizations of the 't HooftPolyakov monopole and the
BPST instanton to higher gauge theory. We expect that these solutions are
relevant to the effective description of M2 and M5branes.

We analyze the gauge structure of a recently proposed superconformal field
theory in six dimensions. We find that this structure amounts to a weak
CourantDorfman 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 2algebra of an abelian gerbe, differential crossed
modules, the 3algebras of M2brane models and string Lie 2algebras.

We describe the quantization of 2plectic manifolds as they arise in the
context of the quantum geometry of Mbranes and nongeometric 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 2plectic 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 Mtheory.