![Arxiv:2108.13008V1 [Math.RT] 30 Aug 2021 Oi Nrpeetto Hoyadrltdaes N Fteimpor the of Sp One Vector from Areas](http://data.docslib.org/img/54477112415df1b660fc012797e9f229-1.webp)
arXiv:2108.13008v1 [math.RT] 30 Aug 2021 oi nrpeetto hoyadrltdaes n fteimpor the of sp One vector from areas. groups the algebras/quantum called related Lie and of theory representations representation in topic 1.2. re we examples, other many and [Ku1]. overview detailed more a For duality. [K co to close refer the We suggest example. decompositions. studies concrete semiorthogonal above and The program [BO]. model flops blow-up and smooth flips e.g., standard operations, geometric (birational) basic under oihhk[P o stoi ata a varieties. flag partial isotropic for [KP] Polishchuk esvl tde h aeoia cin of actions categorical the studied tensively oGasanasadtype and Grassmannians to cino eiipeo a-od i algebra Lie Kac-Moody or semisimple of action Grassmannians. complementary to bundles cotangent one eie aeoiso oeetsevs ae hy[C they Later sheaves. coherent sl of categories derived bounded ante-iaa[K1 nrdcdtento fgoerccateg geometric of notion the introduced [CKL1] Kamnitzer-Licata ls xml sBiisnscleto o ope rjciespace projective complex for collection Beilinson’s is example plest pieces. simpler into category triangulated a divides which X t.Tebudddrvdctgr fchrn hae,denot sheaves, coherent of category derived bounded The ety. categorification. 1.1. 2 n udmna ehdt td h tutr of structure the study to method fundamental One . hr r te ehd ocntutsmotooa decompo semiorthogonal construct to methods other are There nte motn eirhgnldcmoiincmsfo the from comes decomposition semiorthogonal important Another h itn frpeettost aeoia ee lorssother rises also level categorical to representations of lifting The ntaigfo h oko hagRuue C]frthe for [CR] Chuang-Rouquier of work the from Initiating n a opoueasmotooa eopsto sfo nexce an from is decomposition semiorthogonal a produce to way One 2020 e od n phrases. and words Key cint osrc h eie qiaec ewe eie cate derived between equivalence derived the construct to action aeoia actions. Categorical vriwo eirhgnldecompostions. semiorthogonal of Overview EIRHGNLDCMOIINVACTGRCLACTION CATEGORICAL VIA DECOMPOSITION SEMIORTHOGONAL ahmtc ujc Classification. Subject Mathematics yuigtectgrclato.Ti eutas ie sin us fun gives certain also between result c transformations) This (natural as action. structures interpreted categorical be the can using ca by collection weight exceptional the Kapranov on the decomposition semiorthogonal construct to Abstract. aeoia actions categorical eso httectgrclato fteshifted the of action categorical the that show We eie aeoy eirhgnldcmoiin Kaprano decomposition, semiorthogonal category, Derived A . uigteps eae aeoicto a ena cieresea active an been has categorification decade, past the During ata a aite yKpao Kp5,[a8]adKuznetsov- and [Kap88] [Kap85], Kapranov by varieties flag partial 41,1N5 18G80. 18N25, 14M15, 1. O-UGHSU YOU-HUNG Introduction sl 2 or 1 g U sal n sin oec egtspace weight each to assigns one usually , q ( sl 2 D Let nsvrlflvus npriua,Cautis- particular, In flavours. several in ) tr ntectgrclaction. categorical the in ctors b ( omto bu h ihrcategorical higher the about formation X nouin fFuirMkikernels Fourier-Mukai that of is onvolutions observation key The tegories. X dby ed svasmotooa decomposition, semiorthogonal via is ) easot ope rjcievari- projective complex smooth a be K]ue h emti categorical geometric the used LK2] q sl cst aeois uhnto is notion Such categories. to aces ffieagbacnb used be can algebra affine 0 = iin,eg,hmlgclprojective homological e.g., sitions, 2 ctgrfiain epehv ex- have people -categorification, P D n rjciebnls[] and [O], bundles projective and s orical n w o uvyad[k]fra for [Oka] and survey a for aw] b e oKzesvsIMaddress ICM Kuznetsov’s to fer ( usin.Frtecategorical the For questions. ncinbtenteminimal the between nnection B] hc sltrgeneralized later is which [Be], oiso oeetsevson sheaves coherent of gories X td fhow of study atqetosi itn the lifting is questions tant toa olcin h sim- The collection. ptional ,i nesnilivratof invariant essential an is ), sl 2 cini h etn of setting the in action xetoa collection, exceptional v D b ( X behave ) V ( rch λ ) 2 YOU-HUNG HSU
an additive category C(λ) and to generators ei, fi of g one assigns functors Ei : C(λ) → C(λ + αi), Fi : C(λ + αi) → C(λ) respectively. These functors are then required to satisfy certain relations analogous to those in g. For example, when g = sl2 the relation (ef − fe)|V (λ) = λIdV (λ) becomes EF ∼ FE ⊕λ |C(λ) = |C(λ) IdC(λ) if λ ≥ 0, (1.1) similarly for λ ≤ 0. M The equation (1.1) is an isomorphism between functors. Understanding the natural trans- formations between the functors in (1.1) is a central problem in the categorification of Lie al- gebras/quantum groups or higher representation theory. Moreover, the natural transformations should ideally induce the isomorphism in (1.1). One answer to such problem is given by Chuang- Rouquier [CR] for the Lie algebra sl2 and later generalized to (simply-laced) Kac-Moody algebras g by Khovanov-Lauda [KL1], [KL2], [KL3] and Rouquier [R]. 1.3. Main results. In [Hsu], the author defined an algebra called the shifted q = 0 affine algebra, denoted by U˙0,N (Lsln), and give a definition of its categorical action. Then he proved that there is a categorical action of the shifted q = 0 affine algebra on the bounded derived categories of coherent sheaves on partial flag varieties. In this article, we try to relate the notion of semiorthogonal decomposition to the categorical action of U˙0,N (Lsln). The idea comes from the observation that the Kapranov exceptional collection can be thought of as convolutions of Fourier-Mukai kernels via the categorical action of U˙0,N (Lsln). We restrict to the sl2 case here and refer to the main text for the general case. Consider the Grassmannians G(k,N) of k-dimensional subspaces in a fixed N-dimensional vector space CN . Let ˙ b G us recall the action of U0,N (Lsl2) on k D ( (k,N)). The generators er1(k,N−k), fs1(k,N−k) act on Db(G(k,N)) by the following correspondence diagram k L L k−1 1 N−k Fl(k − 1, k)= {0 ⊂ V ′ ⊂ V ⊂ CN } ✐ ❯❯ ✐✐✐✐ ❯❯❯❯ p1 ✐✐✐ ❯❯❯p2 ✐✐✐ ❯❯❯❯ ✐✐✐✐ ❯❯❯❯ t✐✐✐✐ ❯❯* G(k,N) G(k − 1,N)
′ where p1, p2 are the natural projections. Denoting V, V to be the tautological bundles on Fl(k−1, k) of rank k, k −1 respectively, then there is a natural line bundle V/V′ on Fl(k −1, k). The generators b G er1(k,N−k) act on k D ( (k,N)) by lifting to the following functors E ∗ ′ r b G b G rL1(k,N−k) := p2∗(p1 ⊗ (V/V ) ): D ( (k,N)) → D ( (k − 1,N))
and similarly for the lift of fs1(k,N−k) to Fs1(k,N−k). We refer to Section 3 for more details. b We recall that the Kapranov exceptional collection for D (G(k,N)) is given by {SλV}, where V is the tautological rank k bundle and Sλ is the Schur functor associated to partitions λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. See Theorem 2.18 for a variant for partial flag varieties. b We can view SλV as an object in D (G(0,N) × G(k,N)). Since the functors Er1(k,N−k) and Fs1(k,N−k) are Fourier-Mukai transformations with kernels Er1(k,N−k) and Fs1(k,N−k), respectively, by a relative version of Borel-Weil-Bott theorem we have S ∼ b G G λV = Fλ1 ∗ ... ∗Fλk 1(0,N) ∈ D ( (0,N) × (k,N)) (1.2)
where λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. We consider the triangulated category Hom(Db(G(0,N)), Db(G(k,N))) whose objects are functors b R1(0,N) given by Fourier-Mukai kernels in D (G(0,N) × G(k,N)) and morphisms between the functors R1(0,N) are morphisms between their kernels. SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 3
From (1.2) we know that Fλ1 ∗ ... ∗Fλk 1(0,N) is the kernel for the functor F F F b G b G λ1(0,N) := λ1 ... λk 1(0,N) ∈ Ob(Hom(D ( (0,N)), D ( (k,N)))), b since {SλV} is an exceptional collection for D (G(0,N) × G(k,N)) we can conclude that {Fλ1(0,N)} is an exceptional collection in Hom(Db(G(0,N)), Db(G(k,N))). Thus it is natural to ask the following question Question : Given a categorical U˙0,N (Lsl2) (or U˙0,N (Lsln)) action K. Do the functors F F F λ1(0,N) := λ1 ... λk 1(0,N) ∈ Hom(K(0,N), K(k,N)), λ ∈ P (N − k, k) form an exceptional collection in the triangulated category Hom(K(0,N), K(k,N))? Here P (N−k, k) is the set of λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. It turns out that the answer is affirmative except that the condition for each functor Fλ1(0,N) to be exceptional should modify a bit. More precisely, we have the following result.
Proposition 1.1. (Proposition 4.1 and 4.5) The functors {Fλ1(0,N)}λ∈P (N−k,k) satisfy the following properties (1) Each functor is exceptional-like, more precisely ∼ Hom(Fλ1(0,N), Fλ1(0,N)) = Hom(1(0,N), 1(0,N)) (2) Semiorthogonal property ∼ Hom(Fλ1(0,N), Fλ′ 1(0,N)) = 0 ′ ′ ′ if λ = (λ1, ..., λk) Corollary 1.3. (Corollary 4.2 and 4.6) Given λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k, the functor Fλ1(0,N) ∈ Hom(K(0,N), K(k,N − k)) is fully faithful. Since we know that an exceptional collection in a triangulated category can give rise to a semiorthogonal decomposition, by Proposition 1.1 and Corollary 1.3 we have the following main result of this article. Theorem 1.4. (Theorem 4.3 and 4.7) Given a categorical U˙0,N (Lsl2) action K. Define Kλ(k,N − k) := hFλ1(0,N)(K(0,N))i to be the minimal full triangulated subcategories of K(k,N −k) generated by the class of objects which are the essential images of Fλ1(0,N). Then we have the following semiorthogonal decomposition K(k,N − k)= hA, Kλ(k,N − k)iλ∈P (N−k,k) ⊥ where A := hKλ(k,N − k)iλ∈P (N−k,k). 1.4. Some further remarks. Beside the Kapranov exceptional collection we also have the dual exceptional collection (see Definition 2.10 for the definition). From Theorem 2.17 the dual excep- N tional collection for {SλV} is given by {SµC /V[−|µ|]} where µ = (µ1, ..., µN−k) with 0 ≤ µN−k ≤ ... ≤ µ1 ≤ k. From the following observation S CN ∨ ∼ b G G µ( /V) = E−µ1 ∗ ... ∗E−µN−k 1(N,0) ∈ D ( (N,N) × (k,N)), 4 YOU-HUNG HSU E E E similarly we can show that the functors −µ1(N,0) := −µ1 ... −µN−k 1(N,0) ∈ Hom(K(N, 0), K(k,N)) also give the same results like Proposition 1.1 and Corollary 1.3. Thus {E−µ1(N,0)} can also be used to construct a semiorthogonal decomposition of the weight category K(k,N − k), see Theorem 4.4. Proposition 1.1 can be viewed as the study of natural transformations or 2-morphisms between the ˙ ˙ functors {Fλ1(0,N)} in the categorical action of U0,N (Lsl2) (or U0,N (Lsln)). As we mention before, the study of 2-morphisms for categorical actions plays an important role in the categorification of Lie algebras or quantum groups, e.g., [KL1], [R]. It would be interesting to study natural transformations F F for other functors in the categorical action, for example End( s1 s2 1(k,N−k)), so that we can have a better understanding for the higher representations of U˙0,N (Lsln). 1.5. Acknowledgements. The author would like to thank Wu-yen Chuang for helpful discussions, and would also like to thank Chun-Ju Lai for his careful reading of the first draft and providing useful feedbacks on the structure of the article. 2. Preliminaries We briefly recall the definitions of semiorthogonal decompositions, Fourier-Mukai transformations, and Beilinson-Kapranov exceptional collections that we will use in the later sections. We follow the book [Huy] for the definitions, and we refer to [Ku1] for a more general review of semiorthogonal decompositions. 2.1. Semiorthogonal decompositions. Let D be a C-linear triangulated category. For a full triangulated subcategory A ⊂ D, we define ⊥ A = {X ∈ Ob(D) | HomD(A, X)=0 ∀ A ∈ Ob(A)}, ⊥ A = {X ∈ Ob(D) | HomD(X, A)=0 ∀ A ∈ Ob(A)}, to be the right and left orthogonals to A in D respectively. Those are triangulated subcategories of D. Given a class E of objects in D, we denote by hEi the minimal full triangulated subcategory of D containing all objects in E and closed under taking direct summands. Similarly for any sequence of full triangulated subcategories A1, ..., An in D we denote by hA1, ..., Ani the minimal full triangulated subcategory of D which contains all of Ai, ..., An. Definition 2.1. A semiorthogonal decomposition (SOD for short) of D is a sequence of full trian- gulated subcategories A1, ..., An such that (1) there is no non-zero Homs from right to left, i.e. HomD(Ai, Aj ) = 0 for all Ai ∈ Ob(Ai), Aj ∈ Ob(Aj ) where 1 ≤ j We will use the notation D = hA1, ..., Ani for a semiorthogonal decomposition of D with compo- nents A1, ..., An. Remark 2.2. Note that in some literature, e.g. [BOR], the authors may require the subcategories Ai ⊂ D in Definition 2.1 to be strictly full. However, in this article, we do not need this requirement. Definition 2.3. A full triangulated subcategory A ⊂ D is called right admissible if, for the inclusion functor i : A → D, there is a right adjoint i! : D → A, and left admissible if there is a left adjoint i∗ : D → A. It is called admissible if it is both left and right admissible. SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 5 Lemma 2.4 ([Bo]). If D = hA, Bi is a semiorthogonal decomposition, then A is left admissible and B is right admissible. Conversely, if A ⊂ D is left admissible, then D = hA,⊥ Ai is a semiorthogonal decomposition, and if B ⊂ D is right admissible, then D = hB⊥, Bi is a semiorthogonal decomposi- tion. This lemma has the following generalization. Lemma 2.5 ([Bo]). Let A1, A2, ..., An be a semiorthogonal sequence of admissible (full triangulated) subcategories in D; i.e., Hom(Ai, Aj )=0 for all 1 ≤ j ⊥ ⊥ D = hA1, ..., Ai, hA1, ..., Aii ∩ hAi+1, ..., Ani , Ai+1, ..., Ani. Definition 2.6. A semiorthogonal decomposition D = hA1, ..., Ani is called strong if Ai is admissible in hAi, ..., Ani for all i. Remark 2.7 ([Ku]). When the category D = Db(X) is the bounded derived category of coherent sheaves on a smooth projective variety, any SOD is strong. The simplest example of an admissible subcategory is the one generated by an exceptional object. Definition 2.8. An object E ∈ Ob(D) is called exceptional if C if l =0 HomD(E, E[l]) = (0 if l 6=0. Then we define the notion of exceptional collections. Definition 2.9. An ordered collection {E1, ..., En}, where Ei ∈ Ob(D) for all 1 ≤ i ≤ n, is called an exceptional collection if each Ei is exceptional and HomD(Ei, Ej [l]) = 0 for all i > j and l ∈ Z. The collection (sequence) is called strong exceptional if in addition HomD(Ei, Ej [l]) = 0 for all i, j and l 6=0. An exceptional collection {E1, ..., En} in D naturally give rise to a SOD of D D = hA, E1, ..., Eni ⊥ where A = hE1, ..., Eni and Ei denote the full triangulated subcategory generated by the object Ei. An exceptional collection is called full if the subcategory A is zero. Finally, we define the notion of dual exceptional collection. Definition 2.10. Let {E1, ..., En} be an exceptional collection on the triangulated category D. An exceptional collection {F1, ..., Fn} of objects in D is called dual to {E1, ..., En} if C if l =0 HomD(Fi, Ei[l]) = (0 if l 6=0 and HomD(Fi, Ej [l]) = 0 for i 6= j and l ∈ Z. We will see more examples of semiorthogonal decompositions given by exceptional collections in Subsection 2.3. 6 YOU-HUNG HSU 2.2. Fourier-Mukai transformations. Next, we introduce the language of Fourier-Mukai trans- formations. Let X be a smooth projective variety over C; we will work with the bounded derived category of coherent sheaves on X, which we consistently denote by Db(X). Throughout this article, all pullback, pushforward, Hom, and tensor product functors of sheaves will be derived functors. Definition 2.11. Let X, Y be two smooth projective varieties over C. A Fourier-Mukai kernel is an object P of the bounded derived category of coherent sheaves on X × Y . Given P ∈ Db(X × Y ), we may define the associated Fourier-Mukai transform, which is the functor b b ΦP : D (X) → D (Y ) ∗ F 7→ π2∗(π1 (F) ⊗P) where π1, π2 are natural projections from X × Y to X, Y respectively. We call ΦP the Fourier-Mukai transform with (Fourier-Mukai) kernel P. For convenience, we will just write FM for Fourier-Mukai. The first property of FM transforms is that they have left and right adjoints that are themselves FM transforms. b b Proposition 2.12 ([Huy] Proposition 5.9). For ΦP : D (X) → D (Y ) is the FM transform with kernel P, define ∨ ∗ ∨ ∗ PL = P ⊗ π2 ωY [dimY ], PR = P ⊗ π1 ωX [dimX]. Then b b b b ΦPL : D (Y ) → D (X), ΦPR : D (Y ) → D (X) are the left and right adjoints of ΦP , respectively. The second property is that the composition of FM transforms is also a FM transform. Proposition 2.13 ([Huy] Proposition 5.10). Let X,Y,Z be smooth projective varieties over C. b b b Consider objects P ∈ D (X × Y ) and Q ∈ D (Y × Z). They define FM transforms ΦP : D (X) → b b b D (Y ), ΦQ : D (Y ) → D (Z). We use ∗ to denote the operation for convolution, i.e. ∗ ∗ Q∗P := π13∗(π12(P) ⊗ π23(Q)) b Then for R = Q∗P∈D (X × Z), we have ΦQ ◦ ΦP =∼ ΦR. Remark 2.14. Moreover by [Huy] remark 5.11, we have (Q∗P)L =∼ (P)L ∗ (Q)L and (Q∗P)R =∼ (P)R ∗ (Q)R. 2.3. Beilinson-Kapranov exceptional collections. In this section, we recall the exceptional collections constructed by Beilinson for projective spaces and by Kapranov for partial flag varieties. Theorem 2.15 ([Be]). There is a (strong) full exceptional collection b N D (P )= hOPN (−N), OPN (−N + 1), ..., OPN i. Let λ = (λ1, ..., λn) be a non-increasing sequence of positive integers. We can represent λ as a Young diagram with n rows, aligned on the left, such that the ith row has exactly λi cells. The n ∗ size of λ, denoted by |λ|, is the number |λ| = i=1 λi. The transpose diagram λ is obtained by exchanging rows and columns of λ. P Definition 2.16. Let n ≥ 1 be a positive integer and λ = (λ1, ..., λn) be a sequence of non-increasing positive integers. The Schur functor Sλ associated to λ is defined as a functor Sλ : VectC → VectC such that for any vector space V , SλV coincides with the image of the Young symmetrizer cλ in the space of tensors of V of rank n: i.e., SλV = Im(cλ|V ⊗n ). SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 7 Let G(k,N) = {0 ⊂ V ⊂ CN | dimV = k} be the Grassmannian of k-dimensional subspaces in CN . Denote V to be the tautological rank k bundle on G(k,N) and CN /V to be the tautological rank N − k quotient bundle. For non-negative integers a, b ≥ 0, we denote by P (a,b) the set of Young diagrams λ such that λ1 ≤ a and λb+1 = 0. Then we have the following theorem. Theorem 2.17 ([Kap85]). There is a (strong) full exceptional collection b D (G(k,N)) = h SλV iλ∈P (N−k,k). Its dual exceptional collection, which is also full, is given by b N D (G(k,N)) = h SµC /V[−|µ|] iµ∈P (k,N−k). Here we have to mention the order in the set P (N − k, k) used for the semiorthogonal property in the definition of exceptional collections. We denote (0, 0) Since V is the tautological bundle on G(k,N), the semiorthogonal property for {SλV} should have the following statement; i.e., Hom(SλV, Sλ′ V)=0 ′ N if λ n−1 b CN S D (Flk( )) = h λi Vi iλi∈P (ki+1,k1+..+ki), 1≤i≤n−1. i=1 O Remark 2.19. The order in the partial flag variety case is the product lexicographical order on P (k2, k1) × ... × P (ki+1, k1 + .. + ki) × ... × P (kn, k1 + .. + kn−1), which is denoted by 3. Shifted q =0 affine algebras and its categorical action In this section, we recall the definitions of the shifted q = 0 affine algebra U˙0.N (Lsln) and its categorical action. We also mention the result where there is a categorical action on the bounded derived categories of coherent sheaves on partial flag varieties [Hsu]. Throughout the rest of this article, we fix a positive integer N ≥ 2. Let n C(n,N) := {k = (k1, ..., kn) ∈ N | k1 + ... + kn = N}. We regard each k as a weight for sln via the identification of the weight lattice of sln with the n quotient Z /(1, 1, ..., 1). We choose the simple root αi to be (0...0, −1, 1, 0...0) where the −1 is in the i-th position for 1 ≤ i ≤ n−1. Finally, we denote h·, ·i : Zn ×Zn → Z to be the standard pairing. 3.1. Shifted q =0 affine algebras. Definition 3.1. The shifted q = 0 affine algebras, denoted by U˙0,N (Lsln), is the associative C- algebra generated by + ±1 − ±1 {1k, ei,r1k, fi,s1k, (ψi ) 1k, (ψi ) 1k, hi,±11k | k ∈ C(n,N), 1 ≤ i ≤ n−1, −ki−1 ≤ r ≤ 0, 0 ≤ s ≤ ki+1+1} with the following relations + ±1 + ±1 1k1l = δk,l1k, ei,r1k =1k+αi ei,r, fi,r1k =1k−αi fi,r, (ψi ) 1k =1k(ψi ) , hi,±11k =1khi,±1, (U01) + ±1 − ±1 {(ψi ) 1k, (ψi ) 1k,hi,±11k | 1 ≤ i ≤ n − 1, k ∈ C(n,N)} pairwise commute, (U02) + ±1 + ∓1 − ±1 − ∓1 (ψi ) · (ψi ) 1k =1k = (ψi ) · (ψi ) 1k, (U03) −ei,s+1ei,r−11k if j = i ei+1,sei,r1k − ei+1,s−1ei,r+11k if j = i +1 ei,rej,s1k = , (U04) ei,r+1ei−1,s−11k − ei−1,s−1ei,r+11k if j = i − 1 ej,sei,r1k if |i − j|≥ 2 −fi,s−1fi,r+11k if j = i fi,r−1fi+1,s+11k − fi+1,s+1fi,r−11k if j = i +1 fi,rfj,s1k = , (U05) fi−1,sfi,r1k − fi−1,s+1fi,r−11k if j = i − 1 fj,sfi,r1k if |i − j|≥ 2 + − −ei,r+1ψi 1k if j = i −ei,r+1ψi 1k if j = i + − + −ei+1,r−1ψi 1k if j = i +1 − ei+1,rψi 1k if j = i +1 ψ ej,r1k = , ψ ej,r1k = , i e ψ+1 if j = i − 1 i −e ψ−1 if j = i − 1 i−1,r i k i−1,r−1 i k + − ej,rψi 1k if |i − j|≥ 2 ej,rψi 1k if |i − j|≥ 2 (U06) + − −fi,r−1ψi 1k if j = i −fi,r−1ψi 1k if j = i −f ψ+1 if j = i +1 f ψ−1 if j = i +1 ψ+f 1 = i+1,r+1 i k , ψ−f 1 = i+1,r i k , i j,r k + i j,r k − fi−1,rψi 1k if j = i − 1 −fi−1,r+1ψi 1k if j = i − 1 + − fj,rψi 1k if |i − j|≥ 2 fj,rψi 1k if |i − j|≥ 2 (U07) SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 9 0 if i = j 0 if i = j −ei+1,r±11k if j = i +1 fi+1,r±11k if j = i +1 [hi,±1,ej,r]1k = , [hi,±1,fj,r]1k = , ei−1,r±11k if j = i − 1 −fi−1,r±11k if j = i − 1 0 if |i − j|≥ 2 0 if |i − j|≥ 2 (U08) + ψi hi,11k if r + s = ki+1 +1 + ψi 1k if r + s = ki+1 [ei,r,fj,s]1k = 0 if i 6= j and [ei,r,fi,s]1k = 0 if − k +1 ≤ r + s ≤ k − 1 , (U09) i i+1 − −ψi 1k if r + s = −ki − −ψi hi,−11k if r + s = −ki − 1 for any 1 ≤ i, j ≤ n − 1 and r, s such that the above relations make sense. 3.2. Categorical U˙0,N (Lsln) action. In this section, we recall the definition of the categorical action for shifted q = 0 affine algebra that is defined in [Hsu]. However, since most of the relations in the categorical action will not be used for the proof of our results, we only list those that will be used in the rest of this article. We refer the readers to Definition 3.1. in loc. cit. for a full definition of categorical action. Definition 3.2. A categorical U˙0,N (Lsln) action consists of a target 2-category K, which is trian- gulated, C-linear and idempotent complete. The objects in K are Ob(K)= {K(k) | k ∈ C(n,N)} where each K(k) is a triangulated category, and Hom(K(k), K(l)) is also a triangulated category for all k,l ∈ C(n,N). E E F F Ψ± ±1 Ψ± ±1 The 1-morphisms are given by 1k, i,r1k = 1k+αi i,r, i,s1k = 1k−αi i,s, ( i ) 1k = 1k( i ) , Hi,±11k = 1kHi,±1, where 1 ≤ i ≤ n − 1, −ki − 1 ≤ r ≤ 0, 0 ≤ s ≤ ki+1 +1. Here 1k is the identity functor of K(k). Subject to the following relations. ± (1) The right adjoint of Fi,s are given by conjugation of Ψi up to homological shifts. More precisely, F R ∼ Ψ− −s+1E Ψ− s−2 ( i,s1k) = 1k( i ) i,−ki−2( i ) [s − 1] for all 1 ≤ i ≤ n − 1 Ψ± ±1 Ψ± ±1 ∼ Ψ± ±1 Ψ± ±1 (2) ( i ) ( j ) 1k = ( j ) ( i ) 1k for all i, j. F ± (3) The relations between i,r,Ψi are given by the following Ψ±F ∼ F Ψ± i i,s1k = i,s−1 i 1k[±1]. (4) For Ei,rFi,s1k, Fi,sEi,r1k ∈ Hom(K(k), K(k)), they are related by exact triangles, more pre- cisely, (a) E F F E Ψ− i,r i,s1k → i,s i,r1k → i 1k if r + s = −ki, (b) Fi,sEi,r1k =∼ Ei,rFi,s1k if − ki +1 ≤ r + s ≤ ki+1 − 1. 10 YOU-HUNG HSU 3.3. Geometric example. In this section, we mention the main theorem (Theorem 5.2 in [Hsu]), which says that there is a categorical action of U˙0,N (Lsln) on the bounded derived categories of coherent sheaves on partial flag varieties. For each k ∈ C(n,N), we define the partial flag variety N N Flk(C ) := {V• =(0= V0 ⊂ V1 ⊂ ... ⊂ Vn = C ) | dimVi/Vi−1 = ki for all i}. N b We denote Y (k) = Flk(C ) and D (Y (k)) to be the bounded derived categories of coherent sheaves on Y (k). Those will be the objects K(k) of the triangulated 2-category K in Definition 3.2. On Y (k) we denote Vi to be the tautological bundle whose fibre over a point (0 = V0 ⊂ V1 ⊂ ... ⊂ N Vn = C ) is Vi. E F H Ψ± ±1 To define those 1-morphisms i,r1k, i,s1k, i,±11k, ( i ) 1k, we use the language of FM transforms, that means we will define them by using FM kernels. However, since the FM kernels for H Ψ± ±1 i,±11k, ( i ) 1k will not be used in the rest of this article, we only mention the FM kernels for Ei,r1k, Fi,s1k for simplicity. 1 We define correspondences Wi (k) ⊂ Y (k) × Y (k + αi) by 1 ′ ′ ′ Wi (k) := {(V•, V• ) ∈ Y (k) × Y (k + αi) | Vj = Vj for j 6= i, Vi ⊂ Vi}, ′ 1 then we have the natural line bundle Vi/Vi on Wi (k). We also have the transpose correspondence T 1 1 T T 1 →֒ (Wi (k) ⊂ Y (k + αi) × Y (k). Let ι(k): Wi (k) ֒→ Y (k) × Y (k + αi) and ι(k): Wi (k Y (k + αi) × Y (k) be the inclusions. Then we have the following theorem. Theorem 3.3 (Theorem 5.2 [Hsu]). Let K be the triangulated 2-categories whose nonzero objects are b K(k)= D (Y (k)) where k ∈ C(n,N). The 1-morphisms Ei,r1k, 1kFi,s are FM transformations with ′ r T ′ s kernels given by Ei,r1k := ι(k)∗(Vi/Vi) , 1kFi,s := ι(k)∗(Vi/Vi) respectively, and the 2-morphisms are maps between kernels. Then this gives a categorical U˙0,N (Lsln) action. 4. Main results In this section, we prove the main result of this article, which roughly speaking is that a categorical action of U˙0,N (Lsln) can give rise to a SOD of each weight category. Since we have categorical action ˙ b CN of U0,N (Lsln) on k D (Flk( )) from Theorem 3.3, the main motivation is the relation of this action with the Kapranov exceptional collection that defined in Theorem 2.17, 2.18. L ˙ b CN Note that the action of U0,N (Lsln) on k D (Flk( )) is given by using the convolution of Fourier-Mukai kernels in Theorem 3.3. We can interpret the Kapranov exceptional collection in L terms of the categorical action via convolution of the FM kernels. More precisely, by using the (relative) Borel-Weil-Bott Theorem, in the Grassmannians case (U˙0,N (Lsl2) action) we have S ∼ b G G λV = Fλ1 ∗ ... ∗Fλk 1(0,N) ∈ D ( (0,N) × (k,N)), (4.1) S CN ∨ ∼ b G G µ( /V) = E−µ1 ∗ ... ∗E−µN−k 1(N,0) ∈ D ( (N,N) × (k,N)), (4.2) where λ = (λ1, ..., λk) ∈ P (N − k, k), µ = (µ1, ..., µN−k) ∈ P (k,N − k) and since n = 2 we drop the subscript i for simplicity. This can be generalized to the partial flag varieties case, considering λi = (λi,1, ..., λi,k1+...+ki ) ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1, then we have n−1 S ∼ b CN CN λi Vi = F1,λ1 ∗F2,λ2 ∗ ... ∗Fn−1,λn−1 1η ∈ D (Flη( ) × Flk( )), (4.3) i=1 O where F := F ∗F ... ∗F and η := (0, 0, ..., 0,N) is the highest weight. i,λi i,λi,1 i,λi,2 i,λi,k1+...+ki SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 11 S n−1 S From Theorem 2.17, 2.18 we know that { λV} and { i=1 λi Vi} are full exceptional collec- b b N tions for D (G(k,N)) and D (Flk(C )) respectively. From the observation (4.1) and (4.3), it N is natural to ask that give an (abstract) categorical U˙0,N (Lsl2) action, whether those functors F F { λ1 ... λk 1(0,N)}(λ1,...,λk)∈P (N−k,k) satisfy the properties in Definition 2.9 of exceptional collections. Similarly for the sln case. In this section, we will prove the above question from the observation and use it to construct SODs for the weight categories. 4.1. The sl2 case. First, we consider the sl2 case. We have the following proposition. Proposition 4.1. Given a categorical U˙0,N (Lsl2) action K. Considering the functors F F F F λ1(0,N) := λ1 λ2 ... λk 1(0,N) ∈ Hom(K(0,N), K(k,N − k)) where λ = (λ1, ..., λk) ∈ P (N − k, k). Then {Fλ1(0,N)}λ∈P (N−k,k) satisfy the following properties (1) Each functor is exceptional, more precisely ∼ Hom(Fλ1(0,N), Fλ1(0,N)) = Hom(1(0,N), 1(0,N)) (2) Semiorthogonal property ∼ Hom(Fλ1(0,N), Fλ′ 1(0,N)) = 0 ′ ′ ′ ′ if λ = (λ1, ..., λk) − −λk +1 − λk −2 − −λk−1+1 − λk−1−2 = ((Ψi ) E−2(Ψi ) 1(1,N−1)[λk − 1])((Ψi ) E−3(Ψi ) 1(2,N−2)[λk−1 − 1]) − −λ1+1 − λ1−2 ...((Ψi ) E−k−1(Ψi ) 1(k,N−k)[λ1 − 1]) = ... k − −λk +1 − λk−λk−1−1 − λk−1−λk−2−1 − λ1 −2 = (Ψi ) E−2(Ψi ) E−3(Ψi ) ...E−k−1(Ψi ) 1(k,N−k)[ λi − k]. i=1 X R To calculate (Fλ1(0,N)) Fλ1(0,N), we need to simplify k Ψ− −λk +1E Ψ− λk −λk−1−1E Ψ− λk−1−λk−2−1 E Ψ− λ1 −2F F F ( i ) −2( i ) −3( i ) ... −k−1( i ) λ1 λ2 ... λk 1(0,N)[ λi − k]. i=1 X (4.4) E Ψ− λ1−2F The first term we have to calculate is −k−1( i ) λ1 1(k−1,N−k+1), we get E Ψ− λ1−2F E F Ψ− λ1−2 −k−1( i ) λ1 1(k−1,N−k+1) = −k−1 2( i ) 1(k−1,N−k+1)[−λ1 + 2] and we have the following exact triangle E F F E Ψ− −k−1 21(k−1,N−k+1) → 2 −k−11(k−1,N−k+1) → i 1(k−1,N−k+1). 12 YOU-HUNG HSU Thus to know (4.4) it suffices to know the following two terms. k Ψ− −λk +1E Ψ− λk −λk−1−1E Ψ− λ2−λ1−1F E Ψ− λ1−2F F ( i ) −2( i ) −3...( i ) 2 −k−1( i ) λ2 ... λk 1(0,N)[ λi − k + 2]. i=2 X (4.5) and k Ψ− −λk +1E Ψ− λk −λk−1−1E E Ψ− λ2−2F F ( i ) −2( i ) −3... −k( i ) λ2 ... λk 1(0,N)[ λi − k + 2]. (4.6) i=2 X The main idea is to show that (4.5)=0 and thus k Ψ− −λk +1E Ψ− λk −λk−1−1E E Ψ− λ2−2F F (4.4) = ( i ) −2( i ) −3... −k( i ) λ2 ... λk 1(0,N)[ λi − k + 1]. (4.7) i=2 X To show (4.5)=0, we claim that − −λk +1 − λk −λk−1−1 − λ2−λ1−1 ∼ (Ψi ) E−2(Ψi ) E−3...E−k(Ψi ) F21(k−2,N−k+2) = 0. Note that we have E Ψ− λ2−λ1−1F ∼ E F Ψ− λ2−λ1−1 −k( i ) 21(k−2,N−k+2) = −k λ1−λ2+3( i ) 1(k−2,N−k+2)[−λ2 + λ1 + 1], since 0 ≤ λ2 ≤ λ1 ≤ N − k we have 0 ≤ λ1 − λ2 ≤ N − k. So −k +3 ≤ λ1 − λ2 − k +3 ≤ N − 2k + 3. Because k − 2 ≥ 0, we obtain that N − 2k +3 ≤ N − k + 1 which implies that E F ∼ F E −k λ1−λ2+31(k−2,N−k+2) = λ1−λ2+3 −k1(k−2,N−k+2). Thus we have − −λk +1 − λk −λk−1−1 − λ2−λ1−1 (Ψi ) E−2(Ψi ) E−3...E−k(Ψi ) F21(k−2,N−k+2) ∼ Ψ− −λk +1E Ψ− λk −λk−1−1E F E Ψ− λ2−λ1−1 = ( i ) −2( i ) −3... λ1−λ2+3 −k( i ) 1(k−2,N−k+2)[−λ2 + λ1 + 1]. E Ψ− λ3 −λ2−1F The next term we have to calculate is −k+1( i ) λ1−λ2+31(k−3,N−k+3) and similarly E Ψ− λ3−λ2−1F ∼ E F Ψ− λ3−λ2−1 −k+1( i ) λ1−λ2+31(k−3,N−k+3) = −k+1 λ1−λ3+4( i ) 1(k−3,N−k+3)[−λ3+λ2+1], again we have 0 ≤ λ1 −λ3 ≤ N −k and −k +5 ≤ λ1 −λ3 −k +5 ≤ N −2k +5. Here k −3 ≥ 0 implies E F ∼ F E that N − 2k +5 ≤ N − k + 2 and −k+1 λ1−λ3+41(k−3,N−k+2) = λ1−λ3+4 −k+11(k−3,N−k+2). Continuing this process, by ignoring the homological shifts, we have − −λk +1 − λk −λk−1−1 − λ2−λ1−1 (Ψi ) E−2(Ψi ) E−3...E−k(Ψi ) F21(k−2,N−k+2) ∼ Ψ− −λk +1E Ψ− λk −λk−1−1E F E Ψ− λ2−λ1−1 = ( i ) −2( i ) −3... λ1−λ2+3 −k( i ) 1(k−2,N−k+2) ∼ Ψ− −λk +1E Ψ− λk −λk−1−1E F E Ψ− λ3−λ2−1E Ψ− λ2−λ1−1 = ( i ) −2( i ) −3... λ1−λ3+4 −k+1( i ) −k( i ) 1(k−2,N−k+2) =∼ ... ∼ Ψ− −λk +1E Ψ− λk −λk−1−1F E Ψ− λk−1−λk−2−1 E Ψ− λ2−λ1−1 = ( i ) −2( i ) λ1 −λk−1+k −3( i ) ... −k( i ) 1(k−2,N−k+2) ∼ Ψ− −λk +1E F Ψ− λk −λk−1−1E Ψ− λk−1−λk−2−1 E Ψ− λ2−λ1−1 = ( i ) −2 λ1−λk+k+1( i ) −3( i ) ... −k( i ) 1(k−2,N−k+2). E F To see the commutativity of the rightmost term −2 λ1−λk +k+11(0,N), since 0 ≤ λ1 − λk ≤ N − k E F ∼ and k ≥ 2, we have 1 ≤ k − 1 ≤ λ1 − λk + k − 1 ≤ N − 1. Thus −2 λ1−λk+k+11(0,N) = F E ∼ λ1−λk +k+1 −21(0,N) = 0 and we prove that (4.5)=0. The next step is to keep simplifying (4.7). Again we have E Ψ− λ2−2F ∼ E F Ψ− λ2−2 −k( i ) λ2 1(k−2,N−k+2) = −k 2( i ) 1(k−2,N−k+2)[−λ2 + 2], and the following exact triangle E F F E Ψ− −k 21(k−2,N−k+2) → 2 −k1(k−2,N−k+2) → i 1(k−2,N−k+2). SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 13 So to know (4.7), it suffices to know the following two terms k Ψ− −λk +1E Ψ− λk −λk−1−1E Ψ− λ3−λ2−1F E Ψ− λ2−2F F ( i ) −2( i ) −3...( i ) 2 −k( i ) λ3 ... λk 1(0,N)[ λi − k + 3] i=3 X (4.8) and k Ψ− −λk +1E Ψ− λk −λk−1−1E E Ψ− λ3−2F F ( i ) −2( i ) −3... −k+1( i ) λ3 ... λk 1(0,N)[ λi − k + 3]. (4.9) i=3 X Using the similar argument, we can prove that (4.8)=0 and thus k ∼ Ψ− −λk +1E Ψ− λk −λk−1−1E E Ψ− λ3−2F F (4.7) = ( i ) −2( i ) −3... −k+1( i ) λ3 ... λk 1(0,N)[ λi − k + 2]. (4.10) i=3 X Continuing this process we have the following (4.4) =∼ (4.7) =∼ (4.10) k ∼ Ψ− −λk +1E Ψ− λk −λk−1−1E E Ψ− λ4−2F F = ( i ) −2( i ) −3... −k+2( i ) λ4 ... λk 1(0,N)[ λi − k + 3] i=4 X =∼ ... ∼ Ψ− −λk +1E Ψ− λk −2F ∼ Ψ− −λk+1E F Ψ− λk −2 = ( i ) −2( i ) λk 1(0,N)[λk − 1] = ( i ) −2 2( i ) 1(0,N)[1]. E F ∼ Ψ− Since that −2 21(0,N) = i [−1], we get Ψ− −λk +1E F Ψ− λk −2 ∼ Ψ− −λk +1Ψ− Ψ− λk −2 ∼ ( i ) −2 2( i ) 1(0,N)[1] = ( i ) i [−1]( i ) 1(0,N)[1] = 1(0,N). R ∼ The above argument shows that (Fλ1(0,N)) Fλ1(0,N) = 1(0,N) where λ ∈ P (N − k, k), and thus implies that ∼ R ∼ Hom(Fλ1(0,N), Fλ1(0,N)) = Hom(1(0,N), (Fλ1(0,N)) Fλ1(0,N)) = Hom(1(0,N), 1(0,N)), which is the first property. ′ ′ ′ Next, we prove the second property. Given λ = (λ1, ..., λk), λ = (λ1, ..., λk) ∈ P (N − k, k). We ′ ′ ′ assume that λ k − −λ +1 − λ −λ −1 − λ −λ −1 − λ1 −2 (Ψ ) k E (Ψ ) k k−1 E (Ψ ) k−1 k−2 ...E (Ψ ) F ′ F ′ ...F ′ 1 [ λ − k]. i −2 i −3 i −k−1 i λ1 λ2 λk (0,N) i i=1 X (4.11) In the rest of the proof, the homological shifts will not affect the result. So we will ignore the ′ homological shifts for simplification. Since λj = λj for all 1 ≤ j ≤ i − 1, using the arguments in the 14 YOU-HUNG HSU proof of the first property we obtain − −λ +1 − λ −λ −1 − λ2−2 (4.11) ∼ (Ψ ) k E (Ψ ) k k−1 E ...E (Ψ ) F ′ ...F ′ 1 = i −2 i −3 −k i λ2 λk (0,N) =∼ ... − −λ +1 − λ −λ −1 − λ −2 ∼ (Ψ ) k E (Ψ ) k k−1 E ...E (Ψ ) i F ′ ...F ′ 1 . = i −2 i −3 −k−2+i i λi λk (0,N) We show that − −λ +1 − λ −λ −1 − λ −2 Ψ k E Ψ k k−1 E E Ψ i F ′ 1 ( i ) −2( i ) −3... −k−2+i( i ) λi (k−i,N−k+i) (4.12) is isomorphic to zero. Now we have to calculate − λ −2 − λ −2 E (Ψ ) i F ′ 1 ∼ E F ′ (Ψ ) i 1 . −k−2+i i λi (k−i,N−k+i) = −k−2+i λi−λi+2 i (k−i,N−k+i) ′ ′ ′ Since 0 ≤ λi < λi ≤ N − k, we have 1 ≤ λi − λi ≤ N − k. Thus −k + i +1 ≤ λi − λi − k + i ≤ N − 2k + i. Because k ≥ i ≥ 1, we have N − 2k + i ≤ N − k + i − 1 which implies that E F ′ 1 ∼ F ′ E 1 −k−2+i λi−λi+2 (k−i,N−k+i) = λi−λi+2 −k−2+i (k−i,N−k+i). Then (4.12) becomes − −λ +1 − λ −λ −1 − λ +1−λ −1 − λ −2 Ψ k E Ψ k k−1 E Ψ i i F ′ E Ψ i 1 ( i ) −2( i ) −3...( i ) λi−λi+2 −k−2+i( i ) (k−i,N−k+i). The next thing we have to calculate is − λ +1−λ −1 − λ +1−λ −1 E (Ψ ) i i F ′ 1 ∼ E F ′ (Ψ ) i i 1 . −k−1+i i λi−λi+2 (k−i−1,N−k+i+1) = −k−1+i λi−λi+1+3 i (k−i−1,N−k+i+1) ′ ′ Since 0 ≤ λi+1 ≤ λi < λi ≤ N − k, we get 1 ≤ λi − λi+1 ≤ N − k. So −k +3+ i ≤ ′ λi − λi+1 − k +2+ i ≤ N − 2k +2+ i. Now k ≥ i +1 ≥ 2, we have N − 2k +2+ i ≤ N − k + i E F ′ 1 ∼ F ′ E 1 which implies that −k−1+i λi−λi+1+3 (k−i−1,N−k+i+1) = λi−λi+1+3 −k−1+i (k−i−1,N−k+i+1). Continuing this process, we have − −λ +1 − λ −λ −1 − λ +1−λ −1 − λ −2 (4.12) ∼ (Ψ ) k E (Ψ ) k k−1 E ...(Ψ ) i i F ′ E (Ψ ) i 1 = i −2 i −3 i λi−λi+2 −k−2+i i (k−i,N−k+i) − −λ +1 − λ −λ −1 − λ −λ −1 − λ −2 ∼ Ψ k E Ψ k k−1 E F ′ E Ψ i+1 i E Ψ i 1 = ( i ) −2( i ) −3... λi−λi+1+3 −k−1+i( i ) −k−2+i( i ) (k−i,N−k+i) =∼ ... − −λ +1 − λ −λ −1 − λ −2 ∼ (Ψ ) k E (Ψ ) k k−1 F ′ ...E (Ψ ) i 1 = i −2 i λi−λk−1+k−i+1 −k−2+i i (k−i,N−k+i) We have to calculate − λ −λ −1 − λ −λ −1 E (Ψ ) k k−1 F ′ 1 ∼ E F ′ (Ψ ) k k−1 1 −2 i λi−λk−1+k−i+1 (0,N) = −2 λi−λk+k−i+2 i (0,N) ′ ′ similarly we have 1 ≤ λi − λk ≤ N − k and thus k − i +1 ≤ λi − λk + k − i ≤ N − i. Since i ≥ 1 and k − i ≥ 0, we get − λ −λ −1 − λ −λ −1 E F ′ (Ψ ) k k−1 1 ∼ F ′ (Ψ ) k k−1 E 1 ∼ 0 −2 λi−λk+k−i+2 i (0,N) = λi−λk +k−i+2 i −2 (0,N) = which implies that (4.12) =∼ 0. R ∼ Hence we show that (Fλ1(0,N)) Fλ′ 1(0,N) = 0 and thus ∼ R ∼ Hom(Fλ1(0,N), Fλ′ 1(0,N)) = Hom(1(0,N), (Fλ1(0,N)) Fλ′ 1(0,N)) = 0 which proves the property (2). An easy consequence of property (1) is the following corollary. ˙ Corollary 4.2. Given a categorical U0,N (Lsl2) action K. All the functors Fλ1(0,N) ∈ Hom(K(0,N), K(k,N− k)) where λ ∈ P (N − k, k) are fully faithful. Next, we prove the main result for the sl2 case. SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 15 Theorem 4.3. Given a categorical U˙0,N (Lsl2) action K. Define Kλ(k,N − k) := hFλ1(0,N)(K(0,N))i to be the minimal full triangulated subcategories of K(k,N − k) generated by the class of objects which are the essential images of Fλ1(0,N). Then we have the following SOD K(k,N − k)= hA, Kλ(k,N − k)iλ∈P (N−k,k) ⊥ where A := hKλ(k,N − k)iλ∈P (N−k,k). Proof. We will use Lemma 2.5 to help us prove this theorem. We have to show that {Kλ(k,N − k)}λ∈P (N−k,k) forms a semiorthogonal sequence of admissible subcategories in K(k,N − k). Then by the definition of A we have hA, Kλ(k,N − k)iλ∈P (N−k,k) is a SOD for K(k,N − k). First, we show that all objects in Kλ(k,N−k) are of the form Fλ1(0,N)(X) where X ∈ Ob(K(0,N)). By definition, Kλ(k,N − k) is generated by the class of objects which are the essential images of Fλ1(0,N), so given an object Y ∈ Ob(Kλ(k,N − k)) such that Y is generated by extension of two ob- jects Fλ1(0,N)(A) and Fλ1(0,N)(B) where A, B ∈ Ob(K(0,N)). More precisely, we have the following exact triangle in Kλ(k,N − k) Fλ1(0,N)(A) → Y → Fλ1(0,N)(B), we can rewrite it as f Fλ1(0,N)(B)[−1] −→ Fλ1(0,N)(A) → Y so that Y = Cone(f). Since Kλ(k,N − k) is a full triangulated subcategory, using Corollary 4.2, we obtain F F ∼ F F f ∈ HomKλ(k,N−k)( λ1(0,N)(B)[−1], λ1(0,N)(A)) = HomK(k,N−k)( λ1(0,N)(B)[−1], λ1(0,N)(A)) ∼ = HomK(0,N)(B[−1], A). Under the above isomorphism, the morphism f will correspond to a morphism g ∈ HomK(0,N)(B[−1], A). Taking cone, we obtain the following exact triangle in K(0,N) g B[−1] −→ A → Cone(g)= C for some object C ∈ Ob(K(0,N)). Applying Fλ1(0,N) we get the exact triangle f Fλ1(0,N)(B)[−1] −→ Fλ1(0,N)(A) → Fλ1(0,N)(C) ∼ which implies that Y = Fλ1(0,N)(C). Now we show that {Kλ(k,N − k)}λ∈P (N−k,k) forms a semiorthogonal sequence of admissible subcategories. ′ ′ Given A ∈ Ob(Kλ(k,N − k)) and A ∈ Ob(Kλ′ (k,N − k)) where λ so this shows that {Kλ(k,N − k)}λ∈P (N−k,k) is a semiorthogonal sequence. Finally we show that Kλ(k,N − k) is admissible subcategory in K(k,N − k). From Corollary 4.2 we know that the functor Fλ1(0,N) : K(0,N) → K(k,N) is fully faithful. Since from the definition L R of categorical action the left and right adjoint functors (Fλ1(0,N)) , (Fλ1(0,N)) both exist, we have 16 YOU-HUNG HSU Fλ1(0,N) gives an equivalence between K(0,N) and the admissible subcategory Kλ(k,N − k) of K(k,N − k). The proof is complete. N From Theorem 2.17, we have the dual exceptional collection h SµC /V[−|µ|] iµ∈P (k,N−k). We can omit the homological shifts in each term since it is used in order to make Hom concentrate in homological degree 0 in the definition of dual exceptional collection. Thus we still obtain an N exceptional collection h SµC /V iµ∈P (k,N−k). N Now we consider the dual (as vector space) of the exceptional collection h SµC /V iµ∈P (k,N−k). N ∨ It is easy to see that h Sµ(C /V) iµ∈P (k,N−k) is again an exceptional collection with the opposite N ∨ N ∨ ′ ′ order; i.e., Hom(Sµ(C /V) , Sµ′ (C /V) )=0 for µ Theorem 4.4. Given a categorical U˙0,N (Lsl2) action K. Considering the functors E E E −µ1(N,0) := −µ1 ... −µN−k 1(N,0) ∈ Hom(K(N, 0), K(k,N − k)) where µ = (µ1, ..., µN−k) ∈ P (k,N −k). Then {E−µ1(N,0)}µ∈P (k,N−k) satisfy the following properties (1) Each functor is exceptional, more precisely ∼ Hom(E−µ1(N,0), E−µ1(N,0)) = Hom(1(N,0), 1(N,0)) (2) Semiorthogonal property ∼ Hom(E−µ1(N,0), E−µ′ 1(N,0)) = 0 ′ if µ In particular, this implies that {E−µ1(N,0)}µ∈P (k,N−k) are fully faithful functors. As an conse- quence, we define −µ K (k,N − k) := hE−µ1(N,0)(K(N, 0))i to be the minimal full triangulated subcategories of K(k,N − k) generated by the class of objects which are the essential images of E−µ1(N,0). Then we have the following SOD −µ K(k,N − k)= hB, K (k,N − k)iµ∈P (k,N−k) −µ ⊥ where B := hK (k,N − k)iµ∈P (k,N−k). 4.2. General case. In this section, we move to the general sln case. Similarly, like the sl2 case, from Theorem 2.18 and the observation (4.3), we have the following result, which is a generalization of Proposition 4.1. ˙ F F F Proposition 4.5. Given a categorical U0,N (Lsln) action K. Considering the functors 1,λ1 2,λ2 ... n−1,λn−1 1η ∈ Hom(K(η), K(k)) where F := F F ...F i,λi i,λi,1 i,λi,2 i,λi,k1 +...+ki with λi = (λi,1, ..., λi,k1+...+ki ) ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1 and η = (0, 0, ..., 0,N) be the highest weight. Then they satisfy the following properties (1) Each functor is exceptional, more precisely F F F F F F ∼ Hom( 1,λ1 2,λ2 ... n−1,λn−1 1η, 1,λ1 2,λ2 ... n−1,λn−1 1η) = Hom(1η, 1η) SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 17 (2) Semiorthogonal property Hom(F F ...F 1 , F ′ F ′ ...F ′ 1 ) ∼ 0 1,λ1 2,λ2 n−1,λn−1 η 1,λ1 2,λ2 n−1,λn−1 η = ′ ′ ′ if (λ1, ..., λn−1) Proof. We will use the result for sl2 case; i.e., Proposition 4.1, to help us prove it. We prove the first property. Given λi = (λi,1, ..., λi,k1+...+ki ) ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1. Applying adjunction, we have F F F F F F Hom( 1,λ1 2,λ2 ... n−1,λn−1 1η, 1,λ1 2,λ2 ... n−1,λn−1 1η) ∼ F F F RF F F = Hom(1η, ( 1,λ1 2,λ2 ... n−1,λn−1 ) 1,λ1 2,λ2 ... n−1,λn−1 1η) (4.14) ∼ F R F R F RF F F = Hom(1η, ( n−1,λn−1 ) ...( 2,λ2 ) ( 1,λ1 ) 1,λ1 2,λ2 ... n−1,λn−1 1η). F RF So the first term we have to calculate is ( 1,λ1 ) 1,λ1 1(0,k1+k2,k3,...,kn). Since λ1 ∈ P (k2, k1), F RF ∼ from Proposition 4.1 we get ( 1,λ1 ) 1,λ1 1(0,k1+k2,k3,...,kn) = 1(0,k1+k2,k3,...,kn). Thus the term in F R F RF F last Hom in (4.14) becomes ( n−1,λn−1 ) ...( 2,λ2 ) 2,λ2 ... n−1,λn−1 1η. F RF Next, we have to calculate ( 2,λ2 ) 2,λ2 1(0,0,k1+k2+k3,...,kn) where λ2 ∈ P (k3, k1 + k2). Again F RF ∼ using Proposition 4.1 we get ( 2,λ2 ) 1,λ2 1(0,0,k1+k2+k3,...,kn) = 1(0,0,k1+k2+k3,...,kn). Continuing this process, we get ∼ F R F RF F (4.14) = Hom(1η, ( n−1,λn−1 ) ...( 2,λ2 ) 2,λ2 ... n−1,λn−1 1η) ∼ F R F RF F = Hom(1η, ( n−1,λn−1 ) ...( 3,λ3 ) 3,λ3 ... n−1,λn−1 1η) =∼ ... =∼ Hom(1η, 1η) which proves the first property. ′ To prove the second property, given λi, λi ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1 and assume ′ ′ that (λ1, ..., λn−1) =∼ Hom(1η, 0) =∼ 0 ′ F RF ′ ∼ where the last isomorphism using the fact that λi Hom(K(η), K(k)), where λi = (λi,1, ..., λi,k1+...+ki ) ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1, are all fully faithful. 18 YOU-HUNG HSU Now we state the main result of this article. Theorem 4.7. Given a categorical U˙0,N (Lsln) action K. Define F F F Kλ1,...,λn−1 (k) := h 1,λ1 2,λ2 ... n−1,λn−1 1η(K(η))i to be the minimal full triangulated subcategories of K(k) generated by the class of objects which are the F F F essential images of 1,λ1 2,λ2 ... n−1,λn−1 1η where λi = (λi,1, ..., λi,k1 +...+ki ) ∈ P (ki+1, k1 + ... + ki) for all 1 ≤ i ≤ n − 1. Then we have the following SOD K(k)= hA, Kλ1 ,...,λn−1 (k)iλi∈P (ki+1,k1+...+ki) where A = hK (k)i⊥ . λ1 ,...,λn−1 λi∈P (ki+1,k1+...+ki) Proof. The idea of the proof is exactly the same as the poof of Theorem 4.3, where we show that {Kλ1,...,λn−1 (k)} forms a semiorthogonal sequence of admissible subcategories. With the help of F F F Proposition 4.5, Corollary 4.6, and the existence of left and right adjoints of 1,λ1 2,λ2 ... n−1,λn−1 1η, the result is easy to get. References [Be] A. A. Beilinson, Coherent sheaves on Pn and problems of linear algebra, Functional Analysis and Its Applications, 12, (1978), no. 3, 68-69. [Bo] A. Bondal, Representations of associative algebras and coherent sheaves, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 1, 25–44. [BO] A. Bondal and D. Orlov. Semiorthogonal decomposition for algebraic varieties, arxiv:9506012. [BOR] P. Belmans, S. Okawa, and A. T. Ricolfi Moduli spaces of semiorthogonal decompositions in families, arXiv:2002.03303 [math.AG] [CKL1] S. Cautis, J. Kamnitzer, A. Licata, Coherent sheaves and categorical sl2 actions, Duke Math. J. 154 (2010), no. 1, 135-179. [CLK2] S. Cautis, J. Kamnitzer, A. Licata, Derived equivalences for cotangent bundles of Grassmannians via cate- gorical sl2 actions, J. Reine Angew. Math. 675 (2013), 53-99. [CR] J. Chuang, R. Rouquier Derived equivalences for symmetric groups and sl2-categorification, Ann. of Math. (2) 167 (2008), no. 1, 245-298. [FH] W. Fulton and J. Harris. Representation Theory. A First Course, Springer-Verlag, New York, (2004). [Hsu] Y. H. Hsu. A categorical action of the shifted q = 0 affine algebra, arXiv:2009.03579 [math.RT] [Huy] D. Huybrechts, Fourier-Mukai transforms in Algebraic Geometry, Oxford University Press, (2006). [Kap85] M. M. Kapranov. On the derived categories of coherent sheaves on Grassman manifolds, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), 192-202; English translation in Math. USSR Izv. 24 (1985). [Kap88] M. M. Kapranov. On the derived categories of coherent sheaves on some homogeneous spaces, Invent. Math., 92, (1988), no. 3, 479-508. [Kaw] Y. Kawamata, Derived categories and birational geometry, Algebraic geometry – Seattle 2005. Part 2, Proc. Sympos. PureMath., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 655–665. [KL1] M. Khovanov, A. Lauda A diagrammatic approach to categorification of quantum groups I, Represent. Theory 13 (2009), 309-347. [KL2] M. Khovanov, A. Lauda A diagrammatic approach to categorification of quantum groups II, Trans. Amer. Math. Soc. 363 (2011), 2685-2700. [KL3] M. Khovanov, A. Lauda A diagrammatic approach to categorification of quantum groups III, Quantum topology 1, Issue 1 (2010), 1-92. [KP] A. Kuznetsov, A.Polishchuk, Exceptional collections on isotropic Grassmannians, J. Eur. Math. Soc. 18.3 (2016), 507–574. [Ku] A. Kuznetsov, Base change for semiorthogonal decompositions, Compos. Math. 147 (2011), no. 3, 852–876. [Ku1] A. Kuznetsov, Semiorthogonal decompositions in algebraic geometry, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 635–660. [Oka] S. Okawa. Semi-orthogonal decomposability of the derived category of a curve, Adv. Math., 228(5):2869-2873, 2011. [O] D. Orlov, Projective bundles, monoidal transformations, and derived categories of coherent sheaves, Izv. Ross. Akad. Nauk Ser.Mat. 56 (1992), no. 4, 852–862. [R] R. Rouquier, 2-Kac-Moody algebras, arXiv:0812.5023 [math.RT] SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 19 National Center for Theoretical Sciences Email address: [email protected]