pith. sign in

arxiv: 2309.16763 · v7 · submitted 2023-09-28 · 🧮 math.AG · math.AC· math.CV

Higher multiplier ideals

Pith reviewed 2026-05-24 06:16 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.CV
keywords higher multiplier idealsmixed Hodge modulesV-filtrationmultiplier idealstheta divisorsabelian varietiesvanishing theoremsrestriction theorems
0
0 comments X

The pith

Higher multiplier ideals form a two-parameter family of ideal sheaves for any Q-effective divisor on a complex manifold via mixed Hodge modules.

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

The paper associates to any Q-effective divisor on a complex manifold a family of ideal sheaves called higher multiplier ideals. These ideals are indexed by an integer for the Hodge level and a rational number, and they carry a weight filtration. When the Hodge level is zero the new ideals coincide with the classical multiplier ideals. The authors prove vanishing theorems and restriction theorems for the family, give criteria for nontriviality, and define the center of minimal exponent as a generalization of the minimal log canonical center. The construction rests on twisted Hodge modules to access the global structure of the V-filtration, and it yields new results on singularities of theta divisors.

Core claim

By exploiting the global structure of the V-filtration along an effective divisor with the notion of twisted Hodge modules, the authors associate to any Q-effective divisor a family of ideal sheaves called higher multiplier ideals. This family is indexed by an integer Hodge level and a rational number, admits a weight filtration, and recovers the usual multiplier ideals when the Hodge level is zero. The construction allows systematic study of local and global properties including vanishing theorems, restriction theorems, and criteria for nontriviality, and generalizes the minimal log canonical center to the center of minimal exponent.

What carries the argument

Higher multiplier ideals, a family of ideal sheaves indexed by Hodge level and rational parameter and constructed via mixed Hodge modules and V-filtrations on twisted Hodge modules.

If this is right

  • Vanishing theorems hold for the higher multiplier ideals at each Hodge level.
  • Restriction theorems apply to the higher multiplier ideals under suitable morphisms.
  • Criteria determine when the higher multiplier ideals are nontrivial.
  • The center of minimal exponent generalizes the notion of minimal log canonical center.
  • New cases of conjectures on singularities of theta divisors on principally polarized abelian varieties are proved.

Where Pith is reading between the lines

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

  • The weight filtration on higher multiplier ideals may supply additional numerical invariants for measuring singularities.
  • The twisted Hodge module technique could adapt to other divisor-related filtrations in algebraic geometry.
  • The nontriviality criteria might help classify divisors with prescribed singularity types.
  • Applications could extend beyond abelian varieties to singularities arising in other families of varieties.

Load-bearing premise

The standard properties of mixed Hodge modules and V-filtrations extend to twisted Hodge modules in a way that produces ideal sheaves satisfying the vanishing, restriction, and nontriviality properties.

What would settle it

An explicit computation on a concrete Q-effective divisor where a higher multiplier ideal at positive Hodge level fails a stated vanishing theorem or restriction theorem would show the construction does not hold.

read the original abstract

We associate a family of ideal sheaves to any Q-effective divisor on a complex manifold, called higher multiplier ideals, using the theory of mixed Hodge modules and V-filtrations. This family is indexed by two parameters, an integer indicating the Hodge level and a rational number, and these ideals admit a weight filtration. When the Hodge level is zero, they recover the usual multiplier ideals. We study the local and global properties of higher multiplier ideals systematically. In particular, we prove vanishing theorems and restriction theorems, provide criteria for the nontriviality, and introduce the center of minimal exponent (generalizing the notion of minimal log canonical center). The main idea is to exploit the global structure of the V-filtration along an effective divisor using the notion of twisted Hodge modules. As applications, we prove new cases of conjectures by Debarre, Casalaina-Martin and Grushevsky on singularities of theta divisors on principally polarized abelian varieties.

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

1 major / 0 minor

Summary. The manuscript proposes a new family of ideal sheaves called higher multiplier ideals for Q-effective divisors on complex manifolds, constructed via mixed Hodge modules and V-filtrations. These ideals are parametrized by an integer (Hodge level) and a rational number, admit a weight filtration, and reduce to classical multiplier ideals when the Hodge level is zero. The paper claims to establish vanishing and restriction theorems, nontriviality criteria, and the notion of the center of minimal exponent, with applications to conjectures on singularities of theta divisors.

