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

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

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

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

r:=12(deg(bD(s))multbD(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.

Sources & referencesView supporting material

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.