We construct a full exceptional collection of vector bundles in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in a symplectic vector space of dimension $2n$ and in the derived category of coherent sheaves on the Grassmannian of isotropic two-dimensional subspaces in an orthogonal vector space of dimension $2n + 1$ for all $n$.
The author was informed that the result in the original version had been obtained earlier by K. Ueda (arXiv:math/0503355 [math.AG]). The paper is retracted.
In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles over isotropic Grassmannians of types $B$, $C$ and $D$ in term of step matrices. We show that there are only finitely many irreducible homogeneous ACM bundles by twisting line bundles over these isotropic Grassmannians. So we classify all homogeneous ACM bundles over isotropic Grassmannians combining the results on usual Grassmannians by Costa and Mir{ó}-Roig. Moreover, if the irreducible initialized homogeneous ACM bundles correspond to some special highest weights, then they can be characterized by succinc…
We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessary and sufficient conditions for the case of the Grassmanian of symplectic isotropic lines. For the general case the generalization of Ottaviani's conditions are sufficient for vector bundles over the symplectic isotropic Grassmannian. By a calculation in the program LiE, we find that Ottaviani's conditions are necessary for Lagrangian Grassmannian of isotropic $k$-planes for $k\leq 6$, but they fail to be necessary f…
We show that general isotropic flags for odd-orthogonal and symplectic groups are general for Schubert calculus on the classical Grassmannian in that Schubert cells defined by such flags meet transversally. This strengthens a result of Belkale and Kumar in arXiv:0708.0398.
Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781.
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on conormal spaces, which we use as the starting point for our generalization. We also study the dual notion of isotropic varieties by imposing rank one conditions on tangent spaces instead…
Let $X$ be an isotropic Grassmannian of type $B$, $C$, or $D$. In this paper we calculate $K$-theoretic Pieri-type triple intersection numbers for $X$: that is, the sheaf Euler characteristic of the triple intersection of two arbitrary Schubert varieties and a special Schubert variety in general position. We do this by determining explicit equations for the projected Richardson variety corresponding to the two arbitrary Schubert varieties, and show that it is a complete intersection in projective space. The $K$-theoretic Pieri coefficients are alternating sums of these triple intersection numb…
We give a formula in terms of Young diagrams to calculate the minimum positive integer $d$ such that $q^d$ appears in the quantum product of two Schubert classes for the submaximal isotropic Grassmannians in Types B and C. We do this by studying curve neighborhoods. We compute curve neighborhoods in several combinatorial models including $k$-strict partitions and a set of partitions where their inclusion is compatible with the Bruhat order.
We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations.
There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction.
Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear …
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 introduce a new construction of exceptional objects in the derived category of coherent sheaves on a compact homogeneous space of a semisimple algebraic group and show that it produces exceptional collections of the length equal to the rank of the Grothendieck group on homogeneous spaces of all classical groups.
We consider ind-varieties obtained as direct limits of chains of embeddings $X_1\stackrel{ϕ_1}{\hookrightarrow}\dots\stackrel{ϕ_{m-1}}{\hookrightarrow} X_m\stackrel{ϕ_m}{\hookrightarrow}X_{m+1}\stackrel{ϕ_{m+1}}{\hookrightarrow}\dots$, where each $X_m$ is a Grassmannian or an isotropic Grassmannian (possibly mixing Grassmannians and isotropic Grassmannians), and the embeddings $ϕ_m$ are linear in the sense that they induce isomorphisms of Picard groups. We prove that any such ind-variety is isomorphic to one of certain standard ind-Grassmannians and that the latter are pairwise non-isomorphic …
We give a Pieri rule for the torus-equivariant cohomology of (submaximal) Grassmannians of Lie types B, C, and D. To the authors' best knowledge, our rule is the first manifestly positive formula, beyond the equivariant Chevalley formula. We also give a simple proof of the equivariant Pieri rule for the ordinary (type A) Grassmannian.
We give an elementary proof of the Pieri-type formula in the cohomology of a Grassmannian of maximal isotropic subspaces of an odd orthogonal or symplectic vector space. This proof proceeds by explicitly computing a triple intersection of Schubert varieties. The decisive step is an explicit description of the intersection of two Schubert varieties, from which the multiplicities (which are powers of 2) in the Pieri-type formula are deduced.
We construct a full exceptional collection consisting of vector bundles in the derived category of coherent sheaves on the so-called Cayley Grassmannian, the subvariety of the Grassmannian $\mathrm{Gr}(3, 7)$ parameterizing 3-subspaces that are annihilated by a general 4-form. The main step in the proof of fullness is a construction of two self-dual vector bundles which is obtained from two operations with quadric bundles that might be interesting in themselves.
Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X be an exceptional projective homogeneous scheme over R. We prove that in most cases the condition that X has a K-point implies that X has an R-point.
The subject of this paper is the big quantum cohomology rings of symplectic isotropic Grassmannians $\text{IG}(2, 2n)$. We show that these rings are regular. In particular, by "generic smoothness", we obtain a conceptual proof of generic semisimplicity of the big quantum cohomology for $\text{IG}(2, 2n)$. Further, by a general result of Claus Hertling, the regularity of these rings implies that they have a description in terms of isolated hypersurface singularities, which we show in this case to be of type $A_{n-1}$. By the homological mirror symmetry conjecture, these results suggest the exis…
We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians.
Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing the structure constants appearing in the quantum product of Schubert classes.
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…
The Pfaffian-Grassmannian correspondence relates certain pairs of derived equivalent non-birational Calabi-Yau 3-folds. Given such a pair, I construct a set of derived equivalences corresponding to mutations of an exceptional collection on the relevant Grassmannian, and give a mirror symmetry interpretation, following a physical analysis of Eager, Hori, Knapp, and Romo.
In this paper the K-Theory and the category of homogeneous vector bundles on the symplectic Grassmannian SpGr(2,N) of isotropic 2-planes are discussed.
For a nondegenerate quadratic form phi on a vector space V of dimension 2n + 1, let X_d be the variety of d-dimensional totally isotropic subspaces of V. We give a sufficient condition for X_2 to be 2-incompressible, generalizing in a natural way the known sufficient conditions for X_1 and X_n. Key ingredients in the proof include the Chernousov-Merkurjev method of motivic decomposition as well as Pragacz and Ratajski's characterization of the Chow ring of (X_2)_E, where E is a field extension splitting phi.
This work is motivated by the relation between the KP and BKP integrable hierarchies, whose $τ$-functions may be viewed as sections of dual determinantal and Pfaffian line bundles over infinite dimensional Grassmannians. In finite dimensions, we show how to relate the Cartan map which, for a vector space $V$ of dimension $N$, embeds the Grassmannian ${\mathrm {Gr}}^0_V(V+V^*)$ of maximal isotropic subspaces of $V+ V^*$, with respect to the natural scalar product, into the projectivization of the exterior space $Λ(V)$, and the Plücker map, which embeds the Grassmannian ${\mathrm {Gr}}_V(V+ V^*)…
The odd symplectic Grassmannian $\mathrm{IG}:=\mathrm{IG}(k, 2n+1)$ parametrizes $k$ dimensional subspaces of $\mathbb{C}^{2n+1}$ which are isotropic with respect to a general (necessarily degenerate) symplectic form. The odd symplectic group acts on $\mathrm{IG}$ with two orbits, and $\mathrm{IG}$ is itself a smooth Schubert variety in the submaximal isotropic Grassmannian $\mathrm{IG}(k, 2n+2)$. We use the technique of curve neighborhoods to prove a Chevalley formula in the equivariant quantum cohomology of $\mathrm{IG}$, i.e. a formula to multiply a Schubert class by the Schubert divisor cl…
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…
In this paper we consider Grassmannians in arbitrary characteristic. Generalizing Kapranov's well-known characteristic-zero results we construct dual exceptional collections on them (which are however not strong) as well as a tilting bundle. We show that this tilting bundle has a quasi-hereditary endomorphism ring and we identify the standard, costandard, projective and simple modules of the latter.
We study the torus equivariant Schubert classes of the Grassmannian of non-maximal isotropic subspaces in a symplectic vector space. We prove a formula that expresses each of those classes as a sum of multi Schur-Pfaffians, whose entries are equivariantly modified special Schubert classes. Our result gives a proof to Wilson's conjectural formula, which generalizes the Giambelli formula for the ordinary cohomology proved by Buch-Kresch-Tamvakis, given in terms of Young's raising operators. Furthermore we show that the formula extends to a certain family of Schubert classes of the symplectic par…
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$.
We prove that all quiver Grassmannians for exceptional representations of a generalized Kronecker quiver admit a cell decomposition. In the process, we introduce a class of regular representations which arise as quotients of consecutive preprojective representations. Cell decompositions for quiver Grassmannians of these "truncated preprojectives" are also established. We also provide two natural combinatorial labelings for these cells. On the one hand, they are labeled by certain subsets of a so-called 2-quiver attached to a (truncated) preprojective representation. On the other hand, the cell…
We construct a full exceptional collection of vector bundles in the bounded derived category of coherent sheaves on the Grassmannian $\mathrm{IGr}(3,8)$ of isotropic 3-dimensional subspaces in an 8-dimensional symplectic vector space.
Let $\cP=G/P$ be a homogeneous projective variety with $G$ a reductive group and $P$ a parabolic subgroup. In positive characteristic we exhibit for $G$ of low rank a Karoubian complete strongly exceptional poset of locally free sheaves appearing in the Frobenius direct image of the structure sheaf of $G/P$. These sheaves are all defined over $\bbZ$, so by base change provide a Karoubian complete strongly exceptional poset on $\cP$ over $\bbC$, adding to the list of classical results by Beilinson and Kapranov on the Grassmannians and the quadrics over $\bbC$.
In this paper we consider a conjecture formulated by the second author in occasion of the 1998 ICM in Berlin (arXiv:math/9807034v2). This conjecture states the equivalence, for a Fano variety $X$, of the semisimplicity condition for the quantum cohomology $QH^\bullet(X)$ with the existence condition of full exceptional collections in the derived category of coherent sheaves $\mathcal D^b(X)$. Furthermore, in its quantitative formulation, the conjecture also prescribes an explicit relationship between the monodromy data of $QH^\bullet(X)$ and characteristic classes of both $X$ and objects of th…
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 …
We show that the space of gravitational spinors in eleven dimensions, defined by equations $Γ_{αβ}^iλ^αλ^β=0$ admits a desingularization with nice geometric properties. In particular the desingularization fibers over the isotropic Grassmannian OGr(2,11). This enables us to recast equations of linearized eleven-dimensional supergravity adapted to 3-form potential into Cauchy-Riemann equations on a super extension of isotropic Grassmannian OGr(2,11).
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 …
Let U be the tautological subbundle on the Grassmannian $\mathrm{Gr}(k, n)$. There is a natural morphism $\mathrm{Tot}(U) \to \mathbb{A}^n$. Using it, we give a semiorthogonal decomposition for the bounded derived category $D^b_{\mathrm{coh}}(\mathrm{Tot}(U))$ into several exceptional objects and several copies of $D^b_{\mathrm{coh}}(\mathbb{A}^n)$. We also prove a global version of this result: given a vector bundle $E$ with a regular section $s$, consider a subvariety of the relative Grassmannian $\mathrm{Gr}(k, E)$ of those subspaces which contain the value of $s$. The derived category of t…