
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.

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.

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
Gbundles 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 Kinstantons over the foursphere, and for
the moduli of Kcalorons over the threesphere 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
HitchinChatterjee gerbes is presented. Topics covered are connective
structures, triviality and stable isomorphism as well as examples and
applications.

We develop the theory of ChernSimons bundle 2gerbes and multiplicative
bundle gerbes associated to any principal $G$bundle with connection and a
class in $H^4(BG, \ZZ)$ for a compact semisimple Lie group $G$. The
ChernSimons bundle 2gerbe realises differential geometrically the
CheegerSimons invariant. We apply these notions to refine the DijkgraafWitten
correspondence between three dimensional ChernSimons functionals and
WessZuminoWitten 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 nonsimply
connected Lie groups. The implications for WessZuminoWitten 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 AtiyahSinger 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.

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
nonzero complex numbers in terms of a differential twoform on G and a
differential oneform 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 halfintegral 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 linebundle over the spectral curve, such that the discretetime DN
evolution corresponds to walking in the Jacobian of the spectral curve in a
straight line through the linebundle 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 DixmierDouady class in various contexts including string
structures, Ures 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
semidefinite 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 selfdual connections
over Riemannian 4manifolds. Compared with the more widely known $L^2$ metric,
the information metric better reflects the conformal invariance of the
selfdual YangMills 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 fiveball. We show more generally
that for chargeone $SU(2)$ instantons over $1$connected, positivedefinite
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 CUTP739, hepth/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.

Just as $\Cstar$ principal bundles provide a geometric realisation of
twodimensional integral cohomology; gerbes or sheaves of groupoids, provide a
geometric realisation of three dimensional integral cohomology through their
DixmierDouady 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 wellknown examples examples of gerbes are
bundle gerbes. I discuss the properties of bundle gerbes, in particular bundle
gerbe connections and curvature and their associated DixmierDouady 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 twosphere 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.