Table of Contents
Fetching ...

Restrictions of mixed Hodge modules using generalized V-filtrations

Qianyu Chen, Bradley Dirks, Sebastian Olano

TL;DR

This work extends Sabbah's generalized ${}^L V$-filtrations to the setting of mixed Hodge modules on $X\times\mathbf{A}^r$, connecting them to the classical $V$-filtration via cyclic coverings. It proves that these filtrations compute the restriction functors $\sigma^!$ and $\sigma^*$ along the zero section, and develops a robust toolkit of ${}^L V$-Koszul complexes and specialization constructions that behave compatibly with Hodge and weight filtrations. Leveraging deformation to the normal bundle and cyclic covers, the authors reduce to the $L$-monodromic case and obtain explicit descriptions of local cohomology along complete intersections, yielding new criteria for $k$-Du Bois and $k$-rational singularities and giving sharp bounds for the minimal exponent in weighted homogeneous isolated complete intersections. These results connect D-module restrictions, V-filtration theory, and singularity invariants in a unified framework with concrete consequences for the study of local cohomology Hodge modules and singularity classification.

Abstract

We study generalized $V$-filtrations, defined by Sabbah, on $\mathcal D$-modules underlying mixed Hodge modules on $X\times \mathbf A^r$. Using cyclic covers, we compare these filtrations to the usual $V$-filtration, which is better understood. The main result shows that these filtrations can be used to compute the restriction functors $σ^!, σ^*$, where $σ\colon X \times \{0\} \to X \times \mathbf A^r$ is the inclusion of the zero section. As an application, we use the restriction result to study singularities of complete intersection subvarieties. These filtrations can be used to study the local cohomology mixed Hodge module. In particular, we classify when weighted homogeneous isolated complete intersection singularities in $\mathbf A^n$ are $k$-Du Bois and $k$-rational.

Restrictions of mixed Hodge modules using generalized V-filtrations

TL;DR

This work extends Sabbah's generalized -filtrations to the setting of mixed Hodge modules on , connecting them to the classical -filtration via cyclic coverings. It proves that these filtrations compute the restriction functors and along the zero section, and develops a robust toolkit of -Koszul complexes and specialization constructions that behave compatibly with Hodge and weight filtrations. Leveraging deformation to the normal bundle and cyclic covers, the authors reduce to the -monodromic case and obtain explicit descriptions of local cohomology along complete intersections, yielding new criteria for -Du Bois and -rational singularities and giving sharp bounds for the minimal exponent in weighted homogeneous isolated complete intersections. These results connect D-module restrictions, V-filtration theory, and singularity invariants in a unified framework with concrete consequences for the study of local cohomology Hodge modules and singularity classification.

Abstract

We study generalized -filtrations, defined by Sabbah, on -modules underlying mixed Hodge modules on . Using cyclic covers, we compare these filtrations to the usual -filtration, which is better understood. The main result shows that these filtrations can be used to compute the restriction functors , where is the inclusion of the zero section. As an application, we use the restriction result to study singularities of complete intersection subvarieties. These filtrations can be used to study the local cohomology mixed Hodge module. In particular, we classify when weighted homogeneous isolated complete intersection singularities in are -Du Bois and -rational.

Paper Structure

This paper contains 11 sections, 51 theorems, 295 equations.

Key Result

Theorem 1

Let $L = \sum_{i=1}^r a_i s_i$ be a non-degenerate slope and let $(\mathcal{M},F,W)$ be a bi-filtered $\mathcal{D}_T$-module underlying a mixed Hodge module. The complexes and Moreover, we have filtered quasi-isomorphisms and the latter two complexes are strictly filtered. Similarly, and the rightmost complex is strictly filtered. Finally, the filtrations $W_\bullet \mathcal{H}^i B^0_L(\mathca

Theorems & Definitions (97)

  • Theorem 1
  • Remark 1.1
  • Remark 1.2
  • Theorem 2
  • Corollary 3
  • Corollary 4
  • Remark 2.1
  • Example 2.2
  • Lemma 2.3
  • Lemma 2.4
  • ...and 87 more