REVIEW 5 cited by
On the Dualizability of Fusion 2-Categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple tensor 2-categories, separable bimodule 2-categories, and their morphisms. Categorifying a result of arXiv:1312.7188, we prove that separable compact semisimple tensor 2-categories are fully dualizable objects therein. In particular, it then follows from the main theorem of arXiv:2211.04917 that, over an algebraically closed field of characteristic zero, every fusion 2-category is a fully dualizable object of the above Morita 4-category. We explain how this can be extended to any field of characteristic zero. Finally, we discuss the field theoretic interpretation of our results.
Forward citations
Cited by 5 Pith papers
-
Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism
For G=(Z2,Z2,triv,1), the authors classify anomalies via oriented and spin bordism in spacetime dimensions d<=5 and derive the (3+1)D SymTFT boundary conditions, including the equivalence of the anomalous symmetry cat...
-
Gauging Non-Invertible Symmetries in (2+1)d Topological Orders
A framework for gauging non-invertible symmetries in (2+1)d TQFTs, unifying 0-form and 1-form gauging via surface algebras, with constraints and toric-code examples.
-
Compact Semisimple Tensor 2-Categories are Morita Connected
Every compact semisimple tensor 2-category is Morita equivalent to a connected one over arbitrary fields of characteristic zero, with applications to Witt groups and Galois cohomology.
-
On \'Etale Algebras and Bosonic Fusion 2-Categories
Connected and Lagrangian étale algebras in Z_1(2Vect^π_G) are classified by subgroups, braided fusion categories with group actions, and 4-group morphism data; this yields a parametrization of bosonic fusion 2-categories.
-
Orthonormal bases for higher Hilbert spaces
For finite-dimensional 3-Hilbert spaces, orthonormal bases exist uniquely up to contractible choice, and the Yoneda embedding into the presheaf 3-Hilbert space is an isometric equivalence.
Discussion (0). Continue with ORCID to comment.