pith. sign in

arxiv: 2507.01731 · v2 · pith:VMYVSQCQnew · submitted 2025-07-02 · 🧮 math.AG

On nefness of the lowest piece of Hodge modules

Ze Yun This is my paper

Pith reviewed 2026-05-19 06:47 UTC · model grok-4.3

classification 🧮 math.AG
keywords Hodge modulesvariations of Hodge structuresnefnesslowest piecemonodromysimple normal crossing divisordegree boundsvanishing theorems
0
0 comments X

The pith

Quotient line bundles from the lowest piece of Hodge modules have degree lower bounds set by local monodromies at infinity.

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

This paper establishes lower bounds on the degrees of quotient line bundles of the lowest piece of a Hodge module that arises from a complex variation of Hodge structures, valid outside a simple normal crossing divisor. The bounds extend past the unipotent case and incorporate the local monodromy eigenvalues together with intersection numbers against the boundary divisors. A sympathetic reader would care because the bounds make explicit when nefness fails for non-unipotent monodromy while recovering the known non-negativity result in the unipotent setting. The argument proceeds algebraically from a vanishing theorem for twisted Hodge modules, and concrete geometric examples confirm that the stated lower bound is attained.

Core claim

We give degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a complex variation of Hodge structures outside a simple normal crossing divisor, beyond the unipotent variation case. This note aims to explain the failure of nefness when the monodromies at infinity are not unipotent. The lower bounds depend on local monodromies at infinity and intersection numbers with the boundary divisors. In particular it recovers Kawamata's semi-positivity theorem for unipotent variations. The proof is algebraic via a vanishing theorem for twisted Hodge modules. We also give geometric examples to show that the lower bound can be achieved.

What carries the argument

The lowest piece of the Hodge module induced by a complex variation of Hodge structures, together with the algebraic vanishing theorem for twisted Hodge modules applied outside the simple normal crossing divisor.

If this is right

  • When all monodromies at infinity are unipotent the lower bound reduces to non-negativity, recovering Kawamata's semi-positivity theorem.
  • For non-unipotent monodromies the bound can become negative, showing that the lowest piece itself need not be nef.
  • The explicit formula allows the degree to be calculated once the local monodromy eigenvalues and the intersection numbers with the boundary divisors are known.
  • Geometric examples demonstrate that the lower bound is sharp and is realized by actual quotient line bundles.

Where Pith is reading between the lines

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

  • The same vanishing technique might be applied to obtain analogous bounds for higher graded pieces of the Hodge filtration in the non-unipotent setting.
  • In moduli problems involving families with non-unipotent degenerations, one would expect to twist the lowest piece by a fractional multiple of the boundary divisor before positivity statements hold.
  • The dependence on local monodromy data suggests that refined positivity results in algebraic geometry will need to track the logarithms of the monodromy operators explicitly.

Load-bearing premise

The algebraic vanishing theorem for twisted Hodge modules applies to the lowest piece outside the simple normal crossing divisor and yields the stated degree bounds when combined with the local monodromy data.

What would settle it

A direct computation of the degree of a quotient line bundle in one of the geometric examples supplied in the paper, checking whether it meets or falls below the lower bound predicted from the given local monodromy logarithms and boundary intersection numbers.

read the original abstract

We give degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a complex variation of Hodge structures outside a simple normal crossing divisor, beyond the unipotent variation case. This note aims to explain the failure of nefness when the monodromies at infinity are not unipotent. The lower bounds depend on local monodromies at infinity and intersection numbers with the boundary divisors. In particular it recovers Kawamata's semi-positivity theorem for unipotent variations. The proof is algebraic via a vanishing theorem for twisted Hodge modules. We also give geometric examples to show that the lower bound can be achieved.

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 manuscript gives explicit degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a complex variation of Hodge structures outside a simple normal crossing divisor. The bounds depend on local monodromy data at infinity and intersection numbers with the boundary; the proof is algebraic and invokes a vanishing theorem for twisted Hodge modules. The result recovers Kawamata’s semi-positivity theorem in the unipotent case and is illustrated by geometric examples in which the bound is attained.

