Bestiary hypothesis for higher categories of vector spaces

About 7 years old · traced to

Let d≥0d\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.