On the non-existence of negative weight derivations of the new moduli algebras of singularities (Q2201069): Difference between revisions

To any isolated hypersurface singularity \((V,0)\subset (\mathbb{C}^{n+1},0),\) defined by a holomorphic function \(f:(\mathbb{C}^{n+1},0)\rightarrow (\mathbb{C},0),\) there are associated many algebraic objects, for instance the Tjurina algebra \(A(V):=\mathcal{O}_{n+1}/(f,\frac{\partial f}{\partial z_{0}},\ldots ,\frac{\partial f}{\partial z_{n+1}})\) which completely determines the analytic structure of \((V,0).\) A weaker invariant is the Lie algebra of derivations of \(A(V)\) i.e. \(L(V):=\operatorname{Der}(A(V),A(V)).\) The authors consider more subtle invariants: the local algebra \[ A^{\ast }(V):=\mathcal{O}_{n+1}/(f,\frac{\partial f}{\partial z_{0}},\ldots ,\frac{\partial f}{\partial z_{n+1}},\det \left( \frac{\partial ^{2}f}{\partial z_{i}\partial z_{j}}\right) _{0\leq i,j\leq n+1}) \] and the Lie algebra \(L^{\ast }(V):=\operatorname{Der}(A^{\ast }(V),A^{\ast }(V)).\) They prove the following property of \(L^{\ast }(V)\) for \(1\leq n\leq 3:\) Let \((V,0)\) be an isolated weighted homogeneous hypersurface singularity (then \(f \) is a polynomial) of a weight type \((\alpha _{0},\ldots ,\alpha _{n+1};d)\) where \(d\geq 2\alpha _{0}\geq \cdots \geq 2\alpha _{n+1}>0.\) (In this case \(A^{\ast }(V)\) and \(L^{\ast }(V)\) are graded algebra). Then in \(L^{\ast }(V)\) there are no derivations of negative weight i.e. derivations \(D:A^{\ast}(V)\rightarrow A^{\ast }(V)\) which sends elements of degree \(i\) into elements of degree \(i-k_{0},\) where \(k_{0}\in \mathbb{N}.\) Reviewer's remark: In the paper there is a strange statement ``\dots the second author discovered independently the following conjecture\ldots'' on line~1 on page~202.