Weak Nakai conjecture for finitely generated algebras

Less than 1 year old · traced to

Let kk be a field of characteristic 00, and let AA be a finitely generated kk-algebra. For each q≥0q\geq 0, let Derkq(A)Der_k^q(A) denote the set of qq-th order derivations of AA over kk. For each integer q≥1q\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 1≤j≤q1\leq j\leq q and each δi∈Derk1(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 q≥1q\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.