The modular-flat vanishing conjecture for hyperplane-arrangement forms

Let K\mathcal{K} be a hyperplane arrangement, let FF be a flat, let JJ be a set of hyperplanes, let ι\iota be as above, and let ωK,ι,F,J\omega_{\mathcal{K},\iota,F,J} denote the associated form. A flat FF' is proper modular when it is a proper modular flat of K\mathcal{K}; assume that FFF'\subseteq F. Modular-flat vanishing conjecture. If JJ contains exactly 22 hyperplanes not containing FF', then

ωK,ι,F,J=0.\omega_{\mathcal{K},\iota,F,J}=0.

The conjecture extends the preceding vanishing argument, which handles the case where JJ contains a unique hyperplane not containing FF'. The source does not give a resolution of the general case.

Sources & referencesView supporting material

Primary source

Basile Coron, “Matroid complexes and Orlik-Solomon algebras”, arXiv:2506.15048 (2025).

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.