• 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.
  • R\'esum\'e. Nous d\'efinissons un groupo\"ide de Fr\'echet-Lie Map(S^1,X) d'ana-foncteurs du cercle vers un groupo\"ide de Lie X. Ceci fournit une pr\'esentation du Hom-champ Hom(S^1,\cX), o\`u \cX est le champ diff\'erentiable associ\'e \`a X. Nous appliquons cette construction au groupo\"ide de Lie sous-jacent au `gerbe fibr\'e' d'une vari\'et\'e diff\'erentiable M; le r\'esultat est un gerbe fibr\'e au-dessus de l'espace des lacets LM de M. Abstract. We define a Fr\'echet--Lie groupoid Map(S^1,X) of anafunctors from the circle into a Lie groupoid X. This provides a presentation of the Hom-stack Hom(S^1,\cX), where \cX is the differentiable stack associated to X. We apply this construction to the Lie groupoid underlying a bundle gerbe on a manifold M; the result is a bundle gerbe on the loop space LM of M.
  • For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fr\'echet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further show that if \cX is an orbifold, presented by a proper \'etale Lie groupoid, then Map(M,X) is proper \'etale and so presents an infinite-dimensional orbifold.
  • 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.
  • We give a classifying theory for $LG$-bundles, where $LG$ is the loop group of a compact Lie group $G$, and present a calculation for the string class of the universal $LG$-bundle. We show that this class is in fact an equivariant cohomology class and give an equivariant differential form representing it. We then use the caloron correspondence to define (higher) characteristic classes for $LG$-bundles and to prove for the free loop group an analogue of the result for characteristic classes for based loop groups in Murray-Vozzo (J. Geom. Phys., 60(9), 2010). These classes have a natural interpretation in equivariant cohomology and we give equivariant differential form representatives for the universal case in all odd dimensions.
  • 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.