Results 1  10
of
25
From loop groups to 2groups
 HHA
"... We describe an interesting relation between Lie 2algebras, the Kac– Moody 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 2gr ..."
Abstract

Cited by 23 (11 self)
 Add to MetaCart
We describe an interesting relation between Lie 2algebras, the Kac– Moody 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 gk each having 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 gk as its Lie 2algebra, except when k = 0. Here, however, we construct for integral k an infinitedimensional Lie 2group PkG whose Lie 2algebra is equivalent to gk. The objects of PkG are based paths in G, while the automorphisms of any object form the levelk Kac– Moody central extension of the loop group ΩG. This 2group is closely related to the kth power of the canonical gerbe over G. Its nerve gives a topological group PkG  that is an extension of G by K(Z, 2). When k = ±1, PkG  can also be obtained by killing the third homotopy group of G. Thus, when G = Spin(n), PkG  is none other than String(n). 1 1
Categorified symplectic geometry and the classical string
, 2008
"... A Lie 2algebra is a ‘categorified ’ version of a Lie algebra: that is, a category equipped with structures analogous to those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poi ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
A Lie 2algebra is a ‘categorified ’ version of a Lie algebra: that is, a category equipped with structures analogous to those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poisson bracket of functions on this space gives a Lie algebra of observables. Multisymplectic geometry describes an ndimensional field theory using a phase space that is an ‘nplectic manifold’: a finitedimensional manifold equipped with a closed nondegenerate (n + 1)form. Here we consider the case n = 2. For any 2plectic manifold, we construct a Lie 2algebra of observables. We then explain how this Lie 2algebra can be used to describe the dynamics of a classical bosonic string. Just as the presence of an electromagnetic field affects the symplectic structure for a charged point particle, the presence of a B field affects the 2plectic structure for the string.
Twisted differential String and Fivebrane structures
, 2009
"... Abelian differential generalized cohomology as developed by Hopkins and Singer has been shown by Freed to formalize the global description of anomaly cancellation problems in String theory, such as notably the GreenSchwarz mechanism. On the other hand, this mechanism, as well as the FreedWitten an ..."
Abstract

Cited by 7 (7 self)
 Add to MetaCart
Abelian differential generalized cohomology as developed by Hopkins and Singer has been shown by Freed to formalize the global description of anomaly cancellation problems in String theory, such as notably the GreenSchwarz mechanism. On the other hand, this mechanism, as well as the FreedWitten anomaly cancellation, are fundamentally governed by the cohomology classes represented by the relevant nonabelian O(n) and U(n)principal bundles underlying the tangent and the gauge bundle on target space. In this article we unify the picture by describing nonabelian differential cohomology and twisted nonabelian differential cohomology and apply it to these situations. We demonstrate that the FreedWitten mechanism for the Bfield, the GreenSchwarz mechanism for the H3field, as well as its magnetic dual version for the H7field define cocycles in twisted nonabelian differential cohomology that may be addressed, respectively, as twisted Spin(n), twisted String(n) and twisted Fivebrane(n)structures on target space, where the twist in each case is provided by the obstruction to lifting the gauge bundle through a higher connected cover of U(n). We work out the (nonabelian) L∞algebra valued connection data provided by the differential refinements of these twisted cocycles and demonstrate that this reproduces locally the differential form data with the twisted Bianchi identities as known from the
NOTES ON 2GROUPOIDS, 2GROUPS AND CrossedModules
, 2005
"... This paper contains some basic results on 2groupoids, with special emphasis on computing derived mapping 2groupoids between 2groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author’s k ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
This paper contains some basic results on 2groupoids, with special emphasis on computing derived mapping 2groupoids between 2groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author’s knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2groupoids introduced by Moerdijk and Svensson.
ON WEAK MAPS BETWEEN 2GROUPS
, 2008
"... We give an explicit handy cocyclefree description of the groupoid of weak maps between two crossedmodules using what we call a butterfly (Theorem 8.4). We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2category of pointed homotopy 2types. ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We give an explicit handy cocyclefree description of the groupoid of weak maps between two crossedmodules using what we call a butterfly (Theorem 8.4). We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2category of pointed homotopy 2types. This has applications in the study of 2group actions (say, on stacks), and in the theory of gerbes bound by crossedmodules and principal2bundles).
Notes on 2groupoids, 2groups and crossed modules
 Homology, Homotopy and Applications
