Welcome to MathOverflow

Question

10

1

The wikipedia article claims that 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". I read the paper by Chevalley and it seems that he only proves the implication: "If the group is generated by pseudo-reflections, then the ring of invariants is polynomial". I wonder whether there is a uniform proof of the inverse implication? Where is it written?

flag	asked Jul 19 2010 at 6:42 Roman Fedorov 735●2●11

1

An additional question: Is it correct that Chevalley only gave a proof for reflection groups (reflection = pseudo-reflection of order 2) in this paper and that Serre later realized that the proof also works for pseudo-reflection groups? – S1 Jul 19 2010 at 7:52

"Invariant theory of finite groups" by Mara Neusel and Larry Smith contains the proof. Note, however, that while the "inverse" implication holds in general by homological algebra, the "direct" implication fails in positive characteristic. – Victor Protsak Jul 19 2010 at 8:19

Chevalley only gives the proof for reflection groups but he only uses that a reflection fixes a hyperplane. – Roman Fedorov Jul 19 2010 at 9:57

2

Probably the most thorough coverage, with full references (Serre's improvement of Chevalley's statement, Springer's lecture notes, Borel's historical essays, etc.) is given by G.I. Lehrer and D.E. Taylor in Unitary Reflection Groups (Cambridge, 2009). Like most people they work over $\mathbb{C}$ , leaving aside the more delicate question of what remains true over more general fields mentioned here by Victor Protsak. This book treats Shephard-Todd theory and later developments in good detail. – Jim Humphreys Jul 19 2010 at 10:41

Torsten Ekedahl · Accepted Answer · 2010-07-21 22:04:55Z UTC

There are indeed many presentations (if I remember correctly Bourbaki has it) but the proof is very elegant and short so that I find it hard to refrain from giving it. Let $H$ be the normal subgroup of the finite $G\subset \mathrm{GL}_n$ generated by the pseudo-reflections. By the other direction $X:=\mathbb{A}^n/H$ is again affine space and in particular is smooth. We have an action of $G/H$ on $X$ and a moment's thought reveals that it acts freely in codimension $1$ (as a point fixed by a non-identity element would lie below a reflection hyperplane of $\mathbb{A}^n$ and the fixing element below a pseudo-reflection). Hence $X \to X/(G/H)=\mathbb{A}^n/G$ is étale in codimension $1$. If $\mathbb{A}^n/G$ were smooth, purity of the branch locus would imply that the map were étale. However, that forces $G/H$ to act freely on $X$ but the image of the origin is fixed by all of $G/H$ and therefore $G=H$.

David Wehlau · Answer 2 · 2011-07-24 02:37:28Z UTC

Chevalley was interested in the action of (real) Weyl groups and so a reflection to him had determinant -1 and so was a real reflection, i.e. order 2. My understanding is that Serre had seen the paper by Shepard and Todd and so he knew that pseudo-reflections were relevant. He pointed out that Chevalley's proof was valid for pseudo-reflections.

Chevalley–Shephard–Todd theorem

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.