The type D stratified Mukai flop equivalence conjecture

From papers

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):=TIG(N,2N)×IB(N,2N)TIG(N,2N)+.\operatorname{IZ}(N):=T^\star\mathbb{IG}(N,2N)^-\times_{\operatorname{IB}(N,2N)}T^\star\mathbb{IG}(N,2N)^+.

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

dim(kerX)+dim(VV)2N+2.\dim(\ker X)+\dim(V\cap V')\leq 2N+2.

There are natural inclusions IZo(N)jIZ(N)iTIG(N,2N)×TIG(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 IZo(N)\operatorname{IZ}^o(N) such that ijIL(N)i_*j_*{\mathcal{IL}}(N) induces an equivalence

D(TIG(N,2N))D(TIG(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.