The generating-level bound for the Hodge filtration of a free divisor

About 7 years old · traced to

Let XX be a complex manifold, let DD be a divisor satisfying the assumptions of Theorem and Corollary, and let bD(s)b_D(s) be the relevant Bernstein–Sato polynomial. For a well-filtered module (M,F∙)(\mathcal{M},F_\bullet), the filtration is generated at level kk when

FlDX⋅FkM=Fk+lMF_l\mathcal{D}_X\cdot F_k\mathcal{M}=F_{k+l}\mathcal{M}

for every l≥0l\geq 0; its generating level is the smallest such integer. Generating-level conjecture. The Hodge filtration F∙HOX(∗D)F^H_\bullet\mathcal{O}_X(*D) is generated at level

r:=12(deg⁡(bD(s))−mult⁡bD(s)(−1)).r:=\frac{1}{2}\left(\deg(b_D(s))-\operatorname{mult}_{b_D(s)}(-1)\right).

This conjecture gives a bound for the complexity of the Hodge filtration and is supported by the calculations in the paper. Its general validity under the stated assumptions is not established here.

References

Primary source

Alberto Castaño Domínguez, Luis Narváez Macarro and Christian Sevenheck, “Hodge ideals of free divisors”, arXiv:1912.09786 (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.