On the depth of invariant rings of infinite groups (Q837047)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the depth of invariant rings of infinite groups |
scientific article |
Statements
On the depth of invariant rings of infinite groups (English)
0 references
10 September 2009
0 references
Let \(K\) be an algebraically closed field, \(G\) be a linear algebraic group over \(K\), and \(V\) be a finite-dimensional \(K\)-vector space which is s rational \(G\)-module. \textit{M. Hochster} and \textit{J. L. Roberts} proved that the ring of invariants \(K[V]^G\) is Cohen-Macaulay if \(G\) is linear reductive [Adv. Math. 13, 115--175 (1974; Zbl 0289.14010)]. \textit{M.-J. Bertin} showed that, if \(\mathrm{char} K=2\), there is a \(4\)-dimensional vector space \(V\) with a \(C_4\)-action such that \(K[V]^{C_4}\) is factorial, but is not Cohen-Macaulay [C. R. Acad. Sci., Paris, Sér. A 264, 653--656 (1967; Zbl 0147.29503)]. There are many examples of non-Cohen-Macaulay rings of invariants hereafter. Let \(R\) be a finitely generated graded commutative \(K\)-algebra, define \(\mathrm{cmdef} \, R\), the Cohen-Macaulay defect of \(R\), by \(\mathrm{cmdef} \, R= \dim R -\mathrm{depth} R\). For results of \(\mathrm{cmdef} \, K[V]^G\) when \(G\) is a finite group, see, for examples, the references contained in this paper under review. The goal of this paper is to study \(\mathrm{cmdef} \, K[V]^G\) when \(\dim \, G \geq 1\). In this paper, it is shown that, if \(G\) is reductive, but not linear reductive, then there exists a faithful \(G\)-module \(V\) (which may be constructed explicitly) such that \(\mathrm{cmdef} \, K[V^{\oplus k}]^G \geq k-2\) for any positive integer \(k\). As a corollary, a reductive group \(G\) is linear reductive if and only if there is an integer \(b\) such that \(\mathrm{cmdef} \, K[V]^G \leq b\) for all rational \(G\)-modules \(V\).
0 references
invariant theory
0 references
Cohen-Macaulay
0 references
depth
0 references
reductive groups
0 references
0 references
0 references