Nakai conjectures for isolated homogeneous hypersurface singularities

Huaiqing Zuo; Qiwei Zhu; Stephen S.-T. Yau

arxiv: 2604.24508 · v1 · submitted 2026-04-27 · 🧮 math.AG

Nakai conjectures for isolated homogeneous hypersurface singularities

Stephen S.-T. Yau , Qiwei Zhu , Huaiqing Zuo This is my paper

Pith reviewed 2026-05-08 01:54 UTC · model grok-4.3

classification 🧮 math.AG

keywords Nakai conjecturedifferential operatorshypersurface singularitieshomogeneous singularitiesisolated singularitiessmoothnessalgebraic geometry

0 comments

The pith

The Nakai conjecture holds for isolated homogeneous hypersurface singularities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper verifies the Nakai conjecture specifically for isolated homogeneous hypersurface singularities. This conjecture asks whether the ring of differential operators on a variety's coordinate ring being generated by derivations is equivalent to the variety being smooth. Establishing this for the given singularities means that in this class, one can use the algebraic structure of differential operators to determine if a point is singular. Sympathetic readers care because it gives a positive resolution in a significant special case, potentially guiding further research on the general conjecture.

Core claim

The central claim is that the Nakai conjecture is true for isolated homogeneous hypersurface singularities: the ring of differential operators is generated by derivations if and only if the hypersurface is smooth.

What carries the argument

The ring of differential operators on the coordinate ring of the hypersurface and the condition of being generated by derivations.

If this is right

The conjecture holds for the entire class of isolated homogeneous hypersurface singularities.
Smoothness of these varieties can be detected by examining the generators of the differential operator ring.
This provides an algebraic characterization of smoothness in the homogeneous isolated setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The proof techniques could potentially be adapted to verify the conjecture for other restricted classes of singularities.
It may be possible to implement algorithmic checks for the generation property in computer algebra systems to classify such singularities.
The result highlights the role of homogeneity in simplifying the structure of differential operators.

Load-bearing premise

The proof relies on the singularity being isolated and the hypersurface being homogeneous.

What would settle it

A specific example of a non-smooth isolated homogeneous hypersurface singularity whose differential operator ring is generated by derivations would show the claim is false.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper verifies Nakai's conjecture for isolated homogeneous hypersurface singularities, a narrow but concrete advance.

read the letter

The main point is that the authors prove the Nakai conjecture holds when the singularity is isolated and the hypersurface is homogeneous. If the ring of differential operators is generated by derivations, then the variety is smooth in this setting. This is a direct verification rather than a restatement of earlier cases in the literature on the conjecture. The argument appears to use the grading from homogeneity and the isolation condition to control the differential operators without circular steps or fitted parameters. That is the new piece: an explicit class where the implication goes through cleanly. The work is solid on its own terms because it sticks to the stated hypotheses and does not claim more. Homogeneity lets them exploit algebraic structure in the operator ring, which is a reasonable way to make progress on a long-open question. The soft spot is the narrow scope. The full conjecture is for arbitrary varieties, and this result does not address non-homogeneous or non-isolated cases. The proof almost certainly leans on properties that do not carry over, so it organizes one corner of the problem without opening the general case. No load-bearing gaps show up in the description, but the restriction keeps the impact inside the subfield of singularity theory. This paper is for algebraic geometers who work on differential operators and hypersurface singularities. A reader already following Nakai-type questions or classification of singularities will get a usable data point. It is not essential for broader audiences. I would send it to peer review. The claim is precise and the setting is well-defined, so referees can check the details without wasting time on vague generality.

Referee Report

0 major / 1 minor

Summary. The manuscript verifies Nakai's conjecture for isolated homogeneous hypersurface singularities: if the ring of differential operators on such a variety is generated by derivations, then the variety is smooth.

Significance. This constitutes a concrete positive result for a natural restricted class where homogeneity permits graded computations of the differential operator ring. It supplies evidence supporting the general conjecture and demonstrates that the conjecture holds in the presence of isolated singularities with explicit algebraic structure.

minor comments (1)

The abstract states the result clearly but does not indicate the length or key techniques of the proof; a one-sentence outline of the method (e.g., use of graded filtrations or explicit generators) would help readers assess scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending acceptance of the manuscript.

Circularity Check

0 steps flagged

No circularity detected in derivation chain

full rationale

The paper states a direct verification of Nakai's conjecture restricted to the explicit class of isolated homogeneous hypersurface singularities. The provided abstract and context describe this as a proof under stated hypotheses of isolation and homogeneity, with no equations, fitted parameters, self-citations, or ansatzes shown that would reduce the result to its inputs by construction. The central claim is a mathematical verification within a scoped setting and remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard definitions of differential operator rings and derivations in algebraic geometry, plus the isolation and homogeneity conditions.

axioms (2)

standard math Ring of differential operators on a smooth complex variety is generated by derivations
Invoked as well-known background in the abstract.
domain assumption Nakai conjecture statement as the converse implication
The paper takes the conjecture as given and proves it for the restricted class.

