
In this paper we prove a stability result for inner fibrations in terms of
the wide, or fat join operation on simplicial sets. We also prove some
additional results on inner anodyne morphisms that may be of independent
interest.

In this paper we prove that for any simplicial set $B$, there is a Quillen
equivalence between the covariant model structure on $\mathbf{S}/B$ and a
certain localization of the projective model structure on the category of
simplicial presheaves on the simplex category $\Delta/B$ of $B$. We extend this
result to give a new Quillen equivalence between this covariant model structure
and the projective model structure on the category of simplicial presheaves on
the simplicial category $\mathfrak{C}[B]$. We study the relationship with
Lurie's straightening theorem. Along the way we prove some results on
localizations of simplicial categories and quasicategories.

The theory of principal bundles makes sense in any infinitytopos, such as
that of topological, of smooth, or of otherwise geometric
infinitygroupoids/infinitystacks, and more generally in slices of these. It
provides a natural geometric model for structured higher nonabelian cohomology
and controls general fiber bundles in terms of associated bundles. For suitable
choices of structure infinitygroup G these Gprincipal infinitybundles
reproduce the theories of ordinary principal bundles, of bundle
gerbes/principal 2bundles and of bundle 2gerbes and generalize these to their
further higher and equivariant analogs. The induced associated infinitybundles
subsume the notions of gerbes and higher gerbes in the literature.
We discuss here this general theory of principal infinitybundles, intimately
related to the axioms of Giraud, ToenVezzosi, Rezk and Lurie that characterize
infinitytoposes. We show a natural equivalence between principal
infinitybundles and intrinsic nonabelian cocycles, implying the classification
of principal infinitybundles by nonabelian sheaf hypercohomology. We observe
that the theory of geometric fiber infinitybundles associated to principal
infinitybundles subsumes a theory of infinitygerbes and of twisted
infinitybundles, with twists deriving from local coefficient infinitybundles,
which we define, relate to extensions of principal infinitybundles and show to
be classified by a corresponding notion of twisted cohomology, identified with
the cohomology of a corresponding slice infinitytopos.
In a companion article [NSSb] we discuss explicit presentations of this
theory in categories of simplicial (pre)sheaves by hyperCech cohomology and by
simplicial weaklyprincipal bundles; and in [NSSc] we discuss various examples
and applications of the theory.

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.

In this paper we describe a classifying theory for families of simplicial
topological groups. If $B$ is a topological space and $G$ is a simplicial
topological group, then we can consider the nonabelian cohomology $H(B,G)$ of
$B$ with coefficients in $G$. If $G$ is a topological group, thought of as a
constant simplicial group, then the set $H(B,G)$ is the set of isomorphism
classes of principal $G$ bundles, or $G$ torsors, on $B$. For more general
simplicial groups $G$, the set $H(B,G)$ parametrizes the set of equivalence
classes of higher $G$ torsors on $B$. In this paper we consider a more general
setting where $G$ is replaced by a simplicial group in the category of spaces
over $B$. The main result of the paper is that under suitable conditions on $B$
and $G$ there is an isomorphism between $H(B,G)$ and the set of isomorphism
classes of fiberwise principal bundles on $B$, with structure group $G$ given
by the fiberwise geometric realization of $G$.

In this paper we study the classifying theory of principal bundles in the
parametrized setting, motivated by recent interest in higher gauge theory.
Using simplicial techniques, we construct a productpreserving classifying
space functor for groups in the category of spaces over a fixed space B.
Additionally, we prove that the fiberwise geometric realization functor sends a
large class of simplicial parametrized principal bundles to ordinary
parametrized principal bundles. As an application we show that the fiberwise
geometric realization of the universal simplicial principal bundle for a
simplicial group G in the category of spaces over B gives rise to a
parametrized principal bundle with structure group G.

