nLab
Frobenius algebra

Frobenius algebra

Definition

Definition

A Frobenius algebra in a monoidal category is a quintuple (A,δ,ϵ,μ,η)(A, \delta, \epsilon, \mu, \eta) such that

  1. (A,μ,η)(A, \mu, \eta) is a monoid,
  2. (A,δ,ϵ)(A, \delta, \epsilon) is a comonoid, and
  3. the Frobenius laws hold: (1μ)(δ1)=δμ=(μ1)(1δ)(1 \otimes \mu) \circ (\delta \otimes 1) = \delta \circ \mu = (\mu \otimes 1) \circ (1 \otimes \delta).

In terms of string diagrams, this definition says:

string diagrams for the Frobenius algebra axioms

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.

Frobenius algebras were originally formulated in the category Vect of vector spaces with the following equivalent definition:

Definition

A Frobenius algebra is a unital, associative algebra (A,μ,η)(A, \mu, \eta) equipped with a linear form ϵ:Ak\epsilon : A \rightarrow k such that ϵμ\epsilon\mu is a non-degenerate pairing. I.e. the induced map

(1)uϵμ(1u) u \mapsto \epsilon\mu(1 \otimes u)

is an isomorphism of VV with its dual space V *V^*. In such a case, ϵ\epsilon is called a Frobenius form.

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.

Types of Frobenius algebras

Commutative Frobenius algebras

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.

Symmetric Frobenius algebras

We can define ‘commutative’ or ‘symmetric’ Frobenius algebras in any symmetric monoidal category. A Frobenius algebra AA is symmetric if

ϵS A,A=ϵ\epsilon \circ S_{A,A} = \epsilon \,

where S A,A:AAAAS_{A,A} : A \otimes A \to A \otimes A is the symmetry. Any commutative Frobenius algebra is symmetric, but not conversely: for example the algebra of n×nn \times n matrices with entries in a field, with its usual trace as ϵ\epsilon, is symmetric but not commutative when n>1n \gt 1.

A theorem of Eilenberg and Nakayama says that in the category of vector spaces over a field kk, an algebra AA can be equipped with the structure of a symmetric Frobenius algebra if (but not only if) it is separable, meaning that for any field KK extending kk, A kKA \otimes_k K is a semisimple algebra over KK.

Special Frobenius algebras

If μδ=1\mu \circ \delta = 1, a Frobenius algebra is said to be special. In the category of vector spaces, any element aa of an associative unital algebra gives a left multiplication map

L a: A A b ab \array{ L_a : &A &\to& A \\ &b &\mapsto& a b }

which in turn gives a bilinear pairing g:A×Akg: A \times A \to k defined by

g(a,b)=tr(L aL b) g(a,b) = tr(L_a L_b)

One can show that the algebra AA can be equipped with the structure of a special Frobenius algebra if and only if gg is nondegenerate, i.e., if there is an isomorphism AA *A \to A^* given by

ag(a,) a \mapsto g(a, -)

In this case, there is just one way to make AA into a special Frobenius algebra, namely by taking the counit to be

ϵ(a)=tr(L a) \epsilon(a) = tr(L_a)

