arxiv: v1 [math.ag] 27 Jul 2014

Transcription

1 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE arxiv: v1 [math.ag] 27 Jul 2014 GENKI OUCHI Abstract. We prove that a very general cubic fourfold containing a plane can be embedded into a holomorphic symplectic eightfold as a Lagrangian submanifold. We construct the desired holomorphic symplectic eightfold as a moduli space of Bridgeland stable objects in the derived category of the twisted K3 surface corresponding to the cubic fourfold containing a plane. 1. INTRODUCTION 1.1. Motivation and results. Cubic fourfolds have been studied in the context of associated holomorphic symplectic manifolds, relations to K3 surfaces and rationality problems and so on. For example, Beauville and Donagi [BD] proved that the Fano variety FX) of lines on X is a holomorphic symplectic fourfold deformation equivalent to the Hilbert scheme of two points on a K3 surface. Recently, Lehn et al [LLSS] proved that if X is a cubic fourfold not containing a plane, then X can be embedded into a holomorphic symplectic eightfold Z as a Lagrangian submanifold. The above Z is constructed by the moduli space of generalized twisted cubics on X [JS], and if X is Pfaffian, then Addington and Lehn [AL] proved that Z is deformation equivalent to the Hilbert scheme of four points on a K3 surface. However, if X contains a plane, the argument of Lehn et al is not applied. In this paper, we proved the following theorem. Theorem 1.1. Let X be a very general cubic fourfold containing a plane. Then X can be embedded into a holomorohic symplectic eightfold M as a Lagrangian submanifold. Moreover, M is deformation equivalent to the Hilbert scheme of four points on a K3 surface. Although Lehn et al used the moduli space of twisted cubics, we use notions of derived categories and Bridgeland stability conditions in our construction of M. More presicely, the holomorphic symplectic eightfold M is constructed as a moduli space of Bridgeland stable objects in the derived category of the twisted K3 surface S,α), which corresponds to X. The twisted K3 surface S,α) is constructed by Kuznetsov [Kuz10], Section 4) in the context of his conjecture about K3 surfaces and rationality of cubic fourfolds Background. We recall Kuznetsov s conjecture. The rationality problem of cubic fourfolds is related to K3 surfaces conjectually. The derived category D b X) of coherent sheaves on X has the following semiorthogonal decomposition: 1) D b X) = A X,O X,O X 1),O X 2). 1

2 2 GENKI OUCHI The full triangulated subcategory A X is a Calabi-Yau 2 category i.e. the Serre functor of A X is isomorphic to the shift functor [2]. Kuznetsov proposed the following conjecture. Conjecture 1.2 [Kuz10]). A cubic fourfold X is rational if and only if there is a K3 surface S such that A X D b S). Hassett [Has00] introduced the notion of special cubic fourfolds. Cubic fourfolds containing a plane are examples of special cubic fourfolds. Special cubic fourfolds often have associated K3 surfaces Hodge theoretically [Has00]. Addington and Thomas [AT] proved that Kuznetsov s and Hassett s relations between cubic fourfolds and K3 surfaces coincide generically. The known examples of rational cubic fourfolds are Pfaffian cubic fourfolds[tr84], [Tr93] and some rational cubic fourfolds containing a plane, which are constructed in [Has99]. Conjectually, very general cubic fourfolds are irrational. However, there are no known examples of irrational cubic fourfolds so far. Kuznetsov constructed the equivalences between A X and the derived categories of coherent sheaves on K3 surfaces for these rational cubic fourfolds. For a general cubic fourfold X containing a plane, Kuznetsov proved the following theorem more generally. Theorem 1.3 [Kuz10], Theorem 4.3). Let X be a general cubic fourfold containing a plane. Then there is a twisted K3 surface S,α) such that A X D b S,α). Moreover, the Brauer class α BrS) is trivial i.e. the twisted K3 surface S,α) is the usual K3 surface S if and only if X is Hassett s rational cubic fourfold containing a plane. We say that a general cubic fourfold X containing a plane is very general when the Picard number of S is equal to one. If a cubic fourfold X containing a plane is very general, then A X is not equivalent to derived categories of coherent sheaves on K3 surfaces [Kuz10] Proposition 4.8). So very general cubic fourfolds containing a plane are irrational conjectually. We recall previous works on holomorphic symplectic manifolds associated to cubic fourfolds and derived categories. Using the mutation functors associated to the semiorthogonaldecomposition 1), we can define a projection functor pr: D b X) A X. The Fano variety FX) of lines on X and the holomorphic sympletic eightfold Z in [LLSS] are related to the projection functor pr: D b X) A X. In [KM], the Fano variety FX) of lines on X is regarded as a moduli space of objects in A X of the form pro line 1)). For a general cubic fourfold X containing a plane, Macri and Stellari [MS] constructed Bridgeland stability conditions on A X D b S,α) such that all objects of the form pro line 1)) are stable. So the Fano variety FX) of lines on a general cubic fourfold X containing a plane is isomorphic to a moduli space of Bridgeland stable objects in A X D b S,α). For a general Pfaffian cubic fourfold X not containing a plane, Lehn and Addington [AL] proved that the holmorphic symplectic eightfold Z is birational to the Hilbert scheme of four points on the K3 surface considering the projections of ideal sheaves of generalized) twisted cubics on X and the equivalence between A X and the derived category of coherent sheaves on the K3 surface. In particular, the holomorphic symplectic eightfold Z is deformation equivalent to the Hilbert scheme of four points for a general Paffian cubic fourfold not containing a plane Strategy for Theorem 1.1. To construct Lagrangian embeddingsof cubic fourfolds, we consider the projections of skyscraper sheaves of points on X. First,

3 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 3 we illustrate the relation between the projection functor pr: D b X) A X and Lagrangian embeddings of cubic fourfolds. We prove the following proposition in Section 4. Proposition 1.4. Let X be a cubic fourfold. Take a point x X. Then the followings hold. For x y X, pro x ) is not isomorphic to pro y ). We have Ext 1 O x,o x ) = C 4, Ext 1 pro x ),pro x )) = C 8 and Ext 2 pro x ),pro x )) HomprO x ),pro x )) = C. The linear map pr: Ext 1 O x,o x ) Ext 1 pro x ),pro x )) is injective. Let ω x : Ext 1 pro x ),pro x )) Ext 1 pro x ),pro x )) Ext 2 pro x ),pro x )) be the bilinear form induced by the composition of morphisms in the derived category. Then the bilinear form ω x vanishes on Ext 1 O x,o x ). Next, we construct a Lagrangian embedding of a very general cubic fourfold containing a plane using Bridgeland stability conditions σ on the Calabi-Yau 2 category A X such that the objects pro x ) are σ-stable for all x X. We prove the following proposition. Proposition 1.5 Proposition 3.3). Let X be a very general cubic fourfold containing a plane and Φ: A X D b S,α) be the equivalence as in Corollary Let v be the Mukai vector of ΦprO x )). Then there is a stability condition σ StabD b S,α)) generic with respect to v such that pro x ) is σ-stable for all x X. In particular, the morphism X M,x ΦprO x )) is the Lagrangian embedding. Here M is the moduli space of σ-stable objects with Mukai vector v. So M is deformation equivalent to the Hilbert scheme of four points on a K3 surface. In Proposition 1.4, we don t assume that a cubic fourfold X doesn t contain a plane. However, we assume that X is a very general cubic fourfold containing a plane in Proposition 1.5. Since we don t know how to construct stability conditions on A X for a general cubic fourfold X so far, we need to use some geometric discription of A X in order to construct Bridgeland stability conditions on A X. In fact, it is difficult to construct the heart C of a bounded t-structure on A X and a central charge Z: KA X ) C such that ZC \ {0}) is contained in the semiclosed upper-half plane. Moreover, we don t have well-established moduli theory for Bridgeland stable objects in A X. So we need some twisted) K3 surfaces to use moduli theory for Bridgeland stable objects as in [BM12], [BM13]. However, if X is a very general cubic fourfold containing a plane, we can construct desired Bridgeland stability conditions on A X using the twisted K3 surface S,α). Thus, using the moduli theory [BM12], [BM13] of Bridgeland stable objects on derived categories of twisted K3 surfaces, we have the Lagrangian embedding X M in Proposition 1.5. So we obtain Theorem 1.1. Finally we coments on two recent works on cubic fourfolds. One is the work on Bridgeland stability conditions on A X by Toda [Tod13]. By the Orlov s theorem [Orl09], the triangulated category A X is equivalent to the triangulated category HMF gr W) of graded matrix factorizations of the defining polynomial W of X. To

