Generalized Cartan matrices associated to \(k\)-th Yau algebras of singularities and characterization theorem (Q6166111)

For \((V,0)\) an isolated hypersurface singularity defined by a holomorphic function \(f:(\mathbb{C}^n,0)\rightarrow (\mathbb{C},0)\), the \(k\)-th Yau algebra \(L^k(V)\) is defined as the Lie algebra of derivations of the \(k\)-th moduli algebra \(A^k(V):=\mathcal{O}_n/(f,m^kJ(f))\), where \(k\geq 0\), \(m\) is the maximal ideal of \(\mathcal{O}_n\) and \(J(f)=(df/dx_1,\ldots ,df/dx_n)\). The Generalized Cartan matrix \(C^k(V)\) is an object associated to \(L^k(V)\). The ADE singularities are the ones from the \(A\)- and \(D\)-series and the singularities \(E_6\), \(E_7\) and \(E_8\). The authors have proposed a conjecture that ADE singularities can be completely characterized by \(C^k(V)\), and have checked this for \(k=1\) in a previous paper. In the present article, they prove the conjecture for \(k=2\).