(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 gg 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 k[G]k[G] of a finite group GG is always separable but strongly separable if and only if the order of GG is invertible in the field kk. By the results mentioned, this means that k[G]k[G] can always be made into a symmetric Frobenius algebra, but only into a special Frobenius algebra when |G||G| is invertible in kk.

To see this, we can check that the group algebra k[G]k[G] becomes a symmetric Frobenius algebra if we define the counit ϵ:k[G]k\epsilon: k[G] \to k to pick out the coefficient of 1G1 \in G:

ϵ: gGa gga 1. \epsilon : \sum_{g \in G} a_g \, g \mapsto a_1 \,.

But when |G||G| is invertible in kk, we can check that k[G]k[G] becomes a special symmetric Frobenius algebra if we normalize the counit as follows:

ϵ: gGa gga 1|G|. \epsilon : \sum_{g \in G} a_g \, g \mapsto \frac{a_1}{|G|} \, .

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.

†-Frobenius algebras

If a Frobenius algebra lives in a monoidal †-category, (δ) =μ(\delta)^\dagger = \mu and (ϵ) =η(\epsilon)^\dagger = \eta, then it is said to be a †-Frobenius algebra. These crop up in the theory of 2d TQFTs, and also in the foundations of quantum theory.

Properties of Frobenius algebras

Proposition

A Frobenius algebra AA in a monoidal category is an object dual to itself.

Proof

Let II be the monoidal unit. To say AA is dual to itself means there are maps e:IAAe: I \to A \otimes A and p:AAIp: A \otimes A \to I such that the usual triangular equations hold. The maps are defined by

e=(IηAδAA),p=(AAμAϵI)e = (I \stackrel{\eta}{\to} A \stackrel{\delta}{\to} A \otimes A), \qquad p = (A \otimes A \stackrel{\mu}{\to} A \stackrel{\epsilon}{\to} I)

and one of the triangular equations uses one of the Frobenius laws and unit and counit axioms to derive the following commutative diagram:

A 1η AA 1δ AAA 1 μ μ1 A δ AA 1 ϵ1 A\array{ A & \stackrel{1 \otimes \eta}{\to} & A \otimes A & \stackrel{1 \otimes \delta}{\to} & A \otimes A \otimes A \\ & {}_1\searrow & \downarrow \mathrlap{\mu} & & \downarrow \mathrlap{\mu \otimes 1} \\ & & A & \overset{\delta}{\to} & A \otimes A \\ & & & {}_{1}\searrow & \downarrow \mathrlap{\epsilon \otimes 1} \\ & & & & A }

The other triangular equation uses the other Frobenius law and unit and counit axioms.

As a result, we see that in the monoidal category Mod kMod_k of modules over a commutative ring kk, Frobenius algebras AA considered as modules over kk are finitely generated and projective. This is because A kA \otimes_k -, being adjoint to itself, is a left adjoint and therefore preserves all colimits. That A kA \otimes_k - preserves arbitrary small coproducts means AA is finitely generated over kk, and that A kA \otimes_k- preserves coequalizers means AA is projective over kk.

  • Every Frobenius algebra AA is a quasi-Frobenius algebra?: projective and injective left (right) modules over AA coincide.

  • Every Frobenius algebra AA is a pseudo-Frobenius algebra?: AA is an injective cogenerator in the category of left (right) AA-modules.

PROPs for Frobenius algebras

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:

string diagrams for the Frobenius algebra axioms

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:

string diagram for the "symmetric" law in a Frobenius algebra

The PROP for commutative Frobenius algebras is 2Cob?, as noted by many people and formally proved by Lowell Abrams 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:

diagrams for the monoid laws in 2Cob

The comonoid laws look like this:

diagrams for the comonoid laws in 2Cob

The Frobenius laws look like this:

diagrams for the Frobenius laws in 2Cob

and the commutative law looks like this:

diagrams for the commutative law in 2Cob

The PROP for special commutative Frobenius algebras is Span(FinSet), as proved by Rosebrugh, Sabadini and Walters. This is worth comparing to the PROP for commutative bialgebras, which is Cospan(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 mδ=1m \circ \delta = 1 says that

string diagram for the "special" law in a Frobenius algebra

References

Frobenius algebras were introduced by Brauer and Nesbitt and were named after Ferdinand Frobenius.

See for instance

  • Samuel Eilenberg and Tadasi Nakayama (1955), On the dimension of modules and algebras. II. Frobenius algebras and quasi-Frobenius rings, Nagoya Math. J. 9, 1–16. (web)
  • Marcelo Aguiar (2000), A note on strongly separable algebras, Boletín de la Academia Nacional de Ciencias (Córdoba, Argentina), special issue in honor of Orlando Villamayor, 65, 51–60. (gzipped postscript)

Their role in 2-dimensional TQFT is discussed for instance in

  • Lowell Abrams (1996), Two-dimensional topological quantum field theories and Frobenius algebra, Jour. Knot. Theory and its Ramifications 5, 569–587.
  • John Baez, This Week’s Finds in Mathematical Physics, week268 and week299.
  • Joachim Kock (2004), Frobenius Algebras and 2d Topological Quantum Field Theories, Cambridge U. Press, Cambridge.
  • Joachim Kock (2006), Remarks on the history of the Frobenius equation. (web)
  • Aaron Lauda (2006), Frobenius algebras and ambidextrous adjunctions, Theory and Applications of Categories 16, 84-122. (web (arXiv)
  • Aaron Lauda and Hendryk Pfeiffer (2008), Open-closed strings: two-dimensional extended TQFTs and Frobenius algebras, Topology Appl. 155, 623-666. (web)

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)

  • Richard Garner, Three investigations into linear logic , PhD report Cambridge 2006. (pdf)

  • D. Kartsaklis, M. Sadrzadeh, S. Pulman, B. Coecke, Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras , arXiv:1401.5980 (2014). (pdf)

See also

  • B. Fauser, Some Graphical Aspects of Frobenius Structures , preprint (2012). arXiv:1202.6380

  • Stephen Lack (2004), Composing PROPs, Theory and Applications of Categories 13, 147–163. (web)

  • 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. Street (2004), Frobenius monads and pseudomonoids, J. Math. Phys. 45. (web)
  • R. F. C. Walters, R. J. Wood, Frobenius Objects in Cartesian Bicategories , TAC 20 no. 3 (2008) pp.25-47. (pdf)

  • F. W. Lawvere, Ordinal Sums and Equational Doctrines , pp.141-155 in Eckmann (ed.), Seminar on Triples and Categorical Homology Theory , LNM 80 Springer Heidelberg 1969. (TAC Reprint of vol. 80)

(TO ADD: stuff from this MO post) (TO DO: ϵ\epsilon is used for the comultiplication in the beginning, then for the linear form, and in the definition of symmetry for the bilinear pairing on a Frobenius algebra. Use three different letters for these)

Revised on September 5, 2014 15:17:38 by Thomas Holder? (89.204.139.218)