Almost finitely generated inverse systems and reduced \(\mathbf{k}\)-algebras (Q6630013)

Assume that \((R, \mathfrak{m}, \mathbf{k})\) is a complete Noetherian local ring, where \(\mathbf{k} = R/\mathfrak{m}\), and \(E_R(\mathbf{k})\) is the injective envelope. Also, for an \(R\)-module \(M\), the Matlis dual is \(M^\vee=\mathrm{Hom}_R(M,E_R(\mathbf{k}))\). Macaulay showed a particular case of Matlis duality, which is called Macaulay's correspondence, between the ideals \(I\) of \(R\) such that \(R/I\) is an Artinian local ring and \(R\)-submodules \(I^\perp\) of \(\Gamma=\mathbf{k}_{DP}[y_1, \ldots, y_n]\) of \(R\) which are finitely generated. In this paper, the authors, in Theorem 3.3, verify that the inverse system of a \(1\)-dimensional local domain is an almost finitely generated \(R\)-submodule of \(\Gamma\) and conversely. After that, they characterize the inverse system of one dimensional local Gorenstein domains in Proposition 3.6. Next, the authors, in Theorem 4.1, study the generators of the almost finitely generated dual module of a numerical semigroup ring. In particular, in Proposition 5.1, the authors explore the inverse system of one dimensional reduced \(\mathbf{k}\)-algebras. Finally, in Theorem 5.4, they state conditions on the inverse system of any Gorenstein zero-dimensional scheme \(X\) for being a reduced scheme.\N\NFor the entire collection see [Zbl 1545.13003].