Divisibility conjecture for the deformed polynomials of type B2

Let m,i0m,i\geq 0, and let fim~(x,y)\widetilde{f^m_i}(x,y) denote the deformed polynomial defined above for the type B2B_2 construction. The relevant derivation condition requires divisibility by the product of the linear forms x+ykx+y-k for mkm-m\leq k\leq m.

Divisibility conjecture. For any m,i0m,i\geq 0, the polynomial fim~(x,y)+fim~(y,x)\widetilde{f^m_i}(x,y)+\widetilde{f^m_i}(y,x) is divisible by

k=mm(x+yk).\prod_{k=-m}^m(x+y-k).

This assertion supplies the remaining divisibility condition needed for the displayed functions to define derivations in the type B2B_2 multiarrangement setting. The supplied text gives examples satisfying the conditions but does not state a proof or resolution of this general claim.

Sources & referencesView supporting material

Primary source

Misha Feigin, Zixuan Wang and Masahiko Yoshinaga, “Integral expressions for derivations of multiarrangements”, arXiv:2309.01287 (2023).

Additional references

4 papers in this index state this conjecture (2005–2023). The statement above is taken from the most recent of them; the others are arXiv:1802.02023, arXiv:math/0610185, arXiv:math/0504569.

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.