• 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 develop the theory of simplicial extensions for bundle gerbes and their characteristic classes with a view towards studying descent problems and equivariance for bundle gerbes. Equivariant bundle gerbes are important in the study of orbifold sigma models. We consider in detail two examples: the basic bundle gerbe on a unitary group and a string structure for a principal bundle. We show that the basic bundle gerbe is equivariant for the conjugation action and calculate its characteristic class; we show also that a string structure gives rise to a bundle gerbe which is equivariant for a natural action of the String 2-group.
  • 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
  • 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.
  • The caloron correspondence can be understood as an equivalence of categories between $G$-bundles over circle bundles and $LG \rtimes_\rho S^1$-bundles where $LG$ is the group of smooth loops in $G$. We use it, and lifting bundle gerbes, to derive an explicit differential form based formula for the (real) string class of an $LG \rtimes_\rho S^1$-bundle.
  • We review the caloron correspondence between $G$-bundles on $M \times S^1$ and $\Omega G$-bundles on $M$, where $\Omega G$ is the space of smooth loops in the compact Lie group $G$. We use the caloron correspondence to define characteristic classes for $\Omega G$-bundles, called string classes, by transgression of characteristic classes of $G$-bundles. These generalise the string class of Killingback to higher dimensional cohomology.
  • This paper considers the links between the geometry of the various flag manifolds of loop groups and bundles over families of rational curves. Aa an application, a stability result for the moduli on a rational ruled surface of G-bundles with additional flag structure along a line is proven for any reductive group; this gives the corresponding stability statement for any compact group K for the moduli of K-instantons over the four-sphere, and for the moduli of K-calorons over the three-sphere times the circle. The paper also considers the Hecke transforms on bundles induced by outer automorphisms of the loop groups.
  • An introduction to the theory of bundle gerbes and their relationship to Hitchin-Chatterjee gerbes is presented. Topics covered are connective structures, triviality and stable isomorphism as well as examples and applications.
  • We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dimensional Chern-Simons functionals and Wess-Zumino-Witten models associated to the group $G$. We do this by introducing a lifting to the level of bundle gerbes of the natural map from $H^4(BG, \ZZ)$ to $H^3(G, \ZZ)$. The notion of a multiplicative bundle gerbe accounts geometrically for the subtleties in this correspondence for non-simply connected Lie groups. The implications for Wess-Zumino-Witten models are also discussed.
  • The use of bundle gerbes and bundle gerbe modules is considered as a replacement for the usual theory of Clifford modules on manifolds that fail to be spin. It is shown that both sides of the Atiyah-Singer index formula for coupled Dirac operators can be given natural interpretations using this language and that the resulting formula is still an identity.
  • We discuss the structure of the framed moduli space of Bogomolny monopoles for arbitrary symmetry breaking and extend the definition of its stratification to the case of arbitrary compact Lie groups. We show that each stratum is a union of submanifolds for which we conjecture that the natural $L^2$ metric is hyperKahler. The dimensions of the strata and of these submanifolds are calculated, and it is found that for the latter, the dimension is always a multiple of four.
  • We associate to an SU(2) hyperbolic monopole a holomorphic sphere embedded in projective space and use this to uncover various features of the monopole.
  • Monopoles (math-ph/0101035)

    Jan. 31, 2001 math-ph, math.MP
    I survey the theory of Bogomolny monopoles and the various approaches to their study. These include the spectral curve, Nahm correspondence and rational maps.
  • We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop group.
  • We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles.
  • The discrete Nahm equations, a system of matrix valued difference equations, arose in the work of Braam and Austin on half-integral mass hyperbolic monopoles. We show that the discrete Nahm equations are completely integrable in a natural sense: to any solution we can associate a spectral curve and a holomorphic line-bundle over the spectral curve, such that the discrete-time DN evolution corresponds to walking in the Jacobian of the spectral curve in a straight line through the line-bundle with steps of a fixed size. Some of the implications for hyperbolic monopoles are also discussed.
  • A systematic consideration of the problem of the reduction and extension of the structure group of a principal bundle is made and a variety of techniques in each case are explored and related to one another. We apply these to the study of the Dixmier-Douady class in various contexts including string structures, U-res bundles and other examples motivated by considerations from quantum field theory.
  • The information metric arises in statistics as a natural inner product on a space of probability distributions. In general this inner product is positive semi-definite but is potentially degenerate. By associating to an instanton its energy density, we can examine the information metric {\bf g} on the moduli spaces $\M$ of self-dual connections over Riemannian 4-manifolds. Compared with the more widely known $L^2$ metric, the information metric better reflects the conformal invariance of the self-dual Yang-Mills equations, and seems to have better completeness properties. In the case of $SU(2)$ instantons on $S^4$ of charge one, {\bf g} is known to be the hyperbolic metric on the five-ball. We show more generally that for charge-one $SU(2)$ instantons over $1$-connected, positive-definite manifolds, {\bf g} is nondegenerate and complete in the collar region of $\M$, and is `asymptotically hyperbolic' there; {\bf g} vanishes at the cone points of $\M$. We give explicit formulae for the metric on the space of instantons of charge one on $\C P_2$.
  • Recently K. Lee, E.J. Weinberg and P. Yi in CU-TP-739, hep-th/9602167, calculated the asymptotic metric on the moduli space of (1, 1, ..., 1) BPS monopoles and conjectured that it was globally exact. I lend support to this conjecture by showing that the metric on the corresponding space of Nahm data is the same as the metric they calculate.
  • Bundle gerbes (dg-ga/9407015)

    July 25, 1994 math.DG, dg-ga
    Just as $\Cstar$ principal bundles provide a geometric realisation of two-dimensional integral cohomology; gerbes or sheaves of groupoids, provide a geometric realisation of three dimensional integral cohomology through their Dixmier-Douady class. I consider an alternative, related, geometric realisation of three dimensional cohomology called a bundle gerbe. Every bundle gerbe gives rise to a gerbe and most of the well-known examples examples of gerbes are bundle gerbes. I discuss the properties of bundle gerbes, in particular bundle gerbe connections and curvature and their associated Dixmier-Douady class.
  • Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative and more explicit proof of some earlier results of Cohen and Jones.