Significance. If the central application of the vanishing theorem is justified, the paper supplies a useful algebraic criterion that explains the failure of nefness for non-unipotent monodromy and makes the dependence on local monodromy data explicit. The recovery of the unipotent case and the existence of examples achieving equality are concrete strengths.

major comments (2)
  1. [§3] §3, paragraph following the statement of the main theorem: the precise twisting and support conditions under which the algebraic vanishing theorem for twisted Hodge modules is applied to the lowest piece are not spelled out when the local monodromy is non-unipotent. It is therefore unclear whether the monodromy filtration enters the vanishing input in the manner required to obtain the stated lower bound.
  2. [§2] §2, application of the vanishing theorem: the manuscript invokes the vanishing result for twisted Hodge modules but does not verify that the lowest piece satisfies the required support and twisting hypotheses outside the simple normal crossing divisor when the monodromy is not unipotent. This step is load-bearing for the degree bound.
minor comments (2)
  1. The notation for the local monodromy operators and the associated filtration should be introduced once and used consistently throughout the text.
  2. In the geometric examples, the intersection numbers with the boundary divisors are computed but the resulting numerical bound is not displayed alongside the explicit quotient line bundle; adding this comparison would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which help clarify the presentation of our algebraic proof. We address each major comment below and have revised the manuscript accordingly to make the application of the vanishing theorem fully explicit in the non-unipotent setting.

read point-by-point responses

  1. Referee: §3, paragraph following the statement of the main theorem: the precise twisting and support conditions under which the algebraic vanishing theorem for twisted Hodge modules is applied to the lowest piece are not spelled out when the local monodromy is non-unipotent. It is therefore unclear whether the monodromy filtration enters the vanishing input in the manner required to obtain the stated lower bound.

    Authors: We thank the referee for this observation. In the revised manuscript we have expanded the paragraph immediately following the main theorem in §3. We now explicitly record the twisting of the lowest piece by the local monodromy representation (including the contribution of the monodromy filtration) and state the precise support condition (proper support outside the simple normal crossing divisor). With these data the algebraic vanishing theorem applies directly, yielding the claimed degree lower bound. A short remark has also been added to indicate how the non-unipotent case differs from the unipotent one in the twisting data. revision: yes

  2. Referee: §2, application of the vanishing theorem: the manuscript invokes the vanishing result for twisted Hodge modules but does not verify that the lowest piece satisfies the required support and twisting hypotheses outside the simple normal crossing divisor when the monodromy is not unipotent. This step is load-bearing for the degree bound.

    Authors: We agree that an explicit verification is necessary. In the revised version we have inserted a short lemma in §2 that confirms the lowest piece meets the support and twisting hypotheses of the vanishing theorem. The argument proceeds by checking compatibility of the Hodge filtration with the monodromy filtration on the local system and verifying that the resulting twisted module has the required proper support away from the boundary. This verification is now self-contained and justifies the degree bound in the non-unipotent case. revision: yes

Circularity Check

0 steps flagged

No circularity: bounds derived from independent vanishing theorem on external inputs

full rationale

The paper's central derivation applies a prior algebraic vanishing theorem for twisted Hodge modules to the lowest piece of a Hodge module induced by a complex VHS outside an SNCD. The resulting degree lower bounds are expressed in terms of local monodromy data at infinity and intersection numbers with boundary divisors. This recovers Kawamata's semi-positivity theorem as the unipotent special case but does not reduce the general claim to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The vanishing theorem is treated as an external tool whose applicability is justified by the paper's setup rather than by re-deriving it from the target bounds. No equations or steps in the provided derivation chain exhibit the forbidden reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the existence and properties of Hodge modules and a vanishing theorem for their twisted versions; no free parameters or new entities are indicated in the abstract.

axioms (1)
  • domain assumption A vanishing theorem holds for twisted Hodge modules under the stated conditions on the divisor and variation.
    The proof is described as algebraic via this vanishing theorem.

