64 pages, in english. According to a remark of B. Totaro, we add a reference to J. Wisniewski which was essential in the proof of the theorem: any small resolution is a relative minimal model. We reattribute this result to B. Totaro and J. Wisniewski
In this paper, we describe on the one hand, all relative minimal models Y of a minuscule Schubert variety X using some combinatorics on quivers and we prove that the morphism from Y to X is small (in the sense of intersection cohomology).
On the other hand, thanks to a result of B. Totaro, any small resolution Z of a minuscule Schubert variety X has to be a relative minimal model of X. So X admits a small resolution if and only if there exists a smooth relative minimal model Y of X. We give a combinatoric criterion for Y to be smooth describing in this way all small resolutions of X.
We also use stringy polynomials and the relative canonical model to give another way to tell when a minuscule Schubert variety admits a small resolution.
We study exceptional minuscule Schubert varieties and provide the defining equations of the defining ideals of their intersection with the big open cell. We also provide the resolutions of these ideals and characterize some of them in terms of fundamental examples of ideals in the theory of Gorenstein ideals.
In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see math.AG/0603273) on the Gorenstein locus of Schubert varieties.
We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about co…
We classify all Q-factorializations of (co)minuscule Schubert varieties by using their Mori dream space structure. As a corollary we obtain a description of all IH-small resolutions of (co)minuscule Schubert varieties generalizing results of Perrin. We improve his results by including algebraically closed fields of positive characteristic and cominuscule Schubert varieties. Moreover, the use of Q-factorializations and Mori dream spaces simplifies the arguments substantially.
We consider smooth complete intersection Calabi-Yau 3-folds in minuscule Schubert varieties, and study their mirror symmetry by degenerating the ambient Schubert varieties to Hibi toric varieties. We list all possible Calabi-Yau 3-folds of this type up to deformation equivalences, and find a new example of smooth Calabi-Yau 3-folds of Picard number one; a complete intersection in a locally factorial Schubert variety ${\boldsymbolΣ}$ of the Cayley plane ${\mathbb{OP}}^2$. We calculate topological invariants and BPS numbers of this Calabi-Yau 3-fold and conjecture that it has a non-trivial Fouri…
Let X be a minuscule Schubert variety and $α$ a class of 1-cycle on X. In this article we describe the irreducible components of the scheme of morphisms of class $α$ from a rational curve to X. The irreducible components are described in the following way : the class $α$ can be seen as an element of $Pic(X)^*$ the dual of the Picard group. Because any Weil-divisor need not to be a Cartier-divisor, there is (only) a surjective map $s:A^1(X)^*\to Pic(X)^*$ from the dual of the group of codimension 1 cycles to the dual of the Picard group. The irreducible components are given by the effective ele…
We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-…
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated as a strange duality property for the Gromov-Witten invariants, which turn out to be very symmetric.
We describe a relationship between work of Laksov, Gatto, and their collaborators on realizations of (generalized) Schubert calculus of Grassmannians, and the geometric Satake correspondence of Lusztig, Ginzburg, and Mirković and Vilonen. Along the way we obtain new proofs of equivariant Giambelli formulas for the ordinary and orthogonal Grassmannians, as well as a simple derivation of the "rim-hook" rule for computing in the equivariant quantum cohomology of the Grassmannian.
In this paper, we formulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure. Also, we prove that these conjectures are compatible with all known results.
I prove that a vector bundle on a minuscule homogeneous variety splits into a direct sum of line bundles if and only if its restriction to the union of two-dimensional Schubert subvarieties splits. A case-by-case analysis is done.
We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties.
We consider the action of the Levi subgroup of a parabolic subgroup that stabilizes a Schubert variety. We show that a smooth Schubert variety is a homogeneous space for a parabolic subgroup, or it has a smooth Schubert divisor. Further, we show that all smooth Schubert varieties in a (partial) flag variety of a rank two simple algebraic group are spherical.
Levi subgroup actions on Schubert varieties are studied. In the case of partial flag varieties, the horospherical actions are determined. This leads to a characterization of the toroidal and horospherical partial flag varieties with Picard number 1. In the more general case, we provide a set of necessary conditions for the action of a Levi subgroup on a Schubert variety to be toroidal. The singular locus of a (co)minuscule Schubert variety is shown to contain all the $L_{max}$-stable Schubert subvarieties, where $L_{max}$ is the standard Levi subgroup of the maximal parabolic which acts on the…
We describe the effect of Feigin's flat degeneration of the type $\textrm{A}$ flag variety on its Schubert varieties. In particular, we study when they stay irreducible and in several cases we are able to encode reducibility of the degenerations in terms of symmetric group combinatorics. As a side result, we obtain an identification of some Schubert varieties with Richardson varieties in higher rank partial flag varieties.
We show that the smooth horizontal Schubert subvarieties of a rational homogeneous variety $G/P$ are homogeneously embedded cominuscule $G'/P'$, and are classified by subdiagrams of a Dynkin diagram. This generalizes the classification of smooth Schubert varieties in cominuscule $G/P$.
We consider the PBW filtrations over the integers of the irreducible highest weight modules in type A and C. We show that the associated graded modules can be realized as Demazure modules for group schemes of the same type and doubled rank. We deduce that the corresponding degenerate flag varieties are isomorphic to Schubert varieties in any characteristic.
We relate the geometry of Schubert varieties in twisted affine Grassmannian and the nilpotent varieties in symmetric spaces. This extends some results of Achar-Henderson in the twisted setting. We also get some applications to the geometry of the order 2 nilpotent varieties in certain classical symmetric spaces.
Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and
We study spherical Schubert varieties in the affine Grassmannian. These Schubert varieties have a natural conjectural modular description due to Finkelberg-Mirković. This modular description is easily seen to be set-theoretically correct, but it is not obviously scheme-theoretically correct. We prove that this modular description is correct in many cases. We also link this modular description to the reducedness conjecture from Kamnitzer-Webster-Weekes-Yacobi for tranverse slices in the affine Grassmannian.
Rutgers University（罗格斯大学）；Université de Lorraine（洛林大学）；Virginia Tech University（弗吉尼亚理工大学）；Laboratoire de Mathématiques de Versailles, UVSQ, CNRS, Université Paris-Saclay（凡尔赛数学实验室，凡尔赛大学，法国国家科学研究中心，巴黎萨克雷大学）
We examine the set of $J_b(F)$-orbits in the set of irreducible components of affine Deligne-Lusztig varieties for a hyperspecial subgroup and minuscule coweight $μ$. Our description implies in particular that its number of elements is bounded by the dimension of a suitable weight space in the Weyl module associated with $μ$ of the dual group.
Let X be the direct product of two Grassmann varieties of k- and l-planes in a finite-dimensional vector space V, and let B be the isotropy group of a complete flag in V. We consider B-orbits in X, which are an analog to Schubert cells in Grassmannians. We describe this set of orbits combinatorially and construct desingularizations for the closures of these orbits, similar to the Bott--Samelson desingularizations for Schubert varieties.
In this paper we give top most and least indices of non vanishing cohomology modules of line bundles in the Kac Moody setting in terms of Weyl group combinatorics. We also prove a surjection Theorem.
We compute the spaces of sections of powers of the determinant line bundle on the spherical Schubert subvarieties of the Beilinson- Drinfeld affine Grassmannians. The answer is given in terms of global Demazure modules over the current Lie algebra.
We give a short and self-contained proof of the Decomposition Theorem for the non-small resolution of a Special Schubert variety. We also provide an explicit description of the perverse cohomology sheaves. As a by-product of our approach, we obtain a simple proof of the Relative Hard Lefschetz Theorem.
Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $α$ is a co-minuscule root if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_α$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$
For a semisimple adjoint algebraic group $G$ and a Borel subgroup $B$, consider the double classes $BwB$ in $G$ and their closures in the canonical compactification of $G$: we call these closures large Schubert varieties. We show that these varieties are normal and Cohen-Macaulay; we describe their Picard group and the spaces of sections of their line bundles. As an application, we construct geometrically van der Kallen's filtration of the algebra of regular functions on $B$. We also construct a degeneration of the flag variety $G/B$ embedded diagonally in $G/B\times G/B$, into a union of Schu…
After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of $G$ increases. We show also that in type A, some Schubert varieties are not isomorphic to any adjoint Hessenberg variety.
Let $G$ be a simple simply-laced algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $ω_α$ is a minuscule fundamental weight if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_α$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$
Tangent spaces of spherical Schubert varieties and counterexamples to the reducedness conjecture
Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Department of Mathematics, University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校数学系）；Department of Mathematics, Jiangxi University of Finance and Economics（江西财经大学数学系）
We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngô-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curve…
We study the quantum cohomology of (co)minuscule homogeneous varieties under a unified perspective. We show that three points Gromov-Witten invariants can always be interpreted as classical intersection numbers on auxiliary varieties. Our main combinatorial tools are certain quivers, in terms of which we obtain a quantum Chevalley formula and a higher quantum Poincaré duality. In particular we compute the quantum cohomology of the two exceptional minuscule homogeneous varieties.
Quiver Grassmannians are projective varieties parametrizing subrepresentations of given dimension in a quiver representation. We define a class of quiver Grassmannians generalizing those which realize degenerate flag varieties. We show that each irreducible component of the quiver Grassmannians in question is isomorphic to a Schubert variety. We give an explicit description of the set of irreducible components, identify all the Schubert varieties arising, and compute the Poincaré polynomials of these quiver Grassmannians.
We show that, with coefficients in a field or a complete local ring k, the Braden-MacPherson algorithm computes the stalks of parity sheaves with coefficients in k. As a consequence we deduce that the Braden-MacPherson algorithm may be used to calculate the characters of tilting modules for algebraic groups and show that the p-smooth locus of (Kac-Moody) Schubert varieties agrees with the rationally smooth locus, if the underlying Bruhat graph satisfies a GKM-condition.
We discuss a method for calculating the Chern-Schwartz-MacPherson (CSM) class of a Schubert variety in the Grassmannian using small resolutions introduced by Zelevinsky. As a consequence, we show how to compute the Chern-Mather class and local Euler obstructions using small resolutions instead of the Nash blowup. The algorithm obtained for CSM classes also allows us to prove new cases of a positivity conjecture of Aluffi and Mihalcea.
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.
Our concern in this paper is the dimension and inclusion relations of Schubert varieties in twisted partial affine flag varieties. In the end we apply our results to some local models of certain Schubert varieties.
A permutation is called covexillary if it avoids the pattern $3412$. We construct an open embedding of a covexillary matrix Schubert variety into a Grassmannian Schubert variety. As applications of this embedding, we show that the characteristic cycles of covexillary Schubert varieties are irreducible, and provide a new proof of Lascoux's model computing Kazhdan-Lusztig polynomials of vexillary permutations. Combining the above embedding with earlier work of the author on the conormal varieties of Grassmannian Schubert varieties, we develop an algebraic criterion identifying the conormal varie…
The theory of Newton-Okounkov polytopes is a generalization of that of Newton polytopes for toric varieties, and it gives a systematic method of constructing toric degenerations of a projective variety. In the case of Schubert varieties, their Newton-Okounkov polytopes are deeply connected with representation theory. Indeed, Littelmann's string polytopes and Nakashima-Zelevinsky's polyhedral realizations are obtained as Newton-Okounkov polytopes of Schubert varieties. In this paper, we apply the folding procedure to a Newton-Okounkov polytope of a Schubert variety, which relates Newton-Okounko…
We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian a…
Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form $\diag(G) \cdot V$, where $V$ is a $B \times B$-orbit closure in $X$. In the case where $X$ is the wonderful compactification of a group of adjoint type, the $G$-Schubert varieties are the closures of Lusztig's $G$-stable pieces. We prove that $X$ admits a Frobenius splitting which is compatible with all $G$-Schubert varieties. Moreover, when $X$ is smooth, proj…
In this work we extend some previously known results on the automorphism group of Schubert varieties. We consider the Schubert conditions which define a Schubert variety. An automorphism of the Grassmannian fixes a Schubert variety contained in it if and only if it fixes certain elements of the flag used to define the Schubert conditions.
We introduce the notion of a cominuscule point in a Schubert variety in a generalized flag variety for a semisimple group. We derive formulas expressing the Hilbert series and multiplicity of a Schubert variety at a cominuscule point in terms of the restrictions of classes in torus-equivariant K-theory and cohomology to that point, generalizing previously known formulas for flag varieties of cominuscule type. Thus, we can calculate Hilbert series and multiplicities in cases where these were previously unknown. The formulas for Schubert varieties are special cases of more general formulas valid…
Schubert varieties have been exhaustively studied with a plethora of techniques: Coxeter groups, explicit desingularization, Frobenius splitting, etc. Many authors have applied these techniques to various other varieties, usually defined by determinantal equations. It has turned out that most of these apparently different varieties are actually Schubert varieties in disguise, so that one may use a single unified theory to understand many large families of spaces. The most powerful result in this direction was given by Lusztig as a footnote to his work on canonical bases. He showed that the var…
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove…
Tangent spaces to Schubert varieties of type A were characterized by Lakshmibai and Seshadri. This result was extended to the other classical types by Lakshmibai. We give a uniform characterization of tangent spaces to Schubert varieties in cominuscule G/P. Our results extend beyond cominuscule G/P; they describe the tangent space to any Schubert variety in G/B at a point xB, where x is a cominuscule Weyl group element in the sense of Peterson. Our results also give partial information about the tangent space to any Schubert variety at any point. Our method is to describe the tangent spaces of…
Let $G/P$ be a complex cominuscule flag manifold. We prove a type independent formula for the torus equivariant Mather class of a Schubert variety in $G/P$, and for a Schubert variety pulled back via the natural projection $G/Q \to G/P$. We apply this to find formulae for the local Euler obstructions of Schubert varieties, and for the torus equivariant localizations of the conormal spaces of these Schubert varieties. We conjecture positivity properties for the local Euler obstructions and for the Schubert expansion of Mather classes. We check the conjectures in many cases, by utilizing results…
