REVIEW 5 cited by
Rigid and Separable Algebras in 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
abstract
Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra, by giving a criterion for the existence of right and left adjoints. Then, we consider separable algebras, which are particularly well-behaved rigid algebras. Specifically, given a fusion 2-category, we prove that the 2-categories of modules and of bimodules over a separable algebra are finite semisimple. Finally, we define the dimension of a connected rigid algebra in a fusion 2-category, and prove that such an algebra is separable if and only if its dimension is non-zero.
Forward citations
Cited by 5 Pith papers
-
Classification of symmetric fusion categories over $\mathbb{R}$
Every symmetric fusion category over R is equivalent to the semi-linear super representation category of a Z2-graded finite super group.
-
The Classification of 3+1d Symmetry Enriched Topological Order
Finite-group-enriched 3+1d topological orders are classified by 2SVect-enriched G-crossed braided fusion 2-categories, with gauging obstructions living in SW^5(BG).
-
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.
-
Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
Explicit construction of dual bimodules from Frobenius algebras in monoidal 2-categories, with promotion of coherent duals and proof that special Frobenius algebras in 2Vect are rigid.
Discussion (0). Continue with ORCID to comment.