On Frobenius algebras in rigid monoidal categories

We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras, the appropriate setting is the one of rigid monoidal categories, and for symmetric Frobenius algebras it is the one of sovereign monoidal categories. We also discuss some properties of Nakayama automorphisms.

💡 Research Summary

The paper investigates how the classical equivalences that characterize Frobenius algebras in the category of vector spaces extend to much broader categorical contexts. The authors first recall that, over a field, a finite‑dimensional algebra (A) is Frobenius if any of the following holds: (i) (A) carries a compatible coalgebra structure; (ii) the underlying vector space is self‑dual via a non‑degenerate bilinear form; (iii) the category of left (A)‑modules is isomorphic to the category of right (A)‑modules; (iv) there exists a linear functional (\varepsilon: A\to k) that induces an isomorphism (\operatorname{Hom}_k(A,k)\cong \operatorname{Hom}_k(k,A)). The paper’s central goal is to show that these four descriptions remain equivalent when the ambient category (\mathcal{C}) is a rigid monoidal category, i.e. a monoidal category in which every object possesses left and right duals together with evaluation and coevaluation morphisms satisfying the usual triangle identities.

In the first technical section the authors set up the necessary categorical background. They define a rigid monoidal category, introduce the notation for left and right duals (X^{\vee}) and ({}^{\vee}X), and spell out the evaluation (\mathrm{ev}_X) and coevaluation (\mathrm{coev}_X) maps. They emphasize that rigidity supplies a canonical way to “transpose’’ morphisms, which will replace the role of linear duality in the classical proofs.

Next, the paper defines a Frobenius algebra object ((A,\mu,\eta,\Delta,\varepsilon)) in a rigid monoidal category. The multiplication (\mu: A\otimes A\to A) and unit (\eta: \mathbf{1}\to A) make (A) an algebra; the comultiplication (\Delta: A\to A\otimes A) and counit (\varepsilon: A\to \mathbf{1}) make it a coalgebra. The Frobenius condition is expressed as the equality ((\mu\otimes \mathrm{id})\circ(\mathrm{id}\otimes \Delta)=\Delta\circ\mu), which is precisely the statement that (\Delta) is the right‑dual of (\mu) (or equivalently that (\mu) is the left‑dual of (\Delta)). Using the rigidity isomorphisms, the authors prove the following equivalences:

1. Algebra–coalgebra compatibility (the above equation) ⇔ Self‑duality: there exists an isomorphism (A\cong A^{\vee}) making the evaluation map coincide with the counit (\varepsilon) and the coevaluation with the unit (\eta).
2. Self‑duality ⇔ Frobenius module category: the category of left (A)-modules in (\mathcal{C}) is monoidally equivalent to the category of right (A)-modules, and both inherit a rigid structure from (\mathcal{C}).
3. Self‑duality ⇔ Non‑degenerate functional: a morphism (\varepsilon: A\to\mathbf{1}) induces a natural isomorphism (\operatorname{Hom}{\mathcal{C}}(A,\mathbf{1})\cong\operatorname{Hom}{\mathcal{C}}(\mathbf{1},A)).

The proofs rely heavily on the triangle identities for evaluation and coevaluation, together with the coherence axioms for the monoidal product. The authors also discuss how the equivalence fails if rigidity is absent, illustrating the necessity of duals.

The second major part of the paper addresses symmetric Frobenius algebras. Symmetry requires that the comultiplication be the transpose of the multiplication with respect to a chosen braiding. In a general monoidal category this notion is ill‑posed because left and right duals need not coincide. The authors therefore introduce the notion of a sovereign monoidal category, a rigid category equipped with a natural isomorphism (\sigma_X: X^{\vee}\to {}^{\vee}X) that identifies left and right duals. In such a setting the transpose operation becomes canonical, and the authors define a symmetric Frobenius algebra as a Frobenius algebra for which (\Delta = \mu^{\dagger}) (the transpose) or, equivalently, (\varepsilon\circ\mu = \varepsilon\circ\mu\circ c_{A,A}) where (c) is the braiding. They prove that in a sovereign category the four Frobenius characterizations remain equivalent and that the symmetry condition forces the associated Nakayama automorphism (see below) to be the identity.

The third technical contribution concerns the Nakayama automorphism (\nu: A\to A). In the classical setting (\nu) measures the failure of the Frobenius form (\varepsilon) to be symmetric: (\varepsilon(ab)=\varepsilon(b\nu(a))). The authors define (\nu) categorically by the equation (\varepsilon\circ\mu = \varepsilon\circ\mu\circ(\nu\otimes\mathrm{id})). Using rigidity they show that a unique (\nu) always exists for any Frobenius algebra in a rigid monoidal category, and they explore its basic properties: (\nu) is an algebra automorphism, it intertwines the left and right module structures, and it becomes the identity precisely when the Frobenius algebra is symmetric (i.e. when the ambient category is sovereign). The paper also examines how (\nu) behaves under tensor products, Morita equivalence, and in the presence of additional structures such as Hopf algebra antipodes. Concrete calculations are provided for finite‑dimensional Hopf algebras and for internal algebras in representation categories, illustrating that the categorical Nakayama automorphism recovers the classical one.

The final sections present several examples and applications. The authors verify that in the category of finite‑dimensional vector spaces (which is both rigid and sovereign) all the classical results are recovered. They also treat finite‑dimensional Hopf algebras, showing that the integral and cointegral give rise to a Frobenius structure and that the antipode squared coincides with the Nakayama automorphism. Moreover, they discuss internal algebras in braided tensor categories arising from quantum groups, indicating how the present theory can be used to study modular invariants and topological field theories.

In conclusion, the paper establishes that the familiar equivalences characterizing Frobenius and symmetric Frobenius algebras are not artifacts of linear algebra but are intrinsic to the categorical notions of rigidity and sovereignty. By providing a clean, diagrammatic proof of these equivalences and by extending the concept of the Nakayama automorphism to arbitrary rigid monoidal categories, the authors open the way for systematic use of Frobenius algebra objects in higher‑categorical contexts such as 2‑dimensional topological quantum field theory, categorified representation theory, and the study of quantum invariants. The work thus bridges a gap between classical algebraic structures and modern categorical frameworks, offering a robust toolkit for future research in both mathematics and theoretical physics.