Related papers: Central Extensions of Smooth 2-Groups and a Finite…
We construct a version of differential $K$-theory based on smooth Banach manifold models for the homotopy types $B \mathrm U\times Z$ and $\mathrm U$ that appear in the topological $K$-theory spectrum. These manifolds carry natural…
The $R^2 F^{2g-2}$ terms of Type IIA strings on Calabi-Yau 3-folds, which are given by the corresponding topological string amplitudes (a worldsheet instanton sum for all genera), are shown to have a simple M-theory interpretation. In…
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…
In this paper, we describe a relation between a categorical quantization construction, called "2-linearization", and extended topological quantum field theory (ETQFT). We then describe an extension of the 2-linearization process which…
We study smooth higher symmetry groups and moduli $\infty$-stacks of generic higher geometric structures on manifolds. Symmetries are automorphisms which cover non-trivial diffeomorphisms of the base manifold. We construct the smooth higher…
A Lie 2-algebra is a "categorified" version of a Lie algebra: that is, a category equipped with structures analogous those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the…
We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…
The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption…
We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…
We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical and include permutative categories and…
Let $L$ be a compact oriented $3$-manifold and $\rho\colon\pi_1(L)\to \mathrm{GL}(n,\mathbb{C})$ a representation. Evaluating the Cheeger-Chern-Simons class $\widehat{c}_{\rho,k}\in H^{2k-1}(L;\mathbb{C}/\mathbb{Z})$ of $\rho$ at $\nu\in…
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…
A biextraspecial group of rank $m$ is an extension of a special 2-group $Q$ of the form $2^{2 + 2m}$ by $L\cong L_2(2)$, such that the 3-element from $L$ acts on $Q$ fixed-point-freely. Subgroups of this type appear in at least the sporadic…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
We consider 2-local geometries and other subgroup complexes for sporadic simple groups. For six groups, the fixed point set of a noncentral involution is shown to be equivariantly homotopy equivalent to a standard geometry for the component…
We study the restriction to a family of second class constrained submanifolds in the cotangent bundle of a double Lie group, equipped with a 2-cocycle extended symplectic form, building the corresponding Dirac brackets. It is shown that,…
By a 2-group we mean a groupoid equipped with a weakened group structure. It is called split when it is equivalent to the semidirect product of a discrete 2-group and a one-object 2-group. By a permutation 2-group we mean the 2-group…
Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with…