Nakai conjectures for isolated homogeneous hypersurface singularities

Abstract: The long-standing Nakai Conjecture concerns a very natural question: can differential operators detect singularities on algebraic varieties? On a smooth complex variety, it is well known that the ring of differential operators is generated by derivations. Nakai asked whether the converse holds: if the ring of differential operators is generated by derivations, is the variety smooth? In this paper, we verify the Nakai Conjecture for isolated homogeneous hypersurface singularities.

• The paper verifies the Nakai Conjecture by showing that second-order derivations are not generated by first-order derivations in isolated homogeneous hypersurface singularities.
• It employs explicit calculations with higher-order derivations and Saito’s theorem to establish the necessary algebraic independence and obstructions.
• The work has significant implications for computational methods in symbolic algebra and enhances the understanding of singularity detection in algebraic geometry.

Verification of the Nakai Conjecture for Isolated Homogeneous Hypersurface Singularities

Introduction and Context

The Nakai Conjecture addresses a fundamental question in algebraic geometry concerning the relationship between differential operators and the detection of singularities in algebraic varieties. Specifically, it posits that if the algebra of differential operators on an algebraic variety is generated by its derivations, then the variety is regular. This paper rigorously verifies the Nakai Conjecture for the class of isolated homogeneous hypersurface singularities, thereby settling a major case previously resistant to known techniques (2604.24508).

Historical Framework and Related Results

It is well-established, following Grothendieck, that on a smooth variety, all differential operators are generated by first-order derivations. Nakai's conjecture, which emerged from this context, was not explicitly stated by Nakai in published literature but has been widely cited in the community, notably in Mount's and Singh’s works. A crucial implication of Nakai conjecture is its connection to the Zariski-Lipman conjecture, which remains open in general: if the module of derivations is projective, then the ring is regular.

Prior results have verified Nakai's conjecture in various restricted cases: irreducible curves, monomial ideals, hypersurfaces in two variables, and certain Brieskorn hypersurfaces. In particular, for $A = k[x_1, \ldots, x_n]/(f)$ with $n \geq 4$ and $f$ homogeneous defining an isolated singularity, available methods were inadequate until the present work.

Technical Foundations and Methods

The paper systematically develops the theory of higher-order derivations and their relationship to differential operators. Derivations of order $q$ satisfy an n-ary Leibniz identity, and their algebraic structure is considered both on coordinate rings and on quotients modulo hypersurface ideals. Differential operators are organized via exact sequences, especially as described in Singh’s work, and the study relies on an explicit description of second-order derivations and their images under appropriately defined maps.

A key technical step is to analyze the structure of $\mathscr{D}^2(A)$, the module of $n$-tuples of first-order derivations whose cross-evaluations coincide, i.e., $d_i(x_j) = d_j(x_i)$. The authors construct explicit $n$-tuples and demonstrate obstructions to generation by lower-order derivations for isolated homogeneous singularities.

Main Results and Strong Claims

The central result is the following main theorem:

Let $A = k[x_1, ..., x_n]/(f)$, where $f$ is homogeneous and defines an isolated singularity at the origin. Then $n \geq 4$0.

This assertion is non-trivial: it shows that not all higher-order derivations are generated by first-order derivations in the case of isolated homogeneous singularity. As a corollary, it verifies the Nakai Conjecture (weak version) for this class of singularities, and thus provides a new proof for weighted homogeneous Brieskorn hypersurfaces.

The proof develops through explicit computations and generalizations of the algebraic structure of derivations and their commutators. Technical highlights include the use of Saito’s theorem on determinants and regular sequences, and careful coordinate changes ensuring the necessary algebraic independence for the critical steps.

Implications and Generalizations

Verification of Nakai's conjecture in this context has substantial theoretical implications. It demonstrates that the generation of differential operators by derivations is a reliable criterion for regularity for a notably broad class of varieties. This not only narrows the gap between algebraic and analytic detection of singularities but also strengthens the link between algebraic structures and geometric properties.

The negative result for the cubic cone and higher-degree homogeneous singularities, as established by Bernšteǐn–Gel′fand–Gel′fand and Vigué, is generalized in this work, explicitly showing non-generation for any homogeneous polynomial of degree $n \geq 4$1 with isolated singularity.

Consequences for Algebraic Geometry and Computational Methods

From a computational perspective, the clarification regarding the generation of differential operators affects symbolic computation algorithms and their ability to distinguish singular from regular points on varieties. For singularity theory, it informs direct algebraic methods for the detection and resolution of singularities.

The methods developed, particularly the construction and manipulation of higher-order derivations and the connection with regular sequences via Saito’s results, are likely to be adaptable to broader classes of singularities—even beyond hypersurfaces, possibly extending to arbitrary complete intersections.

Potential Directions for Future Research

Future work could encompass the extension to non-homogeneous, non-isolated, or higher codimension singularities. Further study of the connections between the Nakai and Zariski-Lipman conjectures could lead to new structural results in the theory of projective modules of derivations. Additionally, the explicit techniques for constructing derivations with prescribed cross-evaluations may inform advances in the practical computation of invariants in singularity theory.

Conclusion

The paper delivers a complete verification of the Nakai Conjecture (weak version) for isolated homogeneous hypersurface singularities by demonstrating that second-order derivations are not generated by first-order derivations in this context. The result strengthens the theoretical bridge between algebraic differential operators and geometric regularity, providing new insight into the machinery of singularity detection and the algebraic structure of derivations for singular hypersurfaces (2604.24508).