We discuss two aspects of the presentation of the theory of principal
infinitybundles in an infinitytopos, introduced in [NSSa], in terms of
categories of simplicial (pre)sheaves.
First we show that over a cohesive site C and for G a presheaf of simplicial
groups which is Cacyclic, Gprincipal infinitybundles over any object in the
infinitytopos over C are classified by hyperCechcohomology with coefficients
in G. Then we show that over a site C with enough points, principal
infinitybundles in the infinitytopos are presented by ordinary simplicial
bundles in the sheaf topos that satisfy principality by stalkwise weak
equivalences. Finally we discuss explicit details of these presentations for
the discrete site (in discrete infinitygroupoids) and the smooth site (in
smooth infinitygroupoids, generalizing Lie groupoids and differentiable
stacks).
In the companion article [NSSc] we use these presentations for constructing
classes of examples of (twisted) principal infinitybundles and for the
discussion of various applications.

Given a bisimplicial set, there are two ways to extract from it a simplicial
set: the diagonal simplicial set and the less well known total simplicial set
of Artin and Mazur. There is a natural comparison map between these two
simplicial sets, and it is a theorem due to Cegarra and Remedios and
independently Joyal and Tierney, that this comparison map is a weak equivalence
for any bisimplicial set. In this paper we will give a new, elementary proof of
this result. As an application, we will revisit Kan's simplicial loop group
functor G. We will give a simple formula for this functor, which is based on a
factorization, due to Duskin, of Eilenberg and Mac Lane's classifying complex
functor Wbar. We will give a new, short, proof of Kan's result that the unit
map for the adjunction (G,Wbar) is a weak equivalence for reduced simplicial
sets.

We consider the existence of bibundles, in other words locally trivial
principal $G$ spaces with commuting left and right $G$ actions. We show that
their existence is closely related to the structure of the group $\Out(G)$ of
outer automorphisms of $G$. We also develop a classifying theory for bibundles.
The theory is developed in full generality for $(H, G)$ bibundles for a
crossedmodule $(H, G)$ and we show with examples the close links with loop
group bundles.

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.

Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if
$M$ is simplyconnected and the fibres of $Y \to M$ are connected and
finitedimensional then the DixmierDouady class of $(P, Y)$ is torsion. This
corrects and extends an earlier result of the first author.

Categorifying the concept of topological group, one obtains the notion of a
'topological 2group'. This in turn allows a theory of 'principal 2bundles'
generalizing the usual theory of principal bundles. It is wellknown that under
mild conditions on a topological group G and a space M, principal Gbundles
over M are classified by either the first Cech cohomology of M with
coefficients in G, or the set of homotopy classes [M,BG], where BG is the
classifying space of G. Here we review work by Bartels, Jurco,
BaasBokstedtKro, and others generalizing this result to topological 2groups
and even topological 2categories. We explain various viewpoints on topological
2groups and Cech cohomology with coefficients in a topological 2group C, also
known as 'nonabelian cohomology'. Then we give an elementary proof that under
mild conditions on M and C there is a bijection between the first Cech
cohomology of M with coefficients in C and [M,BC] where BC is the
classifying space of the geometric realization of the nerve of C. Applying this
result to the 'string 2group' String(G) of a simplyconnected compact simple
Lie group G, it follows that principal String(G)2bundles have rational
characteristic classes coming from elements of the rational cohomology of BG
modulo the ideal generated by c, where c is any nonzero element in the 4th
cohomology of BG.

We consider the construction of the basic bundle gerbe on SU(n) introduced by
Meinrenken and show that it extends to a range of groups with unitary actions
on a Hilbert space including U(n), diagonal tori and the Banach Lie group of
unitary operators differing from the identity by an element of a Schatten
ideal. In all these cases we give an explicit connection and curving on the
basic bundle gerbe and calculate the real DixmierDouady class. Extensive use
is made of the holomorphic functional calculus for operators on a Hilbert
space.

In their study of the representation theory of loop groups, Pressley and
Segal introduced a determinant line bundle over an infinite dimensional
Grassmann manifold. Mickelsson and Rajeev subsequently generalized the work of
Pressley and Segal and in the process introduced for any p >=1 another infinite
dimensional Grassmann manifold and a determinant line bundle defined over it.
The construction of this determinant line bundle required the notion of a
regularized determinant for bounded operators. In this note we specialize to
the case p =2 and construct explicitly a connection on the corresponding
determinant line bundle and give a simple and explicit formula for its
curvature. As an application of our results we give a geometric derivation of
the MickelssonRajeev cocycle.

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.

