Gourmet's guide to Gorensteinness (Q1570236)

The authors pose the following (hard) question. Let \(A\) be a Noetherian \(\mathbb{N}\)-graded connected \(k\)-algebra given by generators and relations. Determine, by looking at the relations, if \(A\) is AS-Gorenstein. A more modest question is to find criteria to decide whether some naturally occurring algebras are AS-Gorenstein. In pursing the goal of answering these questions, they prove noncommutative generalizations of several well-known commutative theorems of, among others, Stanley and Watanabe. For example, they prove the following generalization of a theorem of Stanley. Let \(A\) be an AS-Cohen-Macaulay algebra which is a domain and suppose that \(A\) either has enough normal elements, or is a quotient of an Auslander-regular algebra. Then \(A\) is AS-Gorenstein if and only if the rational Hilbert function \(H\) of \(A\) satisfies \(H(t)=\pm t^{-m}H(t^{-1})\) for some integer \(m\). This paper may be regarded as a sequel to the paper by \textit{N. Jing} and \textit{J. J. Zhang} [J. Algebra 189, No. 2, 353-376 (1997; Zbl 0877.16022)], and here they solve some of the problems posed in this earlier paper. They develop a theory of traces and the homological determinant (a group homomorphism from \(\text{GrAut}(A)\) to \(k^*\)), and, for example, prove the following generalization of a theorem of Watanabe. Suppose that \(B\) is Noetherian and AS-Gorenstein, and \(G\) is a finite subgroup of \(\text{GrAut}(A)\). If \(\text{hdet}(\sigma)=1\) for each \(\sigma\in G\) then the fixed ring \(A=B^G\) is AS-Gorenstein. They introduce a condition, the similar submodule condition, which is verified, for example, by algebras with enough normal elements. This condition affords many beneficial properties. Roughly speaking, many arguments that work for fully bounded rings have a chance of being made to work for algebras with the similar submodule condition. The proof of the generalized Stanley theorem mentioned above uses this condition.