20
$\begingroup$

These days, lots of people are excited by Frobenius algebras because commutative Frobenius algebras are the same thing as 2D topological quantum field theories.

...but this seems like teaching an old dog new tricks. Can anyone sum up (using only diet representation theory :-P), why Frobenius algebras were invented and what was so good about them?

Also, any nice texts and/or papers along this line would be much appreciated. I'm working through the old Nakayama papers now, but perhaps this material exists in a friendlier and more modernised form somewhere?

Improve this question
$\endgroup$
4
  • 4
    $\begingroup$ Because group algebras are Frobenius algebras? $\endgroup$
    – Bruce Westbury
    Commented Jul 16, 2010 at 16:52
  • 5
    $\begingroup$ The notion of "Frobenius algebra" has evolved a lot, toward for example Frobenius objects in monoidal categories. The early notion arose when people started to explore group algebras of finite groups and more generally finite dimensional or artinian algebras with similar properties. Not a central issue at first. Then a basic result of Larson-Sweedler (every finite dimensional Hopf algebra is Frobenius) led further into Hopf algebras. Related duality ideas arose in geometric/topological settings. No single source is adequate now, but the books by Curtis-Reiner go beyond Nakayama. $\endgroup$
    – Jim Humphreys
    Commented Jul 16, 2010 at 17:04
  • $\begingroup$ Curtis and Reiner is a comprehensive reference, in spite of its age. For a more recent if less detailed introduction, see Drozd and Kirichenko, Finite-dimensional algebras. $\endgroup$
    – Victor Protsak
    Commented Jul 17, 2010 at 2:09
  • $\begingroup$ C & R looks like exactly the thing I've been looking for! Thanks for the input guys. $\endgroup$
    – Aleks Kissinger
    Commented Jul 17, 2010 at 16:58

1 Answer 1

Reset to default
11
$\begingroup$

Frobenius's original turn-of-the-century perspective was the nonvanishing of a determinant. Brauer–Nesbitt–Nakayama studied some equivalent definitions in the late 30s and early 40s. For instance, an equivalence between the left and right regular representations is a rare and beautiful thing; this gives an equivalence between projectivity and injectivity that is explained in modern language in Lam's Lectures on Modules and Rings. This also gives a "perfect duality" studied by Dieudonné in the late 50s. I added the missing early sources to the wikipedia article, including the Brauer–Nesbitt announcement in PNAS which is pretty easy to read.

Improve this answer
$\endgroup$
1
  • 1
    $\begingroup$ Brauer's student Nesbitt also defined a special class of finite dimensional Frobenius algebras over fields called (unfortunately) symmetric: for this you need a nondegenerate bilinear form which is both associative and commutative. Group algebras of finite groups all have this property (visible in the symmetry of the matrix $C$ of Cartan invariants in prime characteristic); but finite dimensional Hopf algebras such as restricted enveloping algebras of $p$-Lie algebras need not be symmetric algebras. The early work was done in a purely algebraic study of foundations, I think. $\endgroup$
    – Jim Humphreys
    Commented Jul 16, 2010 at 20:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .