---
tag: 56107GMFYV
kind: statement
role: theorem
name: Hochster–Roberts theorem
msc: [13A50, 13C14, 14L30]
uses: [04C5ZBG1WT, 6VTR5EBNYC, 0SDC934R52, N1QJQEGBFC]
about: [6VTR5EBNYC, N1QJQEGBFC]
sources:
  - url: https://en.wikipedia.org/wiki/Hochster–Roberts_theorem
same_as:
  wikidata: Q5875438
  wikipedia: Hochster–Roberts theorem
---

## Statement

Let $k$ be a [[field|04C5ZBG1WT]] and let $G$ be a linearly reductive linear algebraic group over $k$.
Let $V$ be a finite-dimensional rational representation of $G$.
Let $k[V]$ be the [[polynomial ring|0SDC934R52]] of polynomial functions on $V$, with the induced action of $G$.
Then the [[ring of invariants|6VTR5EBNYC]] $k[V]^G$ is a [[Cohen–Macaulay ring|N1QJQEGBFC]].

## Remarks

A group is linearly reductive when every rational representation is a direct sum of irreducible ones.
In characteristic $0$ this holds exactly for the reductive groups; in characteristic $p > 0$ it holds for tori and for finite groups of order prime to $p$, for example.
Proof idea: linear reductivity gives the Reynolds operator, a $k[V]^G$-linear projection $k[V] \to k[V]^G$, so $k[V]^G$ is a direct summand of the regular ring $k[V]$.
Hochster and Roberts showed that such summands are Cohen–Macaulay here, first in characteristic $p$ with the Frobenius map, and then in characteristic $0$ by reduction to characteristic $p$.

Example: let $G = \set{1, g}$ act on $k[x, y]$ by $g \cdot x = -x$, $g \cdot y = -y$, where the characteristic of $k$ is not $2$.
Then $k[x, y]^G = k[x^2, xy, y^2]$ is a free module over the polynomial ring $k[x^2, y^2]$ with basis $1, xy$, which is the Cohen–Macaulay property in graded form.

Linear reductivity cannot be dropped: for a finite group whose order is divisible by the characteristic of $k$, the ring of invariants of a linear action need not be Cohen–Macaulay.

## Explanations

### L1 human

Invariant rings of nice groups are well behaved.
The theorem says that one can choose finitely many algebraically independent homogeneous invariants such that the whole invariant ring is a free module over the polynomial ring they generate.
So every invariant has a unique expression of a fixed simple form.

### L2 human

The Cohen–Macaulay property makes the Hilbert series of $k[V]^G$ a rational function with a numerator with nonnegative coefficients, and it controls the free resolution of the invariant ring.
The proof is an early major use of reduction to positive characteristic, the method that later gave [[tight closure|KJ9MMP99G6]].
The result fits with the finite generation of rings of invariants of reductive groups, the positive side of [[Hilbert's fourteenth problem|M5N08HD75V]].
Boutot later proved the stronger fact that, in characteristic $0$, these invariant rings have rational singularities.