4 4 GENKI OUCHI investigatebridgelandstabilityconditionsona X isrelatedtotheexistenceproblem of Gepner type stability condition on HMF gr W), which is treated in [Tod13]. However, it is also difficult to construct the heart of a bounded t-structure on HMF gr W) so far. Other one is the work on rationality problem of cubic fourfolds and Fano variety of lines by Galkin and Shinder [GS]. Galkin and Shinder [GS] proved that rationality of cubic fourfolds is related to birationality of Fano varieties of lines and Hilbert schemes of two points on K3 surfaces if Cancellation conjecture on the Grothendieck ring of varieties holds. Addington [Ad] compared results in [GS] with Conjecture 1.2. It may be interesting to study relationship between Lagrangian embeddings of cubic fourfolds and rationality of cubic fourfolds. Construction of this paper. In Section 2, we recall the notion of Bridgeland stability conditions on derived categories of twisted K3 surfaces[bri07],[bri08],[hms]), properties of moduli spaces of Bridgeland stable objects in derived categories of twisted K3 surfaces [BM12],[BM13]), and the construction of Kuznetsov equivalence [Kuz10]). In Section 3, we define the projection functor pr: D b X) A X and explain Proposition 1.5 more precisely. In Section 4, we see properties of the projection functor and prove Proposition 1.4. In Section 5, we calculate the images of objects in A X via Kuznetsov equivalence and compute their Mukai vectors. In Section 6, we construct Bridgeland stability conditions on derived category of the twisted K3 surface such that projections of structure sheaves of points in X are stable. In this section, we complete the proof of Proposition 1.5 Notation. We work over the complex number field C. Cubic fourfolds and K3 surfaces are always smooth and projective. A triangulated category means a C- lineartriangulatedcategory. ForasmoothprojetivevarietyX, wedenotebyd b X) the bounded derived category of coherent sheaves on X. We write its Grothendieck group as KX) := KD b X)). For an object E D in a Calabi-Yau 2 category D, we say that E is spherical if RHomE,E) = C C[ 2]. Let D be a triangulated category. For an exceptional object E D, we define the right mutation functor R E : D D and the left mutation functor L E : D D as follows R E ) := Cone RHom,E) E)[ 1] L E ) := ConeRHomE, ) E ). Acknowledgements. I would like to express my sincere gratitude to my advisor Professor Yukinobu Toda for his valuable comments and warmful encouragement. I would like to thank Professor Hokuto Uehara, Professor Shinnosuke Okawa and Professor Daisuke Matsushita. They gave me the chances to talk about my result in this paper at DMM seminar at Kavli IPMU, the workshop at Osaka University and the workshop at RIMS in Kyoto respectively. This work was supported by the program for Leading Graduate Schools, MEXT, Japan. 2. PRELIMINARY In this section, we recall the notions of twisted K3 surfaces and Bridgeland stability conditions, and the relation between cubic fourfolds containing a plane and twisted K3 surfaces.

5 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE Twisted K3 surfaces. We review the definitions of twisted K3 surfaces, twisted sheaves and the twisted Mukai lattices. Definition 2.1 [C]). A twisted K3 surface is a pair S,α) of a K3 surface S and an element α of the Brauer group BrS) := H 2 S,O S ) tor of S. Definition 2.2 [C]). Let S, α) be a twisted K3 surface. Taking an analytic open cover {U i } i I of S, the Brauer class α can be represented by Čech cocycle {α ijk}. An α-twisted coherent sheaf F on S is a collection {F i } i I,{φ ij } i,j I ), where F i is a coherent sheaf on U i and φ ij Ui U j : F i Ui U j F j Ui U j is an isomorphism satisfying the following conditions: φ ii = id, φ ij = φ 1 ji, φ ij φ jk φ ki = α ijk id. We denote by CohS,α) and set D b S,α) := D b CohS,α)) the category of α- twisted coherent sheaves on S. Let S,α) be a twisted K3 surface. For simplicity, we will say E CohS,α) a sheaf instead of an α-twisted sheaf. Take B H 2 S,Q) with expb 0,2 ) = α. Then B is called a B-field of α. Here B 0,2 is the 0,2)-part of B in H 2 S,C). We define the twisted Mukai lattice H 1,1 S,B,Z) as follow: 2 ) H 1,1 S,B,Z) := e B H i,i S,Q) H S,Z). i=0 The lattice structure is given by the Mukai pairing, : r,c,d),r,c,d ) := cc rd dr. There is the twisted Chern character [HS] ch B : KS,α) H 1,1 S,B,Z). The twisted Chern character ch B satisfies the Riemann-Roch formula: 2) χe,f) = v B E),v B F). Here v B E) := ch B E) td S H 1,1 S,B,Z) is the twisted) Mukai vector of E KS,α). We denote by c B 1 ) the degree 2 part of vb ). Remark 2.3. Let NS,α) be the numerical Grothendieck group of D b S,α). The twisted Chern character induces the isomorphism ch B : NS,α) H 1,1 S,B,Z). Lemma 2.4 [MS], Lemma 3.1). Let d be the order of α. Then the twisted Mukai lattice H 1,1 S,B,Z) is generated by d,db,0),pics) and 0,0,1) in H S,Z). In particular, the rank of E is divisible by d for all E D b S,α) Bridgeland stability conditions. Let D be a triangulated category and ND) be the numerical Grothendieck group of D. Assume that ND) is finitely generated. If D is the derived category of a twisted K3 surface, this assumption is satisfied. Definition 2.5 [Bri07]). A stability condition on D is a pair σ = Z,C) of a group homomorphism called central charge) Z : ND) C and the heart of a bounded t-structure C D on D, which satisfy the following conditions:

