Stable Postnikov data of Picard 2-categories

Abstract

Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$. This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of $K\mathcal{D}$ in terms of categorical structure. We use this to show that there is no strict skeletal Picard 2-category whose $K$-theory realizes the 2-truncation of the sphere spectrum. As part of the proof, we construct a categorical suspension, producing a Picard 2-category $\Sigma C$ from a Picard 1-category $C$, and show that it commutes with $K$-theory in that $K\Sigma C$ is stably equivalent to $\Sigma KC$.

31 pages. To appear in Algebraic and Geometric Topology

References in corpus (8)

• Higher-Dimensional Algebra V: 2-Groups
• State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter
• Biequivalences in tricategories
• Quasistrict symmetric monoidal 2-categories via wire diagrams
• An Inverse K-Theory Functor
• The 2-dimensional stable homotopy hypothesis
• The monoidal structure of strictification
• A cocategorical obstruction to tensor products of Gray-categories

Cited by in corpus (3)

• The 2-dimensional stable homotopy hypothesis
• Coherence for braided and symmetric pseudomonoids
• 2-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$