The logarithmic-form cokernel bound for an Euler restriction

Let A{\mathcal{A}} be a hyperplane arrangement, let HAH\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;AH1)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

dimcokeriHLP(A,H)=χ0(A;AH1).\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.

Sources & referencesView supporting material

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.