Positivity in the context of Hodge modules and Higgs bundles on Deligne-Mumford stacks
Pith reviewed 2026-05-25 05:20 UTC · model grok-4.3
The pith
Positivity results for Hodge modules and Higgs bundles extend from varieties to smooth proper DM stacks with projective coarse moduli spaces.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We generalize positivity results due to Popa-Wu and Popa-Schnell for Hodge modules and Higgs bundles on smooth projective varieties to the case of smooth proper DM stacks admitting projective coarse moduli spaces. This paper is the first in a series aiming to generalize results of Popa-Schnell and Wei-Wu on Viehweg hyperbolicity to the setting of DM stacks, and in particular, to certain KSBA moduli spaces.
What carries the argument
The restriction to smooth proper DM stacks with projective coarse moduli spaces, which allows the positivity statements to transfer from the variety case.
If this is right
- The positivity theorems now apply directly to Hodge modules and Higgs bundles on DM stacks.
- This enables the study of Viehweg hyperbolicity in the DM stack setting.
- Results extend to KSBA moduli spaces that are smooth proper DM stacks with projective coarse spaces.
Where Pith is reading between the lines
- If the generalization holds, it may allow similar extensions for other properties of Hodge modules beyond positivity.
- The approach could connect to hyperbolicity questions on moduli spaces that are not varieties.
- Future work in the series might test these on explicit KSBA examples.
Load-bearing premise
The positivity statements transfer from the variety case once the base is restricted to smooth proper DM stacks whose coarse moduli space is projective.
What would settle it
Constructing a Hodge module or Higgs bundle on a smooth proper DM stack with projective coarse space where a positivity property known to hold on the coarse space fails on the stack would disprove the generalization.
read the original abstract
We generalize positivity results due to Popa-Wu and Popa-Schnell for Hodge modules and Higgs bundles on smooth projective varieties to the case of smooth proper DM stacks admitting projective coarse moduli spaces. This paper is the first in a series aiming to generalize results of Popa-Schnell and Wei-Wu on Viehweg hyperbolicity to the setting of DM stacks, and in particular, to certain KSBA moduli spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes positivity results due to Popa-Wu and Popa-Schnell for Hodge modules and Higgs bundles on smooth projective varieties to the case of smooth proper DM stacks admitting projective coarse moduli spaces. It is positioned as the first in a series aiming to extend Viehweg hyperbolicity results of Popa-Schnell and Wei-Wu to DM stacks, with particular attention to KSBA moduli spaces.
Significance. If the stated generalization holds via the required stack-theoretic adaptations of the notions of Hodge modules and Higgs bundles, the work supplies a foundational positivity toolkit in the DM-stack setting. This directly supports subsequent hyperbolicity applications on moduli stacks and is therefore of clear interest to researchers working on positivity, Hodge theory, and moduli of varieties.
minor comments (2)
- [Abstract] Abstract: the phrase 'admitting projective coarse moduli spaces' is clear, but the precise list of hypotheses on the Hodge modules/Higgs bundles themselves (e.g., any semipositivity or stability conditions carried over from the variety case) should be stated explicitly rather than left implicit.
- The manuscript cites Popa-Wu and Popa-Schnell as the source results; a short paragraph comparing the new statements with the original theorems (e.g., which properties are preserved verbatim and which require new arguments) would improve readability for readers familiar with the variety case.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We are pleased that the work is viewed as providing a useful foundational toolkit for positivity results in the DM-stack setting.
Circularity Check
No significant circularity; direct generalization of external theorems
full rationale
The paper's central claim is an explicit generalization of positivity theorems from Popa-Wu and Popa-Schnell (external authors) to the setting of smooth proper DM stacks with projective coarse moduli spaces. The abstract states the hypotheses and positions the work as foundational for subsequent results, with no equations, fitted parameters, or self-citations that reduce the new statements to the inputs by construction. All cited results are independent prior work by other researchers; no load-bearing self-citation chains, ansatzes smuggled via citation, or renaming of known results appear. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We generalize positivity results due to Popa-Wu and Popa-Schnell for Hodge modules and Higgs bundles on smooth projective varieties to the case of smooth proper DM stacks admitting projective coarse moduli spaces.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem A. ... K_p(M)^∨ is weakly positive
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.
Reference graph
Works this paper leans on
-
[1]
Popa, Mihnea and Schnell, Christian , TITLE =. Invent. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00222-016-0698-9 , URL =
-
[2]
Wei, Chuanhao and Wu, Lei , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/imrn/rnab280 , URL =
-
[3]
Hotta, Ryoshi and Takeuchi, Kiyoshi and Tanisaki, Toshiyuki , TITLE =. 2008 , PAGES =. doi:10.1007/978-0-8176-4523-6 , URL =
- [4]
-
[5]
Blum, Harold and Murayama, Takumi and Mustata, Mircea , year=. D-Modules and mixed
-
[6]
Mustata, Mircea , year=
-
[7]
Surikaisekikenkyusho Kokyuroku , FJOURNAL =
Saito, Masa-Hiko , TITLE =. Surikaisekikenkyusho Kokyuroku , FJOURNAL =. 1992 , PAGES =
work page 1992
-
[8]
Several complex variables and complex geometry,
Saito, Morihiko , TITLE =. Several complex variables and complex geometry,. 1991 , ISBN =. doi:10.1090/pspum/052.2/1128566 , URL =
-
[9]
Saito, Morihiko , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 1988 , NUMBER =. doi:10.2977/prims/1195173930 , URL =
- [10]
-
[11]
G\'omez, Tom\'as L. , TITLE =. Affine flag manifolds and principal bundles , SERIES =. 2010 , ISBN =. doi:10.1007/978-3-0346-0288-4\_2 , URL =
-
[12]
Abramovich, Dan and Graber, Tom and Vistoli, Angelo , TITLE =. Amer. J. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1353/ajm.0.0017 , URL =
-
[13]
Kresch, Andrew and Vistoli, Angelo , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 2004 , NUMBER =. doi:10.1112/S0024609303002728 , URL =
-
[14]
Vistoli, Angelo , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01388892 , URL =
-
[15]
Edidin, Dan and Hassett, Brendan and Kresch, Andrew and Vistoli, Angelo , TITLE =. Amer. J. Math. , FJOURNAL =. 2001 , NUMBER =
work page 2001
-
[16]
Kresch, Andrew , TITLE =. Algebraic geometry---. 2009 , ISBN =. doi:10.1090/pspum/080.1/2483938 , URL =
- [17]
- [18]
-
[19]
Lazarsfeld, Robert , TITLE =. 2004 , PAGES =. doi:10.1007/978-3-642-18808-4 , URL =
-
[20]
Cascini, Paolo and Hacon, Christopher and Mustata, Mircea and Schwede, Karl , TITLE =. Amer. J. Math. , FJOURNAL =. 2014 , NUMBER =. doi:10.1353/ajm.2014.0047 , URL =
-
[21]
Koll\'ar, J\'anos and Mori, Shigefumi , TITLE =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =
-
[22]
Koll\'ar, J\'anos , TITLE =. 2013 , PAGES =. doi:10.1017/CBO9781139547895 , URL =
- [23]
-
[24]
Koll\'ar, J\'anos , TITLE =. J. Differential Geom. , FJOURNAL =. 1990 , NUMBER =
work page 1990
- [25]
-
[26]
Bhatt, Bhargav and Ho, Wei and Patakfalvi, Zsolt and Schnell, Christian , TITLE =. Compos. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1112/S0010437X13007288 , URL =
-
[27]
and Patakfalvi, Zsolt , TITLE =
Kov\'acs, S\'andor J. and Patakfalvi, Zsolt , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/jams/871 , URL =
-
[28]
Esnault, H\'el\`ene and Viehweg, Eckart , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-0348-8600-0 , URL =
-
[29]
Viehweg, Eckart , TITLE =. 1995 , PAGES =. doi:10.1007/978-3-642-79745-3 , URL =
-
[30]
Algebraic varieties and analytic varieties (
Viehweg, Eckart , TITLE =. Algebraic varieties and analytic varieties (. 1983 , ISBN =. doi:10.2969/aspm/00110329 , URL =
-
[31]
Classification of algebraic and analytic manifolds (
Viehweg, Eckart , TITLE =. Classification of algebraic and analytic manifolds (. 1983 , ISBN =
work page 1983
-
[32]
Viehweg, Eckart , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01393700 , URL =
-
[33]
Viehweg, E. , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01231501 , URL =
-
[34]
Viehweg, Eckart , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01231514 , URL =
-
[35]
Kashiwara, M. , TITLE =. Algebraic geometry (. 1983 , ISBN =. doi:10.1007/BFb0099962 , URL =
-
[36]
Popa, Mihnea and Wu, Lei , TITLE =. Math. Res. Lett. , FJOURNAL =. 2016 , NUMBER =. doi:10.4310/MRL.2016.v23.n4.a8 , URL =
-
[37]
Laszlo, Yves and Olsson, Martin , TITLE =. Math. Z. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00209-008-0348-z , URL =
-
[38]
Campana, Fr\'ed\'eric and Paun, Mihai , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2019 , PAGES =. doi:10.1007/s10240-019-00105-w , URL =
-
[39]
Schnell, Christian , TITLE =. \'Epijournal G\'eom. Alg\'ebrique , FJOURNAL =. 2017 , PAGES =. doi:10.46298/epiga.2017.volume1.3281 , URL =
-
[40]
Hyperbolicity properties of algebraic varieties , SERIES =
Claudon, Beno\^it and Kebekus, Stefan and Taji, Behrouz , TITLE =. Hyperbolicity properties of algebraic varieties , SERIES =. [2021] 2021 , ISBN =
work page 2021
-
[41]
Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2016 , NUMBER =. doi:10.1093/imrn/rnv126 , URL =
-
[42]
Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1515/crelle-2012-0097 , URL =
-
[43]
Campana, Fr\'ed\'eric and Peternell, Thomas , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2011 , NUMBER =. doi:10.24033/bsmf.2599 , URL =
-
[44]
Boucksom, S\'ebastien and Demailly, Jean-Pierre and Paun, Mihai and Peternell, Thomas , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S1056-3911-2012-00574-8 , URL =
-
[45]
Fujino, Osamu and Fujisawa, Taro and Saito, Morihiko , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/PRIMS/125 , URL =
-
[46]
Fujino, Osamu and Fujisawa, Taro , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/PRIMS/145 , URL =
-
[47]
Algebraic varieties and automorphism groups , SERIES =
Fujino, Osamu , TITLE =. Algebraic varieties and automorphism groups , SERIES =. 2017 , ISBN =. doi:10.2969/aspm/07510073 , URL =
-
[48]
Beilinson, A. A. and Bernstein, J. and Deligne, P. , TITLE =. Analysis and topology on singular spaces,. 1982 , MRCLASS =
work page 1982
-
[49]
G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. [2020] 2020 , PAGES =. doi:10.1007/978-3-658-30733-2 , URL =
- [50]
-
[51]
Hartshorne, Robin , TITLE =. Math. Ann. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF01467074 , URL =
- [52]
-
[53]
Encinas, S. and Villamayor, O. , TITLE =. Acta Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/BF02392749 , URL =
-
[54]
Bierstone, Edward and Milman, Pierre D. , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2008 , NUMBER =. doi:10.2977/prims/1210167338 , URL =
-
[55]
Temkin, Michael , TITLE =. Israel J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s11856-018-1656-6 , URL =
-
[56]
Temkin, Michael , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1699539 , URL =
-
[57]
Birational geometry of Deligne-Mumford stacks , author=. 2023 , eprint=
work page 2023
-
[58]
Knudsen, Finn Faye and Mumford, David , TITLE =. Math. Scand. , FJOURNAL =. 1976 , NUMBER =. doi:10.7146/math.scand.a-11642 , URL =
-
[59]
Grothendieck Duality for Deligne-Mumford Stacks
Fabio Nironi , year=. Grothendieck. 0811.1955 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 1955
- [60]
-
[61]
Abramovich, D. and Karu, K. , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900024 , URL =
-
[62]
Alper, Jarod , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2013 , NUMBER =. doi:10.5802/aif.2833 , URL =
- [63]
-
[64]
M. Artin , title =. Global Analysis (Papers in Honor of K. Kodaira) , publisher =. 1969 , pages =
work page 1969
-
[65]
Communications in Algebra , volume =
Martin Olsson and Jason Starr , title =. Communications in Algebra , volume =. 2003 , pages =
work page 2003
-
[66]
Advances in Mathematics , volume =
Martin Olsson , title =. Advances in Mathematics , volume =. 2005 , pages =
work page 2005
-
[67]
Michigan Mathematical Journal , volume =
Jack Hall and David Rydh , title =. Michigan Mathematical Journal , volume =. 2015 , pages =. doi:10.1307/mmj/1434731927 , note =
- [68]
-
[69]
Tubach, Swann , TITLE =. Forum Math. Sigma , FJOURNAL =. 2025 , PAGES =. doi:10.1017/fms.2025.10122 , URL =
-
[70]
Alexander Paulin , year=. The. 1308.5890 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv
-
[71]
Totaro, Burt , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2004 , PAGES =. doi:10.1515/crll.2004.2004.577.1 , URL =
- [72]
-
[73]
The geometry, topology and physics of moduli spaces of
Casalaina-Martin, Sebastian and Wise, Jonathan , TITLE =. The geometry, topology and physics of moduli spaces of. 2018 , ISBN =
work page 2018
-
[74]
Pierre Deligne , title =
-
[75]
Publications of the Research Institute for Mathematical Sciences , volume =
Morihiko Saito , title =. Publications of the Research Institute for Mathematical Sciences , volume =. 1990 , pages =
work page 1990
-
[76]
Memoirs of the American Mathematical Society , year =
Mircea Mustață and Mihnea Popa , title =. Memoirs of the American Mathematical Society , year =
-
[77]
Chuanhao Wei , title =. arXiv preprint , volume =. 2017 , pages =
work page 2017
-
[78]
Lei Wu , title =. arXiv preprint , volume =. 2018 , pages =
work page 2018
-
[79]
Algebra Number Theory , FJOURNAL =
Popa, Mihnea and Taji, Behrouz and Wu, Lei , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.2205 , URL =
-
[80]
Brunebarbe, Yohan , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0109 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.