We define and discuss some general properties of residual categories of Lefschetz decompositions in triangulated categories. In the case of the derived category of coherent sheaves on the Grassmannian $\text{G}(k,n)$ we conjecture that the residual category associated with Fonarev's Lefschetz exceptional collection is generated by a completely orthogonal exceptional collection. We prove this conjecture for $k = p$, a prime number, modulo completeness of Fonarev's collection (and for $p = 3$ we check this completeness).
We show that homologically projectively dual varieties for Grassmannians Gr(2,6) and Gr(2,7) are given by certain noncommutative resolutions of singularities of the corresponding Pfaffian varieties. As an application we describe the derived categories of linear sections of these Grassmannians and Pfaffians. In particular, we show that (1) the derived category of a Pfaffian cubic 4-fold admits a semiorthogonal decompositions consisting of 3 exceptional line bundles, and of the derived category of a K3-surface; (2) mutually orthogonal Calabi-Yau linear sections of Gr(2,7) and of the correspondin…
This short note is an extended abstract for my talk at the Nottingham Online Algebraic Geometry Seminar on October 1, 2020. It is based on the joint works with Alexander Kuznetsov arXiv:1802.08097 and arXiv:2001.04148.
We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians.
We construct new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional vector space, and define endofunctors of the bounded derived categories of coherent sheaves associated to these varieties. In the case r=2 we show that these are autoequivalences using the theory of spherical functors. Our autoequivalences naturally generalize the Seidel-Thomas spherical twist for analogous bundles over projective spaces.
In our previous paper we suggested a conjecture relating the structure of the small quantum cohomology ring of a smooth Fano variety to the structure of its derived category of coherent sheaves. Here we generalize this conjecture, make it more precise, and support by the examples of (co)adjoint homogeneous varieties of simple algebraic groups of Dynkin types $A_n$ and $D_n$, i.e., flag varieties $Fl(1,n;n+1)$ and isotropic orthogonal Grassmannians $OG(2,2n)$; in particular we construct on each of those an exceptional collection invariant with respect to the entire automorphism group. For $OG(2…
We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.
We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano complete intersections are fractional Calabi--Yau up to a power of an explicit spherical twist. As applications, we compute the Serre dimensions of residual categories of Fano complete intersections, thereby proving a corrected version of a conjecture of Katzarkov and Kontsevich, and deduce the nonexistence of Serre invariant stability conditions when the d…
We consider the category of modules over the affine Kac-Moody algebra g^ of critical level with regular central character. In our previous paper math.RT/0508382 we conjectured that this category is equivalent to the category of Hecke eigen-D-modules on the affine Grassmannian G((t))/G[[t]]. This conjecture was motivated by our proposal for a local geometric Langlands correspondence. In this paper we prove this conjecture for the corresponding I^0 equivariant categories, where I^0 is the radical of the Iwahori subgroup of G((t)). Our result may be viewed as an affine analogue of the equivalence…
A noncommutative Grassmannian NGr(m, n) is introduced by Efimov, Luntz, and Orlov in `Deformation theory of objects in homotopy and derived categories III: Abelian categories' as a noncommutative algebra associated to an exceptional collection of n-m+1 coherent sheaves on P^n. It is a graded Calabi--Yau Z-algebra of dimension n-m+1. We show that this algebra is coherent provided that the codimension d = n-m of the Grassmannian is two. According to op. cit., this gives a t-structure on the derived category of the coherent sheaves on the noncommutative Grassmannian. The proof is quite different …
We show that the residual categories of quadric surface bundles are equivalent to the (twisted) derived categories of some scheme under the following hypotheses. Case 1: The quadric surface bundle has a smooth section. Case 2: The total space of the quadric surface bundle is smooth and the base is a smooth surface. We provide two proofs in Case 1 describing the scheme as the hyperbolic reduction and as a subscheme of the relative Hilbert scheme of lines, respectively. In Case 2, the twisted scheme is obtained by performing birational transformations to the relative Hilbert scheme of lines. Fin…
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The goal of this work is to provide further evidence for Catanese's conjecture, clarify some aspects of it and supply new techniques. In particular we prove a theorem on the derived categories of quadric b…
We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra…
We provide a semiorthogonal decomposition for the derived category of fibrations of quintic del Pezzo surfaces with rational Gorenstein singularities. There are three components, two of which are equivalent to the derived categories of the base and the remaining non-trivial component is equivalent to the derived category of a flat and finite of degree 5 scheme over the base. We introduce two methods for the construction of the decomposition. One is the moduli space approach following the work of Kuznetsov on the sextic del Pezzo fibrations and the components are given by the derived categories…
We discuss recent developments in the study of semiorthogonal decompositions of algebraic varieties with an emphasis on their behaviour in families. First, we overview new results concerning homological projective duality. Then we introduce residual categories, discuss their relation to small quantum cohomology, and compute Serre dimensions of residual categories of complete intersections. After that we define simultaneous resolutions of singularities and describe a construction that works in particular for nodal degenerations of even-dimensional varieties. Finally, we introduce the concept of…
Highest weight categories via pairs of dual exceptional sequences
Institute of Mathematics, University of Warsaw（华沙大学数学研究所）；Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）；Centre for Pure Mathematics, Moscow Institute of Physics and Technology（莫斯科物理技术学院纯数学中心）；Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo（东京大学宇宙物理与数学卡弗里研究所（WPI））
We study elementary Tate objects in an exact category. We characterize the category of elementary Tate objects as the smallest sub-category of admissible Ind-Pro objects which contains the categories of admissible Ind-objects and admissible Pro-objects, and which is closed under extensions. We compare Beilinson's approach to Tate modules to Drinfeld's. We establish several properties of the Sato Grassmannian of an elementary Tate object in an idempotent complete exact category (e.g. it is a directed poset). We conclude with a brief treatment of n-Tate modules and n-dimensional adèles. An appen…
A powerful tool of investigation of Fano varieties is provided by exceptional collections in their derived categories. Proving the fullness of such a collection is generally a nontrvial problem, usually solved on a case-by-case basis, with the aid of a deep understanding of the underlying geometry. Likewise, when an exceptional collection is not full, it is not straightforward to determine whether its "residual" category, i.e., its right orthogonal, is the derived category of a variety. We show how one can use the existence of Bridgeland stability condition these residual categories (when they…
In this article, we show that the categorical action of the shifted $q=0$ affine algebra can be used to construct (or induce) t-structures on the weight categories. The main idea is to interpret the exceptional collection constructed by Kapranov as convolution of Fourier-Mukai kernels in the categorical action via using the Borel-Weil-Bott theorem. In particular, when the categories are the bounded derived category of coherent sheaves on Grassmannians. The t-structure we obtain is precisely the exotic t-structure defined by Bezrukavnikov of the exceptional collections given by Kapranov. As an …
Using cyclotomic specializations of the equivariant $K$-theory with respect to a torus action we derive congruences for discrete invariants of exceptional objects in derived categories of coherent sheaves on a class of varieties that includes Grassmannians and smooth quadrics. For example, we prove that if $X={\Bbb P}^{n_1-1}\times...\times{\Bbb P}^{n_k-1}$, where $n_i$'s are powers of a fixed prime number $p$, then the rank of an exceptional object on $X$ is congruent to $\pm 1$ modulo $p$.