6 6 GENKI OUCHI For any 0 E C, we have ZE) {re iπφ C r > 0,0 < φ 1}. For any 0 E C, there is a filtration called Harder-Narasimhan filtration) in C 0 = E 0 E 1 E N = E such that F i := E i /E i 1 is σ-semistable and φf i ) > φf i+1 ) for all 1 i N 1. Fix a norm on ND) R. Then there is a constant C such that E C ZE) for any non-zero σ-semistable object E C. This property is called the support property. Here we put φe) := argze))/π 0,1] for 0 E C and E C is σ- semi)stable if the inequality φf) < )φe) holds for any 0 F E. Remark 2.6 [Bri07]). We denote by StabD) the set of all stability conditions on D. Then StabD) has a natural topology such that the map StabD) Hom Z ND),C),Z,C) Z is a local homeomorphism. In particular, StabD) has a structure of a complex manifold. From now on, we focus on stability conditions on derived categories of twisted K3 surfaces. Let S,α) be a twisted K3 surface and fix a B-field B H 2 S,Q) of the Brauer class α. We set StabS,α) := StabD b S,α)). Definition 2.7. Fix an ample divisor ω NSS) on S. Let E CohS,α) be a sheaf. We define the slope µ B E) of E as follow: µ B E) := cb 1 E) ω rke. If rke = 0, then we regard µ B E) =. We say that E is µ B -semi)stable if and only if µ B F) ) < µ B E/F) holds for all nonzero subsheaves F E. Notethattheµ B -satabilityadmitstheharder-narasimhanfiltrationsandjordan- Hölder filtrations. Example 2.8 [Bri08], [HS]). Take B NSS) R and a real ample class ω NSS) R with ω 2 > 2. Let B := B +B H 2 S,R). We define a group homomorphism Z := Z B,ω : NS,α) C as follow: Z B,ω E) := v B E),e B+iω. We can define a torsion pair T,F) on CohS,α) as follows: T := E CohS,α) E is µ B -semistable with µ B E) > Bω ex F := E CohS,α) E is µ B -semistable with µe) Bω ex. Then C := F[1],T ex D b S,α) is the heart of a bounded t-structure on D b S,α) induced by the torsion pair T,F). Here we denote the extension closure by ex. The pair Z,C) is a stability condition on D b S,α). Let Stab S,α) be the conected component of the space of stability conditions StabS,α), which contains the stability conditions of the form Z B,ω,C).

7 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 7 Remark 2.9 [Bri08], [Tod08], [BM13]). Fix a Mukai vector v H 1,1 S,B,Z). Then Stab S,α) has a wall and chamber structure which depends only on a choice of v. Variying σ Stab S,α) within a chamber, the set of σ-semi)stable objects with Mukai vector v does not change. If σ Stab S,α) is in a chamber, we say σ is generic with respect to v. If v is primitive, then σ Stab S,α) is generic with respect to v if and only if all σ-semistable objects with Mukai vector v are σ-stable Moduli spaces of Bridgeland stable complexes on twisted K3 surfaces. We recall the facts on moduli spaces of Bridgeland stable objects on twisted K3 surfaces. Definition A holomorphic symplectic variety is a simply connected smooth projective variety M with a non-degenerate holomorphic 2-form ω called symplectic form) such that H 0 M,Ω 2 M ) = C ω. Examples of holomorphic symplectic varieties which will be appeared later are moduli spaces of Bridgeland stable objects in derived categories of twisted K3 surfaces. Theorem 2.11 [BM13]). Let S,α) be a twisted K3 surface and v H 1,1 S,B,Z) be a primitive Mukai vector with v,v 2. Let σ Stab S,α) be a stability condition generic with respect to v. Then the coarse moduli space M σ v) of σ- stable objects with Mukai vector v is a holomorphic symplectic variety deformation equivalent to the Hilbert scheme of points of a K3 surface and dimm σ v) = 2 + v,v Relation between cubic fourfolds and twisted K3 surfaces. Let X be a cubic fourfold and H be a hyperplane section of X. Consider the semiorthogonal decomposition: D b X) = A X,O X,O X H),O X 2H). The full triangulated subcategory A X = {E D b X) RHomO X ih),e) = 0,i = 0,1,2} D b X) is a Calabi-Yau 2 category[kuz03], Corollary 4.3). We recall geometric properties of cubic fourfolds containing a plane [Has99], [Kuz10]. Suppose that X contains a plane P = P 2 in P 5. Let σ: X X be the blowing up of X at the plane P and p: P 5 P 5 be the blowing up of P 5 at the plane P. The linear projection from P gives the morphism q: P 5 P 2. This is a projectivization of the rank 4 vector bundle O 3 P O 2 P 2 h) on P 2. Here h is a line in P 2. Let D be the exceptional divisor of σ. Then D is linearly equivalent to H h on X. Set π := q j: X P 2, where j: X P5 is the natural inclusion. Then π: X P 2 is a quadric fibration with degenerate fibres along a plane curve C of degree 6. We assume that fibres of π don t degenerate into union of two planes. Then C is a smooth curve. Let f: S P 2 be the double cover ramified along C. Since C is smooth, the surface S is a K3 surface. D X j P 5 P σ X p q P 5 P 2 S f

8 8 GENKI OUCHI We recall Kuznetsov s construction [Kuz10] of the twisted K3 surface S, α) and equivalence between A X and D b S,α). The quadric fibration π defines the sheaf of Clifford algebras B on P 2. It has the even part B 0 and the odd part B 1, which are described as B 0 = O P 2 O P 2 h) 3 O P 2 2h) 3 O P 2 3h) B 1 = O 3 P 2 O P 2 h) 2 O P 2 2h) 3. Let CohP 2,B 0 ) be the category of coherent right B 0 -modules on P 2. Note that B 0 is a spherical object in D b P 2,B 0 ). Set D b P 2,B 0 ) := D b CohP 2,B 0 )). Lemma 2.12 [Kuz08], [Kuz10]). There exists a fully faithful functor with the semiorthgonal decomposition Φ: D b P 2,B 0 ) D b X) D b X) = ΦD b P 2,B 0 )),π D b P 2 ),π D b P 2 )H). The left adjoint functor Ψ: D b X) D b P 2,B 0 ) of Φ is described as Ψ ) = Rπ ) O Xh) E)[2]. Here E is the rank 4 vector bundle on X with a structure of a flat right π B 0 -module and the exact sequence 3) 0 q B 1 h 2H) q B 0 H) j E 0. Lemma 2.13 [Kuz10]). The followings hold. The functor Φ P 2 := Rσ L O X h H) R O X h) Φ: D b P 2,B 0 ) A X gives an equivalence. There is a sheaf B of Azumaya algebras on S such that f B = B 0 and f : CohS,B) CohP 2,B 0 ) gives an equivalence. There are a Brauer class α of order 2 and a rank 2 vector bundle U 0 CohS,α) such that U0 : CohS,α) CohS,B) gives an equivalence. Corollary The functor Φ S := Φ P 2 f U 0 : D b S,α) A X is an equivalence. Remark The following holds. Φ 1 P 2 = ΨL O X h) R O X h H) Lσ : A X D b P 2,B 0 ) If X is very general i.e. PicS = Z, then α is non-trivial. Proposition 2.16 [Kuz10], Proposition 4.8). If X is very general, A X is not equivalent to D b S ) for any K3 surface S. In particular, α 1. Due to Lemma 2.4, the condition α 1 is strong constraint. In fact, if α 1, then there are no rank one sheaves on S,α). The following lemma will be needed later. Lemma 2.17 [MS], Lemma 2.4). The followings hold. For any m Z, ΨO Xmh)) = ΨO Xmh H)) = 0. ΨO X h+h)) = B 0 [2], ΨO Xh 2H)) = B 1. In the next section, we see the construction of the Lagrangian embeddings.

