Weak Nakai conjecture for finitely generated algebras

From papers

Let kk be a field of characteristic 00, and let AA be a finitely generated kk-algebra. For each q0q\geq 0, let Derkq(A)Der_k^q(A) denote the set of qq-th order derivations of AA over kk. For each integer q1q\geq 1, define derkq(A)der_k^q(A) to be the AA-submodule of Derkq(A)Der_k^q(A) generated by compositions

δ1δ2δj,\delta_1\delta_2\cdots\delta_j,

where 1jq1\leq j\leq q and each δiDerk1(A)\delta_i\in Der_k^1(A).

Weak Nakai conjecture. If derkq(A)=Derkq(A)der_k^q(A)=Der_k^q(A) for each integer q1q\geq 1, then AA is regular.

This weaker form of the Nakai conjecture appeared in previous work and is part of the broader program of detecting regularity through differential operators. The supplied text gives no resolution status for this formulation; the general claim should therefore be treated as open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Stephen S. -T. Yau, Qiwei Zhu and Huaiqing Zuo, “Nakai conjectures for isolated homogeneous hypersurface singularities”, arXiv:2604.24508 (2026).

Solutions 0

No solutions have been posted yet.