Involutivity and radicality of Pfaffian ideals for Severi strata

About 10 years old · traced to

Let SS be the symplectic manifold with symplectic form Ω\Omega, let χ\chi denote the relevant matrix of logarithmic vector fields, and let Pf⁡2k(χtΩχ)\operatorname{Pf}_{2k}(\chi^t\Omega\chi) be the ideal generated by the 2k2k-Pfaffians of the matrix χtΩχ\chi^t\Omega\chi. For k=1,2,…,δk=1,2,\ldots,\delta, the Pfaffian-ideal conjecture.

Pf⁡2k(χtΩχ) is involutive and radical.\operatorname{Pf}_{2k}(\chi^t\Omega\chi)\text{ is involutive and radical.}

Involutivity is suggested by the coisotropic nature of the Severi strata, while radicality is needed to pass from the geometric coisotropic statement to the corresponding ideal-theoretic assertion. The source gives no resolution of either claim.

References

Primary source

Paul Cadman, David Mond and Duco van Straten, “Logarithmic vector fields and the Severi strata in the discriminant”, arXiv:1609.09305 (2016).

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.