9 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 9 3. FORMULATION OF THE MAIN PROPOSITION In this section, we define the projection functor and formulate Proposition 1.5. Definition 3.1. Let X be a cubic fourfold and H be a hyperplane section of X. We define the projection functor as follow. 4) pr := R OX H)L OX L OXH)[1]: D b X) A X From now on, we use the same notation as in Section 2.4. Definition 3.2. For a point x X, let P x := Φ 1 S pro x))[ 4] D b S,α). The following proposition is the more precise version of Proposition 1.5. Proposition 3.3 Proposition 1.5). Assume that X is a very general cubic fourfold containing a plane P. Fix a B-field B H 2 S,Q) of the Brauer class α and let v := v B P x ) H 1,1 S,B,Z) for x X. Then the follwings hold. a) There is a stability condition σ Stab S,α) generic with respect v such that P x is σ-stable for each x X. b) M σ v) is a holomorphic symplectic eightfold. c) X M σ v),x P x is a closed immersion. d) X is a Lagrangian submanifold of M σ v). In the rest of the paper, we will give a proof of Proposition 3.3. In the proof of a), we will construct a family {σ λ } of stability conditions generic with respect to v such that P x is σ λ -stable for each x X. The construction of stability conditions will be in Section 6. The statement b) will be deduced by Theorem 2.11 and RHomprO x ),pro x )) = C C 8 [ 1] C[ 2] or v,v = 6. The Mukai vector v will be calculated in Section 5. In the proof of c) and d), we identfy tangent spaces T x X and T x M σ v) with Ext 1 O x,o x ) and Ext 1 P x,p x ) respectively. The statements c), d) is deduced from Proposition 1.4. This will be in Section 4. Note that we will not use K3 surfaces and the plane P in a cubic fourfold X in the proof of Proposition THE PROJECTION FUNCTOR AND LAGRANGIAN EMBEDDINGS In this section, we prove Proposition 1.4. Let X be a cubic fourfold and H be a hyperplane section of X. Take a point x X. Let I x O X be the ideal sheaf of x X. First, we calculate the image pro x ) of the skyscraper sheaf O x. Lemma 4.1. Let L PicX be a line bundle on X. The followings hold. RHomO x,l) = O x [ 4]. RHomO x,l) = C[ 4]. Proof. The second claim is deduced by the first claim. So we prove the first claim. Let i x : x X be the natural inclusion. Using the Grothendieck-Verdier duality, we have the isomorphisms RHomO x,l) = RHomi x O x,l) i x RHom x O x,i! x L) i x RHom x O x,o x [ 4]) O x [ 4].

10 10 GENKI OUCHI Consider the exact sequence 5) 0 I x H) O X H) O x 0. Let e 1 : O x I x H)[1] be the extension morphism of 5). Since RHomO X H),I x H)) = RΓX,I x ) = 0, we have I x H) O X H). This implies L OXH)O x )[ 1] = I x H). Since I x H) O X H) is genarated by five linear functions on X, we have the surjection O 5 X I xh). Let F x := KerO 5 X I xh)). Consider the exact seqence 6) 0 F x O 5 X I xh) 0. Let e 2 : I x H) F x [1] be the extension morphism of 6). If F x O X, we can get L OX I x H))[ 1] = F x. In fact, the following holds. Lemma 4.2. We have RHomO X,F x ) = 0. Proof. Applying RΓX, ) to the exact sequence 5), we have the exact triangle RΓX,I x H)) RΓX,O X H)) RΓX,O x ). Since RΓX,O X H)) = C 6 and RΓX,O x ) = C, we have RΓX,I x H)) = C 5. Applying RΓX, ) to the exact sequence 6), we have an exact triangle RΓX,F x ) RΓX,O 5 X ) RΓX,I xh)). Since RΓX,O 5 X ) = RΓX,I xh)) = C 5, we have RHomO X,F x ) = RΓX,F x ) = 0. By the definition of the right mutation functor R OX H): D b X) D b X), there is the exact triangle F x RHomF x,o X H)) O X H) pro x ). We calculate RHomF x,o X H)) in the next lemma. Lemma 4.3. We have RHomF x,o X H)) = C[ 2]. Proof. Applying RHom,O X H)) to the exact sequences 5) and 6), we have the exact triangles RHomO x,o X H)) RHomO X H),O X H)) RHomI x H),O X H)), RHomI x H),O X H)) RHomO 5 X,O X H)) RHomF x,o X H)). ByLemma4.1andRHomO X H),O X H)) = 0,thefirstexacttriangleisnothing but C[ 4] 0 RHomI x H),O X H)). So we obtain RHomI x H),O X H)) = C[ 3]. Since RHomO 5 X,O X H)) = 0, the second exact triangle is nothing but RHomI x H),O X H)) 0 RHomF x,o X H)).

11 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 11 This implies RHomF x,o X H)) = RHomI x H),O X H))[1] = C[ 2]. By Lemma 4.3, we have the following exact triangle 7) F x O X H)[2] pro x ). Collecting exact triangles 5), 6) and 7), we have the following proposition. Lemma 4.4. There are the following exact triangles on X: 8) I x H) O X H) O x e 1 Ix H)[1] 9) F x O 5 X I xh) e2 F x [1] 10) F x c OX H)[2] pro x ) e3 F x. Here c is the morphism in 7). Taking the long exact sequence of the exact triangle10), we obtain the following remark. Remark 4.5. The following holds. H 0 pro x )) = F x. H 1 pro x )) = O X H). H k pro x )) = 0 for any k 1,0. The following proposition is the first statement in Proposition 1.4. Proposition 4.6. Let x y X be distinct points in X. Then pro x ) is not isomorphic to pro y ). Proof. By Remark 4.5, it is sufficient to prove that F x is not isomorphic to F y. So we prove that Ext 2 F x,o X ) O x. Applying RHom,O X ) to the exact triangles 8) and 9), we can obtain the isomorphisms Ext 2 F x,o X ) Ext 3 I x H),O X ) Ext 4 O x,o X ) O x. Thus we have calculated the image pro x ) of the skyscraper sheaf O x. Second, we calculate Ext-groups and prove the remaining statements in Proposition 1.4. Lemma 4.7. The following holds. RΓX,F x H)) = C 10. RHomI x H),O X ) = C[ 3].

12 12 GENKI OUCHI Proof. Consider the exact sequence 0 I x 2H) O X 2H) O x 0. Taking RΓX, ), we have the exact triangle RΓX,I x 2H)) RΓX,O X 2H)) RΓX,O x ). Since RΓX,O X 2H)) = C 21 and RΓX,O x ) = C, we obtain RΓX,I x 2H)) = C 20. Applying O X H) to the exact sequence 9), we have 0 F x H) O X H) 5 I x 2H) 0. Taking RΓX, ), we have the exact triangle RΓX,F x H)) RΓX,O X H) 5 ) RΓX,I x 2H)). Since RΓX,O X H) 5 ) = C 30 and RΓX,I x 2H)) = C 20, we obtain RΓX,F x H)) = C 10. We prove the second claim. Applying RHom,O X ) to the exact sequence 8), we have the exact triangle RHomO x,o X ) RHomO X H),O X ) RHomI x H),O X ). By Lemma 4.1 and RHomO X H),O X ) = 0, we obtain RHomI x H),O X ) = C[ 3]. Lemma 4.8. There are the following isomorphisms. 11) e 1 : RHomI x H),I x H)) RHomO x,i x H))[1] 12) e 2 : RHomF x,f x ) RHomI x H),F x )[1] 13) e 3 : RHomprO x ),pro x )) RHomprO x ),F x )[1] Proof. Applying RHom,I x H)) to the exact sequence 8), we have the exact triangle RHomO x,i x H)) RHomO X H),I x H)) RHomI x H),I x H)). Since I x H) O X H), we have RHomO X H),I x H)) = 0. So we obtain the isomorphism e 1 : RHomI x H),I x H)) RHomO x,i x H))[1]. Using F x O X and pro x ) A X similarly, we can obtain e 2 : RHomF x,f x ) RHomI x H),F x )[1] e 3 : RHomprO x ),pro x )) RHomprO x ),F x )[1].

