Affine hypersurfaces with Gorenstein singular loci (Q4547016)

In this paper the first author and the late R. Michler continue the study of the torsion part of the differential module of hypersurfaces with only isolated singularities [for previous results of the second author see: \textit{R. Michler}, J. Pure Appl. Alg. 104, 81--88 (1995; Zbl 0874.13020), Proc. Am. Math. Soc. 129, No.3, 639-646 (2001; Zbl 0968.13014), Contemporary Math. 266, 171--180 (2000; Zbl 0988.14018)]. The main result of the paper under review is the following theorem: Let \(R=K[X_1,\ldots,X_{N+1}]\) be a polynomial ring in \(N+1\) indeterminates over an algebraically closed field of characteristic zero. Let \(F\in R\) define a reduced hypersurface \(A\) with isolated singularities in the affine space \({\mathbb A}^{N+1}_K\). Let \(J=(\partial F/\partial X_1,\ldots,\partial F/\partial X_{N+1})\) denote the Jacobian ideal, let \(I:=(J,F)\), and let \(\{M_i\}_{i\in\Lambda}\) be the finitely many maximal ideals of \(R\) corresponding to the points of \(\text{ Sing}(A)\). Then the following statements are equivalent: (a) The torsion module \(\text{ Torsion}(\Omega^N_K)\) is a cyclic \(A\)-module. (b) The coordinate ring \(R/I\) is an artinian Gorenstein ring. (c) \(F\in J_{M_i}\) for all \(i\in\Lambda\). (d) \(\dim_K(\text{Torsion}(\Omega^N_{A/K}))\) is maximal. (e) \(F\) is locally analytically quasi-homogeneous in suitable analytic coordinates at each singular point. The proof of the equivalence of (a) and (b) uses a result of the second author [cf. \textit{R. Michler}, Commun. Algebra 30, 5639--5650 (2002; Zbl 1048.13017)]. The proof of the equivalence of (b) and (e) uses results of \textit{E. Kunz} [J. Algebra 28, 111--115 (1974; Zbl 0275.13025)], \textit{K. Saito} [Invent. Math. 14, 123--142 (1971; Zbl 0224.32011)] and \textit{B. Teissier} [Astérisque 7--8 (1973), 285--362 (1974; Zbl 0295.14003)]. The authors give an example of a hypersurface in \({\mathbb A}^{N+1}_K\) which satisfies condition (c) of the theorem but for which there exists no affine change of coordinates transforming \(F\) into a quasi-homogeneous polynomial.