• ### Real bundle gerbes, orientifolds and twisted KR-homology(1608.06466)

March 24, 2019 hep-th, math.DG, math-ph, math.MP, math.KT
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.
• ### Smooth loop stacks of differentiable stacks and gerbes(1602.07973)

Jan. 18, 2018 math.DG, math.CT
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.
• ### The smooth Hom-stack of an orbifold(1610.05904)

Oct. 19, 2017 math.DG, math.CT
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.
• ### Equivariant bundle gerbes(1506.07931)

May 5, 2016 hep-th, math.DG, math.CT
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.
• ### A Geometric Model for Odd Differential K-theory(1309.2834)

March 16, 2015 math.DG, math.AT, math.KT
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
• ### The Faddeev-Mickelsson-Shatashvili anomaly and lifting bundle gerbes(1112.1752)

Feb. 8, 2012 hep-th, math.DG
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.
• ### The general caloron correspondence(1105.0805)

June 26, 2011 hep-th, math.DG
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.
• ### Universal string classes and equivariant cohomology(1005.4243)

May 24, 2010 hep-th, math.DG
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.
• ### Circle actions, central extensions and string structures(1004.0779)

April 6, 2010 hep-th, math.DG
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.
• ### The caloron correspondence and higher string classes for loop groups(0911.3464)

Nov. 23, 2009 hep-th, math.DG
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.