[Paper Review] Hodge ideals for Q-divisors, V-filtration, and minimal exponent

Mircea Mustaţă, Mihnea Popa|arXiv (Cornell University)|Jul 5, 2018

Algebraic Geometry and Number Theory21 references16 citations

TL;DR

This paper establishes a precise connection between Hodge ideals of Q-divisors and the V-filtration along a hypersurface, generalizing Saito's result from the reduced case. It shows that Hodge ideals $ I_p''(D) $ are computed via the $ V^\alpha $-filtration on $ \mathscr{O}_X $, leading to a formula involving differential operators and polynomials $ Q_j(\alpha) $, and proves that the minimal exponent is bounded by discrepancies, resolving a question of Lichtin and Kollár.

ABSTRACT

We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.

Motivation & Objective

• To extend Saito's connection between Hodge ideals and the V-filtration from reduced divisors to general Q-divisors.
• To establish foundational properties of Hodge ideals for Q-divisors using the V-filtration.
• To relate Hodge ideals to Bernstein-Sato polynomials and the minimal exponent.
• To bound the minimal exponent in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.

Proposed method

• Use the $ V^\alpha $-filtration on $ \iota_+\mathscr{O}_X $ induced by a local defining equation $ f $ of the divisor $ H $, where $ D = \alpha H $.
• Define $ I_p''(D) $ as the image of a certain $ \mathscr{O}_X $-module under a differential operator condition involving $ \sum v_j \partial_t^j \delta \in V^\alpha \iota_+\mathscr{O}_X $.
• Express $ I_p''(D) $ via a formula involving the polynomials $ Q_j(\alpha) = \alpha(\alpha+1)\cdots(\alpha+j-1) $, which are products of linear terms.
• Use microlocal $ V $-filtration and the theory of Bernstein-Sato polynomials to relate jumps in Hodge ideals to roots of these polynomials.
• Apply the theory of mixed Hodge modules and filtered $ \mathscr{D} $-modules to analyze the structure of $ \mathcal{M}(f^\beta) $ and its filtration.
• Use combinatorial identities for $ Q_j(x) $ to verify key algebraic relations in the proof of the main theorem.

Experimental results

Research questions

• RQ1 How can the Hodge ideals of a Q-divisor be expressed in terms of the V-filtration along a hypersurface?
• RQ2 What is the precise relationship between Hodge ideals and the Bernstein-Sato polynomial of the defining equation?
• RQ3 How does the minimal exponent of a Q-divisor relate to discrepancies on a log resolution?
• RQ4 Can the jump phenomenon in Hodge ideals be detected modulo $ f $, and how does this relate to the $ V $-filtration?
• RQ5 What is the role of the microlocal $ V $-filtration in computing Hodge ideals for non-reduced Q-divisors?

Key findings

• The Hodge ideals $ I_p''(D) $ for a Q-divisor $ D = \alpha H $ are given by the formula $ I_p''(D) = \left\{ \sum_{j=0}^p Q_j(\alpha) f^{p-j} v_j \ \middle|\ \sum_{j=0}^p v_j \partial_t^j \delta \in V^\alpha \iota_+\mathscr{O}_X \right\} $, establishing a precise link to the $ V $-filtration.
• It holds that $ I_p''(D) + (f) = \widetilde{I}_p(D) + (f) $, where $ \widetilde{I}_p(D) $ is the microlocal $ V $-filtration ideal, showing that the Hodge ideal is determined modulo $ f $.
• The minimal exponent $ \widetilde{\alpha}_D $ satisfies $ \widetilde{\alpha}_D \geq \min\{ \alpha_E \mid E \text{ exceptional divisor in a log resolution} \} $, bounding it in terms of discrepancies.
• If $ I_p(\alpha Z) \neq I_p((\alpha + \epsilon)Z) $ for small $ \epsilon > 0 $, then $ \widetilde{b}_f(-p - \alpha) = 0 $, linking jumps in Hodge ideals to roots of the Bernstein-Sato polynomial.
• The formula for $ I_p''(D) $ generalizes Saito’s result for reduced divisors and holds even when $ D $ is not reduced, strengthening the connection between Hodge theory and $ V $-filtrations.
• Combinatorial identities for $ Q_j(x) $, such as $ Q_j(x+1) = \sum_{i=0}^j i! \binom{j}{i} Q_{j-i}(x) $, are used to verify the algebraic structure of the ideals.