Frobenius algebra

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Brauer and Nesbitt and were named after Frobenius. Nakayama discovered the beginnings of a rich duality theory (Nakayama 1939), (Nakayama 1941). Dieudonné used this to characterize Frobenius algebras (Dieudonné 1958). Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

Definition

A finite-dimensional, unital, associative algebra A defined over a field k is said to be a Frobenius algebra if A is equipped with a nondegenerate bilinear form σ:A × A → k that satisfies the following equation: σ(a·b,c)=σ(a,b·c). This bilinear form is called the Frobenius form of the algebra.

Equivalently, one may equip A with a linear functional λ : A → k such that the kernel of λ contains no nonzero left ideal of A.

A Frobenius algebra is called symmetric if σ is symmetric, or equivalently λ satisfies λ(a·b) = λ(b·a).

There is also a different, mostly unrelated notion of the symmetric algebra of a vector space.

Examples

Any matrix algebra defined over a field k is a Frobenius algebra with Frobenius form σ(a,b)=tr(a·b) where tr denotes the trace.
Any finite-dimensional unital associative algebra A has a natural homomorphism to its own endomorphism ring End(A). A bilinear form can be defined on A in the sense of the previous example. If this bilinear form is nondegenerate, then it equips A with the structure of a Frobenius algebra.
Every group ring of a finite group over a field is a Frobenius algebra, with Frobenius form σ(a,b) the coefficient of the identity element in a·b. This is a special case of example 2.
For a field k, the four-dimensional k-algebra k[x,y]/ (x², y²) is a Frobenius algebra. This follows from the characterization of commutative local Frobenius rings below, since this ring is a local ring with its maximal ideal generated by x and y, and unique minimal ideal generated by xy.
For a field k, the three-dimensional k-algebra A=k[x,y]/ (x, y)² is not a Frobenius algebra. The A homomorphism from xA into A induced by x ↦ y cannot be extended to an A homomorphism from A into A, showing that the ring is not self-injective, thus not Frobenius.
Any finite-dimensional Hopf algebra, by a 1969 theorem of Larson-Sweedler on Hopf modules and integrals.

Properties

The direct product and tensor product of Frobenius algebras are Frobenius algebras.
A finite-dimensional commutative local algebra over a field is Frobenius if and only if the right regular module is injective, if and only if the algebra has a unique minimal ideal.
Commutative, local Frobenius algebras are precisely the zero-dimensional local Gorenstein rings containing their residue field and finite-dimensional over it.
Frobenius algebras are quasi-Frobenius rings, and in particular, they are left and right Artinian and left and right self-injective.
For a field k, a finite-dimensional, unital, associative algebra is Frobenius if and only if the injective right A-module Hom_k(A,k) is isomorphic to the right regular representation of A.
For an infinite field k, a finite-dimensional, unitial, associative k-algebra is a Frobenius algebra if it has only finitely many minimal right ideals.
If F is a finite-dimensional extension field of k, then a finite-dimensional F-algebra is naturally a finite-dimensional k-algebra via restriction of scalars, and is a Frobenius F-algebra if and only if it is a Frobenius k-algebra. In other words, the Frobenius property does not depend on the field, as long as the algebra remains a finite-dimensional algebra.
Similarly, if F is a finite-dimensional extension field of k, then every k-algebra A gives rise naturally to a F algebra, F ⊗_k A, and A is a Frobenius k-algebra if and only if F ⊗_k A is a Frobenius F-algebra.
Amongst those finite-dimensional, unital, associative algebras whose right regular representation is injective, the Frobenius algebras A are precisely those whose simple modules M have the same dimension as their A-duals, Hom_A(M,A). Amongst these algebras, the A-duals of simple modules are always simple.

Category-theoretical definition

In category theory, the notion of Frobenius object is an abstract definition of a Frobenius algebra in a category. A Frobenius object $(A,\mu ,\eta ,\delta ,\varepsilon )$ in a monoidal category $(C,\otimes ,I)$ consists of an object A of C together with four morphisms

\mu :A\otimes A\to A,\qquad \eta :I\to A,\qquad \delta :A\to A\otimes A\qquad {\mathrm {and}}\qquad \varepsilon :A\to I

such that

$(A,\mu ,\eta )\,$ is a monoid object in C,
$(A,\delta ,\varepsilon )$ is a comonoid object in C,
the diagrams

and

commute (for simplicity the diagrams are given here in the case where the monoidal category C is strict) and are known as Frobenius conditions.^[1]

More compactly, a Frobenius algebra in C is a so-called Frobenius monoidal functor A:1 → C, where 1 is the category consisting of one object and one arrow.

A Frobenius algebra is called isometric or special if $\mu \circ \delta ={\mathrm {Id}}_{A}$ .

Applications

Frobenius algebras originally were studied as part of an investigation into the representation theory of finite groups, and have contributed to the study of number theory, algebraic geometry, and combinatorics. They have been used to study Hopf algebras, coding theory, and cohomology rings of compact oriented manifolds.