pith-pipeline@v0.9.0 · 5360 in / 1040 out tokens · 23052 ms · 2026-05-08T01:54:12.951831+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Becker,Higher derivations and integral closure, Amer

J. Becker,Higher derivations and integral closure, Amer. J. Math., 100 (1978), 495-521

work page 1978
[2]

I. N. Bernˇ ste˘ın, I. M. Gel′fand, and S. I. Gel ′fand,Differential operators on a cubic cone, Uspehi Mat. Nauk 27 (1972), no. 1(163), 185-190

work page 1972
[3]

W. C. Brown,Higher derivations on finitely generated integral domains, Proc. Amer. Math. Soc. 42 (1974), 23–27

work page 1974
[4]

P. R. Brumatti, Y. Lequain, D. Levcovitz, A. Simis,A note on the Nakai conjecture, Proc. Amer. Math. Soc. 130 (2001), 15–21

work page 2001
[5]

P. R. Brumatti, M. O. Veloso,A note on Nakai’s conjecture for the ringK[X 1,· · ·, X n]/(a1X m 1 +· · ·+a nX m n ), Colloquium Mathematicum. 123(2) (2011), 277-283. 12 STEPHEN S.-T. YAU, QIWEI ZHU, AND HUAIQING ZUO

work page 2011
[6]

R. N. Diethorn, J. Jeffries, C. Miller, N. Packauskas, J. Pollitz, H. Rahmati and S. Vassili- adou,Resolutions of differential operators of low order for an isolated hypersurface singularity, 2023, https://arxiv.org/abs/2209.13110

work page arXiv 2023
[7]

Grothendieck, ´El´ ements de G´ eom´ etrie Alg´ ebrique, Publ

A. Grothendieck, ´El´ ements de G´ eom´ etrie Alg´ ebrique, Publ. Math. IHES 32 (1967)

work page 1967
[8]

J. M. Kantor,D´ erivations sur les singularit´ es quasi-homog´ enes: cas des hypersurfaces, C. R. Acad. Sci. Paris 288 A (1979), 33-34

work page 1979
[9]

Matsumura,Commutative ring theory, Cambridge University Press, 1980

H. Matsumura,Commutative ring theory, Cambridge University Press, 1980

work page 1980
[10]

K. R. Mount and O.E. Villamayor,On a conjecture of Y. Nakai, Osaka J. Math. 10 (1973), 325-327

work page 1973
[11]

Nakai,High order derivations I, Osaka J

Y. Nakai,High order derivations I, Osaka J. Math. 7 (1970), 1-27

work page 1970
[12]

Nakai,On the theory of differentials in commutative rings, J

Y. Nakai,On the theory of differentials in commutative rings, J. Math. Soc. Japan , 13 (1961), 63–84

work page 1961
[13]

C. J. Rego,Remarks on differential operators on algebraic varieties, Osaka J. Math., 14 (1977), 481-486

work page 1977
[14]

Saito, Einfach-elliptische Singularit¨ aten, Invent

K. Saito, Einfach-elliptische Singularit¨ aten, Invent. Math.23 (1974), 289–325

work page 1974
[15]

Schreiner,On a conjecture of Nakai, Arch

A. Schreiner,On a conjecture of Nakai, Arch. Math. 62 (1994) , 506-512

work page 1994
[16]

Singh,Differential operators on a hypersurface

B. Singh,Differential operators on a hypersurface. Nagoya Math. J. 103 (1986), 67-84

work page 1986
[17]

