A little earlier, we studied invariant theory for the general linear group for a finite-dimensional vector space over . We considered the canonical representation on and studied “invariant polynomials” on this space: that is, polynomials constant on orbits. We showed that these formed a finitely generated -algebra, and indeed gave a set of generators: these were given by pairing a factor of with a factor of with respect to the evaluation pairing. This is not, of course, a linear map, but it is a well-defined *polynomial* map of vector and covector variables.

**1. Introduction**

Now we want to consider a more general question. Let be an (affine) algebraic group over , acting on the finite-dimensional vector space . We’d like to ask what the invariant polynomials on are, or in other words what is . It was a Hilbert problem to show that this “ring of invariants” is finitely generated. The general answer turns out to be no, but we will show that it is the case when is reductive.

What is a reductive group? For our purposes, a reductive group over is an algebraic group such that the category of (algebraic) finite-dimensional representations is semisimple. In other words, the analog of Maschke’s theorem is true for . The “classical groups” (the general linear, special linear, orthogonal, and symplectic groups) are all reductive. There is a geometric definition (which works in characteristic too), but we will just take this semisimplicity as the definition.

The semisimplicity is quite a surprising phenomenon, because the method of proof of Maschke’s theorem—the averaging process—fails for reductive groups, which are never compact in the complex topology (as then they would not be affine varieties). However, it turns out that a reductive group over contains a maximal compact Lie subgroup (which is *not* algebraic, e.g. the unitary group in ), and the category of algebraic representations of is equivalent (in the natural way) to the category of continuous representations of . Since the category of continuous representations is always semisimple (by the same averaging idea as in Maschke’s theorem, with a Haar measure on ), is clearly semisimple. But this is .

Anyway, here’s what we wish to prove:

Theorem 1Let be a reductive group over acting on the finite-dimensional vector space . Then the algebra of invariant polynomials on is finitely generated. (more…)