• 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 non-geometric flux backgrounds, which naturally allows for representations of nonassociative magnetic translation operators. We show how one can use the 2-Hilbert 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 2-representations of the translation group on this 2-Hilbert 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 Kane-Mele invariant for gapped fermionic quantum systems in three dimensions with time-reversal symmetry. We show that the invariant is related to a certain 4-equivalence which lends it an interpretation as an obstruction to a block decomposition of the sewing matrix up to nonequivariant homotopy. We prove a Mayer-Vietoris 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 Kane-Mele 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 Kane-Mele 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 Freed-Moore theory of band insulators on Galilean spacetimes with emphasis on geometric constructions, and present a bottom-up approach to time-reversal symmetric topological phases.
  • 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.
  • We present a construction of a 2-Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2-Hilbert space in higher geometric quantisation. We introduce a direct sum on the morphism categories in the 2-category 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 rig-category, 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 two-variable adjunction for the aforementioned rig-module 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 rig-module structure over the category of finite-dimensional Hilbert spaces. A suitable definition of 2-Hilbert spaces is given, modifying previous definitions by the use of two-variable adjunctions. We prove that the category of sections of a bundle gerbe fits into this framework, thus obtaining a 2-Hilbert 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 2-Hilbert spaces of sections and dimensional reduction very explicit.
  • We elaborate on the construction of a prequantum 2-Hilbert space from a bundle gerbe over a 2-plectic manifold, providing the first steps in a program of higher geometric quantisation of closed strings in flux compactifications and of M5-branes in C-fields. We review in detail the construction of the 2-category of bundle gerbes, and introduce the higher geometrical structures necessary to turn their categories of sections into 2-Hilbert spaces. We work out several explicit examples of 2-Hilbert spaces in the context of closed strings and M5-branes on flat space. We also work out the prequantum 2-Hilbert space associated to an M-theory 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 M-theory to string theory in these settings as a map from 2-isomorphism 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 G-structures via the right action on the frame bundle in a base-point-dependent manner. We investigate which of these deformations again lead to G-structures and in which cases the original and the deformed G-structures define the same instantons. Further, we construct a bijection from connections compatible with the original G-structure to those compatible with the deformed G-structure and investigate the change of intrinsic torsion under the aforementioned deformations. Finally, we consider several examples.
  • We present a general procedure to construct 6-dimensional manifolds with SU(3)-structure from SU(2)-structure 5-manifolds. We thereby obtain half-flat cylinders and sine-cones over 5-manifolds with Sasaki-Einstein SU(2)-structure. They are nearly Kahler in the special case of sine-cones over Sasaki-Einstein 5-manifolds. Both half-flat and nearly Kahler 6-manifolds are prominent in flux compactifications of string theory. Subsequently, we investigate instanton equations for connections on vector bundles over these half-flat manifolds. A suitable ansatz for gauge fields on these 6-manifolds 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 sine-cones over Sasaki-Einstein and 3-Sasakian 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 sine-cone over 3-Sasakian manifolds allows one to introduce a hyper-K"ahler with torsion (HKT) structure. In the large-volume limit these KT and HKT spaces become Calabi-Yau and hyper-K"ahler conifolds, respectively. We construct gauge connections on complex vector bundles over conical KT and HKT manifolds which solve the instanton equations for Yang-Mills fields in higher dimensions.