
We consider Real bundle gerbes on manifolds equipped with an involution and
prove that they are classified by their Real DixmierDouady class in
Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck
group of Real bundle gerbe modules is isomorphic to twisted KRtheory for a
torsion Real DixmierDouady class. Using these modules as building blocks, we
introduce geometric cycles for twisted KRhomology and prove that they generate
a realoriented generalised homology theory dual to twisted KRtheory for Real
closed manifolds, and more generally for Real finite CWcomplexes, for any Real
DixmierDouady class. This is achieved by defining an explicit natural
transformation to analytic twisted KRhomology and proving that it is an
isomorphism. Our model both refines and extends previous results by Wang and
BaumCareyWang 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 Hfluxes and for orientifold
projections of open string states.

R\'esum\'e. Nous d\'efinissons un groupo\"ide de Fr\'echetLie Map(S^1,X)
d'anafoncteurs du cercle vers un groupo\"ide de Lie X. Ceci fournit une
pr\'esentation du Homchamp 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 sousjacent au `gerbe fibr\'e' d'une vari\'et\'e
diff\'erentiable M; le r\'esultat est un gerbe fibr\'e audessus de l'espace
des lacets LM de M.
Abstract. We define a Fr\'echetLie groupoid Map(S^1,X) of anafunctors from
the circle into a Lie groupoid X. This provides a presentation of the Homstack
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 Homstack Hom(M,\cX) is presented by a Fr\'echetLie
groupoid Map(M,X) and so is an infinitedimensional 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
infinitedimensional 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 2group.

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 SimonsSullivan construction of
even differential $K$theory. We use this model to prove a conjecture of
TradlerWilsonZeinalian regarding a related differential extension of odd
$K$theory

In gauge theory, the FaddeevMickelssonShatashvili 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 nontrivial 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 MurrayVozzo (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.