Teissier,Cycles ´ evanescents, sections planes et conditions de Whitney, Singularit´ es ` a Carg` ese (Rencontre Singularit´ es G´ eom

B. Teissier,Cycles ´ evanescents, sections planes et conditions de Whitney, Singularit´ es ` a Carg` ese (Rencontre Singularit´ es G´ eom. Anal., Inst. E´tudes Sci., Carg` ese, 1972), Ast´ erisque, Nos. 7 et 8, Soc. Math. France, Paris, 1973, 285–362

work page 1972
[18]

W. N. Traves,Nakai’s conjecture for varieties smoothed by normalization, Proc. Amer. Math. Soc. 127(8) (1999), 2245–2248

work page 1999
[19]

J. P. Vigu´ e,Op´ erateurs diff´ erentiels sur les cˆ ones normaux de dimension 2, C. R. Acad. Sci. Paris Ser. A. 278 (1974), 1047-1050

work page 1974
[20]

J. P. Vigu´ e,Op´ erateurs diff´ erentiels sur les espaces analytiques, Invent. Math. 20 (1973), 313–336

work page 1973
[21]

Z. Xiao, S. S.-T. Yau and H. Zuo,On higher order derivations associated to isolated hypersurface singularities, Asian J. Math. 29(4) (2025), 485-516. Department of Mathematical Sciences, Tsinghua University, Beijing, 100084, P. R. China.; Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, Huairou 101400, P. R. China Email address:yau@...

work page 2025

[1] [1]

Becker,Higher derivations and integral closure, Amer

J. Becker,Higher derivations and integral closure, Amer. J. Math., 100 (1978), 495-521

work page 1978

[2] [2]

I. N. Bernˇ ste˘ın, I. M. Gel′fand, and S. I. Gel ′fand,Differential operators on a cubic cone, Uspehi Mat. Nauk 27 (1972), no. 1(163), 185-190

work page 1972

[3] [3]

W. C. Brown,Higher derivations on finitely generated integral domains, Proc. Amer. Math. Soc. 42 (1974), 23–27

work page 1974

[4] [4]

P. R. Brumatti, Y. Lequain, D. Levcovitz, A. Simis,A note on the Nakai conjecture, Proc. Amer. Math. Soc. 130 (2001), 15–21

work page 2001

[5] [5]

P. R. Brumatti, M. O. Veloso,A note on Nakai’s conjecture for the ringK[X 1,· · ·, X n]/(a1X m 1 +· · ·+a nX m n ), Colloquium Mathematicum. 123(2) (2011), 277-283. 12 STEPHEN S.-T. YAU, QIWEI ZHU, AND HUAIQING ZUO

work page 2011

[6] [6]

R. N. Diethorn, J. Jeffries, C. Miller, N. Packauskas, J. Pollitz, H. Rahmati and S. Vassili- adou,Resolutions of differential operators of low order for an isolated hypersurface singularity, 2023, https://arxiv.org/abs/2209.13110

work page arXiv 2023

[7] [7]

Grothendieck, ´El´ ements de G´ eom´ etrie Alg´ ebrique, Publ

A. Grothendieck, ´El´ ements de G´ eom´ etrie Alg´ ebrique, Publ. Math. IHES 32 (1967)

work page 1967

[8] [8]

J. M. Kantor,D´ erivations sur les singularit´ es quasi-homog´ enes: cas des hypersurfaces, C. R. Acad. Sci. Paris 288 A (1979), 33-34

work page 1979

[9] [9]

Matsumura,Commutative ring theory, Cambridge University Press, 1980

H. Matsumura,Commutative ring theory, Cambridge University Press, 1980

work page 1980

[10] [10]

K. R. Mount and O.E. Villamayor,On a conjecture of Y. Nakai, Osaka J. Math. 10 (1973), 325-327

work page 1973

[11] [11]

Nakai,High order derivations I, Osaka J

Y. Nakai,High order derivations I, Osaka J. Math. 7 (1970), 1-27

work page 1970

[12] [12]

Nakai,On the theory of differentials in commutative rings, J

Y. Nakai,On the theory of differentials in commutative rings, J. Math. Soc. Japan , 13 (1961), 63–84

work page 1961

[13] [13]

C. J. Rego,Remarks on differential operators on algebraic varieties, Osaka J. Math., 14 (1977), 481-486

work page 1977

[14] [14]

Saito, Einfach-elliptische Singularit¨ aten, Invent

K. Saito, Einfach-elliptische Singularit¨ aten, Invent. Math.23 (1974), 289–325

work page 1974

[15] [15]

Schreiner,On a conjecture of Nakai, Arch

A. Schreiner,On a conjecture of Nakai, Arch. Math. 62 (1994) , 506-512

work page 1994

[16] [16]

Singh,Differential operators on a hypersurface

B. Singh,Differential operators on a hypersurface. Nagoya Math. J. 103 (1986), 67-84

work page 1986

[17] [17]

Teissier,Cycles ´ evanescents, sections planes et conditions de Whitney, Singularit´ es ` a Carg` ese (Rencontre Singularit´ es G´ eom

B. Teissier,Cycles ´ evanescents, sections planes et conditions de Whitney, Singularit´ es ` a Carg` ese (Rencontre Singularit´ es G´ eom. Anal., Inst. E´tudes Sci., Carg` ese, 1972), Ast´ erisque, Nos. 7 et 8, Soc. Math. France, Paris, 1973, 285–362

work page 1972

[18] [18]

W. N. Traves,Nakai’s conjecture for varieties smoothed by normalization, Proc. Amer. Math. Soc. 127(8) (1999), 2245–2248

work page 1999

[19] [19]

J. P. Vigu´ e,Op´ erateurs diff´ erentiels sur les cˆ ones normaux de dimension 2, C. R. Acad. Sci. Paris Ser. A. 278 (1974), 1047-1050

work page 1974

[20] [20]

J. P. Vigu´ e,Op´ erateurs diff´ erentiels sur les espaces analytiques, Invent. Math. 20 (1973), 313–336

work page 1973

[21] [21]

Z. Xiao, S. S.-T. Yau and H. Zuo,On higher order derivations associated to isolated hypersurface singularities, Asian J. Math. 29(4) (2025), 485-516. Department of Mathematical Sciences, Tsinghua University, Beijing, 100084, P. R. China.; Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, Huairou 101400, P. R. China Email address:yau@...

work page 2025