13 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 13 Applying RHomO x, ) to the exact triangle 8), we have the exact triangle 14) RHomO x,i x H)) RHomO x,o X H)) RHomO x,o x ) By Lemma 4.1, the exact triangle 14) is nothing but 15) RHomO x,i x H)) C[ 4] RHomO x,o x ). Taking the long exact sequence of the exact triangle 15), we have the folloing isomorphisms. Lemma 4.9. There are the following isomorphisms. e 1 : HomO x,o x ) Ext 1 O x,i x H)) e 1 : Ext 1 O x,o x ) Ext 2 O x,i x H)) e 1 : Ext 2 O x,o x ) Ext 3 O x,i x H)) Applying RHomI x H), ) to the exact triangle 9), we have the exact triangle 16) RHomI x H),F x ) RHomI x H),O 5 X ) RHomI xh),i x H)) By Lemma 4.7, the exact triangle 16) is nothing but 17) RHomI x H),F x ) C 5 [ 3] RHomI x H),I x H)). Taking the long exact sequence of the exact triangle 17), we have the following isomorphisms. Lemma There are the following isomorphisms. e 2 : HomI x H),I x H)) Ext 1 I x H),F x ) e 2 : Ext 1 I x H),I x H)) Ext 2 I x H),F x ) Applying RHom,F x ) to the exact triangle 10), we have the exact triangle 18) RHomprO x ),F x ) RHomO X H)[ 2],F x ) RHomF x,f x ). By Lemma 4.7, the exact triangle 18) is nothing but 19) RHomprO x ),F x ) C 10 [ 2] RHomF x,f x ). Taking the lomg exact sequence of the exact triangle 19), we have the following isomorphism. Lemma There is the isomorphism e 3 : HomF x,f x ) Ext 1 pro x ),F x ). We can prove that the object pro x ) is simple. Corollary We have HomprO x ),pro x )) = C.

14 14 GENKI OUCHI Proof. By Lemma 4.8, Lemma 4.9, Lemma 4.10 and Lemma 4.11, we have the isomorphisms HomprO x ),pro x )) e3 Ext 1 pro x ),F x ) e 3 HomFx,F x ) e 2 Ext 1 I x H),F x ) e 2 HomI x H),I x H)) e 1 Ext 1 O x,i x H)) e 1 HomO x,o x ) = C. Lemma We have Ext 2 F x,f x ) = C 7. Proof. By the exact triangle 17), we have the exact sequence 0 Ext 2 I x H),I x H)) Ext 3 I x H),F x ) C 5 Ext 3 I x H),I x H)) Ext 4 I x H),F x ) 0. By Lemma 4.8 and the isomorphism 13), we have Ext 4 I x H),F x ) Ext 3 F x,f x ) By Lemma 4.8 and Lemma 4.9, we have Ext 4 pro x ),F x ) Ext 3 pro x ),pro x )) = 0. Ext 2 I x H),I x H)) = C 6 Ext 3 I x H),I x H)) = C 4 Ext 2 F x,f x ) Ext 3 I x H),F x ). So the above long exact sequence can be described as Hence, we have Ext 2 F x,f x ) = C 7. 0 C 6 Ext 2 F x,f x ) C 5 C 4 0. We can calculate the dimension of Ext 1 pro x ),pro x )). Corollary We have Ext 1 pro x ),pro x )) = C 8. Proof. By Lemma 4.8 and Lemma 4.10, we have 20) Ext 1 F x,f x ) = C 4 Ext 1 pro x ),pro x )) Ext 2 pro x ),F x ). Moreover, using Lemma 4.8 and Corollary 4.12, we have Ext 3 pro x ),F x ) Ext 2 pro x ),pro x )) = C. Here the last equality is deduced from the Serre duality for A X. By the exact triangle 19), we obtain the long exact sequence 0 C 4 Ext 1 pro x ),pro x )) C 10 C 7 C 0. So we obtain Ext 1 pro x ),pro x )) = C 8.

15 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 15 We will complete the proof of the third statement in Proposition 1.4. Proposition The linear map pr: Ext 1 O x,o x ) Ext 1 pro x ),pro x )) is injective. Proof. By Lemma 4.8, Lemma 4.9, Lemma 4.10 and Lemma 4.11, the linear map pr: Ext 1 O x,o x ) Ext 1 pro x ),pro x )) can be factorized as follows: pr: Ext 1 O x,o x ) e1 Ext 2 O x,i x H)) e 1 Ext 1 I x H),I x H)) e 2 Ext 2 I x H),F x ) e 2 Ext 1 F x,f x ) e 3 Ext 2 pro x ),F x ) e 3 Ext 1 pro x ),pro x )). Finaly, we will prove the last statement in Proposition 1.4. Before giving a proof, we recall the definition of the bilinear form on Ext 1 pro x ),pro x )), which is corresponding to the symplectic forms on moduli spaces of Bridgeland stable complexes on twisted K3 surfaces. Definition We define a bilinear form ω x : Ext 1 pro x ),pro x )) Ext 1 pro x ),pro x )) C by the composition of morphisms in the derived category. The following proposition implies Proposition 3.3d). Proposition4.17. The bilinear form ω x vanishes on Ext 1 O x,o x ) Ext 1 O x,o x ). Proof. Consider the following commutative diagram: Ext 1 O x,o x ) Ext 1 O x,o x ) composition Ext 2 O x,o x ) pr Ext 1 pro x ),pro x )) Ext 1 pro x ),pro x )) ω x Ext 2 pro x ),pro x )). It is sufficient to prove that 21) pr: Ext 2 O x,o x ) Ext 2 pro x ),pro x )) is zero. pr

16 16 GENKI OUCHI The linear map 21) can be factorized as follows: pr: Ext 2 O x,o x ) e1 Ext 3 O x,i x H)) e 1 Ext 2 I x H),I x H)) e 2 Ext 3 I x H),F x ) e 2 Ext 2 F x,f x ) e 3 Ext 3 pro x ),F x ) e 3 Ext 2 pro x ),pro x )). Applying RHom,O X ) to the exact triangle 9), we have the exact triangle RHomI x H),O X ) RHomO 5 X,O X) RHomF x,o X ). Since RHomO 5 X,O X) = C 5, we have 22) Ext 2 F x,o 5 X ) e2 Ext 3 I x H),O 5 X ). By the isomorphism 22) and the exact triangle 16), we have ImExt 2 I x H),I x H)) Ext 2 F x F x )) =KerExt 2 F x,f x ) Ext 2 F x,o 5 X )). Note that this vector space is 6-dimensional. Recall that c: F x O X H)[2] is the morphism in the exact triangle 10). Taking the long exact seqence of the exact triangle 18), we have the following exact sequence Hence, we have 0 Ext 1 F x,f x ) e3 Ext 2 pro x ),F x ) Ext 2 O X H)[2],F x ) c Ext 2 F x,f x ) e3 Ext 3 pro x ),F x ) 0. KerExt 2 F x,f x ) e3 Ext 3 F x,pro x ))) =ImExt 2 O X H)[2],F x ) c Ext 2 F x,f x )). By20), Lemma 4.7, Lemma 4.8 and Corollary 4.14, this vector space is 6-dimensional. So it is enough to prove that ImExt 2 O X H)[2],F x ) c Ext 2 F x,f x )) KerExt 2 F x,f x ) Ext 2 F x,o 5 X )). Take ψ ImExt 2 O X H)[2],F x ) c Ext 2 F x,f x )). Then there is a morphism η Ext 2 O X H)[2],F x ) satisfying a following commutative diagram: F c x O X H)[2] ψ η F x [2] O 5 X [2]. Take a hyperplane section H of X such that x / H. Let i: O X H) O X be the morphism defining H.