pith-pipeline@v0.9.0 · 5619 in / 1317 out tokens · 33204 ms · 2026-05-19T06:47:14.544636+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.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    A hodge-theoretic proof of hwang's theorem on base manifolds of lagrangian fibrations, 2023

    Benjamin Bakker and Christian Schnell. A hodge-theoretic proof of hwang's theorem on base manifolds of lagrangian fibrations, 2023. arxiv:2311.08977

    work page arXiv 2023

  2. [2]

    Degeneration of H odge structures

    Eduardo Cattani, Aroldo Kaplan, and Wilfried Schmid. Degeneration of H odge structures. Ann. of Math. (2) , 123(3):457--535, 1986

    work page 1986

  3. [3]

    Lőrincz, and Ruijie Yang

    Dougal Davis, András C. Lőrincz, and Ruijie Yang. Archimedean zeta functions, singularities, and hodge theory, 2024. arxiv:2412.07849

    work page arXiv 2024

  4. [4]

    Unitary representations of real groups and localization theory for hodge modules, 2025

    Dougal Davis and Kari Vilonen. Unitary representations of real groups and localization theory for hodge modules, 2025. arxiv:2309.13215

    work page arXiv 2025

  5. [5]

    Variations of mixed H odge structure and semipositivity theorems

    Osamu Fujino and Taro Fujisawa. Variations of mixed H odge structure and semipositivity theorems. Publ. Res. Inst. Math. Sci. , 50(4):589--661, 2014

    work page 2014

  6. [6]

    On semipositivity theorems

    Osamu Fujino and Taro Fujisawa. On semipositivity theorems. Math. Res. Lett. , 26(5):1359--1382, 2019

    work page 2019

  7. [7]

    Some remarks on the semipositivity theorems

    Osamu Fujino, Taro Fujisawa, and Morihiko Saito. Some remarks on the semipositivity theorems. Publ. Res. Inst. Math. Sci. , 50(1):85--112, 2014

    work page 2014

  8. [8]

    On K \"ahler fiber spaces over curves

    Takao Fujita. On K \"ahler fiber spaces over curves. J. Math. Soc. Japan , 30(4):779--794, 1978

    work page 1978

  9. [9]

    D -modules, perverse sheaves, and representation theory , volume 236 of Progress in Mathematics

    Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tanisaki. D -modules, perverse sheaves, and representation theory , volume 236 of Progress in Mathematics . Birkh\"auser Boston, Inc., Boston, MA, japanese edition, 2008

    work page 2008

  10. [10]

    Characterization of abelian varieties

    Yujiro Kawamata. Characterization of abelian varieties. Compositio Mathematica , 43(2):253--276, 1981

    work page 1981

  11. [11]

    C. A. M. Peters. A criterion for flatness of H odge bundles over curves and geometric applications. Math. Ann. , 268(1):1--19, 1984

    work page 1984

  12. [12]

    Hodge modules on complex tori and generic vanishing for compact K \"ahler manifolds

    Giuseppe Pareschi, Mihnea Popa, and Christian Schnell. Hodge modules on complex tori and generic vanishing for compact K \"ahler manifolds. Geom. Topol. , 21(4):2419--2460, 2017

    work page 2017

  13. [13]

    An overview of M orihiko S aito's theory of mixed H odge modules

    Christian Schnell. An overview of M orihiko S aito's theory of mixed H odge modules. In Representation theory, automorphic forms & complex geometry , pages 27--80. Int. Press, Somerville, MA, [2019] 2019

    work page 2019

  14. [14]

    Mixed H odge M odule P roject

    Claude Sabbah and Christian Schnell. Mixed H odge M odule P roject. 2023. https://perso.pages.math.cnrs.fr/users/claude.sabbah/MHMProject/mhm.html

    work page 2023

  15. [15]

    Higher multiplier ideals

    Christian Schnell and Ruijie Yang. Higher multiplier ideals, 2024. arxiv:2309.16763

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  16. [16]

    Remarks on a theorem of F ujita

    Steven Zucker. Remarks on a theorem of F ujita. J. Math. Soc. Japan , 34(1):47--54, 1982

    work page 1982