pith. sign in

arxiv: 2411.17601 · v4 · submitted 2024-11-26 · 🧮 math.AG

Tjurina spectrum and graded symmetry of missing spectral numbers

Seung-Jo Jung , In-Kyun Kim , Morihiko Saito , Youngho Yoon This is my paper

Pith reviewed 2026-05-23 16:27 UTC · model grok-4.3

classification 🧮 math.AG
keywords Tjurina spectrumSteenbrink spectrumJacobian ringV-filtrationmissing spectral numbersgraded symmetryself-dualityhypersurface singularity
0
0 comments X

The pith

The difference between Steenbrink and Tjurina spectra has a canonical graded symmetry for isolated hypersurface singularities.

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

The paper proves that the spectral numbers present in the Steenbrink spectrum but absent from the Tjurina subspectrum form a set with canonical graded symmetry. This symmetry is deduced directly from the self-duality of the Jacobian ring being compatible with multiplication by the defining function f and with the V-filtration. A reader would care because the result supplies an explicit bound on the number of missing numbers below (n+1)/2 and sharpens the Briançon-Skoda exponent estimate when the monodromy is semisimple.

Core claim

For a hypersurface isolated singularity defined by a convergent power series f, the Steenbrink spectrum is the Poincaré polynomial of the graded quotients of the V-filtration on the Jacobian ring of f. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by f. Their difference consisting of missing spectral numbers has a canonical graded symmetry. This follows from the self-duality of the Jacobian ring, which is compatible with the action of f as well as the V-filtration.

What carries the argument

Self-duality of the Jacobian ring compatible with the action of f and the V-filtration, inducing the graded symmetry on missing spectral numbers.

If this is right

  • The number of missing spectral numbers smaller than (n+1)/2 is bounded by floor((μ-τ)/2).
  • The Briançon-Skoda exponent admits an improved estimate when the monodromy is semisimple.

Where Pith is reading between the lines

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

  • The symmetry pairs missing numbers across a central value and may reduce the independent data needed to determine the full spectrum.
  • Similar compatibility arguments could be tested on other filtrations attached to the Jacobian ring.

Load-bearing premise

The self-duality of the Jacobian ring is compatible with the action of f as well as the V-filtration.

What would settle it

Direct computation of the V-filtration quotients on the Jacobian ring for a concrete f that yields missing spectral numbers without the predicted graded symmetry.

read the original abstract

For a hypersurface isolated singularity defined by a convergent power series $f$, the Steenbrink spectrum can be defined as the Poincar\'e polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has a canonical graded symmetry. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ as well as the $V$-filtration. It implies for instance that the number of missing spectral numbers which are smaller than $(n{+}1)/2$ (with $n$ the number of variables) is bounded by $[(\mu{-}\tau)/2]$. We can moreover improve the estimate of Brian\c{c}on-Skoda exponent in the semisimple monodromy case.

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.

Referee Report

2 major / 2 minor

Summary. The paper claims that for an isolated hypersurface singularity defined by a convergent power series f, the Steenbrink spectrum is the Poincaré polynomial of the graded pieces of the V-filtration on the Jacobian ring, while the Tjurina subspectrum arises from the quotient by the image of multiplication by f. Their difference (the missing spectral numbers) is shown to possess a canonical graded symmetry. This follows from the self-duality of the Jacobian ring being compatible with both the multiplication-by-f operator and the V-filtration. As a consequence, the number of missing spectral numbers less than (n+1)/2 is bounded by [(μ−τ)/2], and the Briançon-Skoda exponent estimate is improved when the monodromy is semisimple.

Significance. If the compatibility of self-duality with the f-action and V-filtration is established, the result supplies a structural symmetry on the missing numbers that is new and potentially useful for bounding discrepancies between Steenbrink and Tjurina spectra. The bound on missing numbers below the middle degree and the improved Briançon-Skoda estimate in the semisimple case are concrete applications that could be of interest to researchers working on spectra of singularities and related invariants.