17 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 17 We prove that i[2] c 0. Assume that i[2] c = 0. Then there is a morphism between exact triangles: Since x / H, we have c F x O X H) id pro x ) O H 1)[1] O X H)[2] i[2] O X [2]. 0 F x H O 5 H O H1) 0, which is the restriction of the exact sequence 8). Applying RHom,O H ) to this exact seqence, we have RHomF x,o H ) = RHomF x H,O H ) = C 5. This implies Ext 1 F x,o H ) = 0. Since c 0, this is contradiction. Note that the vector space KerExt 2 O X H)[2],O X ) c Ext 2 F x,o X )) is generated by morphisms O X H) O X induced by hyperplane sections of X, which is through the point x. By the definition of F x, the composition O X H) η F x are induced by hyperplane sections of X, which is through x X. So the O 5 X composition F x ψ Fx [2] O 5 X is zero. Hence, we have ψ KerExt 2 F x,f x ) Ext 2 F x,o 5 X )). Thus we have proved Proposition 1.4. In the next section, we will see properties of the object P x on the twisted K3 surface, which is corresponding to the point x X. 5. DESCRIPTION OF COMPLEXES ON TWISTED K3 SURFACES Let X be a cubic fourfold containing a plane P as in Section 2.4 and S,α) be the correspoding twisted K3 surface. We use the same notation as Section 2.4. Definition 5.1. For a point x X, we define the object R x D b S,α) as follow: R x := Φ 1 P 2 pro x ))[ 4] D b P 2,B 0 ). Lemma 5.2. Let x X be a point. Then the followings hold. a) R x ΨLσ I x H))[ 2]. b) There is the exact triangle: 23) R x B 0 h) ΨLσ O x )[ 2]. Proof. a) Since Lσ : D b X) D b X) is fully faithful, we have R x = Φ 1 P 2 pro x ))[ 4] = ΨL O X h) R O X h H) Lσ R OX H)L OX L OXH)O x )[ 3] ΨL O X h) R O X h H) R O X H) L O X Lσ I x H))[ 2]. First, we prove that ΨL O X h) E) ΨE) for any E D b X). By the definition of mutation functors, there is the exact triangle: RHomO X h),e) O X h) E L O X h) E).

18 18 GENKI OUCHI Applying the functor Ψ, we have the exact triangle ΨRHomO X h),e) O X h)) ΨE) ΨL O X h) E)). By Lemma 2.17, we have ΨRHomO X h),e) O X h)) = RHomO X h),e) ΨO X h)) = 0. So we have ΨL O X h) E) ΨE). Imitatingthesearguments,wehavethe isomorphismr x ΨLσ I x H))[ 2]. b) Applying ΨLσ ))[ 2] to the exact triangle 8), we have the exact triangle: R x ΨLσO X H))[ 2] ΨLσ O x )[ 2]. By Lemma 2.17, we have the isomorphisms ΨLσO X H))[ 2] ΨO XH))[ 2] ΨO X h+h))h)[ 2] B 0 h). Hence, we have obtained the desired exact triangle. If x P, then we have H 1 Lσ O x ) = O σ 1 x)d), H 0 Lσ O x ) = O σ 1 x) and the others are zero. Since D = H h, we obtain the following lemma. Lemma 5.3. The followings hold. If x X \P, then ΨLσ O x )[ 2] = π Eh)) πσ 1 x)). If x P, then we have H 0 ΨLσ O x )[ 2]) = π Eh)) πσ 1 x)) H 1 ΨLσ O x )[ 2]) = π E) πσ 1 x)) and others are zero. Lemma 5.4. Let x X be a point. Then followings hold. a) The object R x is a sheaf. b) Assume that x X \P. Taking the long exact sequence of the exact triangle 23), we have the exact sequence 0 R x B 0 h) π Eh)) πσ 1 x)) 0. Here πσ 1 x)) is a point in P 2. c) Assume that x P. Taking the long exact sequence of the exaxt triangle 23), we have the exact sequence 0 R x ) tor R x B 0 h) π Eh)) πσ 1 x)) 0. Here πσ 1 x)) is a line in P 2 and R x is an 1-dimensional pure torsion sheaf. Proof. Take a point x X. By Lemma 5.3, it is sufficient to prove that the morphism B 0 h) π Eh)) πσ 1 x)) is surjective. Restricting the exact sequence 3) to X, we have the surjection π B 0 H) E. So we can obtain the surjective morphism π B 0 h H) Eh). Note that π σ 1 x): σ 1 x) P 2 is a closed immersion. Restricting the morphism π B 0 h H) Eh) to σ 1 x) and the taking direct images of π, we have the surjective morphism B 0 h H) πσ 1 x)) Eh) πσ 1 x)). Now we can ignore O X H). So there is the following commutative diagram.

19 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 19 B 0 h) restriction B 0 h) πσ 1 x)) π Eh)) πσ 1 x)) So the morphism B 0 h) π Eh)) πσ 1 x)) is surjective. Considering these exact sequences on the twisted K3 surface S, α), we have the following proposition. Proposition 5.5. Let x X be a point. Then there is the exact triangle: 24) P x U 0 Q x. Here Q x := f U 0 )) 1 ΨLσ O x )[ 2]) D b S,α). If x X \ P, then Q x is a zero dimensional torsion sheaf of length 2 and the exact triangle 24) induces a following exact sequence in CohS, α) 25) 0 P x U 0 Q x 0. If x P, then the exact triangle 24) induces the following exact sequence in CohS, α) 26) 0 P x ) tor P x U 0 H 0 Q x ) 0. Here P x ) tor = H 0 Q x ) h) is an 1-dimensional pure torsion sheaf. Next, we calculate Mukai vectors. Fix a B-field B H 2 S, 1 2Z) of the Brauer class α. Lemma 5.6 [Tod13], Lemma 4.6). We can describe v B U 0 ) = 2,s,t) such that s 2 4t = 2 and s 2B PicS. Proof. Recall that U 0 is the α-twisted vector bundle of rank 2. So we can write v B U 0 ) = 2,s,t) H 1,1 S,B,Z). Since U 0 is spherical, we have χu 0,U 0 ) = 2. By the Riemann-Roch formula 2), we have s 2 4t = 2. By Lemma 2.4, we have s 2B PicS. Toda [Tod13]Corollary 4.4) proved that [B 1 ] = 3 8 [B 0]+ 3 4 [B 0h)] 1 8 [B 02h)] innd b P 2,B 0 )). LetU 1 CohS,α) betheα-twistedvectorbundlecorresponding to B 1. Using this relation, we can calculate the Mukai vector of U 1 as follow. Lemma 5.7 [Tod13], Lemma 4.6). We have v B U 1 ) = e h/2 v B U 0 ) = s,s+h,t+ 1 2 sh+ 1 ). 2 We calculate the mukai vector of P x. Proposition 5.8. Let x X be a point. Then 27) v B P x ) = 2,s+2h,t+sh).

