Weight filtration and generating level
Henry Dakin
TL;DR
This work studies the canonical complex mixed Hodge module structure on the left $\\mathscr{D}_X$-module $\\mathscr{M}(f^{-\\alpha})$ and analyzes its Hodge filtration $F^H_\\bullet$ and weight filtration $W_\\bullet$. It develops two complementary frameworks: (i) log-resolution methods to express filtrations in terms of pushforwards and the Kashiwara-Malgrange $V$-filtration, and (ii) algebraic and microlocal approaches via the $V$-filtration, nearby/vanishing cycles, and microlocal invariants such as weighted minimal exponents. A central result is a general formula linking the Hodge and weight filtrations to the $V$-filtration data: $F_k^H W_{n+l}\\mathscr{M}(f^{-\\alpha}) =\\psi_0( F_k^{t-ord}K_lV^0 i_{f,+}\\mathscr{M}(f^{-\\alpha}) )$, from which corollaries connect to multiplier/adjoint ideals and birational thresholds. The paper then introduces weighted minimal exponents and weighted microlocal multiplier ideals to bound the generating level and the highest weight of filtration steps, with explicit computations for SNC and weighted homogeneous singularities and applications to parametrically prime divisors; together, these results deepen the link between Hodge theory, D-module theory, and birational geometry. The techniques yield practical criteria and explicit formulas for the filtrations in broad classes of divisors, highlighting the interplay between geometric singularities and Hodge-theoretic invariants.
Abstract
We study the canonical mixed Hodge module structure associated to the $\mathscr{D}_X$-module $\mathscr{M}(f^{-α}):=\mathscr{O}_X(*f)f^{-α}$. We particularly focus on the weight filtration and extend many known results to the weighted setting. We obtain new relations between Hodge theory and birational geometry. We derive a general formula for the Hodge and weight filtrations on $\mathscr{M}(f^{-α})$, and use this to obtain results concerning the largest weight of $\mathscr{M}(f^{-α})$ and the generating level of weight filtration steps. Finally, we obtain expressions for several classes of divisor, including certain parametrically prime divisors.
