Related papers: Central Extensions of Smooth 2-Groups and a Finite…

We argue that the relevant higher gauge group for the non-abelian generalization of the self-dual string equation is the string 2-group. We then derive the corresponding equations of motion and discuss their properties. The underlying…

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…

We study mirror symmetry of type II strings on manifolds with the exceptional holonomy groups $G_2$ and Spin(7). Our central result is a construction of mirrors of Spin(7) manifolds realized as generalized connected sums. In parallel to…

We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the…

We show that the complete bornological convolution algebras of Lie groupoids and convolution bimodules of groupoid bibundles define a monoidal functor from the 2-category of differentiable stacks to the Morita 2-category of complete…

In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

The loop space of a string manifold supports an infinite-dimensional Fock space bundle, which is an analog of the spinor bundle on a spin manifold. This spinor bundle on loop space appears in the description of 2-dimensional sigma models as…

For a strict Lie 2-group, we develop a notion of Lie 2-algebra-valued differential forms on Lie groupoids, furnishing a differential graded-commutative Lie algebra equipped with an adjoint action of the Lie 2-group and a pullback operation…

We describe a construction of geometric U-folds compatible with a non-trivial extension of the global formulation of four-dimensional extended supergravity on a differentiable spin manifold. The topology of geometric U-folds depends on…

We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the…

We obtain a complete classification of hypercomplex manifolds, on which a compact group of automorphisms acts transitively. The description of the spaces as well as the proofs of our results use only the structure theory of reductive…

We construct and study a bicategory of super 2-line bundles over graded Lie groupoids, providing a unified framework for geometric models of twistings of (Real) K-theory. The core of our work is to exhibit a wide range of models from the…

Motivated by the problem of constructing explicit geometric string structures, we give a rigid model for bundle 2-gerbes, and define connective structures thereon. This model is designed to make explicit calculations easier in applications…

We exhibit an explicit construction for the second cohomology group $H^2(L, A)$ for a Lie ring $L$ and a trivial $L$-module $A$. We show how the elements of $H^2(L, A)$ correspond one-to-one to the equivalence classes of central extensions…

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of…

We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category…

It is shown that every bundle $\varSigma\to M$ of complex spinor modules over the Clifford bundle $\Cl(g)$ of a Riemannian space $(M,g)$ with local model $(V,h)$ is associated with an lpin ("Lipschitz") structure on $M$, this being a…

We show that the canonical central extension of the group of sections of a Lie group bundle over a compact manifold, constructed in [NW09], is universal. In doing so, we prove universality of the corresponding central extension of Lie…

We study, using the language of log schemes, the problem of extending biextensions of smooth commutative group schemes by the multiplicative group. This was first considered by Grothendieck in SGA 7. We show that this problem admits a…