Hermitian bundle gerbes with connection are geometric objects for which a notion of surface holonomy can be defined for closed oriented surfaces. We systematically introduce bundle gerbes by closing the pre-stack of trivial bundle gerbes under descent. Inspired by structures arising in a representation theoretic approach to rational conformal field theories, we introduce geometric structure that is appropriate to define surface holonomy in more general situations: Jandl gerbes for unoriented surfaces, D-branes for surfaces with boundaries, and bi-branes for surfaces with defect lines.
This paper generalizes Bismut's equivariant Chern character to the setting of abelian gerbes. In particular, associated to an abelian gerbe with connection, an equivariantly closed differential form is constructed on the space of maps of a torus into the manifold. These constructions are made explicit using a new local version of the higher Hochschild complex, resulting in differential forms given by iterated integrals. Connections to two dimensional topological field theories are indicated. Similarly, this local higher Hochschild complex is used to calculate the 2-holonomy of an abelian gerbe…
We study geometry on real gerbes in the spirit of Cheeger-Simons theory. The concepts of adaptations and holonomy forms are introduced for flat connections on real gerbes. Their relations to complex gerbes with connections are presented, as well as results in loop and map spaces.
We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(n)-equivariant bundle gerbes. Both bundle gerbes come equipped with connections and curvings and by considering the holonomy of these we show that these bundle gerbes are not D-stably isomorphic.
Starting with a non-abelian gerbe represented by a non-abelian differential cocycle, with values in a given crossed-module, this paper explicitly calculates a formula for the derivative of the associated surface holonomy of squares mapped into the base manifold; with spheres later considered as a special case. While the definitions in this paper used for gerbes, their connections, and the induced holonomy will initially be simplicial, translations into a cubical setting will be provided to aide in explicit coordinate-based calculations. While there are many previously published results on the …
We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluing axioms and smoothness conditions. The smoothness conditions are imposed with respect to a strict Lie 2-group, which plays the role of a band, or structure 2-group. Upon choosing certain examples of Lie 2-groups, our axiomatic framework reproduces in a systematical way several known concepts of gerbes with connection: non-abelian differential cocycles, Breen-Messing gerbes, abelian and non-abelian bundle…
We present a construction of a 2-Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2-Hilbert space in higher geometric quantisation. We introduce a direct sum on the morphism categories in the 2-category of bundle gerbes and show that these categories are cartesian monoidal and abelian. Endomorphisms of the trivial bundle gerbe, or higher functions, carry the structure of a rig-category, which acts on generic morphism categories of bundle gerbes. We continue by presenting a categorification of the hermitean metric on a hermitean line bundle. This is achieved by…
This masters thesis reviews bundle gerbe theory and the well-known basic bundle gerbe over SU(n). We introduce the cup product bundle gerbe, and show it is stably isomorphic to the pullback of the basic bundle gerbe by the Weyl map. This result enriches our understanding of the basic bundle gerbe, which has numerous applications in physics.
This is a mostly self-contained survey article about bundle gerbes and some of their recent applications in geometry, field theory, and quantisation. We cover the definition of bundle gerbes with connection and their morphisms, and explain the classification of bundle gerbes with connection in terms of differential cohomology. We then survey how the surface holonomy of bundle gerbes combines with their transgression line bundles to yield a smooth bordism-type field theory. Finally, we exhibit the use of bundle gerbes in geometric quantisation of 2-plectic as well as 1- and 2-shifted symplectic…
In this paper, we construct the index bundle gerbe of a family of self-adjoint Dirac-type operators, refining a construction of Segal. In a special case, we construct a geometric bundle gerbe called the caloron bundle gerbe, which comes with a natural connection and curving, and show that it is isomorphic to the analytically constructed index bundle gerbe. We apply these constructions to certain moduli spaces associated to compact Riemann surfaces, constructing on these moduli spaces, natural bundle gerbes with connection and curving, whose 3-curvature represent Dixmier-Douady classes that are…
Many bundle gerbes constructed in practice are either infinite-dimensional, or finite-dimensional but built using submersions that are far from being fibre bundles. Murray and Stevenson proved that gerbes on simply-connected manifolds, built from finite-dimensional fibre bundles with connected fibres, always have a torsion $DD$-class. In this note I prove an analogous result for a wide class of gerbes built from principal bundles, relaxing the requirements on the fundamental group of the base and the connected components of the fibre, allowing both to be nontrivial. This has consequences for p…
We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension classifies equivariant structures on the bundle gerbe, and its non-triviality poses an obstruction to the existence of equivariant structures. We present a new global approach to the parallel transport of a bundle gerbe with connection, and use it to give an alternative construction of this smooth 2-group extension in terms of a homotopy-coherent version of…
We construct a prequantum 2-Hilbert space for any line bundle gerbe whose Dixmier-Douady class is torsion. Analogously to usual prequantisation, this 2-Hilbert space has the category of sections of the line bundle gerbe as its underlying 2-vector space. These sections are obtained as certain morphism categories in Waldorf's version of the 2-category of line bundle gerbes. We show that these morphism categories carry a monoidal structure under which they are semisimple and abelian. We introduce a dual functor on the sections, which yields a closed structure on the morphisms between bundle gerbe…
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.
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 natur…
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.
We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bijection between continuous and smooth non-abelian cohomology, and an explicit equivalence between bundle gerbes and principal 2-bundles as 2-stacks.
已知$G$ -流形$M$上的等变丛gerbe à la Meinrenken是可微栈$[M/G]$上$S^1$ -gerbe的一种特殊类型.我们证明了3次等变上同调的Cartan模型和单纯模型的自然态射将等变丛gerbe à la Meinrenken的Dixmier-Douady类映射到相应$S^1$ -gerbe的Beidd-Xu-Dixmier-Douady类.
We define 2-crossed module bundle 2-gerbes related to general Lie 2-crossed modules and discuss their properties. A 2-crossed module bundle 2-gerbe over a manifold is defined in terms of a so called 2-crossed module bundle gerbe, which is a crossed module bundle gerbe equipped with an extra sructure. It is shown that string structures can be described and classified using 2-crossed module bundle 2-gerbes.
We prove that the category of abelian gerbes with connection over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These bundles are equipped with a connection and with a "fusion" product with respect to triples of paths. The equivalence is established by explicit functors in both directions: transgression and regression. We describe applications to geometric lifting problems and loop group extensions.
We show that every bundle gerbe on a supermanifold decomposes into a bundle gerbe over the underlying manifold and a 2-form on the supermanifold. This decomposition is not canonical, but is determined by the choice of a projection map to the underlying manifold. Along the way, we prove the familiar cohomological classification theorems for bundle gerbes and bundle gerbes with connection in the context of supermanifolds.
For each holomorphic vector bundle we construct a holomorphic bundle 2-gerbe that geometrically represents its second Beilinson-Chern class. Applied to the cotangent bundle, this may be regarded as a higher analogue of the canonical line bundle in complex geometry. Moreover, we exhibit the precise relationship between holomorphic and smooth gerbes. For example, we introduce an Atiyah class for gerbes and prove a Koszul-Malgrange type theorem.
Multiplicative bundle gerbes are gerbes over a Lie group which are compatible with the group structure. In this article connections on such bundle gerbes are introduced and studied. It is shown that multiplicative bundle gerbes with connection furnish geometrical constructions of the following objects: smooth central extensions of loop groups, Chern-Simons actions for arbitrary gauge groups, and symmetric bi-branes for WZW models with topological defect lines.
We consider groupoids in the category of principal bundles, which we call principal bundles (PB) groupoids. Inspired by work by Th. Nikolaus and K. Waldorf, we generalise bundle gerbes over manifolds to bundle gerbes over groupoids and discuss a functorial correspondence between PB groupoids and bundle gerbes over groupoids. From a PB groupoid over a fibre product groupoid, we build a bundle gerbe over another fibre product groupoid. Conversely, from a bundle gerbe over a Lie groupoid, we build a PB groupoid. It has a trivial base and from any PB groupoid with trivial base, we build a bundle g…
We study the homotopy aspects of the twisted Chern classes of torsion bundle gerbe modules. Using Sullivan's rational homotopy theory, we realize the twisted Chern classes at the level of classifying spaces. The construction suggests a notion, which we call fractional U-structure serving as a universal framework to study the twisted Chern classes of torsion bundle gerbe modules from the perspective of classifying spaces. Based on this, we introduce and study higher fractional structures on torsion bundle gerbe modules parallel to the higher structures on ordinary vector bundles.
In this short paper, we will review the proposal of a correspondence between the doubled geometry of Double Field Theory and the higher geometry of bundle gerbes. Double Field Theory is T-duality covariant formulation of the supergravity limit of String Theory, which generalises Kaluza-Klein theory by unifying metric and Kalb-Ramond field on a doubled-dimensional space. In light of the proposed correspondence, this doubled geometry is interpreted as an atlas description of the higher geometry of bundle gerbes. In this sense, Double Field Theory can be interpreted as a field theory living on th…
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, …
A bundle gerbe is constructed from an oriented smooth vector bundle of even rank with a fiberwise inner product, over a compact connected orientable smooth manifold with Riemannian metric. From a trivialization of the bundle gerbe is constructed an irreducible Clifford module bundle, a spinor bundle over the smooth free loop space of the manifold. First, a Clifford algebra bundle over the loop space is constructed from the vector bundle. A polarization class bundle is constructed, choosing continuously over each point of the loop space a polarization class of Lagrangian subspaces of the comple…