Significance. If the stated properties hold, the construction would provide a two-parameter generalization of multiplier ideals that incorporates Hodge-theoretic data, potentially yielding refined vanishing and restriction results together with a new notion of minimal center. The applications to the Debarre–Casalaina-Martin–Grushevsky conjectures indicate possible utility in the study of theta divisors on principally polarized abelian varieties.

major comments (1)
  1. [Abstract] Abstract: the central claims (vanishing theorems, restriction theorems, nontriviality criteria, and the center of minimal exponent) are asserted at a high level without any explicit statements of the required extension lemmas for twisted Hodge modules, without definitions of the two-parameter family, and without even schematic proof outlines; this prevents any check that the standard V-filtration properties extend as needed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. We respond to the single major comment below.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the central claims (vanishing theorems, restriction theorems, nontriviality criteria, and the center of minimal exponent) are asserted at a high level without any explicit statements of the required extension lemmas for twisted Hodge modules, without definitions of the two-parameter family, and without even schematic proof outlines; this prevents any check that the standard V-filtration properties extend as needed.

    Authors: We agree that the abstract, as written, presents the results at a high level without explicit definitions or references to the technical tools. To address this, we will revise the abstract to include a brief definition of the two-parameter family (Hodge level and rational parameter) and to indicate the role of twisted Hodge modules and V-filtrations in the construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract presents higher multiplier ideals as a new definition constructed from the pre-existing theory of mixed Hodge modules and V-filtrations on complex manifolds. It recovers the standard multiplier ideals at Hodge level zero and states that vanishing, restriction, and nontriviality properties follow from this framework, with applications to theta divisor singularities. No equations, fitted parameters, self-citations, or ansatzes are provided in the available text, and the construction is explicitly positioned as resting on independent prior theory rather than reducing to its own inputs by definition or renaming. The derivation chain is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The construction rests on the established theory of mixed Hodge modules and V-filtrations; the new objects are the higher multiplier ideals themselves.

axioms (1)
  • standard math Standard properties of mixed Hodge modules and V-filtrations along effective divisors on complex manifolds hold and extend to the twisted setting used here.
    The definition and all subsequent theorems are built directly on these background results from the literature.
invented entities (2)
  • higher multiplier ideals no independent evidence
    purpose: Two-parameter family of ideal sheaves generalizing classical multiplier ideals via Hodge level.
    Newly defined in the paper using mixed Hodge modules.
  • center of minimal exponent no independent evidence
    purpose: Generalization of the minimal log canonical center.
    New notion introduced to study the higher multiplier ideals.

pith-pipeline@v0.9.0 · 5656 in / 1396 out tokens · 42586 ms · 2026-05-24T06:16:07.177298+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On nefness of the lowest piece of Hodge modules

    math.AG 2025-07 unverdicted novelty 6.0

    Establishes degree lower bounds for quotient line bundles of the lowest piece of Hodge modules from non-unipotent variations of Hodge structures, depending on local monodromies and boundary intersections, while recove...

Reference graph

Works this paper leans on