major comments (2)
  1. [Proof of the main theorem (compatibility paragraph)] The central argument rests on the claim that the self-duality isomorphism of the Jacobian ring intertwines with multiplication by f and maps the V-filtration to its dual (V_α ↦ V_{n+1-α}). The manuscript invokes this compatibility to deduce graded symmetry of the missing subspace, but the explicit verification or reference to a prior lemma establishing that the duality preserves the V-filtration while commuting with the f-action is not provided in sufficient detail; this step is load-bearing for the symmetry statement.
  2. [Corollary on the bound] The implication that the number of missing spectral numbers < (n+1)/2 is at most [(μ−τ)/2] follows directly from the graded symmetry once compatibility is granted. Without a self-contained argument or citation confirming that the pairing on the quotient induces the required symmetry on the cokernel of multiplication by f, the bound remains conditional on the unverified compatibility.
minor comments (2)
  1. [Introduction] Notation for the V-filtration on the Jacobian ring versus on the Brieskorn lattice should be clarified at first use to avoid confusion between the two settings.
  2. [Applications section] The statement of the improved Briançon-Skoda exponent in the semisimple case would benefit from an explicit comparison with the previous best bound.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major comments point by point below. We agree that additional explicit detail on the compatibility will strengthen the presentation and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Proof of the main theorem (compatibility paragraph)] The central argument rests on the claim that the self-duality isomorphism of the Jacobian ring intertwines with multiplication by f and maps the V-filtration to its dual (V_α ↦ V_{n+1-α}). The manuscript invokes this compatibility to deduce graded symmetry of the missing subspace, but the explicit verification or reference to a prior lemma establishing that the duality preserves the V-filtration while commuting with the f-action is not provided in sufficient detail; this step is load-bearing for the symmetry statement.

    Authors: We agree that the compatibility step merits a more explicit treatment. The self-duality of the Jacobian ring is standard (from the residue pairing), and its compatibility with multiplication by f is immediate from the definition of the pairing. Compatibility with the V-filtration follows from the fact that the V-filtration is defined via the Newton filtration and the pairing is homogeneous of degree n+1. In the revision we will insert a short dedicated paragraph (or lemma) spelling out these two verifications with the relevant references to the literature on the residue pairing and V-filtration, making the argument self-contained. revision: yes

  2. Referee: [Corollary on the bound] The implication that the number of missing spectral numbers < (n+1)/2 is at most [(μ−τ)/2] follows directly from the graded symmetry once compatibility is granted. Without a self-contained argument or citation confirming that the pairing on the quotient induces the required symmetry on the cokernel of multiplication by f, the bound remains conditional on the unverified compatibility.

    Authors: Once the compatibility of the duality with both f and the V-filtration is established (as addressed in the previous point), the induced pairing on the quotient by the image of multiplication by f automatically yields the graded symmetry on the cokernel. In the revised version we will add one sentence in the corollary section recalling this descent of the pairing, together with a brief citation to the standard fact that the residue pairing descends to the Tjurina algebra when the singularity is isolated. This renders the bound unconditional. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on classical self-duality

full rationale

The paper states that the graded symmetry of missing spectral numbers follows from the self-duality of the Jacobian ring being compatible with the f-action and V-filtration. This invokes an established property of the Jacobian ring rather than defining the result in terms of itself or fitting parameters to data and renaming the output as a prediction. No equations or steps in the abstract reduce the central claim to a self-citation chain, ansatz smuggling, or renaming of a known result. The argument is presented as a direct consequence of prior independent results in singularity theory, making the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definitions of Steenbrink and Tjurina spectra via the V-filtration on the Jacobian ring together with the self-duality property of that ring; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Self-duality of the Jacobian ring is compatible with multiplication by f and with the V-filtration
    Invoked explicitly to obtain the graded symmetry of missing spectral numbers