Topological quantum field theories

The product and coproduct on a Frobenius algebra can be interpreted as the functor of a (1+1)-dimensional topological quantum field theory, applied to a pair of pants.

Recently, it has been seen that they play an important role in the algebraic treatment and axiomatic foundation of topological quantum field theory. A commutative Frobenius algebra determines uniquely (up to isomorphism) a (1+1)-dimensional TQFT. More precisely, the category of commutative Frobenius K-algebras is equivalent to the category of symmetric strong monoidal functors from 2-Cob (the category of 2-dimensional cobordisms between 1-dimensional manifolds) to Vect_K (the category of vector spaces over K).

The correspondence between TQFTs and Frobenius algebras is given as follows:

1-dimensional manifolds are disjoint unions of circles: a TQFT associates a vector space with a circle, and the tensor product of vector spaces with a disjoint union of circles,
a TQFT associates (functorially) to each cobordism between manifolds a map between vector spaces,
the map associated with a pair of pants (a cobordism between 1 circle and 2 circles) gives a product map V ⊗ V → V or a coproduct map V → V ⊗ V, depending on how the boundary components are grouped – which is commutative or cocommutative, and
the map associated with a disk gives a counit (trace) or unit (scalars), depending on grouping of boundary.

This relation between Frobenius-algebras and (1+1)-dimensional TQFTs can be used to explain the Khovanov's categorification of the Jones polynomial.^[2]^[3]

Generalization: Frobenius extension

Let B be a subring sharing the identity element of a unital associative ring A. This is also known as ring extension A | B. Such a ring extension is called Frobenius if

There is a linear mapping E: A → B satisfying the bimodule condition E(bac) = bE(a)c for all b,c ∈ B and a ∈ A.
There are elements in A denoted $\{x_{i}\}_{{i=1}}^{n}$ and $\{y_{i}\}_{{i=1}}^{n}$ such that for all a ∈ A we have:

\sum _{{i=1}}^{n}E(ax_{i})y_{i}=a=\sum _{{i=1}}^{n}x_{i}E(y_{i}a)

The map E is sometimes referred to as a Frobenius homomorphism and the elements $x_{i},y_{i}$ as dual bases. (As an exercise it is possible to give an equivalent definition of Frobenius extension as a Frobenius algebra-coalgebra object in the category of B-B-bimodules, where the equations just given become the counit equations for the counit E.)

For example, a Frobenius algebra A over a commutative ring K, with associative nondegenerate bilinear form (-,-) and projective K-bases $x_{i},y_{i}$ is a Frobenius extension A | K with E(a) = (a,1). Other examples of Frobenius extensions are pairs of group algebras associated to a subgroup of finite index, Hopf subalgebras of a semisimple Hopf algebra, Galois extensions and certain von Neumann algebra subfactors of finite index. Another source of examples of Frobenius extensions (and twisted versions) are certain subalgebra pairs of Frobenius algebras, where the subalgebra is stabilized by the symmetrizing automorphism of the overalgebra.

The details of the group ring example are the following application of elementary notions in group theory. Let G be a group and H a subgroup of finite index n in G; let g₁, ..., g_n. be left coset representatives, so that G is a disjoint union of the cosets g₁H, ..., g_nH. Over any commutative base ring k define the group algebras A = k[G] and B = k[H], so B is a subalgebra of A. Define a Frobenius homomorphism E: A → B by letting E(h) = h for all h in H, and E(g) = 0 for g not in H : extend this linearly from the basis group elements to all of A, so one obtains the B-B-bimodule projection

E\left(\sum _{{g\in G}}n_{g}g\right)=\sum _{{h\in H}}n_{h}h\ \ \ {\text{ for }}n_{g}\in k

(The orthonormality condition $E(g_{i}^{{-1}}g_{j})=\delta _{{ij}}1$ follows.) The dual base is given by $x_{i}=g_{i},y_{i}=g_{i}^{{-1}}$ , since

\sum _{{i=1}}^{n}g_{i}E(g_{i}^{{-1}}\sum _{{g\in G}}n_{g}g)=\sum _{i}\sum _{{h\in H}}n_{{g_{i}h}}g_{i}h=\sum _{{g\in G}}n_{g}g

The other dual base equation may be derived from the observation that G is also a disjoint union of the right cosets $Hg_{1}^{{-1}},\ldots ,Hg_{n}^{{-1}}$ .

Also Hopf-Galois extensions are Frobenius extensions by a theorem of Kreimer and Takeuchi from 1989. A simple example of this is a finite group G acting by automorphisms on an algebra A with subalgebra of invariants:

B=\{x\in A|\forall g\in G,g(x)=x\}.

By DeMeyer's criterion A is G-Galois over B if there are elements $\{a_{i}\}_{{i=1}}^{n},\{b_{i}\}_{{i=1}}^{n}$ in A satisfying:

