DERIVED EQUIVALENCE FOR MUKAI FLOP VIA MUTATION OF SEMIORTHOGONAL DECOMPOSITION HAYATO MORIMURA Abstract We give a new proof of the derived equivalence of a pair of varieties connected either by the Abuaf flop, a Mukai flop, or a stard flop along the lines of [Ued], which in turn is based on [Kuz18] arxiv:181206413v1 [mathag] 16 Dec 2018 1 Introduction Let G be a semisimple Lie group B a Borel subgroup of G For distinct maximal parabolic subgroups P Q of G, three homogeneous spaces G/P, G/Q, G/(P Q) form the following diagram: (11) P G/P ϖ F G/(P Q) ϖ + Q G/Q We write the hyperplane classes of P Q as h H respectively By abuse of notation, the pull-back to F of the hyperplane classes h H will be denoted by the same symbol The morphisms ϖ ϖ + are projective morphisms whose relative O(1) are O(H) O(h) respectively We consider the diagram (12) P V ϖ ϕ F V ι φ V 0 φ + ϖ + Q ϕ + V is the total space of ((ϖ ) O(h + H)) over P, V + is the total space of((ϖ + ) O(h + H)) over Q, V is the total space of O( h H) over F, ι is the zero section, φ + φ are the affinizations which contract the zero sections If V V + have the trivial canonical bundles, then one expects from [BO02, Conjecture 44] or [Kaw02, Conjecture 12] that V V + are derived-equivalent When G is the simple Lie group of type G 2, Ueda [Ued] used mutation of semiorthogonal decompositions of D b (V) obtained by applying Orlov s theorem [Orl92] to diagram (12) to prove the derived equivalence of V V + This mutation in turn follows that of Kuznetsov [Kuz18] closely 1 V +
In this paper, by using the same method, we give a new proof to the following theorem, which is originally due to Bondal Orlov [BO], Kawamata [Kaw02], Namikawa [Nam03], Segal [Seg16]: Theorem 11 Varieties connected either by the Abuaf flop, a Mukai flop, or a stard flop are derived-equivalent There are several ways to prove Theorem 11 In [Seg16], Segal described a new 5-fold flop showed that varieties connected by it are derived-equivalent by using tilting vector bundles on them Since the flop is attributed to Abuaf, we call it the Abuaf flop Hara [Hara] constructed alternative tilting vector bundles studied the relation between functors defined by him Segal For a Mukai flop, Kawamata [Kaw02] Namikawa [Nam03] independently showed the derived equivalence by using the pull-back push-forward along the fiber product V V0 V + Addington, Donovan, Meachan [ADM] introduced a generalization of the functor of Kawamata Namikawa parametrized by an integer, discovered that certain compositions of these functors give the P-twist in the sense of Huybrechts Thomas [HT06] They also considered the case of a stard flop, the derived equivalence is originally proved by Bondal Orlov [BO] [ADM] gave two proofs of the derived equivalence for a stard flop, one of which is close, if not identical, to the proof given in this paper Hara [Hara17] also studied a Mukai flop in terms of non-commutative crepant resolutions For a stard flop, Segal [Seg16] showed the derived equivalence by using the grade restriction rule for variation of geometric invariant theory quotients (VGIT) originally introduced by Hori, Herbst, Page [HHP] VGIT method was subsequently developed by Halpern-Leistner [HL15] Ballard, Favero, Katzarkov [BFK] It is an interesting problem to develop this method further to prove the derived equivalence for the Abuaf flop a Mukai flop Notations conventions We work over an algebraically closed field k of characteristic 0 throughout this paper All pull-back push-forward are derived unless otherwise specified The complexes underlying Ext (, ) H ( ) will be denoted by hom(, ) h( ) respectively Acknowledgements The author thanks his advisor Kazushi Ueda for guidance encouragement 2 Abuaf flop Let P Q be the parabolic subgroups of the simple Lie group G of type C 2 associated with the crossed Dynkin diagrams The corresponding homogeneous spaces are the projective space ( P = P(V), the Lagrangian Grassmannian Q = LGr(V), the isotropic flag variety F = P P L P /L ) ( ) P = PQ SQ Here V is a 4-dimensional symplectic vector space, L P is the rank 3 vector bundle given as the symplectic orthogonal to the tautological line bundle L P O P ( h) on P, S Q is the tautological rank 2 bundle on Q Note that ( Q ) is also a quadric hypersurface in P 4 Tautological sequences on Q = LGr(V) F P Q S Q give (21) (22) 0 S Q O Q V S Q (H) 0 0 O F ( h + H) S F O F(h) 0 S F ϖ +S Q S Q is the symplectic orthogonal to S Q We have (ϖ ) (O F (H)) (( L P /L ) ) (23) P LP 2
(24) (ϖ + ) (O F (h)) S Q, whose determinants are given by O P (2h) O Q (H) respectively Since ω P O P ( 4h), ω Q O Q ( 3H), ω F O F ( 2h 2H), we have ω V O V, ω V+ O V+, ω V O V ( h H) Recall from [Beĭ78] that (25) from [Kuz08] (cf also [Kap88]) that (26) D b (P) = O P ( 2h), O P ( h), O P, O P (h), D b (Q) = (O Q ( H), S Q ( H), O Q, O Q (H) Since ϕ ± are blow-ups along the zero-sections, it follows from [Orl92] that (27) (28) (29) (210) D b (V) = ι ϖ D b (P), Φ (D b (V )) D b (V) = ι ϖ +D b (Q), Φ + (D b (V + )), Φ (( ) O V (H)) ϕ : D b (V ) D b (V) Φ + (( ) O V (h)) ϕ + : D b (V + ) D b (V) By abuse of notation, we use the same symbol for an object of D b (F) its image in D b (V) by the push-forward ι (25) (27) give (211) D b (V) = O F ( 2h), O F ( h), O F, O F (h), Φ (D b (V )) By mutating the first term to the far right, we obtain (212) D b (V) = O F ( h), O F, O F (h), Φ (D b (V )), O F ( h + H) since ω V O V ( h H) By mutating Φ (D b (V )) one step to the right, we obtain (213) (214) D b (V) = O F ( h), O F, O F (h), O F ( h + H), Φ 1 (D b (V )) Φ 1 R OF ( h+h) Φ Note that the canonical extension of O F (h) by O F ( h + H) associated with (215) (216) (217) (218) (219) (220) hom OV (O F (h), O F ( h + H)) hom OV ({O V (2h + H) O V (h)}, O F ( h + H)) h ({O F ( 2h + H) O F ( 3h)}) h (O F ( 2h + H)) h ( (ϖ + ) O F ( 2h) O Q (H) ) h ( O Q [ 1] ) k[ 1] is given by the short exact sequence (22) By mutating O F ( h + H) to the left, we obtain (221) By mutating O F ( h) to the far right, we obtain (222) D b (V) = O F ( h), O F, S F, O F(h), Φ 1 (D b (V )) D b (V) = O F, S F, O F(h), Φ 1 (D b (V )), O F (H) 3
By mutating Φ 1 (D b (V )) one step to the right, we obtain (223) (224) D b (V) = O F, S F, O F(h), O F (H), Φ 2 (D b (V )) Φ 2 R OF (H) Φ 1 One can easily see that O F (h) O F (H) are orthogonal, so that (225) D b (V) = O F, S F, O F(H), O F (h), Φ 2 (D b (V )) By mutating Φ 2 (D b (V )) one step to the left, we obtain (226) (227) By mutating O F (h) to the far left, we obtain (228) We have (229) (230) (231) (232) D b (V) = O F, S F, O F(H), Φ 3 (D b (V )), O F (h) Φ 3 L OF (h) Φ 2 D b (V) = O F ( H), O F, S F, O F(H), Φ 3 (D b (V )) ( hom OV OF, S ) ( F homov {OV (h + H) O V }, S ) F h ({ S F S F ( h H)}) h ( S ) F V, the dual of (21) shows that the kernel of the evaluation map O F V S F is (S F ) ( H) By mutating S F to the left, we obtain (233) D b (V) = O F ( H), (S F ) ( H), O F, O F (H), Φ 3 (D b (V )) By comparing (233) with (28), we obtain a derived equivalence (234) (235) is the left adjoint functor of Φ + Φ Φ! + Φ 3 : D b (V ) D b (V + ), Φ! +( ) (ϕ + ) (( ) O V ( h)) : D b (V) D b (V + ) 3 Mukai flop For n 2, let P Q be the maximal parabolic subgroups of the simple Lie group of type A n associated with the crossed Dynkin diagrams The corresponding homogeneous spaces are the projective spaces P = PV, Q = PV, the partial flag variety F = F (1, n; V), V is an (n + 1)-dimensional vector space Since ω P O( (n + 1)h), ω Q O( (n + 1)H), ω F O( nh nh), we have ω V O V, ω V+ O V+, ω V O( (n 1)h (n 1)H) Lemma 31 O F ( ih + jh) O F ( (i + 1)h + ( j 1)H) are acyclic for 1 j n 1 1 i n j Proof Since j n i 1 j n 1 i 1 2, the derived push-foward of O F ( ih + jh) O F ( (i + 1)h + ( j 1)H) vanish by [Har77, Exercise III84] unless i = n 1 j = 1, in which case the acyclicity of O F ( nh) is obvious Lemma 32 hom OV (O F (ih jh), O F ) 0 for 1 j n 1 1 i n j 4
Proof We have (31) hom OV (O F (ih jh), O F ) hom OV ({O V ((i + 1)h ( j 1)H) O V (ih jh)}, O F ) (32) h ({O F ( ih + jh) O F ( (i + 1)h + ( j 1)H)}), which vanishes by Lemma 31 Recall from [Beĭ78] that (33) D b (P) = O P, O P (h),, O P (nh) (34) D b (Q) = O Q, O Q (H),, O Q (nh) Since ϕ ± are blow-ups along the zero-sections, it follows from [Orl92] that (35) D b (V) = ι ϖ D b (P),, ι ϖ D b (P) O V ((n 2)H), Φ (D b (V )) (36) D b (V) = ι ϖ +D b (Q),, ι ϖ +D b (Q) O V ((n 2)h), Φ + (D b (V + )), (37) Φ (( ) O V ((n 1)H)) ϕ : D b (V ) D b (V) (38) Φ + (( ) O V ((n 1)h)) ϕ + : D b (V + ) D b (V) We write O i, j O F (ih + jh) (33) (35) give a semiorthogonal decomposition of the form (39) A 0 is given by D b (V) = A 0, Φ (D b (V )) (310) O 0,0 O 1,0 O n 2,0 O n 1,0 O n,0 O 1,1 O n 2,1 O n 1,1 O n,1 O n+1,1 O n 2,n 2 O n 1,n 2 O n,n 2 O n+1,n 2 O 2n 2,n 2 Note from Lemma 32 that there are no morphisms from right to left in (310) Since ω V O (n 1), (n 1), by mutating first (311) O 0,0 O 1,0 O n 2,0 O 1,1 O n 2,1 O n 2,n 2 to the far right, then Φ (D b (V )) to the far right, we obtain (312) (313) D b (V) = A 1, Φ 1 (D b (V )) Φ 1 (D b (V )) R On 1,n 1,,O 2n 3,2n 3 Φ 5
A 1 is given by (314) O n 1,0 O n,0 O n 1,1 O n,1 O n+1,1 O n 1,n 2 O n,n 2 O n+1,n 2 O 2n 3,n 2 O 2n 2,n 2 O n 1,n 1 O n,n 1 O n+1,n 1 O 2n 3,n 1 O n,n O n+1,n O 2n 3,n O n+1,n+1 O 2n 3,n+1 O 2n 3,2n 3 By mutating Φ 1 (D b (V )) one step to the left, then O 2n 2,n 2 to the far left, we obtain (315) (316) A 2 is given by D b (V) = A 2, Φ 2 (D b (V )) Φ 2 (D b (V )) L O2n 2,n 2 Φ 1 (317) O n 1, 1 O n 1,0 O n,0 O n 1,1 O n,1 O n+1,1 O n 1,n 2 O n,n 2 O n+1,n 2 O 2n 3,n 2 O n 1,n 1 O n,n 1 O n+1,n 1 O 2n 3,n 1 O n,n O n+1,n O 2n 3,n O n+1,n+1 O 2n 3,n+1 O 2n 3,2n 3 By comparing (315) with (34) (36), we obtain a derived equivalence (318) Φ (ϕ + ) (( ) O (2n 2),0 ) Φ 2 : D b (V ) D b (V + ) 4 Stard flop For n 1, let P Q be the maximal parabolic subgroups of the semisimple Lie group G = SL(V) SL(V ) associated with the crossed Dynkin diagram The corresponding homogeneous spaces are the projective spaces P = PV, Q = PV, their product F = PV PV Since ω P O( (n + 1)h), ω Q O( (n + 1)H), ω F O( (n + 1)h (n + 1)H), we have ω V O V, ω V+ O V+, ω V O( nh nh) Lemma 41 hom OV (O F (ih jh), O F ) 0 for 1 j n 1 1 i n j Proof We have (41) hom OV (O F (ih jh), O F ) hom OV ({O V ((i + 1)h ( j 1)H) O V (ih jh)}, O F ) (42) h ({O F ( ih + jh) O F ( (i + 1)h + ( j 1)H)}), which vanishes for 1 i n j n 1 6
It follows from [Orl92] that (43) D b (V) = ι ϖ D b (P),, ι ϖ D b (P) O((n 1)(h + H)), Φ (D b (V )) (44) D b (V) = ι ϖ +D b (Q),, ι ϖ +D b (Q) O((n 1)(h + H)), Φ + (D b (V + )), (45) Φ ( ) O V (n(h + H)) ϕ : D b (V ) D b (V) (46) Φ + ( ) O V (n(h + H)) ϕ + : D b (V + ) D b (V) We write O i, j O F (ih + jh) (33) (43) give a semiorthogonal decomposition of the form (47) D b (V) = A 0, Φ (D b (V )) A 0 is given by (48) O 0,0 O 1,0 O n 2,0 O n 1,0 O n,0 O 1,1 O n 2,1 O n 1,1 O n,1 O n+1,1 O n 2,n 2 O n 1,n 2 O n,n 2 O n+1,n 2 O 2n 2,n 2 O n 1,n 1 O n,n 1 O n+1,n 1 O 2n 2,n 1 O 2n 1,n 1 Note from Lemma 41 that there are no morphisms from right to left in (48) Since ω V O V ( nh nh), by mutating first (49) O 0,0 O 1,0 O n 2,0 O 1,1 O n 2,1 O n 2,n 2 to the far right, then Φ (D b (V )) to the far right, we obtain (410) (411) A 1 is given by (412) D b (V) = A 1, Φ 1 (D b (V )) Φ 1 (D b (V )) R On,n,,O 2n 2,2n 2 Φ O n 1,0 O n,0 O n 1,1 O n,1 O n+1,1 O n 1,n 1 O n,n 1 O n+1,n 1 O 2n 2,n 1 O 2n 1,n 1 O n,n O n+1,n O 2n 2,n O n+1,n+1 O 2n 2,n+1 O 2n 2,2n 2 By mutating Φ 1 (D b (V )) one step to the left, then O 2n 1,n 1 to the far left, we obtain (413) (414) D b (V) = A 2, Φ 2 (D b (V )) Φ 2 (D b (V )) L O2n 1,n 1 Φ 1 7
A 2 is given by (415) O n 1, 1 O n 1,0 O n,0 O n 1,1 O n,1 O n+1,1 O n 1,n 1 O n,n 1 O n+1,n 1 O 2n 2,n 1 O n,n O n+1,n O 2n 2,n O n+1,n+1 O 2n 2,n+1 O 2n 2,2n 2 By comparing (413) with (34) (44), we obtain a derived equivalence (416) Φ (ϕ + ) (( ) O (2n 1),0 ) Φ 2 : D b (V ) D b (V + ) References [ADM] N Addington, W Donovan, C Meachan, Mukai flops P-twists, Journal für die Reine und Angewte Mathematik https://doiorg/101515/crelle-2016-0024 [Beĭ78] A Beĭlinson, coherent sheaves on P n problems in linear algebra, Funktsional Rossiĭskaya Akademiya Nauk Funktsional nyıanaliz i ego Prilozheniya 12(3), 68-69 (1978) [BFK] M Balllard, D Favero, LKatzarkov, Variation of geometric invariant theory quotients derived categories, arxiv:12036643 [BO] A Bondal D Orlov, Semiorthogonal decomposition for algebraic varieties, arxiv:alggeom/9506012 [BO02] A Bondal D Orlov, Derived categories of coherent sheaves, Proceedings of the International Congress of Mathematicians, Vol II (Beijing, 2002), Higher Ed Press, Beijing, 2002, pp 47 56 MR 1957019 [Har77] R Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol 52, Springer-Verlag, 1977, xvi+496 pp ISBN: 0-387-90244-9 [Hara17] W Hara, Non-commutative crepant resolution of minimal nilpotent orbit closure of type A Mukai flops, Advances in mathematics 318, 355-410 (2017) [Hara] W Hara, On derived equivalence for Abuaf flop: mutation of non-commutative crepant resolutions [HHP] spherical twists, arxiv:170604417 M Herbst, K Hori, D Page, Phases of N=2 theories in 1+1 dimensions with boundary, arxiv:08032045 [HL15] D Halpern-Leistner, The derived category of a GIT quotient, Journal of the American Mathematical Society 28(3), 871-12 (2015) [HT06] D Huybrechts R Thomas, P-objects autoequivalences of derived categories, Mathematical Research Letters 13(1), 87-98 (2006) [Kap88] M kapranov, On the derived categories of coherent sheaves on some homogenous spaces, Inventiones Mathematicae 92(3), 479-508 (1988) [Kaw02] Y Kawamata, D-equivalence K-equivalence, Journal of Differential Geometry 61(1), 147-171 (2002) [Kuz08] A Kuznetsov, Exceptional collections for Grassmannians of isotropic lines, Proceedings of the London Mathematical SocietyThird Series 97, 155-182 (2008) [Kuz18] A Kuznetsov, Derived equivalence of Ito Miura Okawa Ueda Calabi Yau 3-folds, Journal of the Mathematical Society of Japan 70(3), 1007-1013 (2018) [Orl92] D O Orlov, Projective bundles, monoidal transformations, derived categories of coherent sheaves, RossiĭSkaya Akademiya NaukIzvestiyaSeriya Matematicheskaya 56, 852-862 (1992) [Nam03] Y Namikawa, Mukai flops derived categories, Journal für die Reine und Angewte Mathematik 560, 65-76 (2003) [Seg11] E Segal, Equivalence between GIT quotients of Lau-Ginzburg B-models, Communications in Mathematical Physics 304(2), 411-432 (2011) 8
[Seg16] E Segal, A new 5-fold flop derived equivalence, Bulletin of the London Mathematical Society 48, 533-538 (2016) [Ued] K Ueda, G2-Grassmannians derived equivalences, Manuscripta Mathematica https://doiorg/101007/s00229-018-1090-4 Graduate School of Mathematical Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo, 153-8914, Japan E-mail address: morimura@msu-tokyoacjp 9