• ### Stability for inner fibrations revisited(1608.07699)

July 21, 2018 math.AT
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.
• ### Covariant Model Structures and Simplicial Localization(1512.04815)

Oct. 4, 2017 math.AT
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 quasi-categories.
• ### Principal infinity-bundles - General theory(1207.0248)

Nov. 4, 2016 math.AT
The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, 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 infinity-group G these G-principal infinity-bundles reproduce the theories of ordinary principal bundles, of bundle gerbes/principal 2-bundles and of bundle 2-gerbes and generalize these to their further higher and equivariant analogs. The induced associated infinity-bundles subsume the notions of gerbes and higher gerbes in the literature. We discuss here this general theory of principal infinity-bundles, intimately related to the axioms of Giraud, Toen-Vezzosi, Rezk and Lurie that characterize infinity-toposes. We show a natural equivalence between principal infinity-bundles and intrinsic nonabelian cocycles, implying the classification of principal infinity-bundles by nonabelian sheaf hyper-cohomology. We observe that the theory of geometric fiber infinity-bundles associated to principal infinity-bundles subsumes a theory of infinity-gerbes and of twisted infinity-bundles, with twists deriving from local coefficient infinity-bundles, which we define, relate to extensions of principal infinity-bundles and show to be classified by a corresponding notion of twisted cohomology, identified with the cohomology of a corresponding slice infinity-topos. In a companion article [NSSb] we discuss explicit presentations of this theory in categories of simplicial (pre)sheaves by hyper-Cech cohomology and by simplicial weakly-principal bundles; and in [NSSc] we discuss various examples and applications of the theory.
• ### 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.
• ### Classifying theory for simplicial parametrized groups(1203.2461)

April 28, 2016 math.AT
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 non-abelian 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$.
• ### Simplicial principal bundles in parametrized spaces(1203.2460)

April 6, 2016 math.AT
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 product-preserving 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|.
• ### Principal infinity-bundles - Presentations(1207.0249)

July 1, 2012 math.AT
We discuss two aspects of the presentation of the theory of principal infinity-bundles in an infinity-topos, 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 C-acyclic, G-principal infinity-bundles over any object in the infinity-topos over C are classified by hyper-Cech-cohomology with coefficients in G. Then we show that over a site C with enough points, principal infinity-bundles in the infinity-topos 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 infinity-groupoids) and the smooth site (in smooth infinity-groupoids, generalizing Lie groupoids and differentiable stacks). In the companion article [NSSc] we use these presentations for constructing classes of examples of (twisted) principal infinity-bundles and for the discussion of various applications.
• ### D\'ecalage and Kan's simplicial loop group functor(1112.0474)

Feb. 24, 2012 math.AT, math.CT
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.
• ### On the existence of bibundles(1102.4388)

Feb. 13, 2012 math.DG
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 crossed-module $(H, G)$ and we show with examples the close links with loop group bundles.
• ### 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.
• ### A note on bundle gerbes and infinite-dimensionality(1007.4922)

July 28, 2010 hep-th, math.DG
Let $(P, Y)$ be a bundle gerbe over a fibre bundle $Y \to M$. We show that if $M$ is simply-connected and the fibres of $Y \to M$ are connected and finite-dimensional then the Dixmier-Douady class of $(P, Y)$ is torsion. This corrects and extends an earlier result of the first author.
• ### The Classifying Space of a Topological 2-Group(0801.3843)

July 27, 2009 math.AT, math.CT
Categorifying the concept of topological group, one obtains the notion of a 'topological 2-group'. This in turn allows a theory of 'principal 2-bundles' generalizing the usual theory of principal bundles. It is well-known that under mild conditions on a topological group G and a space M, principal G-bundles 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, Baas-Bokstedt-Kro, and others generalizing this result to topological 2-groups and even topological 2-categories. We explain various viewpoints on topological 2-groups and Cech cohomology with coefficients in a topological 2-group 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,B|C|] where B|C| is the classifying space of the geometric realization of the nerve of C. Applying this result to the 'string 2-group' String(G) of a simply-connected compact simple Lie group G, it follows that principal String(G)-2-bundles 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.
• ### The basic bundle gerbe on unitary groups(0804.3464)

April 22, 2008 math.DG, math-ph, math.MP
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 Dixmier-Douady class. Extensive use is made of the holomorphic functional calculus for operators on a Hilbert space.
• ### Geometry of infinite dimensional Grassmannians and the Mickelsson-Rajeev cocycle(0802.3608)

Feb. 25, 2008 math.DG, math-ph, math.MP
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 Mickelsson-Rajeev cocycle.
• ### Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories(math/0410013)

Sept. 12, 2005 math.DG, math-ph, math.MP
We develop the theory of Chern-Simons bundle 2-gerbes and multiplicative bundle gerbes associated to any principal $G$-bundle with connection and a class in $H^4(BG, \ZZ)$ for a compact semi-simple Lie group $G$. The Chern-Simons bundle 2-gerbe realises differential geometrically the Cheeger-Simons invariant. We apply these notions to refine the Dijkgraaf-Witten correspondence between three dimensional Chern-Simons functionals and Wess-Zumino-Witten 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 non-simply connected Lie groups. The implications for Wess-Zumino-Witten models are also discussed.
• ### From Loop Groups to 2-Groups(math/0504123)

April 19, 2005 hep-th, math.DG, math.QA
We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group String(n). A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If G is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras g_k each having Lie(G) as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on G. There appears to be no Lie 2-group having g_k as its Lie 2-algebra, except when k = 0. Here, however, we construct for integral k an infinite-dimensional Lie 2-group whose Lie 2-algebra is equivalent to g_k. The objects of this 2-group are based paths in G, while the automorphisms of any object form the level-k Kac-Moody central extension of the loop group of G. This 2-group 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).
• ### Entire cyclic homology of continuous trace algebras(math/0412485)

Feb. 15, 2005 hep-th, math.DG, math.KT
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.
• ### On a generalized Connes-Hochschild-Kostant-Rosenberg theorem(math/0404329)

Nov. 14, 2004 hep-th, math.DG, math.KT
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 Hochschild-Kostant-Rosenberg. The Connes-Chern character is also identified here with the twisted Chern character.
• ### Chern character in twisted K-theory: equivariant and holomorphic cases(hep-th/0201010)

Jan. 9, 2003 hep-th, math.DG
It has been argued by Witten and others that in the presence of a nontrivial B-field, D-brane charges in type IIB string theories are measured by twisted K-theory. In joint work with Bouwknegt, Carey and Murray it was proved that twisted K-theory is canonically isomorphic to bundle gerbe K-theory, 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 Chern-Weil representative of the Chern character of bundle gerbe K-theory that was introduced previously, and we also extend it to the equivariant and holomorphic cases. Included is a discussion of interesting examples.
• ### Bundle 2-gerbes(math/0106018)

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

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