20 20 GENKI OUCHI Proof. By Lemma 4.4, the numerical classes of P x and P y are same for any points x,y X. So we can assume that x X\P. Since Q x is a zero dimensional torsion sheaf of length 2, we have v B Q x ) = 0,0,2). Using the exact sequence 25), we have v B P x ) = v B U 0 h)) v B Q x ) = e h 2,s,t) 0,0,2) = 2,s+2h,t+sh). In the next lemma, we calculate the Mukai vector of P x ) tor. Lemma 5.9. Let x P be a point. Then we have 28) v B P x ) tor ) = 0,h, 1 2 sh 1 ). 2 Proof. Take a line C x X, which is through a point x. Let C x := σ 1 C x ) and l x := σ 1 x). Then there are isomorphisms O D C x) O D H) O C x l x ) O C x H). Consider the following exact sequences: 29) 0 O X D)= O Xh H)) O X O D 0 30) 0 O D C x)= O D H)) O D O C x 0 31) 0 O C x O C x H) O lx 0. Here the exact sequence 31) is induced by the exact sequence 0 O C x l x )= O C x H)) O C x O lx 0. Note that O lx H) O lx.) Applying the functor Ψ )[ 2] to 31), we have the exact triangle: ΨO C x )[ 2] ΨO C x H))[ 2] ΨO lx )[ 2]. If ΨO C x )[ 2] B 1 and ΨO C x H))[ 2] B 0 h), there is an exact triangle 32) U 1 U 0 h) H 0 Q x ). By the exact triangle 32), we can obtain v B H 0 Q x )) = v B U 0 h)) v B U 1 ) = 0,h, 1 2 sh+ 3 ), 2 v B P x ) tor ) = v B H 1 Q x )) = v B H 0 Q x )) 0,0,2) = 0,h, 1 2 sh 1 ). 2 So we prove that ΨO C x )[ 2] B 1 and ΨO C x H))[ 2] B 0 h). First, we prove that ΨO C x )[ 2] B 1.

21 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 21 By Lemma 2.17 and the exact triangle 29), we have ΨO D ) = 0. Applying the functor Ψ to the sequence 30), we have the exact triangle: ΨO D H)) ΨO D ) ΨO C x ) Since ΨO D ) = 0, we have ΨO C x ) ΨO D H))[1]. Applying Ψ O X H)) to the sequence 29), we have ΨO Xh 2H)) ΨO X H)) ΨO D H)). By Lemma 2.17, we can get isomorphisms ΨO C x ) ΨO D H))[1] ΨO Xh 2H))[2] B 1 [2]. Next, we prove that ΨO C x H))[ 2] B 0 h). Applying Ψ O XH)) to the seqence 30), we have ΨO D ) ΨO D H)) ΨO C x H)). Since ΨO D ) = 0, we have ΨO C x H)) ΨO D H)). Applying Ψ O XH)) to the sequence 29), we have ΨO X) ΨO XH)) ΨO D H)). By Lemma 2.17, we can get isomorphisms ΨO C x H)) ΨO D H)) ΨO XH) B 0 h)[2]. Since Mukai vectors are integral, we obtain the following remark. Remark We have 1 2 sh 1 2 Z. Proposition Let x P be a point. Then we have P x /P x ) tor U 1. Proof. Note that P x /P x ) tor and U 1 are µ B -stable rank 2 torsion free sheaves. We can calculate the Mukai vector of P x /P x ) tor as follows: v B P x /P x ) tor ) = v B P x ) v B P x ) tor ) = 2,s+h,t+ 1 2 sh+ 1 ) 2 = v B U 1 ). So P x /P x ) tor and U 1 are spherical. Hence, we have P x /P x ) tor U 1. In the next section, we construct stability conditions such that P x is stable for any points x X.

22 22 GENKI OUCHI 6. CONSTRUCTION OF STABILITY CONDITIONS We use the same notation as in the previous section. In this section, we prove Proposition 3.3 a). Definition 6.1. Let B := 1 2 l+ 1 4 h+b = 1 2 s+ 1 4 h H2 S,Q). Here l := s 2B PicS. For λ > 1/2, we can define the stability condition σ λ = Z λ,c) := Z B,λh,C) on D b S,α)Example 2.8). For simplicity, we denote the central charge Z λ by Z. To prove Proposition 3.3 a), it is sufficient to prove the following proposition. 3 Proposition 6.2. Assume that X is very generic. If 8 < λ < 3 4, then σ λ is generic with respect to v and P x is σ λ -stable for all x X. Before giving the proof, we need some calculations. Lemma 6.3. For a point x X, we have ZP x ) = 2λ λi. For a point x P, we have ZP x ) tor ) = 1+2λi. Proof. Note that Ree B+λih ) = 1, B, B 2 /2 λ 2 ) and Ime B+λih ) = 0,λh,λ Bh). By 27) and 28), we can calculate values of the central charge Z directly. Remark 6.4. Let x P be a point. Then φp x ) tor ) < φp x ) if and only if λ < 3/4. Proof. By Lemma 6.3, the inequality φp x ) tor ) < φp x ) is equivalent to ReZP x ) tor ) > 2 3 ReZP x). Solving this inequality, we have λ < 3/4. Lemma 6.5. We have ImZE) λz R for all E KS,α). Proof. Let E KS,α) and v B E) = r,c,d). By Definition 6.1 and Remark 5.10, we can calculate as follows: ImZE) = r,c,d),0,λh,λ Bh) { 1 = λ ch 2 sh+ 1 ) } λz R. 2 Lemma 6.6. Assume taht α 1. Then the following holds for all E KS,α). ReZE) 1 rke Z+ 2λ ) R

23 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 23 Proof. Let E KS,α) and v B E) = r,c,d). Since α 1, the integer r is even. Note that and So we have c B = 1 2 cs+ 1 4 ch 1 4 Z B 2 = 1 4 s sh Z+ 1 8 R. ReZE) = r,c,d),1, B, B 2 2λ 2 )/2) = c B r 2 B 2 2λ 2 ) d = c B r B ) 2λ2 d = c B r B 2 1 ) r d+ r 2λ ) Z+ r 2λ ). 2 8 Lemma 6.7. Assume that α 1. Then we have P x C for all x X. Proof. Take x X \P. Since α 1 and P x is rank 2 torsion free, P x is µ B -stable. Due to ImZP x ) = 3λ > 0, we have µ B P x ) > Bh. Hence, we obtain P x T. Take x P. Since α 1, P x /P x ) tor is µ B -stable. Since ImZP x /P x ) tor ) = λ > 0, we have µ B P x /P x ) tor ) > Bh. Hence, we obtain P x T. Lemma 6.8. Assume that α 1. Let x X be a point and 0 F P x be a subobject in C. Then F T and ImZF) > 0. Proof. Since P x T, we have H 1 F) = 0. So we obtain F T. We prove that ImZF) > 0. If F is not torsion, ImZF) > 0 holds. So we assume that F is torsion. Consider the exact sequence 0 F P x CokerF P x ) 0 in C. Taking the long exact sequence, we have the exact sequence 0 H 1 CokerF P x )) F P x H 0 CokerF P x )) 0 in CohS, α). Since H 1 CokerF P x )) F and F is torsion, we have H 1 CokerF P x )) = 0. So F P x ) tor in CohS,α). If x X \P, we have P x ) tor = 0 and F 0. This is contradiction. So we can assume that x P. Since P x ) tor is an 1-dimensional pure torsion sheaf, F is an 1-dimensional torsion sheaf. Hence, ImZF) > 0 holds. Lemma 6.9 [Tod13], Lemma 3.7). Let I P O X be the ideal sheaf of the plane P in X. Then we have Rσ ΦB 1 ) I P O X H) 3. Lemma We have HomU 1,P x ) = 0 for all x X.

