REVIEW 4 major objections 5 minor 12 references
Roots of Bernstein-Sato polynomials for projective hypersurfaces with ordinary double points
T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For nodal hypersurfaces, the Bernstein–Sato root interval ends exactly at a binomial-counting number in general position, and this bound is proved sharp.
desk verdict A genuinely useful sharpness result for Bernstein–Sato roots of nodal hypersurfaces, but one load-bearing step is left as 'we can verify' and needs a real proof before the main theorem is solid. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the pair of integers $(p_f,q_s)$. The endpoint $p_f$ is identified with $p'_f$, the first degree at which the vanishing ideal $I_{\Sigma,k}$ of the singular points differs from the Jacobian ideal $(\partial f)_k$; $q_s=\min\{q\mid \binom{q+n-1}{n-1}>s\}$ is the first degree at which the space of degree-$q$ polynomials in $n$ variables has dimension exceeding the number $s$ of nodes. The upper bound follows because $I_{\Sigma,q_s}\neq0$ whereas $(\partial f)_{q_s}=0$ whenever $q_s\le d-2$. For sharpness, the proof constructs $f=\sum_{j=1}^s g_j^2h_j$: each $g_j$ vanishes at every assigned point except $p_j$, using Veronese embeddings of degree $\lfloor d/2\rfloor-1$, and each $h_j$ has an ordinary double point at $p_j$; a blow-up/family argument then certifies that a general fiber has exactly those singularities. The second hypothesis instead uses degree-$(d-2)$ forms whose derivatives vanish at all but one of the points, with the Alexander–Hirschowitz theorem guaranteeing the expected dimension of that space.
What would settle it
Compute the Bernstein–Sato polynomial directly for an explicit nodal hypersurface with $s\le n$ nodes in general position and $q_s\le d-2$—for instance $f=x^2y^2+x^2z^2+y^2z^2$ in $\mathbb{P}^2$, where $s=3$ and $q_s=2$—and check whether the root interval really ends at $p_f=2$; a different endpoint would disprove the identity $p_f=p'_f$ on which the theorem depends.
Extended reading notes
Core claim
For a reduced homogeneous polynomial $f$ of degree $d\ge 3$ in $n\ge 3$ variables defining $X=\{f=0\}\subset\mathbb{P}^{n-1}$ with only ordinary double points, the central claim is that the integer $p_f$ in the root formula is governed by a comparison of two graded ideals: $p_f=p'_f=\min\{k\in\mathbb{N}\mid I_{\Sigma,k}\neq(\partial f)_k\}$ when this minimum is at most $d$, and $p_f=d$ otherwise, where $\Sigma=\operatorname{Sing} X$. Since $(\partial f)_k=0$ for $k\le d-2$, the strict inequality $N_{n,q_s}>s$ forces $I_{\Sigma,q_s}\neq0$, giving the upper bound $p_f\le q_s$ for $q_s\le d-2$. Theorem 2 proves that this bound is optimal under either $\binom{\lfloor d/2\rfloor+n-2}{n-1}\ge s$ or $\binom{d+n-3}{n-1}\ge sn$ (with strict inequality in the three exceptional cases for $(n,d-2,s)$ equal to $(3,4,5)$, $(5,3,7)$, or $(5,4,14)$), by constructing, for any $s$ points in sufficiently general position, a homogeneous polynomial of degree $d$ whose projective hypersurface has ordinary double points exactly at those points and is nonsingular outside them. Proposition 1 gives the exact value $p_f=q_s$ when the nodes are in general position.
Load-bearing premise
The proof rests on the identity $p_f=\min\{k\mid I_{\Sigma,k}\neq(\partial f)_k\}$ (with $p_f=d$ when the minimum exceeds $d$), which the paper asserts with 'we can verify' and does not prove in detail; if this identification fails, the upper bound $p_f\le q_s$ and the equality in general position collapse.
Editorial extensions
If this is right
- For any nodal hypersurface whose singular points are in general position, the Bernstein–Sato roots are exactly $j/d$ for $j\in[n,nd-n-q_s]$, together with $1$ and $(n-1)/2$; the polynomial is thus determined by $n$, $d$, and $s$ alone.
- Under $\binom{\lfloor d/2\rfloor+n-2}{n-1}\ge s$, the upper bound (3) is attained for every sufficiently general configuration of $s$ points, so no bound in terms of $s$ and $d$ alone can be sharper.
- Under $\binom{d+n-3}{n-1}\ge sn$, the same sharpness holds outside the exceptional triples; here the Alexander–Hirschowitz theorem supplies the expected dimension of the derivative-vanishing interpolation space that the construction requires.
- The proof is constructive: it yields explicit degree-$d$ polynomials with prescribed ordinary double points and no other singularities, not merely an existence statement.
- If the paper's conjecture is correct, the same root formula and sharpness under the first hypothesis extend to hypersurfaces with only $A_2$-singularities, with the counting number based on the doubled number of local conditions.
Reading between the lines
- Editorial extension: the identity (2) is the real engine; if it holds for other isolated weighted-homogeneous singularities, the same binomial-counting argument would give a uniform upper bound $p_f\le q_s$ wherever the Jacobian ideal vanishes in low degrees, making sharpness a purely combinatorial interpolation question.
- Editorial extension: the paper reduces its $A_2$ conjecture to two specific linear-independence questions (5.5 and 5.7); a small computer search for $n=3$, $c=2$, and $(e,s)=(3,5)$ or $(4,5)$ is the most direct way to test the conjecture, since the paper reports the expected value in one such case.
- Editorial extension: the exceptional Alexander–Hirschowitz cases with $N_{n,d-2}=sn$ are natural boundary candidates where the construction might fail; testing whether the paper's 'sufficiently general position' still permits an ordinary double point interpolation there would delimit the true range of the sharpness theorem.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Bernstein-Sato polynomial of the defining polynomial f of a degree-d projective hypersurface X ⊂ P^{n-1} with only ordinary double points. It recalls a theorem of Saito describing the roots of b_f(s) up to sign as 1, (n-1)/2, and j/d for j ∈ Z ∩ [n, nd-n-p_f], with p_f a positive integer. The paper defines q_s as the minimal integer with binomial(q_s+n-1, n-1) > s := |Sing X| and shows p_f ≤ q_s under a mild condition. Proposition 1 claims equality p_f = q_s when the singular points are in general position. Theorem 2 constructs, under two numerical hypotheses (one using the Alexander–Hirschowitz theorem), homogeneous polynomials of degree d whose hypersurfaces have ordinary double points at any s points in sufficiently general position and are nonsingular elsewhere, and concludes that the bound (3) is optimal. Section 5 considers extensions to A_c-singularities, poses several questions, and provides computational evidence in low-dimensional cases.
Significance. If fully established, the main theorem would give a sharp upper bound for the integer p_f appearing in the Bernstein–Sato root string of nodal projective hypersurfaces, and the constructed examples would be useful for further study. The paper also contains explicit computational verifications and isolates natural open questions for A_c-singularities, which is valuable. However, the central sharpness claims currently rest on an asserted but unproved identification, equation (2), and on a sketched intersection argument in the proof of Theorem 2. The paper is not self-contained regarding (2), despite citing prior work for the main root formula. These gaps are fixable, so the result is plausible, but the manuscript is not yet ready in its present form.
major comments (4)
- [Introduction, Eq. (2)] The equality p_f = p'_f := min{k ∈ N | I_{Σ,k} ≠ (∂f)_k} (with p_f = d if p'_f > d) is asserted in the introduction with the phrase 'we can verify by using the symmetries in (3.1) below,' but no verification appears anywhere in the manuscript. This identification is load-bearing: Proposition 1 uses it to convert the vanishing I_{Σ,k}=0 for k<q_s into p_f=q_s, and Theorem 2's conclusion that the estimate (3) is optimal uses it to conclude that the constructed hypersurface has p_f=q_s. The paper itself, in Question 5.5, calls the analogous equality for A_c-singularities 'indispensable,' but leaves the c=1 case at the level of assertion. A complete derivation from the symmetries (3.1) and the structure of the pole order spectral sequence is needed.
- [Section 4, proof of Theorem 2] In the first case of Theorem 2, after defining f = Σ_j g_j^2 h_j, the proof states 'Studying intersections of the V_j, we then see that ∩_{j∈[1,s]} {g_j h_j = 0} = ∪_{j∈[1,s]} {p_j} in P^{n-1},' but this is only a sketch. The equality is essential to conclude that the hypersurface X is nonsingular outside the s given points. The genericity conditions on the g_j and h_j that make this intersection computation valid are not specified. A complete argument, or a precise reference to a lemma, is required.
- [Section 4, Remark 4.7] The equality V_I ∩ V_J = V_{I∩J} for all I,J is asserted 'using [AlHi 95, Theorem 2], see Remark 4.6.' The cited Alexander–Hirschowitz theorem gives expected dimensions for the span of points under Veronese embeddings; it does not directly imply this intersection property for the subspaces spanned by the images under ι_d, ι_d^{(1)}, ..., ι_d^{(n-1)}. Since this equality is used in the second case of Theorem 2, please provide a proof or a precise statement of the version of the Alexander–Hirschowitz theorem that yields it.
- [Section 4, Remark 4.5 and Theorem 2] The term 'sufficiently general position' is defined only as belonging to a 'sufficiently small non-empty Zariski-open subset' of Ξ_s, without specifying which subset. To deduce from Proposition 1 that the constructed hypersurface has p_f = q_s, the s singular points must be in general position in the sense of Definition 4.1. The text should state explicitly that the relevant open subset is chosen inside the general-position locus (which is non-empty by Proposition 4.4), or otherwise explain why the constructed f satisfies p_f=q_s. Without this, the 'in particular, the estimate (3) is optimal' assertion does not follow from the construction alone.
minor comments (5)
- [Throughout] The manuscript contains many typographical problems, especially in displayed formulas (for example, binomial coefficients in the abstract and around Eq. (3) are mangled). A careful proofreading pass is needed.
- [Section 3, Lemma 3.4] The proof of Lemma 3.4 is extremely terse; the sentence 'but this is a contradiction considering the associated projective varieties' should be expanded for readability.
- [Section 5 and Remark 4.9] The extensive Singular code and computational commentary interrupt the mathematical narrative. Collecting these in an appendix or as supplementary material would make the paper easier to read and to audit.
- [Section 4, Proposition 4.4] The proof of Proposition 4.4 is only sketched; more detail would help, especially for the 'first case' involving the Veronese embedding restricted to an affine chart.
- [Abstract and Introduction] The abstract states 'we can verify that p_f coincides with q_s in the case the singular points of X are in general position,' which is stronger than what is proved in the body; Proposition 1 is conditional on the unproved equality (2). The wording should be adjusted to reflect the actual status.
Circularity Check
No circular step: sharpness is conditional on the unproved bridge (2), which is an omitted proof rather than a definitional or fitted-input reduction.
full rationale
The derivation is not circular. Theorem 1 is imported from [Sa 17, Theorem 5] and is built on [Sa 07], [DiSa 24], [DiSa 17], [DiSt 12], and [Di 17]; these are parameter-free prior theorems whose stated assumptions concern spectral sequence degeneration, symmetries, and vanishing, not the sharpness statement being proved, so under the stated rules they count as real evidence rather than self-citational circularity. The upper bound (3) follows from the counting inequality N_{n,q_s}>s, which gives I_{Sigma,q_s} not equal to 0, together with the stated identification (2); no fitted parameter is renamed as a prediction. Proposition 1 is a genuine converse for points in general position: Definition 4.1 and Remark 4.2 imply I_{Sigma,k}=0 for k<q_s, and then (2) converts this into p_f=q_s. Theorem 2 supplies an existence proof of nodal hypersurfaces with prescribed general-position nodes using Alexander-Hirschowitz or the explicit g_j^2 h_j construction, and optimality then follows from Proposition 1. The one genuinely unsupported passage is the asserted equality (2): the sentence 'Admitting the equality (1), we can verify by using the symmetries in (3.1) below that (2)' is not accompanied by the promised verification, and the sharpness claim depends on this identification. That is a proof gap and a correctness risk, not a circular definition or an input-output equivalence. Therefore no circular step is identified, and the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Root formula for ordinary double points (Theorem 1 of [Sa 17]): R_f = 1/d (Z∩[n, nd-n-p_f]) ∪ R_X with p_f a positive integer.
- domain assumption Symmetries δ'_k = δ'_{nd-k} and δ''_k = δ''_{(n-1)d-k} from [DiSa 24, Corollaries 1 and 2].
- domain assumption E2-degeneration of the pole order spectral sequence for isolated weighted homogeneous singularities ([Sa 17, Theorem 2]).
- domain assumption Alexander-Hirschowitz theorem on polynomial interpolation with double points ([AlHi 95, Theorem 2], [BrOt 08]).
- standard math Standard algebraic geometry background: Koszul complexes, pole order filtrations, Milnor cohomology, Veronese embeddings, and Hilbert polynomials.
Cite this review
Pith. "Pith review of Roots of Bernstein-Sato polynomials for projective hypersurfaces with ordinary double points." pith.science (2026). https://pith.science/paper/GO2DEZ2B
@misc{pith2026260724142,
author = {Pith},
title = {Pith review of: Roots of Bernstein-Sato polynomials for projective hypersurfaces with ordinary double points},
year = {2026},
howpublished = {\url{https://pith.science/paper/GO2DEZ2B}},
note = {Machine review of arXiv:2607.24142}
}
abstract
Let $X\subset{\mathbb P}^{n-1}$ be a hypersurface of degree $d\ge3$ with ordinary double points, where $n\ge3$. The roots of Bernstein-Sato polynomial of its defining polynomial $f$ are given up to sign by 1, $(n-1)/2$, and $j/d$ for $j\in{\mathbb Z}\cap[n,nd-n-p_f]$ with $p_f$ a positive integer. Here $p_f$ is bounded above by the minimal positive integer $q_s$ satisfying $\binom{q_s+n-1}{n-1}>s:=|{\rm Sing}\,X|$, and we can verify that $p_f$ coincides with $q_s$ in the case the singular points of $X$ are in ``general position". We show that this upper bound is sharp in the case $\binom{\lfloor d/2\rfloor+n-2}{n-1}\ge s$ or $\binom{d+n-3}{n-1}\ge sn$ by providing a homogeneous polynomial of degree $d$ such that the associated projective hypersurface has ordinary double points at given $s$ points in sufficiently general position and is nonsingular outside them (using a theorem of Alexander and Hirschowitz for the second case). It is conjectured that the above sharp bound under the first hypothesis can be extended naturally to the case where $X$ has only $A_2$-singularities instead of ordinary double points.
Reference graph
Works this paper leans on
-
[1]
Alg.\ Geom.\ 4 (1995), 201--222
Alexander, J., Hirschowitz, A., Polynomial interpolation in several variables, J. Alg.\ Geom.\ 4 (1995), 201--222
work page 1995
-
[2]
Brambilla, M., Ottaviani, G., On the Alexander–Hirschowitz theorem, J.\ Pure Appl.\ Algebra 212 (2008), 1229--1251
work page 2008
-
[3]
Decker, W., Greuel, G.-M., Pfister, G., Sch\"onemann, H., Singular 4.3.2 --- A computer algebra system for polynomial computations, available at http://www.singular.uni-kl.de (2023)
2023
-
[4]
Dimca, A., On the syzygies and Hodge theory of nodal hypersurfaces, Ann.\ Univ.\ Ferrara 63 (2017), 87--101
work page 2017
-
[5]
Dimca, A., Popescu, D., Hilbert series and Lefschetz properties of dimension one almost complete intersections, Comm.\ Alg.\ 44 (2016), 4467--4482
work page 2016
-
[6]
Dimca, A., Saito, M., Generalization of theorems of Griffiths and Steenbrink to hypersurfaces with ordinary double points, Bull.\ Math.\ Soc.\ Sci.\ Math.\ Roumanie 60 (2017), 351--371
work page 2017
-
[7]
Dimca, A., Saito, M., Koszul complexes and spectra of projective hypersurfaces with isolated singularities (arXiv:1212.1081v5, 2024)
arXiv 2024
-
[8]
Dimca, A., Sticlaru, G., On the syzygies and Alexander polynomials of nodal hypersurfaces, Math.\ Nachr.\ 285 (2012), 2120--2128
work page 2012
Show all 12 references
-
[9]
Jung, S.-J., Saito, M., Defect of projective hypersurfaces with isolated singularities (arxiv: 2512.23522)
-
[10]
Saito, M., Multiplier ideals, b -function, and spectrum of a hypersurface singularity, Compos.\ Math.\ 143 (2007), 1050--1068
2007
-
[11]
Saito, M., Bernstein-Sato polynomials for projective hypersurfaces with weighted homogeneous isolated singularities (arxiv:1609.04801v4, 2017)
2017
-
[12]
Saito, M., Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci, Pure Appl.\ Math.\ Q.\ 16 (2020), 1219--1280
2020
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.