We describe an interesting relation between Lie 2algebras, the KacMoody
central extensions of loop groups, and the group String(n). A Lie 2algebra is
a categorified version of a Lie algebra where the Jacobi identity holds up to a
natural isomorphism called the "Jacobiator". Similarly, a Lie 2group is a
categorified version of a Lie group. If G is a simplyconnected compact simple
Lie group, there is a 1parameter family of Lie 2algebras g_k each having
Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the
canonical 3form on G. There appears to be no Lie 2group having g_k as its Lie
2algebra, except when k = 0. Here, however, we construct for integral k an
infinitedimensional Lie 2group whose Lie 2algebra is equivalent to g_k. The
objects of this 2group are based paths in G, while the automorphisms of any
object form the levelk KacMoody central extension of the loop group of G.
This 2group is closely related to the kth power of the canonical gerbe over G.
Its nerve gives a topological group that is an extension of G by K(Z,2). When k
= +1, this topological group can also be obtained by killing the third
homotopy group of G. Thus, when G = Spin(n), it is none other than String(n).

A central result here is the computation of the entire cyclic homology of
canonical smooth subalgebras of stable continuous trace C*algebras having
smooth manifolds M as their spectrum. More precisely, the entire cyclic
homology is shown to be canonically isomorphic to the continuous periodic
cyclic homology for these algebras. By an earlier result of the authors, one
concludes that the entire cyclic homology of the algebra is canonically
isomorphic to the twisted de Rham cohomology of M.

The central result here is an explicit computation of the Hochschild and
cyclic homologies of a natural smooth subalgebra of stable continuous trace
algebras having smooth manifolds X as their spectrum. More precisely, the
Hochschild homology is identified with the space of differential forms on X,
and the periodic cyclic homology with the twisted de Rham cohomology of X,
thereby generalizing some fundamental results of Connes and
HochschildKostantRosenberg. The ConnesChern character is also identified
here with the twisted Chern character.

It has been argued by Witten and others that in the presence of a nontrivial
Bfield, Dbrane charges in type IIB string theories are measured by twisted
Ktheory. In joint work with Bouwknegt, Carey and Murray it was proved that
twisted Ktheory is canonically isomorphic to bundle gerbe Ktheory, whose
elements are ordinary vector bundles on a principal projective unitary bundle,
with an action of the bundle gerbe determined by the principal projective
unitary bundle. The principal projective unitary bundle is in turn determined
by the twist. In this paper, we study in more detail the ChernWeil
representative of the Chern character of bundle gerbe Ktheory that was
introduced previously, and we also extend it to the equivariant and holomorphic
cases. Included is a discussion of interesting examples.

We make the category BGrb_M of bundle gerbes on a manifold M into a
2category by providing 2cells in the form of transformations of bundle gerbe
morphisms. This description of BGrb_M as a 2category is used to define the
notion of a bundle 2gerbe. To every bundle 2gerbe on M is associated a class
in H^4(M;Z). We define the notion of a bundle 2gerbe connection and show how
this leads to a closed, integral differential 4form on M which represents the
image in real cohomology of the class in H^4(M;Z). Some examples of bundle
2gerbes are discussed, including the bundle 2gerbe associated to a principal
Gbundle P \to M. It is shown that the class in H^4(M;Z) associated to this
bundle 2gerbe coincides with the first Pontryagin class of P  this example
was previously considered from the point of view of 2gerbes by Brylinski and
McLaughlin.

This thesis reviews the theory of bundle gerbes and then examines the higher
dimensional notion of a bundle 2gerbe. The notion of a bundle 2gerbe
connection and 2curving are introduced and it is shown that there is a class
in $H^{4}(M;\Z)$ associated to any bundle 2gerbe.