Relative invariants, ideal classes and quasi-canonical modules of modular rings of invariants (Q411755)

Let \(k\) be a field, \(V\) an \(n\)- dimensional k-vector space, \(G\subseteq \mathrm{GL}(V)\) a finite group and \(A:=\mathrm{Sym}(V^{*})\simeq k[x_1,\dots,x_{n}]\), the symmetric algebra over the dual space \(V^{*}\) with its canonical G-action and ring of invariants \(R:=A^{G}={a\in A|ga=a,\forall g\in G|}\). It is a well know result of \textit{K. Wantanabe} [Osaka J. Math. 11, 1-8 (1974; Zbl 0281.13007), II, (1974; Zbl 0292.13008)] that if the characteristic of \(k\) does not divide the order of \(G\), then \(A^{G}\) is Gorenstein if \(G\subseteq \mathrm{SL}(V)\), and if \(G\) contains no pseudo-reflection, then the converse holds as well. later on, \textit{A. Braun} [J. Algebra 345, No. 1, 81--99 (2011; Zbl 1243.13003)] generalized this result for modular case, where the characteristic of \(k\) is allowed to divide the order of \(G\). Braun's work is based on the following Hypothesis: Hypothesis (NR). The group \(G\subseteq \mathrm{SL}(V)\) contains no pseudo-reflection (neither diagonalizable nor transvection). The authors of the paper under review generalize Braun's results by avoiding Hypothesis (NR) and whenever \(A\) is a k-algebra, which is also a factorial domain with unit group \(U(A)=U(k)\).