Radicality of determinantal ideals for unions of splitting-type strata

Let B1,,Bd1B_1,\ldots,B_{d-1} be the non-trivial matrices of the direct image complexes of the versal deformation of Or1O(d){\mathcal O}^{r-1}\oplus {\mathcal O}(d). For any collection of positive integers rk1,,rksr_{k_1},\ldots,r_{k_s}, form the ideal

t=1sminors(rkt,Bkt).\sum_{t=1}^{s} \operatorname{minors}(r_{k_t},B_{k_t}).

Radicality conjecture. The ideal above is radical. This stronger assertion includes cases involving certain unions of splitting-type strata. The source records the case r=2r=2 as asserted by Room in 1938 and proved in characteristic 00 by Peskine and Szpiro.

Sources & referencesView supporting material

Primary source

David Eisenbud and Frank-Olaf Schreyer, “Relative Beilinson Monad and Direct Image for Families of Coherent Sheaves”, arXiv:math/0506391 (2006).

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.