Extracting invariants of isolated hypersurface singularities from their moduli algebras (Q1952296)

By a theorem due to \textit{J. N. Mather} and \textit{S. S.-T. Yau} [Invent. Math. 69, 243--251 (1982; Zbl 0499.32008)], two hypersurface germs in \((\mathbb C^m,0)\) with isolated singularities are biholomorphically equivalent if their moduli algebras are isomorphic. However, it is a very difficult problem to obtain the information of the singularity from its moduli algebra. In the paper under review, motivated by this problem, the authors consider the homogeneous singularities and construct invariants of graded Gorenstein \(\mathbb C\)-algebras of finite vector space dimension, using classical invariant theory. Their conjecture states that one can recover all absolute invariants of forms (homogeneous polynomials) of degree \(n\) from absolute invariants of forms of degree \(m(n-2)\) by evaluating so-called associated forms. They verify the conjecture for the cases \((m,n)=(3,3), (2,4), (2,5), (2,6)\), and provide the complete list of canonical forms with \((m,n)=(2,6)\).