When the Jacobian algebra of a curve singularity is Gorenstein (Q1805500): Difference between revisions

In Math. Z. 187, 105-123 (1994; Zbl 0543.14014), \textit{E. Kunz} and \textit{R. Waldi} prove that the jacobian algebra \(R/ \widetilde J\) of a reduced algebroid Gorenstein curve \(R\) defined over an algebraically closed field \(k\) of characteristic zero is Gorenstein if and only if \(R\) is quasi- homogeneous. In the article under review the notion of jacobian algebra is extended to a domain \(R\) of CM-type not necessarily one: the ideal \(\widetilde J\) is defined as the annihilator of the cokernel of the fundamental class: \[ \widetilde J : = \text{Ann}_ R (\text{Coker} \varphi : \Omega^ 1_{R/k} \to \omega_ R). \] It is proved that if \(R/ \widetilde J\) is Gorenstein, then \(R\) is Gorenstein. From this result and from the quoted one it follows that \(R/ \widetilde J\) is Gorenstein if and only if \(R\) is Gorenstein and quasi-homogeneous.