
We study quiver gauge theories on the round and squashed sevenspheres, and
orbifolds thereof. They arise by imposing $G$equivariance on the homogeneous
space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its SasakiEinstein
structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3Sasakian manifold. In
both cases we describe the equivariance conditions and the resulting quivers.
We further study the moduli spaces of instantons on the metric cones over these
spaces by using the known description for Hermitian YangMills instantons on
CalabiYau cones. It is shown that the moduli space of instantons on the
hyperKahler cone can be described as the intersection of three Hermitian
YangMills moduli spaces. We also study moduli spaces of translationally
invariant instantons on the metric cone $\mathbb{R}^8/\mathbb{Z}_k$ over
$S^7/\mathbb{Z}_k$.

We consider Real bundle gerbes on manifolds equipped with an involution and
prove that they are classified by their Real DixmierDouady class in
Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck
group of Real bundle gerbe modules is isomorphic to twisted KRtheory for a
torsion Real DixmierDouady class. Using these modules as building blocks, we
introduce geometric cycles for twisted KRhomology and prove that they generate
a realoriented generalised homology theory dual to twisted KRtheory for Real
closed manifolds, and more generally for Real finite CWcomplexes, for any Real
DixmierDouady class. This is achieved by defining an explicit natural
transformation to analytic twisted KRhomology and proving that it is an
isomorphism. Our model both refines and extends previous results by Wang and
BaumCareyWang to the Real setting. Our constructions further provide a new
framework for the classification of orientifolds in string theory, providing
precise conditions for orientifold lifts of Hfluxes and for orientifold
projections of open string states.

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 a concise overview of the physical and mathematical structures
underpinning the appearence of nonassociative deformations of geometry in
nongeometric string theory. Starting from a quick recap of the appearence of
noncommutative product and commutator deformations of geometry in open string
theory with $B$fields, we argue on physical principles that closed strings
should instead probe triproduct and tribracket deformations in backgrounds of
locally nongeometric fluxes. After describing the toy model of electric
charges moving in fields of smooth distributions of magnetic charge as a
physical introduction to the notions of nonassociative geometry, we review the
description of nongeometric fluxes in generalized geometry and double field
theory, and the worldsheet calculations suggesting the appearence of
nonassociative deformations, together with their caveats. We discuss how
algebroids and their associated AKSZ sigmamodels give a description of
nongeometric backgrounds in terms of higher geometry, and consider the
quantization of the membrane sigmamodel which geometrizes closed strings with
$R$flux. From this we derive an explicit nonassociative star product for the
quantum geometry of the closed string phase space, and apply it to derive the
triproducts that appear in conformal field theory correlation functions, to
describe a consistent treatment of nonassociative quantum mechanics, to
demonstrate quantitatively the coarsegraining of spacetime due to $R$flux,
and to describe the quantization of Nambu brackets. We also briefly review how
these constructions lead to a nonassociative theory of gravity, their uplifts
to nongeometric Mtheory, and the role played by $L_\infty$algebras in these
developments.

We use techniques from functorial quantum field theory to provide a geometric
description of the parity anomaly in fermionic systems coupled to background
gauge and gravitational fields on odddimensional spacetimes. We give an
explicit construction of a geometric cobordism bicategory which incorporates
general background fields in a stack, and together with the theory of symmetric
monoidal bicategories we use it to provide the concrete forms of invertible
extended quantum field theories which capture anomalies in both the path
integral and Hamiltonian frameworks. Specialising this situation by using the
extension of the AtiyahPatodiSinger index theorem to manifolds with corners
due to Loya and Melrose, we obtain a new Hamiltonian perspective on the parity
anomaly. We compute explicitly the 2cocycle of the projective representation
of the gauge symmetry on the quantum state space, which is defined in a
paritysymmetric way by suitably augmenting the standard chiral fermionic Fock
spaces with Lagrangian subspaces of zero modes of the Dirac Hamiltonian that
naturally appear in the index theorem. We describe the significance of our
constructions for the bulkboundary correspondence in a large class of
timereversal invariant gaugegravity symmetryprotected topological phases of
quantum matter with gapless charged boundary fermions, including the standard
topological insulator in 3+1 dimensions.

