The depth criterion for logarithmic de Rham vanishing

About 5 years old · traced to

Let ZZ be a reduced closed subscheme of a smooth variety XX of dimension nn, let f:Y→Xf: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

Rn−2f∗ΩYn−k(log⁡E)=0.R^{n-2}f_*\Omega_Y^{n-k}(\log E)=0.

This would extend the established vanishing for Rn−1f∗ΩYj(log⁡E)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.

References

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.