Jump to content

Bundle gerbe

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Wundzer (talk | contribs) at 16:18, 15 November 2020. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, a bundle gerbe is a geometrical model of certain 1-gerbes with connection, or equivalently of a 2-class in Deligne cohomology.

Topology

-principal bundles over a space (see circle bundle) are geometrical realizations of 1-classes in Deligne cohomology which consist of 1-form connections) and 2-form curvatures. The topology of a bundle is classified by its Chern class, which is an element of , the second integral cohomology of .

Gerbes, or more precisely 1-gerbes, are abstract descriptions of Deligne 2-classes, which each define an element of , the third integral cohomology of M.

As a cohomology class in Deligne cohomology

Recall for a smooth manifold the p-th Deligne cohomology groups are defined by the hypercohomology of the complex

called the weight q Deligne complex, where is the sheaf of germs of smooth differential k-forms tensored with . So, we write

for the Deligne-cohomology groups of weight . In the case the Deligne complex is then

We can understand the Deligne cohomology groups by looking at the Cech resolution giving a double complex. There is also an associated short exact sequence[1] pg 7

where are the closed germs of complex valued 2-forms on and is the subspace of such forms where period integrals are integral. This can be used to show are the isomorphism classes of bundle-gerbes on a smooth manifold , or equivalently, the isomorphism classes of -bundles on .

History

Historically the most popular construction of a gerbe is a category-theoretic model featured in Giraud's theory of gerbes, which are roughly sheaves of groupoids over M.

In 1994 Murray introduced bundle gerbes, which are geometric realizations of 1-gerbes. For many purposes these are more suitable for calculations than Giraud's realization, because their construction is entirely within the framework of classical geometry. In fact, as their name suggests, they are fiber bundles. This notion was extended to higher gerbes the following year.[2]

Relationship with twisted K-theory

In Twisted K-theory and the K-theory of Bundle Gerbes [3] the authors defined modules of bundle gerbes and used this to define a K-theory for bundle gerbes. They then showed that this K-theory is isomorphic to Rosenberg's twisted K-theory, and provides an analysis-free construction.

In addition they defined a notion of twisted Chern character which is a characteristic class for an element of twisted K-theory. The twisted Chern character is a differential form that represents a class in the twisted cohomology with respect to the nilpotent operator

where is the ordinary exterior derivative and the twist is a closed 3-form. This construction was extended to equivariant K-theory and to holomorphic K-theory by Mathai and Stevenson.[4]

Relationship with field theory

Bundle gerbes have also appeared in the context of conformal field theories. Gawedzki and Reis have interpreted the Wess–Zumino term in the Wess–Zumino–Witten model (WZW) of string propagation on a group manifold as the connection of a bundle gerbe. Urs Schreiber, Christoph Schweigert and Konrad Waldorf have used this construction to extend WZW models to unoriented surfaces and, more generally, the global Kalb–Ramond coupling to unoriented strings.

More details can be found at the n-Category Café:

See also

Notes

  1. ^ Gajer, Pawel (1996-01-26). "Geometry of Deligne cohomology". doi:10.1007/s002220050118. {{cite journal}}: Cite journal requires |journal= (help)
  2. ^ in Higher Bundle Gerbes and Cohomology Classes In Gauge Theories by Alan Carey, Michael Murray and Bai-Ling Wang
  3. ^ by Peter Bouwknegt, Alan Carey, Varghese Mathai, Michael Murray and Danny Stevenson
  4. ^ in Chern Character in Twisted K-theory: Equivariant and Holomorphic Cases

References

In string theory