The depth criterion for logarithmic de Rham vanishing

Let ZZ be a reduced closed subscheme of a smooth variety XX of dimension nn, let f:YXf:Y\to X be a log resolution, and let EE be the reduced exceptional divisor over ZZ. Depth–vanishing conjecture. If

depth(OZ)k+2,\operatorname{depth}(\mathscr{O}_Z)\geq k+2,

then

Rn2fΩYnk(logE)=0.R^{n-2}f_*\Omega_Y^{n-k}(\log E)=0.

This would extend the established vanishing for Rn1fΩYj(logE)R^{n-1}f_*\Omega_Y^j(\log E) and relate depth of OZ\mathscr{O}_Z to logarithmic de Rham direct-image vanishing; it remains open.

Sources & referencesView supporting material

Primary source

Mircea Mustata and Mihnea Popa, “Hodge filtration on local cohomology, Du Bois complex, and local cohomological dimension”, arXiv:2108.05192 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.