Bestiary hypothesis for higher categories of vector spaces

From papers

Let d0d\geq 0. Consider the homotopy actions of the relevant orthogonal groups on the indicated higher categories of vector spaces. Framing-action triviality conjecture. The homotopy O(d+1)\mathrm{O}(d+1)-action on ΣdVecR\Sigma^d\mathbf{Vec}_\mathbb R, the homotopy SO(d+1)\mathrm{SO}(d+1)-action on ΣdVecC\Sigma^d\mathbf{Vec}_\mathbb C, and the homotopy Spin(d+1)\mathrm{Spin}(d+1)-action on ΣdSVecC\Sigma^d\mathbf{SVec}_\mathbb C are canonically trivializable. These claims would explain why the corresponding real, complex bosonic, and complex fermionic topological orders naturally define unoriented, oriented, and spin TQFTs, respectively. The source presents them as expectations based on examples, with no resolution supplied.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Davide Gaiotto and Theo Johnson-Freyd, “Condensations in higher categories”, arXiv:1905.09566 (2025).

Solutions 0

No solutions have been posted yet.