REVIEW 3 major objections 5 minor 26 references
Spectrum of cones of projective hypersurfaces with singularities isolated
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The spectrum of the cone over a projective hypersurface is determined by the spectral numbers at the singular points of its underlying reduced hypersurface and the global degree.
desk verdict Genuine extension of Budur–Saito/Yoon to semi-weighted-homogeneous non-reduced curves; the result looks right but the key deformation step needs a fuller proof. 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 central object is the Deligne extension $L_i$ of a rank-one local system on the complement of the hypersurface, whose monodromy around each component is governed by the multiplicity of that component. The proof computes the cohomology of the sheaf of logarithmic differential two-forms on the plane twisted by $L_i$; after a weighted blowup at each singular point, it shows that the higher direct images vanish and that the remaining cokernel has dimension equal to the lattice-point count $N_j(\lceil\gamma_{j,i}\rceil-1)$. The semi-weighted-homogeneous case is reached from the weighted-homogeneous case through a $\mu$-constant deformation together with Nakayama's lemma, which propagates the vanishing of the higher direct images across the deformation. Theorem 1 is proved separately through a $d$-fold cyclic covering and a Thom–Sebastiani-type decomposition of the spectrum.
What would settle it
Take a non-reduced plane curve whose reduced curve has a semi-weighted-homogeneous but not weighted-homogeneous singularity, for instance one of the families computed in the examples, compute its spectrum by an independent embedded resolution or by a certified computer algebra routine, and compare every coefficient with formula (4); a single mismatch at any spectral number would refute the theorem.
Extended reading notes
Core claim
The central claim, stated in the paper's own terms, is that the spectrum of a homogeneous defining polynomial of a cone is determined by the spectrum of the reduced polynomial together with simple combinatorial bookkeeping. Theorem 1 states that for a reduced projective hypersurface $Z'$ with isolated singularities, the coefficient $n_{f',i/d'}$ is a binomial count minus the sum, over singular points, of the number of spectral numbers at that point lying in the interval $[i/d'-1,i/d')$. When the hypersurface is non-reduced with constant multiplicities, $f=f'^m$, the coefficients of the cone are obtained from those of $f'$ by shifting the spectral parameter and adding $(-1)^n$ only at one endpoint. In the plane curve case with $f=\prod_{k=1}^r f_k^{a_k}$ and $C_{\rm red}$ having only semi-weighted-homogeneous singularities, Theorem 2 gives explicit closed formulas: for $i\in[1,d]$, the coefficient $n_{f,i/d}$ equals $\binom{\iota_i-1}{2}-\sum_j N_j(\lceil\gamma_{j,i}\rceil-1)$, and the coefficient $n_{f,i/d+2}$ equals $\binom{d'-\iota_i-1}{2}-\sum_j N_j(d_j-\lceil\gamma_{j,i}\rceil)-\delta_{i,d}$, with the middle coefficient $n_{f,i/d+1}$ determined by an Euler-characteristic identity. The local data involved are the weights $w_j,w'_j$, the weighted degrees $d_{j,l}$ and multiplicities $a_{j,l}$ of local irreducible components, and the global degrees $d'_k$ and multiplicities $a_k$; no global embedded resolution is needed.
Load-bearing premise
The proof assumes that the vanishing of the higher direct images of the twisted logarithmic sheaf, verified in the weighted-homogeneous case, persists under a $\mu$-constant deformation to any semi-weighted-homogeneous singularity; if that deformation-invariance fails, the dimension count behind the formula breaks.
Editorial extensions
If this is right
- For any reduced plane curve, the spectrum of its cone is determined by the spectral numbers at the singular points and the degree; in particular, the number of ordinary double points does not affect the coefficients $n_{f,i/d}$, $n_{f,i/d+1}$, and $n_{f,i/d+2}$.
- For non-reduced plane curves whose reduced curve has only semi-weighted-homogeneous singularities, the full spectrum can be computed from local weights, local weighted degrees and multiplicities, and global degrees and multiplicities, without resolving the whole configuration.
- When all singularities are ordinary, the formula for $n_{f,i/d+1}$ is equivalent to the previously known characteristic-class computation in the ordinary singularity case.
- The reduced line arrangement formula is recovered as the special case where all multiplicities and degrees equal one and the local weights are $w_j=w'_j=1$.
- For higher-dimensional hypersurfaces with constant component multiplicities, the spectrum of the cone is obtained from the reduced spectrum by a simple shift and endpoint correction, thanks to Theorem 1.
Reading between the lines
- Because each $N_j(n)$ counts pairs $(m_1,m_2)$ with $w_jm_1+w'_jm_2\le n$, the spectral coefficients should behave quasi-polynomially as the global degrees and multiplicities vary; this periodicity is a testable prediction not drawn out in the paper.
- The same twisted-logarithm computation may extend to non-reduced higher-dimensional hypersurfaces whose components have nonconstant multiplicities, where the present constant-multiplicity assumption is not available.
- Since the formula reduces $n_{f,3/d}$ to a lattice-point comparison, it turns a piece of the strong monodromy conjecture in this class into a finite combinatorial check, potentially enabling a systematic search for counterexamples or confirming the conjecture on larger families.
- The deformation-invariance step, if it holds more generally, suggests that the local contribution of each semi-weighted-homogeneous singularity depends only on its weights and weighted degree, not on the global position of the curve; this would make the formula robust under perturbations of the global components.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the spectrum (in the sense of Saito/Steenbrink) of the cone over a projective hypersurface Z whose underlying reduced variety Z' has only isolated singularities. Theorem 1 gives formulas for the spectral numbers of the cone of a reduced hypersurface in terms of local spectral numbers at the singular points of Z' and the global degree, and extends these formulas to non-reduced hypersurfaces under a constant-multiplicity condition. Theorem 2 treats non-reduced plane curves whose reduced support has only semi-weighted-homogeneous singularities: it expresses the three families n_{f,i/d}, n_{f,i/d+1}, n_{f,i/d+2} by the explicit closed formulas (4) in terms of local weights, local weighted degrees and multiplicities, and global degrees and multiplicities. Corollary 2 specializes to ordinary singularities and is compared with a formula of Yoon. The proof uses Deligne extensions, twisted logarithmic complexes, weighted blowups, and a mu-constant deformation argument; Part 3 contains Singular computations for several examples.
Significance. If correct, Theorem 2 is a substantial and useful generalization of the Budur--Saito formula for reduced line arrangements to non-reduced plane curves with semi-weighted-homogeneous singularities. The formulas are explicit, depend only on local and global discrete data, and do not require resolving the global configuration. The paper recovers known results, gives numerical consistency checks with Singular, and the formulas are derived rather than fitted. The main risk is the deformation-invariance step in Section 4: the first equality of Theorem 2 is reduced to a dimension count at the weighted-homogeneous limit c=0, and the proof that this count propagates to c=1 is not fully written out. If that step can be completed, the paper would be a solid contribution to the computation of spectra of cones.
major comments (3)
- [Section 4, Eqs. (4.8)--(4.11)] The first equality of Theorem 2 is load-bearing and depends on the assertion after (4.10) that the cokernel E_{c,i} of the injection epsilon_{c,i} is independent of c in S and that the snake-lemma quotient is locally free over S. This is exactly the step that transfers the formula from the weighted-homogeneous model c=0, where (4.11) computes dim E_{0,i}, to the original semi-weighted-homogeneous case c=1. If dim E_{1,i} differs from dim E_{0,i}, the formula for n_{f,i/d} is off by that difference. The text only says 'using the local C*-action as in (3.3)' without proving that the C*-action identifies E_{1,i} with E_{0,i} while preserving the Deligne-extension twists eL_{c,i} that carry the residues beta_{j,l,i}. Please supply a complete proof of local freeness and constancy of the cokernel, or state and prove this as a separate lemma with explicit base-change and equivariance arguments.
- [Section 4, paragraph after (4.8)] The Nakayama argument is used twice: first to deduce vanishing of R^n e-pi_* from the c=0 fiber, and then to conclude vanishing for all c in S and for c=1. The first use is standard, but the passage from a sufficiently small neighborhood of 0 in S to c=1 is not. A disk around 0 that is small enough for Nakayama need not contain 1, and the sentence 'Using the local C*-action as in (3.3), the last vanishing holds also for c=1' requires a precise description of the C*-action on the family and on the sheaves. For a semi-weighted-homogeneous h that is not weighted homogeneous, the fibers h_c are not related to h_1 by the coordinate scaling of (3.3) alone. Please state the exact equivariance that gives the c=1 statement, or restrict the argument to a neighborhood and use a separate continuity or monodromy argument.
- [Section 4, Eq. (4.12) and the local counting] The local computation of E_{0,i} via (4.12) is plausible but is written as a one-line verification. In particular, the claim that a logarithmic form h'^{-1} u^{m_1-1} v^{m_2-1} du wedge dv lies in the image of epsilon_{0,i} exactly when (d_j - gamma_{j,i}) - d_j + w_j m_1 + w'_j m_2 >= 0 needs a justification that the vanishing order along a union of general C*-orbits in the weighted blowup controls membership in the twisted Deligne extension eL_i. Since this is the only local computation feeding the dimension formula (4.11), please expand it into a clear argument with the relevant filtration or vanishing-order estimate.
minor comments (5)
- [Section 4, Eq. (4.10)] The inclusion is written as 'e-pi_* Omega^2_{rel,log}(eL_{S,i}) ,-> Omega^2_{rel,log}(L_{S,i}' with a missing closing parenthesis; please correct the notation.
- [Section 2, diagram in (2.1)--(2.2)] The morphism e-rho' is used without definition; please define it explicitly as the restriction of e-rho to the exceptional divisor eE.
- [Sections 9--12] The Singular code is hard to follow because the meaning of the variables GlCmp, Si, OD, and LG is explained only inline. A short table or comment block describing the input format and the meaning of the output would improve reproducibility.
- [Theorem 2] The notation 'q' vs 'q'' ' is used for singular points that are not ordinary double points vs all singular points; a sentence explicitly recalling this distinction near Theorem 2 would help the reader.
- [Section 5, Eqs. (5.5)--(5.7)] The strict versus non-strict inequalities in (4.12) and (5.6) are central to obtaining the correct ceiling terms, but the contrast is only implicit. A short remark explaining why the residue convention [0,1) versus (0,1] forces the strict inequality would be useful.
Circularity Check
No significant circularity: the spectral formulas are derived, not fitted, and none of the claimed predictions reduces by construction to its inputs.
full rationale
I walked the derivation chain. Theorem 2's closed formulas (4) are obtained by computing Euler characteristics of twisted logarithmic complexes (4.1)-(4.3), by a local weighted-blowup formula for the relevant Deligne extension at (4.4), by the rank computation dim E_{0,i}=N_j(ceil(gamma_{j,i})-1) at (4.11)-(4.12), and by the deformation argument around (4.8)-(4.10). The only use of the spectrum of a semi-weighted-homogeneous singularity is the standard formula (3.1), quoted from Steenbrink and Varchenko; no spectral number of the cone is used as an input. The central formulas are not fitted: in Sections 9-12 the singularity/computations implement the derived formulas rather than adjusting parameters to match precomputed spectra. The same-author citations, notably [Sa 90] and [BaSa 24], are used for technical background (mixed Hodge modules and twisted logarithmic complexes) and do not themselves contain Theorem 2 or its conclusion; [Yo 19] is explicitly compared as an equivalent ordinary-case formula, and [BuSa 10] is recovered as an external benchmark in Remark 2. The fragile assertion that the cokernel E_{c,i} is independent of c in the semi-weighted-homogeneous deformation step is a potential proof gap, but it is not a circular reduction: if that constancy failed, the theorem would be false, not merely equivalent to its assumptions. Hence the derivation is self-contained modulo standard and prior technical results, and no circularity step meeting the quoted-evidence test is present.
Assumptions & free parameters
assumptions (5)
- standard math Saito's theory of mixed Hodge modules plus nearby/vanishing cycle functors, including the isomorphism (1.1).
- standard math Steenbrink's spectrum properties: support in (0,d), symmetry (1.5), and Thom-Sebastiani (1.6).
- standard math Existence of a mu-constant deformation h_s of a semi-weighted-homogeneous singularity preserving the spectrum (Section 3, (3.2)).
- domain assumption Local structure of an irreducible semi-weighted-homogeneous plane curve germ: its weighted degree is w_j, w'_j, or w_j w'_j (Remark 3.1).
- standard math The isomorphism (2.1) from [BuSa 05, Theorem 4.2] and the decomposition (7.2) of the cyclic-cover direct image.
Cite this review
Pith. "Pith review of Spectrum of cones of projective hypersurfaces with singularities isolated." pith.science (2026). https://pith.science/paper/TSKDQLIO
@misc{pith2026250416721,
author = {Pith},
title = {Pith review of: Spectrum of cones of projective hypersurfaces with singularities isolated},
year = {2026},
howpublished = {\url{https://pith.science/paper/TSKDQLIO}},
note = {Machine review of arXiv:2504.16721}
}
abstract
Let $Z$ be a projective hypersurface such that its underlying reduced variety has only isolated singularities. In case its irreducible components have constant multiplicities, for instance if $\dim Z>1$, we show that the spectrum of its cone can be described by using the spectral numbers at singular points of the reduced hypersurface and the global degree. In the non-reduced plane curve case, assuming that the underlying reduced curve has only semi-weighted-homogeneous singularities, we express the spectrum of the cone in terms of the local weights and the weighted degrees and multiplicities of local irreducible components together with the degrees and multiplicities of global ones. These generalize a formula for reduced line arrangements. In the non-reduced ordinary (that is, semi-homogeneous) singularity case, the second formula is essentially equivalent to the one obtained by the third-named author.
Reference graph
Works this paper leans on
-
[1]
Bath, D., Saito, M., Twisted logarithmic complexes of positively weighted homogeneous divisors (arxiv:2203.11716v11, 2024, to appear in JAG)
work page Pith review arXiv 2024
-
[2]
Budur, N., Saito, M., Multiplier ideals, V -filtration, and spectrum, J. Alg. Geom. 14 (2005), 269--282
work page 2005
-
[3]
Budur, N., Saito, M., Jumping coefficients and spectrum of a hyperplane arrangement, Math. Ann. 347 (2010), 545--579
work page 2010
-
[4]
Budur, N., Saito, M., Yuzvinsky, S., On the local zeta functions and the b-functions of certain hyperplane arrangements, J.\ Lond.\ Math.\ Soc. (2) 84 (2011), 631--648
work page 2011
-
[5]
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
-
[6]
Deligne, P., Equations diff\'erentielles \`a points singuliers r\'eguliers, Lect. Notes Math. 163, Springer, Berlin, 1970
work page 1970
-
[7]
Dimca, A., Singularities and Topology of Hypersurfaces, Universitext. Springer, Berlin, 1992
work page 1992
-
[8]
Dimca, A., Maisonobe, Ph., Saito, M., Torrelli, T., Multiplier ideals, V -filtrations and transversal sections, Math.\ Ann.\ 336 (2006), 901--924
work page 2006
Show all 26 references
-
[9]
Dimca, A., Saito, M., Some remarks on limit mixed Hodge structures and spectrum, An.\ Stiin t.\ Univ.\ ``Ovidius'' Constan ta Ser. Mat. 22 (2014), 69--78
2014
-
[10]
Dimca, A., Saito, M., Koszul complexes and spectra of projective hypersurfaces with isolated singularities (arxiv:1212.1081v5, 2024)
2024 arXiv
-
[11]
Fulton, W., Intersection theory, Springer, New York, 1984
1984
-
[12]
Greuel, G.-M., Lossen, C., Shustin, E., Introduction to singularities and deformations, Springer, Berlin, 2007
2007
-
[13]
Hartshorne, R., Algebraic Geometry, Springer, New York, 1977
1977
-
[14]
Saito, M., Modules de Hodge polarisables, Publ.\ RIMS, Kyoto Univ.\ 24 (1988), 849--995
1988
-
[15]
Saito, M., Mixed Hodge modules, Publ.\ RIMS, Kyoto Univ.\ 26 (1990), 221--333
1990
-
[16]
Saito, M., On Steenbrink's conjecture, Math.\ Ann.\ 289 (1991), 703--716
1991
-
[17]
Saito, M., Multiplier ideals, b -function, and spectrum of a hypersurface singularity, Compos.\ Math.\ 143 (2007), 1050--1068
2007
-
[18]
Math.\ Q.\ 16 (2020), 1219--1280 (or arxiv:1703.05741v12)
Saito, M., Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci, Pure Appl. Math.\ Q.\ 16 (2020), 1219--1280 (or arxiv:1703.05741v12)
2020 arXiv
-
[19]
Saito, M., Bernstein-Sato polynomials for projective hypersurfaces with weighted homogeneous isolated singularities (arxiv:1609.04801v11, 2025)
2025
-
[20]
Scherk, J., Steenbrink, J.H.M., On the mixed Hodge structure on the cohomology of the Milnor fibre, Math.\ Ann.\ 271 (1985), 641--665
1985
-
[21]
525--563
Steenbrink, J.H.M., Mixed Hodge structure on the vanishing cohomology, in Real and complex singularities, Sijthoff and Noordhoff, Alphen aan den Rijn, 1977, pp. 525--563
1977
-
[22]
Steenbrink, J.H.M., The spectrum of hypersurface singularities, Ast\'erisque 179-180 (1989), 163--184
1989
-
[23]
Asymptotic Hodge structure in the vanishing cohomology, Math.\ USSR Izv.\ 18 (1982), 465--512
Varchenko, A.N. Asymptotic Hodge structure in the vanishing cohomology, Math.\ USSR Izv.\ 18 (1982), 465--512
1982
-
[24]
16 (1982), 1--12
Varchenko, A.N., The complex singularity index does not change along the stratum = const, Funkt.\ Anal.\ Pril. 16 (1982), 1--12
1982
-
[25]
Walther, U., The Jacobian module, the Milnor fiber, and the D -module generated by f^s , Inv.\ math.\ 207 (2017), 1239--1287
2017
-
[26]
Yoon, Y., Spectrum of projective plane curve arrangements with ordinary singularities, Comm.\ Alg.\ 47 (2019), 4262--4270
2019
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.