pith-pipeline@v0.9.0 · 5703 in / 1275 out tokens · 41755 ms · 2026-05-23T16:27:25.446419+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 3 internal anchors

  1. [1]

    Almir\'on, P., On the quotient of Milnor and Tjurina numbers for two-dimensional isolated hypersurface singularities, Math.\ Nachr.\ 295 (2022), 1254--1263

    work page 2022

  2. [2]

    (2023) 20:258

    Almir\'on, P., The Tjurina number for Sebastiani-Thom type isolated hypersurface singularities, Mediterr.\ J.\ Math. (2023) 20:258

    work page 2023

  3. [3]

    aten von Hyperfl\

    Brieskorn, E., Die Monodromie der isolierten Singularit\"aten von Hyperfl\"achen, Manuscripta Math., 2 (1970), 103--161

    work page 1970

  4. [4]

    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)

    work page 2023

  5. [5]

    Dimca, A., Greuel, G.-M., On 1-forms on isolated complete intersection curve singularities, J.\ Singul.\ 18 (2018),114--118

    work page 2018

  6. [6]

    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

    work page 2014

  7. [7]

    Dimca, A., Saito, M., Koszul complexes and spectra of projective hypersurfaces with isolated singularities, arxiv:1212.1081v4, 2014

    work page arXiv 2014

  8. [8]

    Durfee, A.H., The signature of smoothings of complex surface singularities, Math.\ Ann.\ 232 (1978), 85--98

    work page 1978

  9. [9]

    Godement, R., Topologie alg\'ebrique et th\'eorie des faisceaux, Hermann, Paris, 1964

    work page 1964

  10. [10]

    Greuel, G.-M., Lossen, C., Shustin, E., Introduction to singularities and deformations, Springer, Berlin, 2007

    work page 2007

  11. [11]

    Griffiths, Ph., Harris, J., Principles of Algebraic Geometry, John Wiley & Sons, New York, 1978

    work page 1978

  12. [12]

    Hartshorne, R., Residues and Duality, Lect.\ Notes Math., 20, Springer, New York, 1966

    work page 1966

  13. [13]

    2, 465--510 (Proposition and formula numbers are changed by the publisher from arxiv:1904.02453)

    Jung, S.-J., Kim, I.-K., Saito, M., Yoon, Y., Hodge ideals and spectrum of isolated hypersurface singularities, Ann.\ Inst.\ Fourier 72 (2022), no. 2, 465--510 (Proposition and formula numbers are changed by the publisher from arxiv:1904.02453)

    work page arXiv 2022

  14. [14]

    Jung, S.-J., Kim, I.-K., Saito, M., Yoon, Y., Brian c on-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials, Selecta Math.\ (N.S.) 28 (2022), Paper No.\ 78

    work page 2022

  15. [15]

    Jung, S.-J., Kim, I.-K., Saito, M., Yoon, Y., Simple computable formula for spectral pairs of Newton non-degenerate polynomials in three or four variables, arxiv:1911.09465v6, 2024

    work page arXiv 1911

  16. [16]

    Jung, S.-J., Kim, I.-K., Saito, M., Yoon, Y., Some remarks on the generalized Hertling conjecture for Tjurina spectrum, preprint 2024

    work page 2024

  17. [17]

    Jung, S.-J., Kim, I.-K., Yoon, Y., Hodge ideal and spectrum of weighted homogeneous isolated singularities, arxiv:1812.07298, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  18. [18]

    Kouchinirenko, A.G., Poly\`edres de Newton et nombres de Milnor, Inv.\ Math.\ 32 (1976), 1--31

    work page 1976

  19. [19]

    Malgrange, B., Le polyn\^ome de Bernstein d'une singularit\'e isol\'ee, Lect.\ Notes Math.\ 459, Springer, Berlin (1975), pp. 98--119

    work page 1975

  20. [20]

    Mather, J.N., Yau, S.S.-T., Classification of isolated hypersurface singularities by their moduli algebras, Inv.\ Math.\ 69 (1982), 243--251

    work page 1982

  21. [21]

    Musta t a , M., Popa, M., Hodge ideals for -divisors, V -filtration, and minimal exponent, Forum Math.\ Sigma 8 (2020), article no.\ e19

    work page 2020

  22. [22]

    aten von Hyperfl\

    Saito, K., Quasihomogene isolierte Singularit\"aten von Hyperfl\"achen, Inv.\ Math.\ 14 (1971), 123--142

    work page 1971

  23. [23]

    Saito, M., Hodge filtrations on Gauss-Manin systems I, J.\ Fac.\ Sci.\ Univ.\ Tokyo Sect.\ IA Math.\ 30 (1984), 489--498

    work page 1984

  24. [24]

    Saito, M., Exponents and Newton polyhedra of isolated hypersurface singularities, Math.\ Ann.\ 281 (1988), 411--417

    work page 1988

  25. [25]

    Saito, M., Modules de Hodge polarisables, Publ.\ RIMS, Kyoto Univ.\ 24 (1988), 849--995

    work page 1988

  26. [26]

    Saito, M., On the structure of Brieskorn lattice, Ann.\ Inst.\ Fourier 39 (1989), 27--72

    work page 1989

  27. [27]

    Saito, M., Mixed Hodge modules, Publ.\ RIMS, Kyoto Univ.\ 26 (1990), 221--333

    work page 1990

  28. [28]

    Saito, M., Period mapping via Brieskorn modules, Bull.\ Soc.\ Math.\ France 119 (1991), 141--171

    work page 1991

  29. [29]

    Saito, M., On microlocal b -function, Bull.\ Soc.\ Math.\ France 122 (1994), 163--184

    work page 1994

  30. [30]

    Saito, M., Exponents of an irreducible plane curve singularity, arxiv:math/0009133, 2000

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  31. [31]

    Saito, M., Hodge ideals and microlocal V -filtration, arxiv:1612.08667

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    Saito, M., On the structure of Brieskorn lattices II, J.\ Singularities 18 (2018), 248--271

    work page 2018

  33. [33]

    Saito, M., Length of D_Xf^ - in the isolated singularity case, arxiv:2208.08977

    work page arXiv

  34. [34]

    Saito, M., Bernstein-Sato polynomials of semi-weighted-homogeneous polynomials of nearly Brieskorn-Pham type, arxiv:2210.01028.v8, 2023

    work page arXiv 2023

  35. [35]

    Saito, M., Examples of Hirzebruch-Milnor classes of projective hypersurfaces detecting higher du Bois or rational singularities, 2303.04724v5, 2023

    work page arXiv 2023

  36. [36]

    Scherk, J., Steenbrink, J.H.M., On the mixed Hodge structure on the cohomology of the Milnor fibre, Math.\ Ann.\ 271 (1985), 641--665

    work page 1985

  37. [37]

    Shi, Q., Wang, Y., Zuo, H., Spectrum, Tjurina spectrum, and Hertling conjectures for singularities of modality 3 , preprint, 2023

    work page 2023

  38. [38]

    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

    work page 1977

  39. [39]

    Varchenko, A.N., On the monodromy operator in vanishing cohomology and the multiplication operator by f in the local ring, Dokl.\ Akad.\ Nauk SSSR 260 (1981), 272--276

    work page 1981

  40. [40]

    Asymptotic Hodge structure in the vanishing cohomology, Math.\ USSR Izv.\ 18 (1982), 465--512

    Varčenko, A.N. Asymptotic Hodge structure in the vanishing cohomology, Math.\ USSR Izv.\ 18 (1982), 465--512

    work page 1982

  41. [41]

    Varchenko, A.N., The complex singular index does not change along the stratum = constant, Funct.\ Anal.\ Appl.\ 16 (1982), 1--9

    work page 1982

  42. [42]

    Wahl, J.M., A characterization of quasihomogeneous Gorenstein surface singularities, Compos.\ Math.\ 55 (1985), 269--288

    work page 1985