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.
Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by …
One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of …
We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert vari…
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 introduce rectangular elements in the symmetric group. In the framework of PBW degenerations, we show that in type A the degenerate Schubert variety associated to a rectangular element is indeed a Schubert variety in a partial flag variety of the same type with larger rank. Moreover, the degenerate Demazure module associated to a rectangular element is isomorphic to the Demazure module for this particular Schubert variety of larger rank. This generalizes previous results by Cerulli Irelli, Lanini and Littelmann for the PBW degenerate flag variety.
We provide a proof that every Schubert variety of a semi-infinite flag variety is projectively normal. This gives us an interpretation of a Demazure module of a global Weyl module of a current Lie algebra as the (dual) space of the space of global sections of a semi-infinite Schubert variety. Moreover, we give geometric realizations of Feigin-Makedonskyi's generalized Weyl modules, and the $t = \infty$ specialization of non-symmetric Macdonald polynomials.
A Demazure crystal is the basis at $q=0$ of a Demazure module. Demazure crystals play an important role in Schubert calculus because the character of a Demazure crystal in type A is identical to a key polynomial, which is closely related to Schubert polynomials. In this paper, we study tensor products of Demazure crystals. Each connected component of a tensor product of Demazure crystals need not be isomorphic to some Demazure crystal. We provide a necessary and sufficient condition for every connected component of a tensor product to be isomorphic to some Demazure crystal. Also, we obtain the…
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.
A Newton-Okounkov convex body is a convex body constructed from a projective variety with a valuation on its homogeneous coordinate ring; this generalizes a Newton polytope for a toric variety. This convex body has various kinds of information about the original projective variety; for instance, Kaveh showed that the string polytopes from representation theory are examples of Newton-Okounkov bodies for Schubert varieties. In this paper, we extend the notion of string polytopes for Demazure modules to generalized Demazure modules, and prove that the resulting generalized string polytopes are id…
Let $G$ be a simple algebraic group of type $A$ or $D$ defined over $\C$ and $T$ be a maximal torus of $G$. For a dominant coweight $λ$ of $G$, the $T$-fixed point subscheme $(\bar{Gr}_G^λ)^T$ of the Schubert variety $\bar{Gr}_G^λ$ in the affine Grassmannian $Gr_G$ is a finite scheme. We prove that there is a natural isomorphism between the dual of the level one affine Demazure module corresponding to $λ$ and the ring of functions (twisted by certain line bundle on $Gr_G$) of $(\bar{Gr}_G^λ)^T$. We use this fact to give a geometric proof of the Frenkel-Kac-Segal isomorphism between basic repre…
A positroid variety is an intersection of cyclically rotated Grassmannian Schubert varieties. Each graded piece of the homogeneous coordinate ring of a positroid variety is the intersection of cyclically rotated (rectangular) Demazure modules, which we call the cyclic Demazure module. In this note, we show that the cyclic Demazure module has a canonical basis, and define the cyclic Demazure crystal.
We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix infinitesimal character. Roughly speaking, we demonstrate that all Ug-modules are the invariants, or equivalently coinvariants, of the action of intertwining functors (a refined form of Weyl group symmetry). This is a quantum version of descent for the Grothendieck-Springer simultaneous resolution. In an appendix we present an alternative perspective, which …
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation represent…
In recent years PBW degenerations of Demazure modules and Schubert varieties were defined and studied in several papers. Various interesting properties (such as these PBW degenerations embedding naturally into the corresponding degenerate representations and flag varieties) were obtained in type $\mathrm A$ but only with restrictions on the Weyl group element or the highest weight. We show that these properties cannot hold in full generality due to the following issue with the definition. The degenerate variety depends on the highest weight used to define it and not only on its Weyl group stab…
For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. …
A Newton-Okounkov body is a convex body constructed from a polarized variety with a valuation on its function field. Kaveh (resp., the first author and Naito) proved that the Newton-Okounkov body of a Schubert variety associated with a specific valuation is identical to the Littelmann string polytope (resp., the Nakashima-Zelevinsky polyhedral realization) of a Demazure crystal. These specific valuations are defined algebraically to be the highest term valuations with respect to certain local coordinate systems on a Bott-Samelson variety. Another class of valuations, which is geometrically nat…
Flagged Schur modules generalize the irreducible representations of the general linear group under the action of the Borel subalgebra. Their characters include many important generalizations of Schur polynomials, such as Demazure characters, flagged skew Schur polynomials, and Schubert polynomials. In this paper, we prove the characters of flagged Schur modules can be computed using a simple combinatorial algorithm due to Kohnert if and only if the indexing diagram is northwest. This gives a new proof that characters of flagged Schur modules are nonnegative sums of Demazure characters and give…
Let $\overline{\mathtt{X}}_λ$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_λ$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $λ$ is a coweight of $G$. We find a simple algorithm which describes the set $Ψ(λ)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_λ$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the c…
The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. L…
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on local…