No label defined (Q4948270)

This paper is a preliminary report on issues circling about the question when an invariant ring is Gorenstein. In general, a Noetherian algebra \(A\) over a field \(k\) is Gorenstein if and only if \(A\) is Cohen-Macaulay and the canonical module \(\omega _A\) is projective of rank~1. The paper discusses the following characteristic~\(p\) version of a theorem by \textit{F. Knop}: Theorem. Let \(k\) be an algebraically closed field of characteristic \(p > 0\), \(G\) a reductive group over \(k\) such that~\(p\) does not divide \(|G/G ^0|\), and \(S\) a finitely generated domain over \(k\) with a rational \(G\)-action. Assume that: (1) \(S\) is factorial and \(S ^\times = k ^\times\), (2) the invariant field \(\text{Quot}(S) ^G\) coincides with the quotient field \(\text{Quot}(A)\), where \(A = S ^G\), (3) for some \(c \geq 1\) we have that \(\operatorname {codim}_X(X \setminus (X ^{(0)} \cap X _c ^{(00)})) \geq 2\), where \(X = \text{Spec}(S)\), \(X ^{(0)}\) is the set of points \(x \in X\) whose stabilizer \(G _x\) is finite, and \(X _c ^{(00)}\) is the set of points \(x \in X\) such that \((G _1) _x := [G ^0,G ^0] _x\) is finite and étale over \(\kappa(x)\) and \(\dim _{\kappa(x)} \Gamma((G _1) _x,{\mathcal O} _{(G _1) _x}) = c\); then \(\omega _A \cong ((\omega _S \otimes _k \theta) ^G) ^{\vee \vee}\), where \(\theta\) denotes the \(g\)-th exterior power of Lie\((G)\), \(g = \dim(G)\), and \((-) ^\vee = \Hom_A(-,A)\). If \(G ^0\) is semi-simple, then \(\omega _A \cong (\omega _S \otimes _k \theta) ^G\). A proof of the theorem will appear in another paper, which is currently in preparation, by the same author. The isomorphism from the theorem is compatible with the action of another group \(H\) whose action commutes with \(G\). In the case of \(\text{char}(k) = 0\), \textit{F. Knop} [J. Algebra 127, No. 1, 40-54 (1989; Zbl 0716.20021)] proved the assertions of the theorem under weaker hypotheses. More precisely, the set \(X _c ^{(00)}\) can be dropped in characteristic~0. -- The author proves several results related to the conditions~2 and~3 of the theorem, and gives some examples.