symmetric monoidal (∞,1)-category of spectra
A Frobenius algebra is a vector space that is both an algebra and a coalgebra in a compatible way. This sort of compatibility is different (and more “topological”) from that involved in a bialgebra/Hopf algebra. More generally, Frobenius algebras can be defined in any monoidal category, and even in any polycategory, in which case they are sometimes called Frobenius monoids.
There are a number of equivalent definitions of the concept of Frobenius algebra.
The origial definition is an associative algebra with a suitable linear form? on it.
In the context of 2d TQFT what crucially matters is that this is equivalent to an associative algebra structure with a compatible coalgebra structure
A Frobenius algebra in a monoidal category is a quintuple such that
In terms of string diagrams, this definition says:
The first line here shows the associative law and left/right unit laws for a monoid. The second line shows the coassociative law and left/right counit laws for a comonoid. The third line shows the Frobenius laws.
A Frobenius algebra is a unital, associative algebra equipped with a linear form such that is a non-degenerate pairing. I.e. the induced map
From this definition it is easy to see that every Frobenius algebra in Vect is necessarily finite-dimensional.
There are about a dozen equivalent definitions of a Frobenius algebra. Ross Street (2004) lists most of them.
We can define ‘commutative’ Frobenius algebras in any symmetric monoidal category. Namely, a Frobenius algebra is commutative if its associated monoid is commutative — or equivalently, if its associated comonoid is cocommutative.
We can define ‘commutative’ or ‘symmetric’ Frobenius algebras in any symmetric monoidal category. A Frobenius algebra is symmetric if
where is the symmetry, and is the nondegenerate pairing induced as above from the multiplication and the counit. Any commutative Frobenius algebra is symmetric, but not conversely: for example the algebra of matrices with entries in a field, with its usual trace as , is symmetric but not commutative when .
A theorem of Eilenberg and Nakayama says that in the category of vector spaces over a field , an algebra can be equipped with the structure of a symmetric Frobenius algebra if (but not only if) it is separable, meaning that for any field extending , is a semisimple algebra over .
If , a Frobenius algebra is said to be special. In the category of vector spaces, any element of an associative unital algebra gives a left multiplication map
which in turn gives a bilinear pairing defined by
One can show that the algebra can be equipped with the structure of a special Frobenius algebra if and only if is nondegenerate, i.e., if there is an isomorphism given by
In this case, there is just one way to make into a special Frobenius algebra, namely by taking the counit to be
(In any Frobenius algebra, the unit, multiplication and counit determine the comultiplication.)
In fact, all the results of the previous paragraph generalize to Frobenius algebras in any symmetric monoidal category, since the proofs can be done using string diagrams.
An associative unital algebra for which the bilinear pairing is nondegenerate is called strongly separable. So, any strongly separable algebra becomes a special Frobenius algebra in a unique way. For more details, see separable algebra and Aguiar (2000).
To get a feeling for some of the concepts we are discussing, an example is helpful. The group algebra of a finite group is always separable but strongly separable if and only if the order of is invertible in the field . By the results mentioned, this means that can always be made into a symmetric Frobenius algebra, but only into a special Frobenius algebra when is invertible in .
To see this, we can check that the group algebra becomes a symmetric Frobenius algebra if we define the counit to pick out the coefficient of :
But when is invertible in , we can check that becomes a special symmetric Frobenius algebra if we normalize the counit as follows:
We should warn the reader that Rosebrugh et al (2005) call a special Frobenius algebra ‘separable’. This usage conflicts with the standard definition of a separable algebra in the category of vector spaces over a field, so we suggest avoiding it.
A Frobenius algebra in a monoidal category is an object dual to itself.
Let be the monoidal unit. To say is dual to itself means there are maps and such that the usual triangular equations hold. The maps are defined by
and one of the triangular equations uses one of the Frobenius laws and unit and counit axioms to derive the following commutative diagram:
The other triangular equation uses the other Frobenius law and unit and counit axioms.
As a result, we see that in the monoidal category of modules over a commutative ring , Frobenius algebras considered as modules over are finitely generated and projective. This is because , being adjoint to itself, is a left adjoint and therefore preserves all colimits. That preserves arbitrary small coproducts means is finitely generated over , and that preserves coequalizers means is projective over .
Every Frobenius algebra is a quasi-Frobenius algebra?: projective and injective left (right) modules over coincide.
Every Frobenius algebra is a pseudo-Frobenius algebra?: is an injective cogenerator in the category of left (right) -modules.
Certain kinds of Frobenius algebras have nice PROPs or PROs. The PRO for Frobenius algebras is the monoidal category of planar thick tangles, as noted by Aaron Lauda Lauda (2006) and illustrated here:
Lauda and Pfeiffer Lauda (2008) showed that the PROP for symmetric Frobenius algebras is the category of ‘topological open strings’, since it obeys this extra axiom:
The PROP for commutative Frobenius algebras is 2Cob?, as noted by many people and formally proved in (Abrams (1996)). This means that any commutative Frobenius algebra gives a 2d TQFT. See Kock (2006) for a history of this subject and Kock (2004) for a detailed introduction. In 2Cob, the circle is a Frobenius algebra. The monoid laws look like this:
The comonoid laws look like this:
The Frobenius laws look like this:
and the commutative law looks like this:
The PROP for special commutative Frobenius algebras is Cospan(FinSet), as proved by Rosebrugh, Sabadini and Walters. This is worth comparing to the PROP for commutative bialgebras, which is Span(FinSet). For details, see Rosebrugh et al (2005), and also Lack (2004).
A special commutative Frobenius algebra gives a 2d TQFT that is insensitive to the genus of a 2-manifold, since in terms of pictures, the ‘specialness’ axioms says that
|2d TQFT (“TCFT”)||coefficients||algebra structure on space of quantum states|
|open topological string||Vect||Frobenius algebra||folklore+(Abrams 96)|
|open topological string with closed string bulk theory||Vect||Frobenius algebra with trace map and Cardy condition||(Lazaroiu 00, Moore-Segal 02)|
|non-compact open topological string||Ch(Vect)||Calabi-Yau A-∞ algebra||(Kontsevich 95, Costello 04)|
|non-compact open topological string with various D-branes||Ch(Vect)||Calabi-Yau A-∞ category||“|
|non-compact open topological string with various D-branes and with closed string bulk sector||Ch(Vect)||Calabi-Yau A-∞ category with Hochschild cohomology||“|
|local closed topological string||2Mod(Vect) over field||separable symmetric Frobenius algebras||(SchommerPries 11)|
|non-compact local closed topological string||2Mod(Ch(Vect))||Calabi-Yau A-∞ algebra||(Lurie 09, section 4.2)|
|non-compact local closed topological string||2Mod for a symmetric monoidal (∞,1)-category||Calabi-Yau object in||(Lurie 09, section 4.2)|
In fact, Frobenius algebras can be defined in any polycategory, and hence in any linearly distributive category. The essential point is that the monoidal structure used for the monoid structure could be different from the monoidal structure used for the comonoid structure, i.e. we could have but . The compatibility between and in a linearly distributive category (or between their “multicategorical” analogues in a polycategory) is precisely what is required to write down the composites involved in the Frobenius laws. For instance, we can have
and one of the Frobenius laws says that this composite is equal to
This is analogous to how a bimonoid can be defined in any duoidal category. In fact, it is a sort of microcosm principle; it is shown in (Egger2010) that Frobenius monoids in the linearly distributive category Sup are precisely *-autonomous cocomplete posets (and hence, in particular, linearly distributive).
In polycategorical language we can give another unbiased definition of a commutative Frobenius monoid: it is equipped with exactly one morphism of each possible (two-sided) arity, such that any (symmetric) polycategorical composite of two such morphisms is equal to another such. The monoid structure consists of the morphisms of arity and , while the comonoid structure is the morphisms of arity and , and the Frobenius relations say that three ways to compose these to produce a morphism of arity are equal. (The morphism of arity is the composite ; no axiom is required on it, because in a polycategory there is no other morphism to compare it to.) In other words, the free symmetric polycategory containing a commutative Frobenius monoid is the terminal symmetric polycategory. In this way Frobenius algebras are to polycategories in the same way that monoids are to multicategories.
Mike Shulman: I have not carefully checked the above statement, but it seems that the Frobenius laws should suffice to manipulate any such composite into any other. Personal communications from other people who should know are in agreement.
See for instance
Their role in 2d TQFT is discussed for instance in
For applications in proof theory of classical and linear logic or linguistics:
Martin Hyland, Abstract Interpretation of Proofs: Classical Propositional Calculus , pp.6-21 in Marcinkowski, Tarlecki (eds.), Computer Science Logic (CSL 2004) , LNCS 3210 Springer Heidelberg 2004. (preprint)
Frobenius algebras in linearly distributive categories are discussed in
R. Rosebrugh, N. Sabadini and R.F.C. Walters (2005), Generic commutative separable algebras and cospans of graphs, Theory and Applications of Categories 15 (Proceedings of CT2004), 164–177. (web)
R. F. C. Walters, R. J. Wood, Frobenius Objects in Cartesian Bicategories , TAC 20 no. 3 (2008) pp.25-47. (pdf)