
We suggest a geometric approach to quantisation of the twisted Poisson
structure underlying the dynamics of charged particles in fields of generic
smooth distributions of magnetic charge, and dually of closed strings in
locally nongeometric flux backgrounds, which naturally allows for
representations of nonassociative magnetic translation operators. We show how
one can use the 2Hilbert space of sections of a bundle gerbe in a putative
framework for canonical quantisation. We define a parallel transport on bundle
gerbes on $\mathbb{R}^d$ and show that it naturally furnishes weak projective
2representations of the translation group on this 2Hilbert space. We obtain a
notion of covariant derivative on a bundle gerbe and a novel perspective on the
fake curvature condition.

We present homotopy theoretic and geometric interpretations of the KaneMele
invariant for gapped fermionic quantum systems in three dimensions with
timereversal symmetry. We show that the invariant is related to a certain
4equivalence which lends it an interpretation as an obstruction to a block
decomposition of the sewing matrix up to nonequivariant homotopy. We prove a
MayerVietoris Theorem for manifolds with $\mathbb{Z}_2$actions which
intertwines Real and $\mathbb{Z}_2$equivariant de Rham cohomology groups, and
apply it to derive a new localisation formula for the KaneMele invariant. This
provides a unified cohomological explanation for the equivalence between the
discrete Pfaffian formula and the known local geometric computations of the
index for periodic lattice systems. We build on the relation between the
KaneMele invariant and the theory of bundle gerbes with $\mathbb{Z}_2$actions
to obtain geometric refinements of this obstruction and localisation technique.
In the preliminary part we review the FreedMoore theory of band insulators on
Galilean spacetimes with emphasis on geometric constructions, and present a
bottomup approach to timereversal symmetric topological phases.

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 present a construction of a 2Hilbert space of sections of a bundle gerbe,
a suitable candidate for a prequantum 2Hilbert space in higher geometric
quantisation. We introduce a direct sum on the morphism categories in the
2category of bundle gerbes and show that these categories are cartesian
monoidal and abelian. Endomorphisms of the trivial bundle gerbe, or higher
functions, carry the structure of a rigcategory, which acts on generic
morphism categories of bundle gerbes. We continue by presenting a
categorification of the hermitean metric on a hermitean line bundle. This is
achieved by introducing a functorial dual that extends the dual of vector
bundles to morphisms of bundle gerbes, and constructing a twovariable
adjunction for the aforementioned rigmodule category structure on morphism
categories. Its right internal hom is the module action, composed by taking the
dual of higher functions, while the left internal hom is interpreted as a
bundle gerbe metric. Sections of bundle gerbes are defined as morphisms from
the trivial bundle gerbe to a given bundle gerbe. The resulting categories of
sections carry a rigmodule structure over the category of finitedimensional
Hilbert spaces. A suitable definition of 2Hilbert spaces is given, modifying
previous definitions by the use of twovariable adjunctions. We prove that the
category of sections of a bundle gerbe fits into this framework, thus obtaining
a 2Hilbert space of sections. In particular, this can be constructed for
prequantum bundle gerbes in problems of higher geometric quantisation. We
define a dimensional reduction functor and show that the categorical structures
introduced on bundle gerbes naturally reduce to their counterparts on hermitean
line bundles with connections. In several places in this thesis, we provide
examples, making 2Hilbert spaces of sections and dimensional reduction very
explicit.

We elaborate on the construction of a prequantum 2Hilbert space from a
bundle gerbe over a 2plectic manifold, providing the first steps in a program
of higher geometric quantisation of closed strings in flux compactifications
and of M5branes in Cfields. We review in detail the construction of the
2category of bundle gerbes, and introduce the higher geometrical structures
necessary to turn their categories of sections into 2Hilbert spaces. We work
out several explicit examples of 2Hilbert spaces in the context of closed
strings and M5branes on flat space. We also work out the prequantum 2Hilbert
space associated to an Mtheory lift of closed strings described by an
asymmetric cyclic orbifold of the SU(2) WZW model, providing an example of
sections of a torsion gerbe on a curved background. We describe the dimensional
reduction of Mtheory to string theory in these settings as a map from
2isomorphism classes of sections of bundle gerbes to sections of corresponding
line bundles, which is compatible with the respective monoidal structures and
module actions.

We consider deformations of Gstructures via the right action on the frame
bundle in a basepointdependent manner. We investigate which of these
deformations again lead to Gstructures and in which cases the original and the
deformed Gstructures define the same instantons. Further, we construct a
bijection from connections compatible with the original Gstructure to those
compatible with the deformed Gstructure and investigate the change of
intrinsic torsion under the aforementioned deformations. Finally, we consider
several examples.

We present a general procedure to construct 6dimensional manifolds with
SU(3)structure from SU(2)structure 5manifolds. We thereby obtain halfflat
cylinders and sinecones over 5manifolds with SasakiEinstein SU(2)structure.
They are nearly Kahler in the special case of sinecones over SasakiEinstein
5manifolds. Both halfflat and nearly Kahler 6manifolds are prominent in flux
compactifications of string theory. Subsequently, we investigate instanton
equations for connections on vector bundles over these halfflat manifolds. A
suitable ansatz for gauge fields on these 6manifolds reduces the instanton
equation to a set of matrix equations. We finally present some of its solutions
and discuss the instanton configurations obtained this way.

We investigate instantons on sinecones over SasakiEinstein and 3Sasakian
manifolds. It is shown that these conical Einstein manifolds are K"ahler with
torsion (KT) manifolds admitting Hermitian connections with totally
antisymmetric torsion. Furthermore, a deformation of the metric on the
sinecone over 3Sasakian manifolds allows one to introduce a hyperK"ahler
with torsion (HKT) structure. In the largevolume limit these KT and HKT spaces
become CalabiYau and hyperK"ahler conifolds, respectively. We construct gauge
connections on complex vector bundles over conical KT and HKT manifolds which
solve the instanton equations for YangMills fields in higher dimensions.