Related papers: The Fusion Categorical Diagonal
It was shown by Ostrik (2003) and Natale (2017) that a collection of twisted group algebras in a pointed fusion category serve as explicit Morita equivalence class representatives of indecomposable, separable algebras in such categories. We…
We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form Rep(H) for H a suitable Hopf algebra (which includes the special…
We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not…
We show that the canonical equivalences of categories between 2-dimensional (unoriented) topological quantum field theories valued in a symmetric monoidal category and (extended) commutative Frobenius algebras in that symmetric monoidal…
In the present paper by Frobenius algebra Y we mean a finite dimensional algebra possessing an associative and invertible (nondegenerate) form a scalar product, referred to as the Frobenius structure. The nondegenerate form has an inverse.…
The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a…
We classify pointed fusion categories C(G, $\omega$) up to Morita equivalence for 1 < |G| < 32. Among them, the cases |G| = 2 3 , 2 4 and 3 3 are emphasized. Although the equivalence classes of such categories are not distinguished by their…
Let $G$ be a group. We give a categorical definition of the $G$-equivariant $\alpha$-induction associated with a given $G$-equivariant Frobenius algebra in a $G$-braided multitensor category, which generalizes the $\alpha$-induction for…
We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various…
In this paper, we show that $\C{G}$-Frobenius algebras (for $\C{G}$ a finite groupoid) correspond to a particular class of Frobenius objects in the representation category of $D(k[\C{G}])$, where $D(k[\C{G}])$ is the Drinfeld double of the…
In this paper we discuss some connections between groupoids and Frobenius algebras specialized in the case of Poisson sigma models with boundary. We prove a correspondence between groupoids in the category Set and relative Frobenius…
We functorially characterize groupoids as special dagger Frobenius algebras in the category of sets and relations. This is then generalized to a non-unital setting, by establishing an adjunction between H*-algebras in the category of sets…
If $A$ is a finite-dimensional algebra graded by a group $G$, and $\sigma \in G$, we define a variant of paratrophic matrix associated with $A$ and $\sigma$, and we use it to characterize the $\sigma$-graded Frobenius property for $A$. We…
A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally.…
We establish relations between representation dimensions of two algebras connected by a Frobenius bimodule or extension. Consequently, upper bounds and equality formulas for representation dimensions of group algebras, symmetric separably…
Several complications arise when attempting to work with fusion categories over arbitrary fields. Here we describe some of the new phenomena that occur when the field is not algebraically closed, and we adapt tools such as the…
A Morita class of symmetric special Frobenius algebras A in the modular tensor category of a chiral CFT determines a full CFT on oriented world sheets. For unoriented world sheets, A must in addition possess a reversion, i.e. an isomorphism…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…