The type D stratified Mukai flop equivalence conjecture

About 15 years old · traced to

Let WW be a rank 2N2N vector bundle equipped with a fibrewise non-degenerate symmetric bilinear form, and let IG(N,2N)−\mathbb{IG}(N,2N)^- and IG(N,2N)+\mathbb{IG}(N,2N)^+ be the two components of the maximal isotropic Grassmannian. Define

IZ⁡(N):=T⋆IG(N,2N)−×IB⁡(N,2N)T⋆IG(N,2N)+.\operatorname{IZ}(N):=T^\star\mathbb{IG}(N,2N)^-\times_{\operatorname{IB}(N,2N)}T^\star\mathbb{IG}(N,2N)^+.

Let IZ⁡o(N)⊂IZ⁡(N)\operatorname{IZ}^o(N)\subset\operatorname{IZ}(N) be the open subvariety defined by

dim⁡(ker⁡X)+dim⁡(V∩V′)≤2N+2.\dim(\ker X)+\dim(V\cap V')\leq 2N+2.

There are natural inclusions IZ⁡o(N)→jIZ⁡(N)→iT⋆IG(N,2N)−×T⋆IG(N,2N)+\operatorname{IZ}^o(N)\xrightarrow{j}\operatorname{IZ}(N)\xrightarrow{i}T^\star\mathbb{IG}(N,2N)^-\times T^\star\mathbb{IG}(N,2N)^+. Type D stratified Mukai flop equivalence conjecture. There exists a C×\mathbb{C}^\times-equivariant line bundle IL(N){\mathcal{IL}}(N) on IZ⁡o(N)\operatorname{IZ}^o(N) such that i∗j∗IL(N)i_*j_*{\mathcal{IL}}(N) induces an equivalence

D(T⋆IG(N,2N)−)→∼D(T⋆IG(N,2N)+).D(T^\star\mathbb{IG}(N,2N)^-)\xrightarrow{\sim}D(T^\star\mathbb{IG}(N,2N)^+).

This is the expected type D analogue of the derived equivalence for stratified Mukai flops in type A, with the correspondence having multiple components and the open locus controlling the extension of the kernel. The supplied text gives no resolution of the claim, so its status remains open.

References

Primary source

Sabin Cautis, “Flops and about: a guide”, arXiv:1111.0688 (2012).

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.