"... Abstract. This paper contains some basic results on 2groupoids, with special emphasis on computing derived mapping 2groupoids between 2groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Abstract. This paper contains some basic results on 2groupoids, with special emphasis on computing derived mapping 2groupoids between 2groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author’s knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2groupoids introduced by Moerdijk and Svensson. 1.
Twisted differential nonabelian cohomology Twisted (n−1)brane nbundles and their ChernSimons (n+1)bundles with characteristic (n + 2)classes
, 2008
"... We introduce nonabelian differential cohomology classifying ∞bundles with smooth connection and their higher gerbes of sections, generalizing [138]. We construct classes of examples of these from lifts, twisted lifts and obstructions to lifts through shifted central extensions of groups by the shif ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
We introduce nonabelian differential cohomology classifying ∞bundles with smooth connection and their higher gerbes of sections, generalizing [138]. We construct classes of examples of these from lifts, twisted lifts and obstructions to lifts through shifted central extensions of groups by the shifted abelian ngroup B n−1 U(1). Notable examples are String 2bundles [9] and Fivebrane 6bundles [133]. The obstructions to lifting ordinary principal bundles to these, hence in particular the obstructions to lifting Spinstructures to Stringstructures [13] and further to Fivebranestructures [133, 52], are abelian ChernSimons 3 and 7bundles with characteristic class the first and second fractional Pontryagin class, whose abelian cocycles have been constructed explicitly by Brylinski and McLaughlin [35, 36]. We realize their construction as an abelian component of obstruction theory in nonabelian cohomology by ∞Lieintegrating the L∞algebraic data in [132]. As a result, even if the lift fails, we obtain twisted String 2 and twisted Fivebrane 6bundles classified in twisted nonabelian (differential) cohomology and generalizing the twisted bundles appearing in twisted Ktheory. We explain the GreenSchwarz mechanism in heterotic string theory in terms of twisted String 2bundles and its magnetic dual version – according to [133] – in terms of twisted Fivebrane 6bundles. We close by transgressing differential cocycles to mapping
Division Algebras, Supersymmetry and Higher Gauge Theory
, 2012
"... A dissertation is the capstone to a doctoral program, and the acknowledgements provide a useful place to thank the countless people who have helped out along the way, both personally and professionally. First, of course, I thank my advisor, John Baez. It is hard to imagine a better advisor, and no o ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
A dissertation is the capstone to a doctoral program, and the acknowledgements provide a useful place to thank the countless people who have helped out along the way, both personally and professionally. First, of course, I thank my advisor, John Baez. It is hard to imagine a better advisor, and no one deserves more credit for my mathematical and professional growth during this program. “Thanks ” does not seem sufficient, but it is all I have to give. Also deserving special mention is John’s collaborator, James Dolan. I am convinced there is no subject in mathematics for which Jim does not have some deep insight, and I thank him for sharing a few of these insights with me. Together, John and Jim are an unparalleled team: there are no two better people with whom to talk about mathematics, and no two people more awake to the joy of mathematics. I would also like to thank Geoffrey Dixon, Tevian Dray, Robert Helling, Corinne Manogue, Chris Rogers, Hisham Sati, James Stasheff, and Riccardo Nicoletti for helpful conversations and correspondence. I especially thank Urs Schreiber for many discussions of higher gauge theory and L∞superalgebras, smooth ∞groups, and supergeometry.
Coherence for categorified operadic theories
"... It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak Pcategory for any strongly regular (operadic) ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak Pcategory for any strongly regular (operadic) theory P, and show that every weak Pcategory is equivalent via Pfunctors and Ptransformations to a strict Pcategory. This strictification functor is then shown to have an interesting universal property. 1