Higher multiplier ideals
Pith reviewed 2026-05-24 06:16 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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
We thank the referee for their review. We respond to the single major comment below.
read point-by-point responses
-
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
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
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.
invented entities (2)
-
higher multiplier ideals
no independent evidence
-
center of minimal exponent
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We associate a family of ideal sheaves ... using the theory of mixed Hodge modules and V-filtrations. ... When the Hodge level is zero, they recover the usual multiplier ideals.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The main idea is to exploit the global structure of the V-filtration along an effective divisor using the notion of twisted Hodge modules.
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
-
On nefness of the lowest piece of Hodge modules
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
-
[1]
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
work page 2023
-
[2]
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
work page 1985
- [3]
-
[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
work page 1992
-
[5]
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
work page 1993
-
[6]
S. Bloch and D. Gieseker. The positivity of the Chern classes of an ample vector bundle. Invent. Math., 12:112–117, 1971
work page 1971
-
[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
work page 2005
- [8]
-
[9]
N. Budur and M. Saito. Multiplier ideals, V -filtration, and spectrum. J. Algebraic Geom., 14(2):269– 282, 2005
work page 2005
-
[10]
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
work page 2008
-
[11]
S. Casalaina-Martin. Singularities of the Prym theta divisor. Ann. of Math. (2) , 170(1):162–204, 2009
work page 2009
-
[12]
B. Chen. Vanishing for Hodge ideals of Q-divisors. Int. Math. Res. Not. IMRN , (1):185–209, 2023
work page 2023
- [13]
-
[14]
D. Davis and K. Vilonen. Unitary representations of real group s and localization theory for hodge modules. arXiv 2309.13215 , 2023
-
[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
work page 1988
- [16]
-
[17]
A. Dimca and G. Sticlaru. On the syzygies and Alexander polynomia ls of nodal hypersurfaces. Math. Nachr., 285(17-18):2120–2128, 2012
work page 2012
-
[18]
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
work page 2022
- [19]
-
[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
work page 2004
-
[21]
H. Esnault and E. Viehweg. Lectures on vanishing theorems, volume 20 of DMV Seminar. Birkh¨ auser Verlag, Basel, 1992
work page 1992
-
[22]
R. Friedman and R. Laza. Higher du bois and higher rational singu larities. arXiv 2205.04729, to appear in Duke Math. J. , 2023
-
[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
work page 1969
-
[24]
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
work page 2012
-
[25]
R. Hartshorne. Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977
work page 1977
-
[26]
A. A. Johnson. Multiplier ideals of determinantal ideals . ProQuest LLC, Ann Arbor, MI, 2003. Thesis (Ph.D.)–University of Michigan
work page 2003
-
[27]
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
work page 2022
- [28]
- [29]
- [30]
- [31]
- [32]
- [33]
-
[34]
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
work page 1998
-
[35]
S. J. Kov´ acs. A characterization of rational singularities. Duke Math. J. , 102(2):187–191, 2000
work page 2000
-
[36]
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
work page 2004
-
[37]
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]
Positivity for vector bundles, and multiplier ideals
-
[39]
C. A. L˝ orincz and R. Yang. Nearby and vanishing cycles for the generic determinantal hypersurfaces. in preparation, 2023
work page 2023
-
[40]
B. Lichtin. Poles of |f (z, w)|2s and roots of the b-function. Ark. Mat. , 27(2):283–304, 1989
work page 1989
- [41]
- [42]
- [43]
-
[44]
L. Maxim and R. Yang. Homological criterion for higher du Bois and higher rational singularities. arXiv:2301.09084, 2023
-
[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
work page 1974
-
[46]
M. Mustat ¸˘ a and M. Popa. Restriction, subadditivity, and semicontinuity theorems for Hodge ideals. Int. Math. Res. Not. IMRN , 2018(11):3587–3605, 2018
work page 2018
-
[47]
M. Mustat ¸˘ a and M. Popa. Hodge ideals.Mem. Amer. Math. Soc. , 262(1268):v+80, 2019
work page 2019
-
[48]
M. Mustat ¸˘ a and M. Popa. Hodge ideals forQ-divisors: birational approach. J. ´Ec. polytech. Math. , 6:283–328, 2019
work page 2019
-
[49]
M. Mustat ¸˘ a and M. Popa. Hodge filtration, minimal exponent, and local vanishing. Invent. Math. , 220(2):453–478, 2020
work page 2020
-
[50]
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
work page 2020
-
[51]
M. Mustat ¸ˇ a. The multiplier ideals of a sum of ideals. Trans. Amer. Math. Soc. , 354(1):205–217, 2002
work page 2002
-
[52]
A. Ohbuchi. Some remarks on ample line bundles on abelian varieties . Manuscripta Math., 57(2):225– 238, 1987
work page 1987
-
[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
work page 1988
-
[54]
S. Olano. Weighted multiplier ideals of reduced divisors. Mathematische Annalen , pages 1–36, 2021. HIGHER MULTIPLIER IDEALS 95
work page 2021
- [55]
-
[56]
G. Pareschi and M. Popa. Generic vanishing and minimal cohomolo gy classes on abelian varieties. Math. Ann. , 340(1):209–222, 2008
work page 2008
-
[57]
C. Peters. Arakelov-type inequalities for hodge bundles. math/0007102, 2000
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[58]
M. Popa. Connections betweens some conjectures on subvar ieties of abelian varieties. Oberwolfach report, 2018
work page 2018
-
[59]
M. Popa and C. Schnell. Generic vanishing theory via mixed Hodge m odules. Forum Math. Sigma , 1:Paper No. e1, 60, 2013
work page 2013
-
[60]
Z. Ran. On subvarieties of abelian varieties. Invent. Math. , 62(3):459–479, 1981
work page 1981
-
[61]
I. Reider. Vector bundles of rank 2 and linear systems on algebr aic surfaces. Ann. of Math. (2) , 127(2):309–316, 1988
work page 1988
-
[62]
C. Sabbah. Polarizable twistor D-modules. Ast´ erisque, (300):vi+208, 2005
work page 2005
-
[63]
C. Sabbah and C. Schnell. Mixed Hodge Module Project. https://perso.pages.math.cnrs.fr/users/claude.sabbah/MHMProject/mhm.html, 2023
work page 2023
-
[64]
M. Saito. Modules de Hodge polarisables. Publications of the Research Institute for Mathematical Sciences, 24(6):849–995, 1988
work page 1988
-
[65]
M. Saito. Mixed Hodge modules. Publ. Res. Inst. Math. Sci. , 26(2):221–333, 1990
work page 1990
-
[66]
M. Saito. On b-function, spectrum and rational singularity. Math. Ann. , 295(1):51–74, 1993
work page 1993
-
[67]
M. Saito. On microlocal b-function. Bull. Soc. Math. France , 122(2):163–184, 1994
work page 1994
-
[68]
M. Saito. Hodge ideals and microlocal V-filtration. arXiv:1612.08667, 2016
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[69]
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
work page 2011
-
[70]
C. Schnell. Personal letter to Mihnea Popa, dated July 20, 2012
work page 2012
-
[71]
C. Schnell. On Saito’s vanishing theorem. Math. Res. Lett. , 23(2):499–527, 2016
work page 2016
-
[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
work page 2019
-
[73]
C. Schnell and R. Yang. A log resolution for the theta divisor of a hyperelliptic curve. arXiv:2206.07075, 2022
-
[74]
J. Steenbrink. Limits of Hodge structures. Invent. Math. , 31(3):229–257, 1975/76
work page 1975
-
[75]
I. Vainsencher. Complete collineations and blowing up determinan tal ideals. Math. Ann., 267(3):417– 432, 1984
work page 1984
-
[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
work page 2003
-
[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...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.