MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Since I am not an expert in algebraic groups; Is there a description of algebraic groups with semisimple category of finite dimensional representations such that they have only finitely many irreducible representations? Maybe there is a classification?

share|cite|improve this question
See the answer: – abz Feb 7 '14 at 4:54

This type of question has probably come up previously on MO, but in any case I'd suggest one especially natural example arising in connection with semisimple algebraic groups or semisimple Lie algebras. This involves so-called "fusion rules", and one of several approaches gets a nice overview in a paper by H.H. Andersen and his student J. Paradowski Fusion categories arising from semisimple Lie algebras,
Comm. Math. Phys. 169 (1995), no. 3, 563–588. This comes up in influential work in mathematical physics associated with the name Verlinde, but has purely mathematical developments in connection with quantum groups at a root of unity.

Roughly speaking, the idea is to start with ordinary tensor products of finite dimensional highest weight modules, but then truncate in a certain way that leaves a semisimple category with only finitely many simple objects. Following Ringel, Donkin, Mathieu, one gets a theory of "tilting modules" for semisimple algebraic groups in prime characteristic.

share|cite|improve this answer
Out of curiosity: Are the categories arising this way actually the categories of representations for some algebraic group (my guess would be usually not)? – Tobias Kildetoft Feb 6 '14 at 13:42
@Tobias: In prime characteristic, you get a fusion category for a semisimple algebraic group by looking only at simple modules with highest weights in the lowest $p$-alcove or its closure; but the product is a truncated version of the standard tensor product. Naturally these are not all possible simple modules for the group, but the formalism agrees well with the case of a quantum group at a root of unity. – Jim Humphreys Feb 6 '14 at 14:28

These are the finite linearly reductive groups. In characteristic zero, they are just the finite algebraic groups.

In positive characteristic, Nagata's theorem gives the following characterization of linearly reductive groups over a field of characteristic $p$: $G$ is linearly reductive if and only if there is a finite index subgroup $H$ that is a subgroup of a torus, and the quotient $G/H$ has order prime to $p$. For our purposes, it is therefore necessary and sufficient that the diagonalizable normal subgroup $H$ be finite, and the quotient $G/H$ be finite étale and tame. By Lemma 2.11 of Tame stacks in positive characteristic (this paper also generalizes to arbitrary base schemes), there is a finite purely inseparable extension $k'$ of the base field such that $G_{k'}$ is isomorphic to the semidirect product $H_{k'} \rtimes (G/H)_{k'}$.

You can also find a discussion in Demazure-Gabriel Chapter IV section 3, Theorem 3.6.

share|cite|improve this answer
But not all of them in characterisic $p$ have finitely many irreducible representations... – Aleksa Feb 6 '14 at 15:15
This characterization over fields with positive characteristic is due to Nagata from long ago (Olsson-Vistoli extend it to work over rings/schemes); this is proved in somewhat "elementary" terms somewhere in the huge book of Demazure-Gabriel, but I am unable to relocated the exact location in there at the moment. – user76758 Feb 6 '14 at 16:45
@Aleksa Okay, I've added the finiteness conditions. – S. Carnahan Feb 7 '14 at 0:55
@user76758 Thanks, I've added the references. (It's near the end of DG, and I was starting to think you had sent me on a wild goose chase...) – S. Carnahan Feb 7 '14 at 3:07
@S.Carnahan: Very good. Every time I try to dig up that reference I have a devil of a time tracking it down again inside DG because it is inside a section called "Commutative groups" which I skim past, thinking it cannot be in there...though the subsection name in the table of contents gives it away if one looks closely enough. – user76758 Feb 7 '14 at 5:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.