The logarithmic-form cokernel bound for an Euler restriction

About 2 years old · traced to

Let A{\mathcal{A}} be a hyperplane arrangement, let H∈AH\in{\mathcal{A}}, and write A′{\mathcal{A}}' for the deletion and AH{\mathcal{A}}^H for the restriction to HH. Let

iH:Ω1(A′)⟶Ω1(AH)i_H:\Omega^1({\mathcal{A}}')\longrightarrow\Omega^1({\mathcal{A}}^H)

be the Euler restriction map, and let LP(A,H)=χ0(A;∣AH∣−1)LP({\mathcal{A}},H)=\chi_0({\mathcal{A}};|{\mathcal{A}}^H|-1). The logarithmic-form cokernel bound. The cokernel of iHi_H is finite-dimensional and satisfies

dim⁡coker⁡iH≤LP(A,H)=χ0(A;∣AH∣−1).\dim\operatorname{coker}i_H\leq LP({\mathcal{A}},H)=\chi_0({\mathcal{A}};|{\mathcal{A}}^H|-1).

The finite-dimensionality part is proved in the paper, while the stated upper bound is the remaining conjectural assertion.

References

Primary source

Takuro Abe and Hiraku Kawanoue, “Cokernels of the Euler restriction map of logarithmic derivation modules”, arXiv:2406.00305 (2024).

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.