• 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 prove an analogue of the Hitchin-Kobayashi correspondence for compact, oriented, taut Riemannian foliated manifolds with transverse Hermitian structure. In particular, our Hitchin-Kobayashi theorem holds on any compact Sasakian manifold. We define the notion of stability for foliated Hermitian vector bundles with transverse holomorphic structure and prove that such bundles admit a basic Hermitian-Einstein connection if and only if they are polystable. Our proof is obtained by adapting the proof by Uhlenbeck and Yau to the foliated setting. We relate the transverse Hermitian-Einstein equations to higher dimensional instanton equations and in particular we look at the relation to higher contact instantons on Sasaki manifolds. For foliations of complex codimension 1, we obtain a transverse Narasimhan-Seshadri theorem. We also demonstrate that the weak Uhlenbeck compactness theorem fails in general for basic connections on a foliated bundle. This shows that not every result in gauge theory carries over to the foliated setting.
  • We calculate the $E$-polynomials of the $SL_3(\mathbb{C})$ and $GL_3(\mathbb{C})$-character varieties of compact oriented surfaces of any genus and the $E$-polynomials of the $SL_2(\mathbb{C})$ and $GL_2(\mathbb{C})$-character varieties of compact non-orientable surfaces of any Euler characteristic. Our methods also give a new and significantly simpler computation of the $E$-polynomials of the $SL_2(\mathbb{C})$-character varieties of compact orientable surfaces, which were computed by Logares, Mu\~noz and Newstead for genus $g=1,2$ and by Martinez and Mu\~noz for $g \ge 3$. Our technique is based on the arithmetic of character varieties over finite fields. More specifically, we show how to extend the approach of Hausel and Rodriguez-Villegas used for non-singular (twisted) character varieties to the singular (untwisted) case.
  • Odd $K$-theory has the interesting property that it admits an infinite number of inequivalent differential refinements. In this paper we provide a bundle theoretic model for odd differential $K$-theory using the caloron correspondence and prove that this refinement is unique up to a unique natural isomorphism. We characterise the odd Chern character and its transgression form in terms of a connection and Higgs field and discuss some applications. Our model can be seen as the odd counterpart to the Simons-Sullivan construction of even differential $K$-theory. We use this model to prove a conjecture of Tradler-Wilson-Zeinalian regarding a related differential extension of odd $K$-theory
  • Let $G$ be a compact, connected, simply-connected Lie group. We use the Fourier-Mukai transform in twisted $K$-theory to give a new proof of the ring structure of the $K$-theory of $G$.
  • We introduce a Banach Lie group $G$ of unitary operators subject to a natural trace condition. We compute the homotopy groups of $G$, describe its cohomology and construct an $S^1$-central extension. We show that the central extension determines a non-trivial gerbe on the action Lie groupoid $G\ltimes \mathfrak{k}$, where $\mathfrak{k}$ denotes the Hilbert space of self-adjoint Hilbert-Schmidt operators. With an eye towards constructing elements in twisted K-theory, we prove the existence of a cubic Dirac operator $\mathbb{D}$ in a suitable completion of the quantum Weil algebra $\mathcal{U}(\mathfrak{g}) \otimes Cl(\mathfrak{k})$, which is subsequently extended to a projective family of self-adjoint operators $\mathbb{D}_A$ on $G\ltimes \frak{k}$. While the kernel of $\mathbb{D}_A$ is infinite-dimensional, we show that there is still a notion of finite reducibility at every point, which suggests a generalized definition of twisted K-theory for action Lie groupoids.
  • We construct the moduli space of contact instantons, an analogue of Yang-Mills instantons defined for contact metric $5$-manifolds and initiate the study of their structure. In the $K$-contact case we give sufficient conditions for smoothness of the moduli space away from reducible connections and show the dimension is given by the index of an operator elliptic transverse to the Reeb foliation. The moduli spaces are shown to be K\"ahler when the $5$-manifold $M$ is Sasakian and hyperK\"ahler when $M$ is transverse Calabi-Yau. We show how the transverse index can be computed in various cases, in particular we compute the index for the toric Sasaki-Einstein spaces $Y^{p,q}$.
  • In this paper, we use reduction by extended actions to give a construction of transitive Courant algebroids from string classes. We prove that T-duality commutes with the reductions and thereby determine global conditions for the existence of T-duals in heterotic string theory. In particular we find that T-duality exchanges string structures and gives an isomorphism of transitive Courant algebroids. Consequently we derive the T-duality transformation for generalised metrics and show that the heterotic Einstein equations are preserved. The presence of string structures significantly extends the domain of applicability of T-duality and this is illustrated by several classes of examples.
  • In this paper we show that the T-duality transform of Bouwknegt, Evslin and Mathai applies to determine isomorphisms of certain current algebras and their associated vertex algebras on topologically distinct T-dual spacetimes compactified to circle bundles with $H$-flux.
  • We study the structure of abelian extensions of the group $L_qG$ of $q$-differentiable loops (in the Sobolev sense), generalizing from the case of central extension of the smooth loop group. This is motivated by the aim of understanding the problems with current algebras in higher dimensions. Highest weight modules are constructed for the Lie algebra. The construction is extended to the current algebra of supersymmetric Wess-Zumino-Witten model. An application to the twisted K-theory on $G$ is discussed.
  • We establish a criterion for when an abelian extension of infinite-dimensional Lie algebras integrates to a corresponding Lie group extension $\hat{G}$ of $G$ by $A$, where $G$ is a connected, simply connected Lie group and $A$ is a quotient of its Lie algebra by some discrete subgroup. When $G$ is non-simply connected, the kernel $A$ is replaced by a central extension $\hat{A}$ of $\pi_1(G)$ by $A$.
  • In gauge theory, the Faddeev-Mickelsson-Shatashvili anomaly arises as a prolongation problem for the action of the gauge group on a bundle of projective Fock spaces. In this paper, we study this anomaly from the point of view of bundle gerbes and give several equivalent descriptions of the obstruction. These include lifting bundle gerbes with non-trivial structure group bundle and bundle gerbes related to the caloron correspondence.
  • We outline in detail the general caloron correspondence for the group of automorphisms of an arbitrary principal $G$-bundle $Q$ over a manifold $X$, including the case of the gauge group of $Q$. These results are used to define characteristic classes of gauge group bundles. Explicit but complicated differential form representatives are computed in terms of a connection and Higgs field.
  • We construct a calculus structure on the Lie conformal algebra cochain complex. By restricting to degree one chains, we recover the structure of a g-complex introduced in [DSK]. A special case of this construction is the variational calculus, for which we provide explicit formulas.