We construct a symplectic realisation of the twisted Poisson structure on the
phase space of an electric charge in the background of an arbitrary smooth
magnetic monopole density in three dimensions. We use the extended phase space
variables to study the classical and quantum dynamics of charged particles in
arbitrary magnetic fields by constructing a suitable Hamiltonian that
reproduces the Lorentz force law for the physical degrees of freedom. In the
sourcefree case the auxiliary variables can be eliminated via Hamiltonian
reduction, while for nonzero monopole densities they are necessary for a
consistent formulation and are related to the extra degrees of freedom usually
required in the Hamiltonian description of dissipative systems. We obtain new
perspectives on the dynamics of dyons and motion in the field of a Dirac
monopole, which can be formulated without Dirac strings. We compare our
associative phase space formalism with the approach based on nonassociative
quantum mechanics, reproducing extended versions of the characteristic
translation group threecocycles and minimal momentum space volumes, and prove
that the two approaches are formally equivalent. We also comment on the
implications of our symplectic realisation in the dual framework of
nongeometric string theory and double field theory.

We investigate geometric aspects of double field theory (DFT) and its
formulation as a doubled membrane sigmamodel. Starting from the standard
Courant algebroid over the phase space of an open membrane, we determine a
splitting and a projection to a subbundle that sends the Courant algebroid
operations to the corresponding operations in DFT. This describes precisely how
the geometric structure of DFT lies in between two Courant algebroids and is
reconciled with generalized geometry. We construct the membrane sigmamodel
that corresponds to DFT, and demonstrate how the standard Tduality orbit of
geometric and nongeometric flux backgrounds is captured by its action
functional in a unified way. This also clarifies the appearence of
noncommutative and nonassociative deformations of geometry in nongeometric
closed string theory. Gauge invariance of the DFT membrane sigmamodel is
compatible with the flux formulation of DFT and its strong constraint, whose
geometric origin is explained. Our approach leads to a new generalization of a
Courant algebroid, that we call a DFT algebroid and relate to other known
generalizations, such as preCourant algebroids and symplectic nearly Lie
2algebroids. We also describe the construction of a gaugeinvariant doubled
membrane sigmamodel that does not require imposing the strong constraint.

We consider AKSZ constructions of BV actions for closed topological
membranes, and their dimensional reductions to topological string sigmamodels.
Two inequivalent AKSZ constructions for topological membranes on
$G_2$manifolds are proposed, in each of which the two existing topological
membrane theories appear as different gauge fixed versions. Their dimensional
reductions give new AKSZ constructions for the topological Amodel, which on
further dimensional reduction gives an AKSZ formulation of supersymmetric
quantum mechanics. We show that the two AKSZ membrane models originate through
worldvolume dimensional reduction of a single AKSZ threebrane theory, which
gives the standard 2Courant bracket as the underlying derived bracket. Double
dimensional reduction of the twisted topological threebrane theory on a circle
yields the standard Courant sigmamodel for string theory with NSNS flux.

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 systematically develop the metric aspects of nonassociative differential
geometry tailored to the parabolic phase space model of constant locally
nongeometric closed string vacua, and use it to construct preliminary steps
towards a nonassociative theory of gravity on spacetime. We obtain explicit
expressions for the torsion, curvature, Ricci tensor and LeviCivita connection
in nonassociative Riemannian geometry on phase space, and write down Einstein
field equations. We apply this formalism to construct Rflux corrections to the
Ricci tensor on spacetime, and comment on the potential implications of these
structures in nongeometric string theory and double field theory.

