We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking dual hyperplane sections (of the appropriate codimension) of the Grassmannian G(2, 7) and the Pfaffian Pf(7). The existence of such an equivalence has been conjectured by physicists for almost ten years, as the two families of Calabi-Yau threefolds are believed to have the same mirror. It is the first example of a derived equivalence between Calabi-Yau threefolds which are provably non-birational.
We establish the equality of stringy $E$-functions for double mirror Calabi-Yau complete intersections in the varieties of skew forms of rank at most $2k$ and at most $n-1-2k$ on a vector space of odd dimension $n$.
We consider the Pfaffian-Grassmannian equivalence from the motivic point of view. The main result is that under certain numerical conditions, both sides of the equivalence are related on the level of Chow motives. The consequences include a verification of Orlov's conjecture for Borisov's Calabi-Yau threefolds, and verifications of Kimura's finite-dimensionality conjecture, Voevodsky's smash conjecture and the Hodge conjecture for certain linear sections of Grassmannians. We also obtain new examples of Fano varieties with infinite-dimensional Griffiths group.
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.
The rank 4 locus of a general skew-symmetric 7x7 matrix gives the pfaffian variety in P^20 which is not defined as a complete intersection. Intersecting this with a general P^6 gives a Calabi-Yau manifold. An orbifold construction seems to give the 1-parameter mirror-family of this. However, corresponding to two points in the 1-parameter family of complex structures, both with maximally unipotent monodromy, are two different mirror-maps: one corresponding to the general pfaffian section, the other to a general intersection of G(2,7) in P^20 with a P^13. Apparently, the pfaffian and G(2,7) sect…
We solve Bershadsky-Cecotti-Ooguri-Vafa (BCOV) holomorphic anomaly equation to determine the higher genus Gromov-Witten invariants ($g \leq 5$) of the derived equivalent Calabi-Yau threefolds, which are of the appropriate codimensions in the Grassmannian Gr(2,7) and the Pfaffian Pf(7).
We give a new proof of the 'Pfaffian-Grassmannian' derived equivalence between certain pairs of non-birational Calabi-Yau threefolds. Our proof follows the physical constructions of Hori and Tong, and we factor the equivalence into three steps by passing through some intermediate categories of (global) matrix factorizations. The first step is global Knoerrer periodicity, the second comes from a birational map between Landau-Ginzburg B-models, and for the third we develop some new techniques.
We resolve a conjecture about a class of binomial initial ideals of $I_{2,n}$, the ideal of the Grassmannian, Gr$(2,\mathbb{C}^n$), which are associated to phylogenetic trees. For a weight vector $ω$ in the tropical Grassmannian, $in_ω(I_{2,n}) = J_\mathcal{T}$ is the ideal associated to the tree $\mathcal{T}$. The ideal generated by the $2r \times 2r$ subpfaffians of a generic $n \times n$ skew-symmetric matrix is precisely $I_{2,n}^{\{r-1\}}$, the $(r-1)$-secant of $I_{2,n}$. We prove necessary and sufficient conditions on the topology of $\mathcal{T}$ in order for $in_ω(I_{2,n})^{\{2\}} = J…
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…
In this paper we give gauged linear sigma model (GLSM) realizations of a number of geometries not previously presented in GLSMs. We begin by describing GLSM realizations of maps including Veronese and Segre embeddings, which can be applied to give GLSMs explicitly describing constructions such as the intersection of one hypersurface with the image under some map of another. We also discuss GLSMs for intersections of Grassmannians and Pfaffians with one another, and with their images under various maps, which sometimes form exotic constructions of Calabi-Yaus, as well as GLSMs for other exotic …
In this note we construct conifold transitions between several Calabi-Yau threefolds given by Pfaffians in weighted projective spaces and Calabi-Yau threefolds appearing as complete intersections in toric varieties. We use the obtained results to predict mirrors following ideas of \cite{BCKS, Batsmalltoricdegen}. In particular we consider the family of Calabi--Yau threefolds of degree 25 in $\mathbb{P}^9$ obtained as a transverse intersection of two Grassmannians in their Plucker embeddings.
We prove the derived equivalence of a pair of non-compact Calabi-Yau 7-folds, which are the total spaces of certain rank 2 bundles on $G_2$-Grassmannians. The proof follows that of the derived equivalence of Calabi-Yau 3-folds in $G_2$-Grassmannians by Kuznetsov closely.
On Fano varieties of index one that are linear sections of Grassmannians of lines
Univ. Grenoble Alpes, CNRS, IF（格勒诺布尔阿尔卑斯大学，法国国家科学研究中心）；Dipartimento di Matematica, Universitá di Roma Tor Vergata（罗马托维加塔大学数学系）；Dipartimento di Matematica e Fisica, Universitá Roma Tre（罗马第三大学数学与物理系）
I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.
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^*)…
We introduce various affine Grassmannians, study their geometric properties, and give some applications. We also discuss the geometric Satake equivalence. These are the expanded lecture notes for a mini-course in 2015 PCMI summer school. References updated and more details added.
Given a pair of derived-equivalent Calabi--Yau manifolds of dimension more than two, we prove that the derived equivalence can be extended to general fibers of versal deformations. As an application, we give a new proof of the Pfaffian--Grassmannian derived equivalence.
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.
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a twisted tensor product of the category of representations of the Langlands dual group and the category of pure polarizable Hodge structures.
We introduce a new class of autoequivalences that act on the derived categories of certain vector bundles over Grassmannians. These autoequivalences arise from Grassmannian flops: they generalize Seidel-Thomas spherical twists, which can be seen as arising from standard flops. We first give a simple algebraic construction, which is well-suited to explicit computations. We then give a geometric construction using spherical functors which we prove is equivalent.
This note is based on a talk given at String-Math 2012 in Bonn, on a joint paper with Ed Segal. We exhibit derived equivalences corresponding to certain Grassmannian flops. The construction of these equivalences is inspired by work of Herbst-Hori-Page on brane transport for gauged linear sigma models: in particular, we define 'windows' corresponding to their grade restriction rules. We then show how composing our equivalences produces interesting autoequivalences, which we describe as twists and cotwists about certain spherical functors. Our proofs use natural long exact sequences of bundles o…
We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a Pfaffian variety is equivalent to the derived factorization category of a noncommutative gauged Landau-Ginzburg model $(Λ,χ, w)^{\mathbb{G}_m}$, where $Λ$ is a noncommutative resolution of the quotient singularity $W/\operatorname{GSp}(Q)$ arising from a certain representation $W$ of the symplectic similitude group $\operatorname{GSp}(Q)$ of a symplectic vector spa…
We give a new proof of the derived equivalence of a pair of varieties connected by the flop of type $C_2$ in the list of Kanemitsu arXiv:1812.05392, which is originally due to Segal. We also prove the derived equivalence of a pair of varieties connected by the flop of type $A^G_4$ in the same list. The latter proof follows that of the derived equivalence of Calabi--Yau 3-folds in Grassmannians $\text{Gr}(2,5)$ and $\text{Gr}(3,5)$ by Kapustka and Rampazzo arXiv:1711.10231 closely.
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 establish a derived geometric Satake equivalence for the quaternionic general linear group GL_n(H). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the symmetric variety GL_2n/Sp_2n. We explain how these equivalences fit into the general framework of a geometric Langlands correspondence for real groups and the relative Langlands duality conjecture. As an application, we compute the stalks of the IC-complexes for spherical orbit closures in the quaternionic affine Grassmannian and the loop space of GL_2n/Sp_2n. We s…
We propose Picard-Fuchs equations for periods of nonabelian mirrors in this paper. The number of parameters in our Picard-Fuchs equations is the rank of the gauge group of the nonabelian GLSM, which is eventually reduced to the actual number of Kähler parameters. These Picard-Fuchs equations are concise and novel. We justify our proposal by reproducing existing mathematical results, namely Picard-Fuchs equations of Grassmannians and Calabi-Yau manifolds as complete intersections in Grassmannians. Furthermore, our approach can be applied to other nonabelian GLSMs, so we compute Picard-Fuchs equ…
We categorify the R-matrix isomorphism between tensor products of minuscule representations of U_q(sl(n)) by constructing an equivalence between the derived categories of coherent sheaves on the corresponding convolution products in the affine Grassmannian. The main step in the construction is a categorification of representations of U_q(sl(2)) which are related to representations of U_q(sl(n)) by quantum skew Howe duality. The resulting equivalence is part of the program of algebro-geometric categorification of Reshitikhin-Turaev tangle invariants developed by the first two authors.
