Sharp lower estimations for invariants associated with the ideal of antiderivatives of singularities (Q6563289)

Let \(f \colon (\mathbb C^n, 0) \longrightarrow (\mathbb C, 0)\) be a holomorphic function germ which determines the isolated hypersurface singularity \(V\), let \(J(f)\) be the Jacobian ideal and \(I = (f, J(f))\). The authors denote by \(\Delta(I)\) the ideal generated by those elements of \(I\) whose partial derivatives are contained in \(I\) also. In their terminology it is ``the ideal of antiderivatives with respect to \(I\)''. Then they denote the quotient local ring \(\mathcal O_{(\mathbb C^n,0)}/\Delta(I)\) by \(A^\Delta(V)\) and the Lie algebra of derivations \(\mathrm{Der}_{\mathbb C}(A^\Delta(V),\, A^\Delta(V))\) by \(L^\Delta(V)\); both objects are finite-dimensional vector spaces over \(\mathbb C\) and their dimensions are numerical invariants of the hypersurface singularity. The paper under review consists of very long straightforward computations of these invariants for weighted homogeneous singularities of certain types, including binomial and fewnomial ones (see [\textit{A. Elashvili} and \textit{G. Khimshiashvili}, J. Lie Theory 16, No. 4, 621--649 (2006; Zbl 1120.32016)]) in two and three variables. Of course, in all such cases \(f\) is a polynomial, the ideal \(I\) is equal to the Jacobi ideal of the polynomial and defines a zero-dimensional complete intersection. As an application the authors conjecture a lower bound estimate for these invariants in terms of weight types of the corresponding polynomials and discuss some related questions.\N\N\textit{Reviewer's remarks:} It should be noted that one can define \(\Delta(I)\) for an arbitrary ideal \(I\) and obtain plenty of important invariants (not only numerical) of the corresponding singularity. This ideal, denoted by \(D(I)\), was first introduced by \textit{P. Seibt} [Math. Z. 166, 159--164 (1979; Zbl 0389.13008)] and then its properties were studied by many authors in different contexts and settings (see, f.e., [\textit{R. Pellikaan}, Proc. Lond. Math. Soc. (3) 57, No. 2, 357--382 (1988; Zbl 0621.32019)], where \(D(I)\) is called the primitive ideal of \(I\) and denoted by \(\int\!I\)).