• We study quiver gauge theories on the round and squashed seven-spheres, and orbifolds thereof. They arise by imposing $G$-equivariance on the homogeneous space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its Sasaki-Einstein structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3-Sasakian 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 Yang-Mills instantons on Calabi-Yau cones. It is shown that the moduli space of instantons on the hyper-Kahler cone can be described as the intersection of three Hermitian Yang-Mills 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 Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Douady class. Using these modules as building blocks, we introduce geometric cycles for twisted KR-homology and prove that they generate a real-oriented generalised homology theory dual to twisted KR-theory for Real closed manifolds, and more generally for Real finite CW-complexes, for any Real Dixmier-Douady class. This is achieved by defining an explicit natural transformation to analytic twisted KR-homology and proving that it is an isomorphism. Our model both refines and extends previous results by Wang and Baum-Carey-Wang 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 H-fluxes 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 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 a concise overview of the physical and mathematical structures underpinning the appearence of nonassociative deformations of geometry in non-geometric 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 non-geometric 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 non-geometric 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 sigma-models give a description of non-geometric backgrounds in terms of higher geometry, and consider the quantization of the membrane sigma-model 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 coarse-graining 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 non-geometric M-theory, 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 odd-dimensional 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 Atiyah-Patodi-Singer 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 2-cocycle of the projective representation of the gauge symmetry on the quantum state space, which is defined in a parity-symmetric 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 bulk-boundary correspondence in a large class of time-reversal invariant gauge-gravity symmetry-protected 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 source-free case the auxiliary variables can be eliminated via Hamiltonian reduction, while for non-zero 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 three-cocycles 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 non-geometric string theory and double field theory.
  • We investigate geometric aspects of double field theory (DFT) and its formulation as a doubled membrane sigma-model. 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 sigma-model that corresponds to DFT, and demonstrate how the standard T-duality orbit of geometric and non-geometric 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 non-geometric closed string theory. Gauge invariance of the DFT membrane sigma-model 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 pre-Courant algebroids and symplectic nearly Lie 2-algebroids. We also describe the construction of a gauge-invariant doubled membrane sigma-model 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 sigma-models. 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 A-model, 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 2-Courant bracket as the underlying derived bracket. Double dimensional reduction of the twisted topological threebrane theory on a circle yields the standard Courant sigma-model for string theory with NS-NS flux.
  • 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 systematically develop the metric aspects of nonassociative differential geometry tailored to the parabolic phase space model of constant locally non-geometric 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 Levi-Civita connection in nonassociative Riemannian geometry on phase space, and write down Einstein field equations. We apply this formalism to construct R-flux corrections to the Ricci tensor on spacetime, and comment on the potential implications of these structures in non-geometric string theory and double field theory.
  • We introduce a magnetic analogue of the seven-dimensional nonassociative octonionic R-flux algebra that describes the phase space of M2-branes in four-dimensional locally non-geometric M-theory backgrounds. We show that these two algebras are related by a Spin(7) automorphism of the 3-algebra that provides a covariant description of the eight-dimensional M-theory 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 three-dimensional quantum gravity, or to the nonassociative algebra of electrons in a background of uniform magnetic charge. We realise this set-up in M-theory as M-waves probing a delocalised Kaluza-Klein monopole, and show that this system also has a seven-dimensional phase space. We suggest that the smeared Kaluza-Klein monopole is non-geometric because it cannot be described by a local metric. This is the magnetic analogue of the local non-geometry of the R-flux background and arises because the smeared Kaluza-Klein monopole is described by a U(1)-gerbe rather than a U(1)-fibration.
  • 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 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 three-dimensional quantum gravity induced by magnetic monopoles, which we propose is realised by a non-geometric Kaluza-Klein monopole background in M-theory.
  • 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 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 four-dimensional locally non-geometric M-theory background dual to a twisted three-torus by deriving a phase space star product for deformation quantization of quasi-Poisson 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 seven-dimensional vector space of Fourier momenta. We demonstrate explicitly that this star product reduces to that of the three-dimensional parabolic constant $R$-flux model in the contraction of M-theory to string theory, and use it to derive quantum phase space uncertainty relations as well as triproducts for the nonassociative geometry of the four-dimensional configuration space. By extending the $G_2$-structure to a $Spin(7)$-structure, we propose a 3-algebra structure on the full eight-dimensional M2-brane phase space which reduces to the quasi-Poisson 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 3-algebras in M-theory.
  • 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 CCR-functor, 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 time-slice 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\'echet-Lie group structure on differential cohomology groups.
  • We consider SU(2)-equivariant dimensional reduction of Yang-Mills theory on manifolds of the form $M\times S^3/\Gamma$, where $M$ is a smooth manifold and $S^3/\Gamma$ is a three-dimensional Sasaki-Einstein 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 translationally-invariant dimensional reduction over the associated Calabi-Yau 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 non-abelian generalizations of two-dimensional affine Toda field theories.
  • We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons 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 semi-classical configuration spaces and corresponding presymplectic Abelian groups of observables, which are quantized by the CCR-functor 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 self-dual fields.
  • We derive the analog of the large $N$ Gross-Taylor holomorphic string expansion for the refinement of $q$-deformed $U(N)$ Yang-Mills theory on a compact oriented Riemann surface. The derivation combines Schur-Weyl duality for quantum groups with the Etingof-Kirillov theory of generalized quantum characters which are related to Macdonald polynomials. In the unrefined limit we reproduce the chiral expansion of $q$-deformed Yang-Mills 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 quasi-Hopf 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 Einstein-Cartan geometry as a putative framework for a nonassociative theory of gravity.
  • We construct level one dominant representations of the affine Kac-Moody 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_{k-1}$ 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 Carlsson-Okounkov type Ext-bundles 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 Yang-Mills theory and Einstein-Cartan gravity on noncommutative and nonassociative spaces, as first steps towards more elaborate models relevant to non-geometric flux deformations of geometry in closed string theory.
  • We consider Spin(4)-equivariant dimensional reduction of Yang-Mills 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 five-dimensional Sasaki-Einstein 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 two-dimensional conformal field theory. We construct a stacky compactification of the minimal resolution $X_k$ of the $A_{k-1}$ 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 quasi-projective 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 Seiberg-Witten curves, and in some cases also by suitable blowup equations involving Riemann theta-functions on the Seiberg-Witten curve with characteristics related to the nontrivial holonomies.