77 extracted references · 77 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Arapura, K

    D. Arapura, K. Matsuki, D. Patel, and J. a. W/suppress l odarczyk. A Kawamata-Viehweg type formulation of the logarithmic Akizuki-Nakano vanishing theorem. Math. Z. , 303(4):Paper No. 83, 19, 2023

  2. [2]

    Arbarello, M

    E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris. Geometry of algebraic curves. Vol. I , volume 267 of Grundlehren der mathematischen Wissenschaften [Fundamen tal Principles of Math- ematical Sciences]. Springer-Verlag, New York, 1985

  3. [3]

    Beauville

    A. Beauville. Les singularit´ es du diviseur Θ de la jacobienne interm´ ediaire de l’hypersurface cubique dans P4. In Algebraic threefolds (Varenna, 1981) , volume 947 of Lecture Notes in Math. , pages 190–208. Springer, Berlin-New York, 1982

  4. [4]

    A. Bertram. Moduli of rank-2 vector bundles, theta divisors, a nd the geometry of curves in projective space. J. Differential Geom. , 35(2):429–469, 1992

  5. [5]

    Be ˘ ılinson and J

    A. Be ˘ ılinson and J. Bernstein. A proof of Jantzen conjectures. In I. M. Gel’fand Seminar , volume 16 of Adv. Soviet Math. , pages 1–50. Amer. Math. Soc., Providence, RI, 1993

  6. [6]

    Bloch and D

    S. Bloch and D. Gieseker. The positivity of the Chern classes of an ample vector bundle. Invent. Math., 12:112–117, 1971

  7. [7]

    N. Budur. On the V -filtration of D-modules. In Geometric methods in algebra and number theory , volume 235 of Progr. Math., pages 59–70. Birkh¨ auser Boston, Boston, MA, 2005

  8. [8]

    N. Budur. Local structure of theta divisors and related loci of generic curves. arxiv 2311.09250 , 2023

  9. [9]

    Budur and M

    N. Budur and M. Saito. Multiplier ideals, V -filtration, and spectrum. J. Algebraic Geom., 14(2):269– 282, 2005

  10. [10]

    Casalaina-Martin

    S. Casalaina-Martin. Singularities of theta divisors in algebraic ge ometry. In Curves and abelian varieties, volume 465 of Contemp. Math. , pages 25–43. Amer. Math. Soc., Providence, RI, 2008

  11. [11]

    Casalaina-Martin

    S. Casalaina-Martin. Singularities of the Prym theta divisor. Ann. of Math. (2) , 170(1):162–204, 2009

  12. [12]

    B. Chen. Vanishing for Hodge ideals of Q-divisors. Int. Math. Res. Not. IMRN , (1):185–209, 2023

  13. [13]

    Q. Chen. Limits of Hodge structures via holonomic D-modules. arXiv:2103.03983, to appear in Journal de l’ ´Ecole polytechnique, 2021

  14. [14]

    Davis and K

    D. Davis and K. Vilonen. Unitary representations of real group s and localization theory for hodge modules. arXiv 2309.13215 , 2023

  15. [15]

    O. Debarre. Sur les vari´ et´ es ab´ eliennes dont le diviseur theta est singulier en codimension 3. Duke Math. J. , 57(1):221–273, 1988

  16. [16]

    Dimca, P

    A. Dimca, P. Maisonobe, M. Saito, and T. Torrelli. Multiplier ideals, V -filtrations and transversal sections. Math. Ann. , 336(4):901–924, 2006

  17. [17]

    Dimca and G

    A. Dimca and G. Sticlaru. On the syzygies and Alexander polynomia ls of nodal hypersurfaces. Math. Nachr., 285(17-18):2120–2128, 2012

  18. [18]

    Dirks and M

    B. Dirks and M. Mustat ¸˘ a. Upper bounds for roots of b-functions, following Kashiwara and Lichtin. Publ. Res. Inst. Math. Sci. , 58(4):693–712, 2022

  19. [19]

    Ein and R

    L. Ein and R. Lazarsfeld. Singularities of theta divisors and the b irational geometry of irregular varieties. J. Amer. Math. Soc. , 10(1):243–258, 1997

  20. [20]

    L. Ein, R. Lazarsfeld, K. E. Smith, and D. Varolin. Jumping coeffic ients of multiplier ideals. Duke Math. J. , 123(3):469–506, 2004

  21. [21]

    Esnault and E

    H. Esnault and E. Viehweg. Lectures on vanishing theorems, volume 20 of DMV Seminar. Birkh¨ auser Verlag, Basel, 1992

  22. [22]

    Friedman and R

    R. Friedman and R. Laza. Higher du bois and higher rational singu larities. arXiv 2205.04729, to appear in Duke Math. J. , 2023

  23. [23]

    P. A. Griffiths. On the periods of certain rational integrals. I, I I. Ann. of Math. (2) 90 (1969), 460-495; ibid. (2) , 90:496–541, 1969

  24. [24]

    Grushevsky

    S. Grushevsky. The Schottky problem. In Current developments in algebraic geometry , volume 59 of Math. Sci. Res. Inst. Publ. , pages 129–164. Cambridge Univ. Press, Cambridge, 2012. HIGHER MULTIPLIER IDEALS 94

  25. [25]

    Hartshorne

    R. Hartshorne. Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

  26. [26]

    A. A. Johnson. Multiplier ideals of determinantal ideals . ProQuest LLC, Ann Arbor, MI, 2003. Thesis (Ph.D.)–University of Michigan

  27. [27]

    Jung, I.-K

    S.-J. Jung, I.-K. Kim, M. Saito, and Y. Yoon. Higher Du Bois singula rities of hypersurfaces. Proc. Lond. Math. Soc. (3) , 125(3):543–567, 2022

  28. [28]

    Kashiwara

    M. Kashiwara. Vanishing cycle sheaves and holonomic systems of differential equations. In Algebraic geometry (Tokyo/Kyoto, 1982) , volume 1016 of Lecture Notes in Math. , pages 134–142. Springer, Berlin, 1983

  29. [29]

    Kawamata

    Y. Kawamata. Subadjunction of log canonical divisors. II. Amer. J. Math. , 120(5):893–899, 1998

  30. [30]

    H. Kim. l2-approach to the saito vanishing theorem. arXiv 2306.00313 , 2023

  31. [31]

    Koll´ ar

    J. Koll´ ar. Shafarevich maps and automorphic forms . M. B. Porter Lectures. Princeton University Press, Princeton, NJ, 1995

  32. [32]

    Koll´ ar

    J. Koll´ ar. Singularities of pairs. InAlgebraic geometry—Santa Cruz 1995, volume 62 of Proc. Sympos. Pure Math., pages 221–287. Amer. Math. Soc., Providence, RI, 1997

  33. [33]

    Koll´ ar

    J. Koll´ ar. Singularities of the minimal model program , volume 200 of Cambridge Tracts in Mathe- matics. Cambridge University Press, Cambridge, 2013. With a collaboration of S´ andor Kov´ acs

  34. [34]

    Koll´ ar and S

    J. Koll´ ar and S. Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaborat ion of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

  35. [35]

    S. J. Kov´ acs. A characterization of rational singularities. Duke Math. J. , 102(2):187–191, 2000

  36. [36]

    Lazarsfeld

    R. Lazarsfeld. Positivity in algebraic geometry. I , volume 48 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathem atics. Springer-Verlag, Berlin, 2004. Classical setting: line bundles and linear series

  37. [37]

    Lazarsfeld

    R. Lazarsfeld. Positivity in algebraic geometry. II , volume 49 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in M athematics. Springer-Verlag, Berlin,

  38. [38]

    Positivity for vector bundles, and multiplier ideals

  39. [39]

    C. A. L˝ orincz and R. Yang. Nearby and vanishing cycles for the generic determinantal hypersurfaces. in preparation, 2023

  40. [40]

    B. Lichtin. Poles of |f (z, w)|2s and roots of the b-function. Ark. Mat. , 27(2):283–304, 1989

  41. [41]

    Malgrange

    B. Malgrange. Polynˆ omes de Bernstein-Sato et cohomologie ´ evanescente. In Analysis and topology on singular spaces, II, III (Luminy, 1981) , volume 101-102 of Ast´ erisque, pages 243–267. Soc. Math. France, Paris, 1983

  42. [42]

    Maxim, M

    L. Maxim, M. Saito, and J. Sch¨ urmann. Thom-Sebastiani theo rems for filtered D-modules and for multiplier ideals. Int. Math. Res. Not. IMRN , (1):91–111, 2020

  43. [43]

    Maxim, M

    L. Maxim, M. Saito, and R. Yang. Hirzebruch-milnor classes of hy persurfaces with nontrivial normal bundles and applications to higher du Bois and rational singularities. arXiv 2302.00970 , 2023

  44. [44]

    Maxim and R

    L. Maxim and R. Yang. Homological criterion for higher du Bois and higher rational singularities. arXiv:2301.09084, 2023

  45. [45]

    D. Mumford. Prym varieties. I. In Contributions to analysis (a collection of papers dedicate d to Lipman Bers) , pages 325–350. Academic Press, New York, 1974

  46. [46]

    Mustat ¸˘ a and M

    M. Mustat ¸˘ a and M. Popa. Restriction, subadditivity, and semicontinuity theorems for Hodge ideals. Int. Math. Res. Not. IMRN , 2018(11):3587–3605, 2018

  47. [47]

    Mustat ¸˘ a and M

    M. Mustat ¸˘ a and M. Popa. Hodge ideals.Mem. Amer. Math. Soc. , 262(1268):v+80, 2019

  48. [48]

    Mustat ¸˘ a and M

    M. Mustat ¸˘ a and M. Popa. Hodge ideals forQ-divisors: birational approach. J. ´Ec. polytech. Math. , 6:283–328, 2019

  49. [49]

    Mustat ¸˘ a and M

    M. Mustat ¸˘ a and M. Popa. Hodge filtration, minimal exponent, and local vanishing. Invent. Math. , 220(2):453–478, 2020

  50. [50]

    Mustat ¸˘ a and M

    M. Mustat ¸˘ a and M. Popa. Hodge ideals for Q-divisors, V -filtration, and minimal exponent. Forum Math. Sigma , 8:Paper No. e19, 41, 2020

  51. [51]

    Mustat ¸ˇ a

    M. Mustat ¸ˇ a. The multiplier ideals of a sum of ideals. Trans. Amer. Math. Soc. , 354(1):205–217, 2002

  52. [52]

    A. Ohbuchi. Some remarks on ample line bundles on abelian varieties . Manuscripta Math., 57(2):225– 238, 1987

  53. [53]

    A. Ohbuchi. A note on the normal generation of ample line bundles on abelian varieties. Proc. Japan Acad. Ser. A Math. Sci. , 64(4):119–120, 1988

  54. [54]

    S. Olano. Weighted multiplier ideals of reduced divisors. Mathematische Annalen , pages 1–36, 2021. HIGHER MULTIPLIER IDEALS 95

  55. [55]

    S. Olano. Weighted Hodge ideals of reduced divisors. arXiv:2208.03271, to appear in Forum of Mathematics, Sigma , 2022

  56. [56]

    Pareschi and M

    G. Pareschi and M. Popa. Generic vanishing and minimal cohomolo gy classes on abelian varieties. Math. Ann. , 340(1):209–222, 2008

  57. [57]

    C. Peters. Arakelov-type inequalities for hodge bundles. math/0007102, 2000

  58. [58]

    M. Popa. Connections betweens some conjectures on subvar ieties of abelian varieties. Oberwolfach report, 2018

  59. [59]

    Popa and C

    M. Popa and C. Schnell. Generic vanishing theory via mixed Hodge m odules. Forum Math. Sigma , 1:Paper No. e1, 60, 2013

  60. [60]

    Z. Ran. On subvarieties of abelian varieties. Invent. Math. , 62(3):459–479, 1981

  61. [61]

    I. Reider. Vector bundles of rank 2 and linear systems on algebr aic surfaces. Ann. of Math. (2) , 127(2):309–316, 1988

  62. [62]

    C. Sabbah. Polarizable twistor D-modules. Ast´ erisque, (300):vi+208, 2005

  63. [63]

    Sabbah and C

    C. Sabbah and C. Schnell. Mixed Hodge Module Project. https://perso.pages.math.cnrs.fr/users/claude.sabbah/MHMProject/mhm.html, 2023

  64. [64]

    M. Saito. Modules de Hodge polarisables. Publications of the Research Institute for Mathematical Sciences, 24(6):849–995, 1988

  65. [65]

    M. Saito. Mixed Hodge modules. Publ. Res. Inst. Math. Sci. , 26(2):221–333, 1990

  66. [66]

    M. Saito. On b-function, spectrum and rational singularity. Math. Ann. , 295(1):51–74, 1993

  67. [67]

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

  68. [68]

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

  69. [69]

    Schmid and K

    W. Schmid and K. Vilonen. Hodge theory and unitary representa tions of reductive Lie groups. In Frontiers of mathematical sciences , pages 397–420. Int. Press, Somerville, MA, 2011

  70. [70]

    C. Schnell. Personal letter to Mihnea Popa, dated July 20, 2012

  71. [71]

    C. Schnell. On Saito’s vanishing theorem. Math. Res. Lett. , 23(2):499–527, 2016

  72. [72]

    C. Schnell. An overview of Morihiko Saito’s theory of mixed Hodge m odules. In Representation theory, automorphic forms and complex geometry , pages 27–80. Int. Press, Somerville, MA, [2019] copyright 2019

  73. [73]

    Schnell and R

    C. Schnell and R. Yang. A log resolution for the theta divisor of a hyperelliptic curve. arXiv:2206.07075, 2022

  74. [74]

    Steenbrink

    J. Steenbrink. Limits of Hodge structures. Invent. Math. , 31(3):229–257, 1975/76

  75. [75]

    Vainsencher

    I. Vainsencher. Complete collineations and blowing up determinan tal ideals. Math. Ann., 267(3):417– 432, 1984

  76. [76]

    C. Voisin. Hodge theory and complex algebraic geometry. II , volume 77 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2003. Translated from t he French by Leila Schneps

  77. [77]

    M. Zhang. Hodge filtration and Hodge ideals for Q-divisors with weighted homogeneous isolated singularities or convenient non-degenerate singularities. Asian J. Math. , 25(5):641–664, 2021. Department of Mathematics, Stony Brook University, Stony B rook, New York 11794, United States E-mail address: cschnell@math.stonybrook.edu Max-Planck-Institut f ¨ur Ma...