We introduce a magnetic analogue of the sevendimensional nonassociative
octonionic Rflux algebra that describes the phase space of M2branes in
fourdimensional locally nongeometric Mtheory backgrounds. We show that these
two algebras are related by a Spin(7) automorphism of the 3algebra that
provides a covariant description of the eightdimensional Mtheory phase space.
We argue that this algebra also underlies the phase space of electrons probing
a smeared magnetic monopole in quantum gravity by showing that upon appropriate
contractions, the algebra reduces to the noncommutative algebra of a spin foam
model of threedimensional quantum gravity, or to the nonassociative algebra of
electrons in a background of uniform magnetic charge. We realise this setup in
Mtheory as Mwaves probing a delocalised KaluzaKlein monopole, and show that
this system also has a sevendimensional phase space. We suggest that the
smeared KaluzaKlein monopole is nongeometric because it cannot be described
by a local metric. This is the magnetic analogue of the local nongeometry of
the Rflux background and arises because the smeared KaluzaKlein monopole is
described by a U(1)gerbe rather than a U(1)fibration.

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 examine certain nonassociative deformations of quantum mechanics and
gravity in three dimensions related to the dynamics of electrons in uniform
distributions of magnetic charge. We describe a quantitative framework for
nonassociative quantum mechanics in this setting, which exhibits new effects
compared to ordinary quantum mechanics with sourceless magnetic fields, and the
extent to which these theoretical consequences may be experimentally testable.
We relate this theory to noncommutative Jordanian quantum mechanics, and show
that its underlying algebra can be obtained as a contraction of the alternative
algebra of octonions. The uncontracted octonion algebra conjecturally describes
a nonassociative deformation of threedimensional quantum gravity induced by
magnetic monopoles, which we propose is realised by a nongeometric
KaluzaKlein monopole background in Mtheory.

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 develop a sheaf theory approach to toric noncommutative geometry which
allows us to formalize the concept of mapping spaces between two toric
noncommutative spaces. As an application we study the `internalized'
automorphism group of a toric noncommutative space and show that its Lie
algebra has an elementary description in terms of braided derivations.

We describe the quantization of a fourdimensional locally nongeometric
Mtheory background dual to a twisted threetorus by deriving a phase space
star product for deformation quantization of quasiPoisson brackets related to
the nonassociative algebra of octonions. The construction is based on a choice
of $G_2$structure which defines a nonassociative deformation of the addition
law on the sevendimensional vector space of Fourier momenta. We demonstrate
explicitly that this star product reduces to that of the threedimensional
parabolic constant $R$flux model in the contraction of Mtheory to string
theory, and use it to derive quantum phase space uncertainty relations as well
as triproducts for the nonassociative geometry of the fourdimensional
configuration space. By extending the $G_2$structure to a $Spin(7)$structure,
we propose a 3algebra structure on the full eightdimensional M2brane phase
space which reduces to the quasiPoisson algebra after imposing a particular
gauge constraint, and whose deformation quantisation simultaneously encompasses
both the phase space star products and the configuration space triproducts. We
demonstrate how these structures naturally fit in with previous occurences of
3algebras in Mtheory.

We study differential cohomology on categories of globally hyperbolic
Lorentzian manifolds. The Lorentzian metric allows us to define a natural
transformation whose kernel generalizes Maxwell's equations and fits into a
restriction of the fundamental exact sequences of differential cohomology. We
consider smooth Pontryagin duals of differential cohomology groups, which are
subgroups of the character groups. We prove that these groups fit into smooth
duals of the fundamental exact sequences of differential cohomology and equip
them with a natural presymplectic structure derived from a generalized Maxwell
Lagrangian. The resulting presymplectic Abelian groups are quantized using the
CCRfunctor, which yields a covariant functor from our categories of globally
hyperbolic Lorentzian manifolds to the category of C*algebras. We prove that
this functor satisfies the causality and timeslice axioms of locally covariant
quantum field theory, but that it violates the locality axiom. We show that
this violation is precisely due to the fact that our functor has topological
subfunctors describing the Pontryagin duals of certain singular cohomology
groups. As a byproduct, we develop a Fr\'echetLie group structure on
differential cohomology groups.

We consider SU(2)equivariant dimensional reduction of YangMills theory on
manifolds of the form $M\times S^3/\Gamma$, where $M$ is a smooth manifold and
$S^3/\Gamma$ is a threedimensional SasakiEinstein orbifold. We obtain new
quiver gauge theories on $M$ whose quiver bundles are based on the affine ADE
Dynkin diagram associated to $\Gamma$. We relate them to those arising through
translationallyinvariant dimensional reduction over the associated CalabiYau
cones $C(S^3/\Gamma)$ which are based on McKay quivers and ADHM matrix models,
and to those arising through SU(2)equivariant dimensional reduction over the
leaf spaces of the characteristic foliations of $S^3/\Gamma$ which are K\"ahler
orbifolds of $\mathbb{C} P^1$ whose quiver bundles are based on the unextended
Dynkin diagram corresponding to $\Gamma$. We use Nahm equations to describe the
vacua of SU(2)equivariant quiver gauge theories on the cones as moduli spaces
of spherically symmetric instantons. We relate them to the Nakajima quiver
varieties which can be realized as Higgs branches of the worldvolume quiver
gauge theories on D$p$branes probing D$(p+4)$branes which wrap an ALE space,
and to the moduli spaces of spherically symmetric solutions in putative
nonabelian generalizations of twodimensional affine Toda field theories.

We study generalized electric/magnetic duality in Abelian gauge theory by
combining techniques from locally covariant quantum field theory and
CheegerSimons differential cohomology on the category of globally hyperbolic
Lorentzian manifolds. Our approach generalizes previous treatments using the
Hamiltonian formalism in a manifestly covariant way and without the assumption
of compact Cauchy surfaces. We construct semiclassical configuration spaces
and corresponding presymplectic Abelian groups of observables, which are
quantized by the CCRfunctor to the category of $C^*$algebras. We demonstrate
explicitly how duality is implemented as a natural isomorphism between quantum
field theories. We apply this formalism to develop a fully covariant quantum
theory of selfdual fields.

We derive the analog of the large $N$ GrossTaylor holomorphic string
expansion for the refinement of $q$deformed $U(N)$ YangMills theory on a
compact oriented Riemann surface. The derivation combines SchurWeyl duality
for quantum groups with the EtingofKirillov theory of generalized quantum
characters which are related to Macdonald polynomials. In the unrefined limit
we reproduce the chiral expansion of $q$deformed YangMills theory derived by
de Haro, Ramgoolam and Torrielli. In the classical limit $q=1$, the expansion
defines a new $\beta$deformation of Hurwitz theory wherein the refined
partition function is a generating function for certain parameterized Euler
characters, which reduce in the unrefined limit $\beta=1$ to the orbifold Euler
characteristics of Hurwitz spaces of holomorphic maps. We discuss the
geometrical meaning of our expansions in relation to quantum spectral curves
and $\beta$ensembles of matrix models arising in refined topological string
theory.

We continue our systematic development of noncommutative and nonassociative
differential geometry internal to the representation category of a
quasitriangular quasiHopf algebra. We describe derivations, differential
operators, differential calculi and connections using universal categorical
constructions to capture algebraic properties such as Leibniz rules. Our main
result is the construction of morphisms which provide prescriptions for lifting
connections to tensor products and to internal homomorphisms. We describe the
curvatures of connections within our formalism, and also the formulation of
EinsteinCartan geometry as a putative framework for a nonassociative theory of
gravity.

We construct level one dominant representations of the affine KacMoody
algebra $\widehat{\mathfrak{gl}}_k$ on the equivariant cohomology groups of
moduli spaces of rank one framed sheaves on the orbifold compactification of
the minimal resolution $X_k$ of the $A_{k1}$ toric singularity
$\mathbb{C}^2/\mathbb{Z}_k$. We show that the direct sum of the fundamental
classes of these moduli spaces is a Whittaker vector for
$\widehat{\mathfrak{gl}}_k$, which proves the AGT correspondence for pure
$\mathcal{N}=2$ $U(1)$ gauge theory on $X_k$. We consider CarlssonOkounkov
type Extbundles over products of the moduli spaces and use their Euler classes
to define vertex operators. Under the decomposition
$\widehat{\mathfrak{gl}}_k\simeq \mathfrak{h}\oplus \widehat{\mathfrak{sl}}_k$,
these vertex operators decompose as products of bosonic exponentials associated
to the Heisenberg algebra $\mathfrak{h}$ and primary fields of
$\widehat{\mathfrak{sl}}_k$. We use these operators to prove the AGT
correspondence for $\mathcal{N}=2$ superconformal abelian quiver gauge theories
on $X_k$.

We review aspects of our formalism for differential geometry on
noncommutative and nonassociative spaces which arise from cochain twist
deformation quantization of manifolds. We work in the simplest setting of
trivial vector bundles and flush out the details of our approach providing
explicit expressions for all bimodule operations, and for connections and
curvature. As applications, we describe the constructions of physically viable
action functionals for YangMills theory and EinsteinCartan gravity on
noncommutative and nonassociative spaces, as first steps towards more elaborate
models relevant to nongeometric flux deformations of geometry in closed string
theory.

We consider Spin(4)equivariant dimensional reduction of YangMills theory on
manifolds of the form $M^d \times T^{1,1}$, where $M^d$ is a smooth manifold
and $T^{1,1}$ is a fivedimensional SasakiEinstein manifold Spin(4)/U(1). We
obtain new quiver gauge theories on $M^d$ extending those induced via reduction
over the leaf spaces $\mathbb{C}P^1 \times \mathbb{C}P^1$ in $T^{1,1}$. We
describe the Higgs branches of these quiver gauge theories as moduli spaces of
Spin(4)equivariant instantons on the conifold which is realized as the metric
cone over $T^{1,1}$. We give an explicit construction of these moduli spaces as
K\"ahler quotients.

We develop a new approach to the study of supersymmetric gauge theories on
ALE spaces using the theory of framed sheaves on root toric stacks, which
illuminates relations with gauge theories on $\mathbb{R}^4$ and with
twodimensional conformal field theory. We construct a stacky compactification
of the minimal resolution $X_k$ of the $A_{k1}$ toric singularity
$\mathbb{C}^2/\mathbb{Z}_k$, which is a projective toric orbifold
$\mathscr{X}_k$ such that $\mathscr{X}_k\setminus X_k$ is a
$\mathbb{Z}_k$gerbe. We construct moduli spaces of torsion free sheaves on
$\mathscr{X}_k$ which are framed along the compactification gerbe. We prove
that this moduli space is a smooth quasiprojective variety, compute its
dimension, and classify its fixed points under the natural induced toric
action. We use this construction to compute the partition functions and
correlators of chiral BPS operators for $\mathcal{N}=2$ quiver gauge theories
on $X_k$ with nontrivial holonomies at infinity. The partition functions are
computed with and without couplings to bifundamental matter hypermultiplets and
expressed in terms of toric blowup formulas, which relate them to the
corresponding Nekrasov partition functions on the affine toric subsets of
$X_k$. We compare our new partition functions with previous computations,
explore their connections to the representation theory of affine Lie algebras,
and find new constraints on fractional instanton charges in the coupling to
fundamental matter. We show that the partition functions in the low energy
limit are characterised by the SeibergWitten curves, and in some cases also by
suitable blowup equations involving Riemann thetafunctions on the
SeibergWitten curve with characteristics related to the nontrivial holonomies.