We present an explicit construction of the basic bundle gerbes with connection over all connected compact simple Lie groups. These are geometric objects that appear naturally in the Lagrangian approach to the WZW conformal field theories. Our work extends the recent construction of E. Meinrenken \cite{Meinr} restricted to the case of simply connected groups.
This paper computes the obstruction to the existence of equivariant extensions of basic gerbes over non-simply connected compact simple Lie groups. By modifying a (finite dimensional) construction of Gawȩdzki-Reis [J. Geom. Phys. 50(1):28-55, 2004], we exhibit basic equivariant bundle gerbes over non-simply connected compact simple Lie groups.
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.
In this paper we establish a one-to-one correspondence between $S^1$-gerbes with connections, on the one hand, and their holonomies, for simply connected manifolds, or their parallel transports, in the general case, on the other hand. This result is a higher-order analogue of the familiar equivalence between bundles with connections and their holonomies for connected manifolds. The holonomy of a gerbe with group $S^1$ on a simply connected manifold $M$ is a group morphism from the thin second homotopy group to $S^1$, satisfying a smoothness condition, where a homotopy between maps from $[0,1]^…
Let $G$ be a compact, simply connected simple Lie group. We give a construction of an equivariant gerbe with connection on $G$, with equivariant 3-curvature representing a generator of $H^3_G(G,\Z)$. Technical tools developed in this context include a gluing construction for gerbes and a theory of equivariant bundle gerbes.
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.
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…
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.
In a previous paper we outlined how discrete torsion can be understood geometrically as an analogue of orbifold U(1) Wilson lines. In this paper we shall prove the remaining details. More precisely, in this paper we describe gerbes in terms of objects known as stacks (essentially, sheaves of categories), and develop much of the basic theory of gerbes in such language. Then, once the relevant technology has been described, we give a first-principles geometric derivation of discrete torsion. In other words, we define equivariant gerbes, and classify equivariant structures on gerbes and on gerbes…
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.
We construct a gerbe over a complex reductive Lie group G attached to an invariant bilinear form on a maximal diagonalizable subalgebra which is Weyl group invariant and satisfies a parity condition. By restriction to a maximal compact subgroup K, one then gets a gerbe over K. For a simply-connected group, the parity condition is the same used by Pressley and Segal; in general, it was introduced by Deligne and the author. The gerbe is defined by geometric methods, using the so-called Grothendieck manifold. It is equivariant under the conjugation action of G; its restriction to a semisimple orb…
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 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…
We give a geometric description of the fusion rules of the affine Lie algebra su(2)_k at a positive integer level k in terms of the k-th power of the basic gerbe over the Lie group SU(2). The gerbe can be trivialised over conjugacy classes corresponding to dominant weights of su(2)_k via a 1-isomorphism. The fusion-rule coefficients are related to the existence of a 2-isomorphism between pullbacks of these 1-isomorphisms to a submanifold of SU(2) x SU(2) determined by the corresponding three conjugacy classes. This construction is motivated by its application in the description of junctions of…
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…
In this note we present a new construction of the string group that ends optionally in two different contexts: strict diffeological 2-groups or finite-dimensional Lie 2-groups. It is canonical in the sense that no choices are involved; all the data is written down and can be looked up (at least somewhere). The basis of our construction is the basic gerbe of Gawedzki-Reis and Meinrenken. The main new insight is that under a transgression-regression procedure, the basic gerbe picks up a multiplicative structure coming from the Mickelsson product over the loop group. The conclusion of the constru…
In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and show that the Grothendieck construction sending these sheaves to stacks has a left adjoint: the functor sending any stack to its diffeological coarse moduli space. As an application, we restrict our attention to differentiable stacks and examine the geometry behind the coarse moduli space construction in terms of Lie groupoids and their principal bundles. With…
While higher bundles are of clear relevance to higher gauge theory, examples other than abelian bundle gerbes are hard to come across. One would in particular like to see 2-bundles where the structure 2-group is the String 2-group associated to a compact simple simply-connected Lie group. This talk will outline a method to construct many examples over homogeneous spaces. We shall also consider one example in detail, giving explicit formulas for the crossed-module-valued Cech cocycle arising from a local trivialisation.
The bigerbes introduced here give a refinement of the notion of 2-gerbes, representing degree four integral cohomology classes of a space. Defined in terms of bisimplicial line bundles, bigerbes have a symmetry with respect to which they form 'bundle 2-gerbes' in two ways; this structure replaces higher associativity conditions. We provide natural examples, including a Brylinski-McLaughlin bigerbe associated to a principal G-bundle for a simply connected simple Lie group. This represents the first Pontryagin class of the bundle, and is the obstruction to the lifting problem on the associated p…
A Vaisman manifold is a special kind of locally conformally Kaehler manifold, which is closely related to a Sasaki manifold. In this paper we show a basic structure theorem of simply connected homogeneous Sasaki and Vaisman manifods of unimodular Lie groups, up to holomorphic isometry. For the case of unimodular Lie groups, we obtain a complete classification of simply connected Sasaki and Vaisman unimodular Lie groups, up to modification.
A classical theorem of Drinfel'd states that the category of simply connected Poisson Lie groups H is isomorphic to the category of Manin triples (d, g, h), where h is the Lie algebra of H. In this paper, we consider Dirac Lie groups, that is, Lie groups H endowed with a multiplicative Courant algebroid A and a Dirac structure E /subset A for which the multiplication is a Dirac morphism. It turns out that the simply connected Dirac Lie groups are classified by so-called Dirac Manin triples. We give an explicit construction of the Dirac Lie group structure defined by a Dirac Manin triple, and d…
In these notes we survey basic concepts of affine geometry and their interaction with Riemannian geometry. We give a characterization of affine manifolds which has as counterpart those pseudo-Riemannian manifolds whose Levi-Civita connection is flat. We show that no connected semisimple Lie group admits a left invariant flat affine connection. We characterize flat pseudo-Riemannian Lie groups. For a flat left-invariant pseudo-metric on a Lie group, we show the equivalence between the completeness of the Levi-Civita connection and unimodularity of the group. We emphasize the case of flat left i…