Hodge filtration, minimal exponent, and local vanishing
type: Item
instance of: scholarly article
title: Hodge filtration, minimal exponent, and local vanishing
zbMATH Open document ID: 1446.14009
author: Mircea Mustaţă
author: Mihnea Popa
published in: Inventiones Mathematicae
publication date: 2020-04-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1901.05780
review text: Let \(X\) be a smooth complex variety of dimension \(n\), let \(D\) be a reduced effective divisor on \(X\) and let \(\alpha\) be a positive rational number. Locally, assuming that \(D\) is defined by a regular function \(f\), we can consider the \(\mathcal D_X\)-module \(\mathcal M(f^{-\alpha}):=\mathcal O_X[1/f]f^{-\alpha}\), where \(f^{-\alpha}\) is a symbol on which \(\mathcal D_X\) acts in the usual way. That object is a generalization of the usual localization \(\mathcal O_X(*D)\) to \(\mathbb Q\)-divisors, and since it is a direct summand of a mixed Hodge module, it can be endowed with the structure of a complex mixed Hodge module. The paper under review studies the generation level of its Hodge filtration and some local vanishing results, improving some previous results of the same authors (cf. [J. Éc. Polytech., Math. 6, 283--328 (2019; Zbl 1427.14045)] and [Forum Math. Sigma 8, Paper No. e19, 41 p. (2020; Zbl 1451.14055).]). Let \(\widetilde\alpha_D\) be the minimal exponent of \(D\), that is, the negative of the largest root of the reduced Bernstein-Sato polynomial of \(D\), namely \(\widetilde b_D(s)=b_D(s)/(s+1)\), and call \(\widetilde\alpha_f\) its local version. This invariant, known to be a refined version of the log canonical threshold of \((X,D)\), plays an important role in both main theorems. The first one states that, if \(\operatorname{div}(f)\) is a singular divisor, then the Hodge filtration on \(\mathcal M(f^{-\alpha})\) is generated at level \(n-\lceil\widetilde\alpha_f+\alpha\rceil\). This is a notable improvement from the previous general result in the same vein whenever \(\widetilde\alpha_f>1\), that is, when \(D\) has rational singularities. This is equivalent to the vanishing of the higher direct images \(\mathbf R^i\mu_*(\Omega_Y^{n-i}(\operatorname{log}E)\otimes_{\mathcal O_Y}\mathcal O_Y(-\lceil\mu^*\alpha D\rceil))\) for every \(i>n-\lceil\widetilde\alpha_f+\alpha\rceil\), where \(\mu:Y\rightarrow X\) is a log resolution of \((X,D…
reviewed by: Alberto Castaño Domínguez
Mathematics Subject Classification ID: 14F10
Mathematics Subject Classification ID: 14F17
Mathematics Subject Classification ID: 14J17
zbMATH DE Number: 7187475
zbMATH Keywords: Hodge filtration
zbMATH Keywords: Hodge ideals
zbMATH Keywords: minimal exponent
zbMATH Keywords: local vanishing
zbMATH Keywords: nearby cycles
zbMATH Keywords: vanishing cycles
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3101281486
arXiv ID: 1901.05780
cites work: Multiplier ideals, 𝑉-filtration, and spectrum
cites work: Q3955496
cites work: Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities
cites work: Q4650504
cites work: LOCAL VANISHING AND HODGE FILTRATION FOR RATIONAL SINGULARITIES
cites work: Hodge Ideals
cites work: Hodge ideals for \(\mathbf{Q}\)-divisors: birational approach
cites work: HODGE IDEALS FOR -DIVISORS, -FILTRATION, AND MINIMAL EXPONENT
cites work: 𝒟-MODULES IN BIRATIONAL GEOMETRY
cites work: Modules de Hodge polarisables. (Polarisable Hodge modules)
cites work: Duality for vanishing cycle functors
cites work: Mixed Hodge modules
cites work: On \(b\)-function, spectrum and rational singularity
cites work: On microlocal $b$-function
cites work: Q3649462
Wikidata QID: Q126840563
DOI: 10.1007/S00222-019-00933-X
Recommended article: LOCAL VANISHING AND HODGE FILTRATION FOR RATIONAL SINGULARITIES
Recommended article: Hodge theory with local coefficients on compact varieties
Recommended article: Hodge theory with local coefficients and fundamental groups of varieties
Recommended article: Q3315625
Recommended article: Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension
Recommended article: Q4986714
Recommended article: HODGE IDEALS FOR -DIVISORS, -FILTRATION, AND MINIMAL EXPONENT
Recommended article: Q3649462
Recommended article: Perverse filtration and Hodge theory
Recommended article: Hodge theory and the local Torelli problem
description: scientific article