Chevalley–Shephard–Todd theorem

In mathematics, the Chevalley–Shephard–Todd theorem in invariant theory of finite groups states that the ring of invariants of a finite group acting on a complex vector space is a polynomial ring if and only if the group is generated by pseudoreflections. In the case of subgroups of the complex general linear group the theorem was first proved by G. C. Shephard and J. A. Todd (1954) who gave a case-by-case proof. Claude Chevalley (1955) soon afterwards gave a uniform proof. It has been extended to finite linear groups over an arbitrary field in the non-modular case by Jean-Pierre Serre.

Statement of the theorem

Let V be a finite-dimensional vector space over a field K and let G be a finite subgroup of the general linear group GL(V). An element s of GL(V) is called a pseudoreflection if it fixes a codimension 1 subspace of V and is not the identity transformation I, or equivalently, if the kernel Ker (s − I) has codimension one in V. Assume that the order of G is relatively prime to the characteristic of K (the so-called non-modular case). Then the following properties are equivalent:^[1]

• (A) The group G is generated by pseudoreflections.
• (B) The algebra of invariants K[V]^G is a (free) polynomial algebra.
• (B′) The algebra of invariants K[V]^G is a regular ring.
• (C) The algebra K[V] is a free module over K[V]^G.
• (C′) The algebra K[V] is a projective module over K[V]^G.

In the case when the field K is the field C of complex numbers, the first condition is usually stated as "G is a complex reflection group". Shephard and Todd derived a full classification of such groups.

Examples

• Let V be one-dimensional. Then any finite group faithfully acting on V is a subgroup of the multiplicative group of the field K, and hence a cyclic group. It follows that G consists of roots of unity of order dividing n, where n is its order, so G is generated by pseudoreflections. In this case, K[V] = K[x] is the polynomial ring in one variable and the algebra of invariants of G is the subalgebra generated by xⁿ, hence it is a polynomial algebra.

• Let V = Kⁿ be the standard n-dimensional vector space and G be the symmetric group S_n acting by permutations of the elements of the standard basis. The symmetric group is generated by transpositions (ij), which act by reflections on V. On the other hand, by the main theorem of symmetric functions, the algebra of invariants is the polynomial algebra generated by the elementary symmetric functions e₁, … e_n.

• Let V = K² and G be the cyclic group of order 2 acting by ±I. In this case, G is not generated by pseudoreflections, since the nonidentity element s of G acts without fixed points, so that dim Ker (s − I) = 0. On the other hand, the algebra of invariants is the subalgebra of K[V] = K[x, y] generated by the homogeneous elements x², xy, and y² of degree 2. This subalgebra is not a polynomial algebra because of the relation x²y² = (xy)².

Generalizations

Broer (2007) gave an extension of the Chevalley–Shephard–Todd theorem to positive characteristic.

There has been much work on the question of when a reductive algebraic group acting on a vector space has a polynomial ring of invariants. In the case when the algebraic group is simple all cases when the invariant ring is polynomial have been classified by Schwarz (1978)

In general, the ring of invariants of a finite group acting linearly on a complex vector space is Cohen-Macaulay, so it is a finite rank free module over a polynomial subring.
Notes

See, e.g.: Bourbaki, Lie, chap. V, §5, nº5, theorem 4 for equivalence of (A), (B) and (C); page 26 of [1] for equivalence of (A) and (B′); pages 6–18 of [2] for equivalence of (C) and (C′) [3] for a proof of (B′)⇒(A).

References

Bourbaki, Nicolas, Éléments de mathématiques : Groupes et algèbres de Lie (English translation: Bourbaki, Nicolas, Elements of Mathematics: Lie Groups and Lie Algebras)
Broer, Abraham (2007), On Chevalley-Shephard-Todd's theorem in positive characteristic, [], arXiv:0709.0715
Chevalley, Claude (1955), "Invariants of finite groups generated by reflections", Amer. J. Of Math. 77 (4): 778–782, doi:10.2307/2372597, JSTOR 2372597
Neusel, Mara D.; Smith, Larry (2002), Invariant Theory of Finite Groups, American Mathematical Society, ISBN 0-8218-2916-5
Shephard, G. C.; Todd, J. A. (1954), "Finite unitary reflection groups", Canadian J. Math. 6: 274–304, doi:10.4153/CJM-1954-028-3
Schwarz, G. (1978), "Representations of simple Lie groups with regular rings of invariants", Invent. Math. 49 (2): 167–191, doi:10.1007/BF01403085
Smith, Larry (1997), "Polynomial invariants of finite groups. A survey of recent developments", Bull. Amer. Math. Soc. 34 (3): 211–250, doi:10.1090/S0273-0979-97-00724-6, MR 1433171
Springer, T. A. (1977), Invariant Theory, Springer, ISBN 0-387-08242-5

Mathematics Encyclopedia