24 24 GENKI OUCHI Proof. There are following isomorphisms and an inclusion: HomU 1,P x ) HomP x,u 1 [2]) Hom B0 ΨLσ I x H))[ 2],B 1 [2]) Hom X I x H)[ 2],Rσ ΦB 1 )[2]) Hom X I x H)[ 2],I P O X H) 3 [2]) Hom X I x H)[ 4],I P O X H) 3 ) Hom X I P O X H) 3,I x 2H)) Hom X I P O X H) 3,I x 2H)) Hom X I P,I x 2H)) Hom X O X H),I x 2H)) 3 Hom X I P,I x 2H) ) HomO X H),I x 2H) ) 3 Hom X O X,O X 2H)) Hom X O X H),O X 2H)) 3 = 0 The first isomorphism is given by the Serre duality for A X. The third isomorphism is deduced from the adjoint property. The fourth isomorphism is given by Lemma 6.9. The sixth isomorphism is given by the Serre duality for D b X). So we have HomU 1,P x ) = 0. Lemma Let F D b S,α) be an object which satisfies HomF,F) = C. Assume that ImZF) = λ. If rkf > 0, then we have the inequality ReZF) 2λ The equality holds if and only if the Mukai vector of F is v B F) = 2,s+h, 1 2 sh+ 1 ) 2 If rkf 4, then we have the inequality: ReZF) 4λ Assume that ImZF) = 2λ. If rkf > 0, then we have the inequality ReZF) > 2λ 2 1. If rkf 4, then we have the inequality ReZF) 4λ Proof. Let v B F) = r,c,d), r > 0 and L := c r B NSS) Q. Since r > 0, the following holds: ReZF) = 1 2r χf,f)+2r2 λ 2 L 2 ). Since HomF,F) = C, we have χf,f) 2. Note that ImZF) = λlh. Assume that ImZF) = λ. Due to Hodge index theorem, we have the inequality L

25 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 25 So we have ReZF) = 1 2r χf,f)+2r2 λ 2 L 2 ) λ 2 1 ) = 2λ By the equality condition of Hodge index theorem, the equality holds when r = 2, χf,f) = 2 and L = h/2, this is, v B F) = 2,s+h,t+ 1 2 sh+ 1 ). 2 If rkf 4, then we have ReZF) = 1 2r χf,f)+2r2 λ 2 L 2 ) λ 2 1 ) = 4λ Assume that ImZF) = 2λ. Due to Hodge index theorem, we have the inequality So we have L 2 2. ReZF) = 1 2r χf,f)+2r2 λ 2 L 2 ) λ 2 2) = 2λ 2 1. Note that the equality holds when r = 2, χf,f) = 2 and L = h. If the equality holds, then we have c = s+ 3 2 h / H2 S,Z). This is contradiction. So The equality does not hold. If rkf 4, then we have ReZF) = 1 2r χf,f)+2r2 λ 2 L 2 ) λ 2 2) = 4λ Proposition Assume that 8 < λ and X is very general. Let E C be a σ λ -semistable object with Mukai vector v. Then we have E T. Proof. Consider the natural exact sequence in C. 0 H 1 E)[1] E H 0 E) 0

26 26 GENKI OUCHI SupposethatH 1 E) 0. ThenrkH 0 E) > 0holds. TakingHarder-Narasimhan filtration and Jordan-Hölderfiltration with respect to µ B -stability, we obtain a µ B - stable subsheaf F H 1 E). So we obtain an exact sequence 0 F[1] E G 0 in C. Taking the long exact sequence, we have the exact sequence 0 F H 1 E) H 1 G) 0 H 0 E) H 0 G) 0. Since E is σ λ -semistable, we have ImZF[1]) > 0. So we obtain ImZF[1]) = λ or 2λ or 3λ. Since H 1 E) is torsion free, we have rkh 0 E) > 0. Suppose that ImZF[1]) = 3λ. Then we have ImZH 0 G))+ImZH 1 G)[1]) = ImZG) = 0. SowecandeduceImZH 0 E)) = ImZH 0 G)) = 0. SincerkH 0 E) > 0,ImZH 0 E)) must be positive. This is contradiction. Therefore, ImZF[1]) = λ or 2λ. Assume that ImZF[1]) = λ. By Lemma 6.11, we have This implies ReZF) 2λ ) ReZF[1]) 2λ Since E is σ λ -semistable, we have φf[1]) φe). So we obtain 34) ReZF[1]) 1 3 ReZE) = 2 3 λ By the inequalities 33) and 34), we can obtain the inequality 35) λ λ Solving the inequality 35), we have 3/4 λ. This is contradiction. Assume that ImZF[1]) = 2λ. By Lemma 6.11, we have This implies ReZF) 2λ ) ReZF[1]) 2λ Since E is σ λ -semistable, we have φf[1]) φe). So we obtain 37) ReF[1]) 2 3 ReZE) = 4 3 λ By the inequalities 36) and 37), we can obtain the inequality 38) 2λ λ Solving the inequality 38), we have 3 10/20 λ. This is contradiction. From now on, we prove Proposition 6.2. First, we prove the generality of the stability conditions. 3 Lemma Assume that 8 < λ < 3 4 and X is very general. Then σ λ is generic with respect to the Mukai vector v.

27 LAGRANGIAN EMBEDDINGS OF CUBIC FOURFOLDS CONTAINING A PLANE 27 Proof. It is sufficient to prove that σ λ -semistable objects with Mukai vector v are σ λ -stable. Let E C be a σ λ -semistable object with Mukai vector v. Suppose that E is not σ λ -stable. Then there is a exact sequence 0 F E G 0 in C such that φe) = φf). Now F is also σ λ -semistable. Taking Jordan-Hölder filtration of F, we can assume that F is σ λ -stable. Since ImZE) = 3λ and φf) = φe), we have ImZF) = λ or 2λ. Suppose that ImZF) = λ. Since φe) = φf), we have ReZF) = 1 3 2λ Assume that rkf = 0. Due to Lemma 6.6, we have By 1/2 < λ < 3/4, we have ReZF) 1 4 Z. 1 4 < ReZF) = 1 3 ). 2λ ) < This is contradiction. Assume that rkf = 2. Due to Lemma 6.6, we have ReZF) 2λ ) = 2 2λ ) Z. Since 3 8 < λ < 3 4, we have the inequarity 3 4 < 2 3 2λ ) 8 < This is contradiction. Hence, we have rkf 4. By Lemma 6.11, we obtain the inequality 1 39) 2λ ) = ReZF) 4λ Solving the inequality 39), we have the inequality λ By the assumption λ 2 > 3/8, this is contradiction. Suppose that ImZF) = 2λ. Since φe) = φf), we have ReZF) = 2 2λ ). 3 8 Assume that rkf = 0. Due to Lemma 6.6, we have By 3 8 < λ < 3 4, we have the inequality 3 4 < ReF) = 2 3 ReZF) 1 4 Z. 2λ ) < 1. 8