Conjecture 1.1 of Chen–Hussain–Yau–Zuo on generalized moduli algebras

Let (V,0)(V,0) be an isolated complex hypersurface singularity defined by f∈C{x1,…,xn}f\in\mathbb{C}\{x_1,\ldots,x_n\}, with n≥2n\ge 2 and mult⁡(f)≥3\operatorname{mult}(f)\ge 3. Let A(V)A(V) be the moduli (Tjurina) algebra and A∗(V)A^*(V) the generalized moduli algebra, and define L(V)=Der⁡C(A(V),A(V))L(V)=\operatorname{Der}_{\mathbb{C}}(A(V),A(V)) and L∗(V)=Der⁡C(A∗(V),A∗(V))L^*(V)=\operatorname{Der}_{\mathbb{C}}(A^*(V),A^*(V)). Then dim⁡CL∗(V)=dim⁡CL(V)\dim_{\mathbb{C}}L^*(V)=\dim_{\mathbb{C}}L(V), equivalently λ∗(V)=λ(V)\lambda^*(V)=\lambda(V), where λ(V)=dim⁡CL(V)\lambda(V)=\dim_{\mathbb{C}}L(V) and λ∗(V)=dim⁡CL∗(V)\lambda^*(V)=\dim_{\mathbb{C}}L^*(V).

References

Progress summary

Refreshed
Claimed solved

A new unrefereed preprint claims to prove the conjecture and explain the dimension relationship.

Conjecture 1.1 of Chen–Hussain–Yau–Zuo concerns a dimension formula for generalized moduli algebras. The latest source claims that the formula holds and gives a structural explanation via Milnor-algebra socles.

August 2026 claimed proof

The preprint Derivations of Generalized Moduli Algebras of Isolated Hypersurface Singularities claims a proof of the conjectured dimension formula and constructs an exact sequence involving Milnor-algebra socles. If correct, this settles Conjecture 1.1; the claim is unverified.

Current status (as of August 2026): The conjecture is claimed solved by an unrefereed preprint, but independent verification is not recorded.

Sources

Solutions 0

No solutions have been posted yet.