\forall g\in G:\ \ \sum _{{i=1}}^{n}a_{i}g(b_{i})=\delta _{{g,1_{G}}}1_{A}

whence also

\forall g\in G:\ \ \sum _{{i=1}}^{n}g(a_{i})b_{i}=\delta _{{g,1_{G}}}1_{A}.

Then A is a Frobenius extension of B with E: A → B defined by

E(a)=\sum _{{g\in G}}g(a)

which satisfies

\forall x\in A:\ \ \sum _{{i=1}}^{n}E(xa_{i})b_{i}=x=\sum _{{i=1}}^{n}a_{i}E(b_{i}x).

(Furthermore, an example of a separable algebra extension since $e=\sum _{{i=1}}^{n}a_{i}\otimes _{B}b_{i}$ is a separability element satisfying ea = ae for all a in A as well as $\sum _{{i=1}}^{n}a_{i}b_{i}=1$ . Also an example of a depth two subring (B in A) since

a\otimes _{B}1=\sum _{{g\in G}}t_{g}g(a)

where

t_{g}=\sum _{{i=1}}^{n}a_{i}\otimes _{B}g(b_{i})

for each g in G and a in A.)

Frobenius extensions have a well-developed theory of induced representations investigated in papers by Kasch and Pareigis, Nakayama and Tzuzuku in the 1950s and 1960s. For example, for each B-module M, the induced module A ⊗_B M (if M is a left module) and co-induced module Hom_B(A, M) are naturally isomorphic as A-modules (as an exercise one defines the isomorphism given E and dual bases). The endomorphism ring theorem of Kasch from 1960 states that if A | B is a Frobenius extension, then so is A → End(A_B) where the mapping is given by a ↦ λ_a(x) and λ_a(x) = ax for each a,x ∈ A. Endomorphism ring theorems and converses were investigated later by Mueller, Morita, Onodera and others.

References

↑ Pavlovic, Dusko (2013), "Monoidal computer I: Basic computability by string diagrams", Information and Computation, 226: 94–116
↑ Bar-Natan, Dror (2005), "Khovanov's homology for tangles and cobordisms", Geom. Topol. (9): 1443–1499, arXiv:math/0410495, Bibcode:2004math.....10495B
↑ Paul Turner (2006), Five Lectures on Khovanov Homology, arXiv:math/0606464v1, Bibcode:2006math......6464T

Brauer, R.; Nesbitt, C. (1937), "On the regular representations of algebras.", Proc. Natl. Acad. Sci. USA, 23 (4): 236–240, Bibcode:1937PNAS...23..236B, doi:10.1073/pnas.23.4.236, PMC 1076908, PMID 16588158
DeMeyer, F., Ingraham, E. (1971), Separable Algebras over Commutative Rings, Lect. Notes Math 181, Springer
Dieudonné, Jean (1958), "Remarks on quasi-Frobenius rings", Illinois Journal of Mathematics, 2: 346–354, ISSN 0019-2082, MR 0097427
Frobenius, Ferdinand Georg (1903), "Theorie der hyperkomplexen Größen I", Sitzungsberichte der Preussischen Akademie der Wissenschaften (in German): 504–537, JFM 34.0238.02
Kock, Joachim (2003), Frobenius Algebras and 2D Topological Quantum Field Theories, London Mathematical Society student texts, Cambridge: Cambridge University Press, ISBN 0-521-83267-5
Lam, T. Y. (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5
Lurie, Jacob, On the Classification of Topological Field Theories (PDF)
Nakayama, Tadasi (1939), "On Frobeniusean algebras. I", Annals of Mathematics, Second Series, Annals of Mathematics, 40 (3): 611–633, doi:10.2307/1968946, JSTOR 1968946, MR 0000016
Nakayama, Tadasi (1941), "On Frobeniusean algebras. II", Annals of Mathematics, Second Series, Annals of Mathematics, 42 (1): 1–21, doi:10.2307/1968984, JSTOR 1968984, MR 0004237
Nesbitt, C. (1938), "On the regular representations of algebras", Annals of Mathematics, Second Series, 39 (3): 634–658, doi:10.2307/1968639, ISSN 0003-486X, JSTOR 1968639, MR 1503429, PMC 1076908
Onodera, T. (1964), "Some studies on projective Frobenius extensions", Hokkaido Univ. Ser. 1, 18: 89–107

External links

Ross Street, Frobenius algebras and monoidal categories

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Pavlovic, Dusko (2013), "Monoidal computer I: Basic computability by string diagrams", Information and Computation, 226: 94–116

[2] Bar-Natan, Dror (2005), "Khovanov's homology for tangles and cobordisms", Geom. Topol. (9): 1443–1499, arXiv:math/0410495, Bibcode:2004math.....10495B

[3] Paul Turner (2006), Five Lectures on Khovanov Homology, arXiv:math/0606464v1, Bibcode:2006math......6464T