Holonomicity conjecture for biresidue matrices

About 3 years old · traced to

Let B=(bij)i,j=0n−1B=(b_{ij})_{i,j=0}^{n-1} be a biresidue matrix. It is holonomic if, for every subset J⊂{0,1,…,n−1}J\subset\{0,1,\dots,n-1\} of odd cardinality, the linear span of the rows of the submatrix BJ=(bi,j)i,j∈JB_J=(b_{i,j})_{i,j\in J} does not contain the vector (1,1,…,1)∈CJ(1,1,\dots,1)\in\mathbb{C}^J. Holonomicity conjecture. Every biresidue matrix listed in the classification of smoothable cycles is holonomic. By the cited equivalence, this would imply holonomicity of the corresponding log symplectic forms and finite-dimensionality of the associated Poisson cohomology everywhere locally. The claim is motivated by numerical experiments and remains unproved in the source.

References

Primary source

Mykola Matviichuk, “Elliptic log symplectic brackets on projective bundles”, arXiv:2310.05284 (2023).

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.