arXiv++ Combinatorics

For a given cocharacter mu, mu-admissibility and mu-permissibility are combinatorial notions introduced by Kottwitz and Rapoport that arise in the theory of bad reduction of Shimura varieties. In this paper we prove that mu-admissibility is equivalent to mu-permissibility in all previously unknown cases of minuscule cocharacters mu in Iwahori-Weyl groups attached to split orthogonal groups. This, combined with other cases treated previously by Kottwitz-Rapoport and the author, establishes the equivalence of mu-admissibility and mu-permissibility for all minuscule cocharacters in split classical groups, as conjectured by Rapoport.

Let Gamma be the K-shadow space of a spherical building Delta. An embedding V of Gamma is called polarized if it affords all "singular" hyperplanes of Gamma. Suppose that Delta is associated to a Chevalley group G. Then Gamma can be embedded into what we call the Weyl module for G of highest weight lambda_K. It is proved that this module is polarized and that the associated minimal polarized embedding is precisely the irreducible G-module of highest weight lambda_K. In addition a number of general results on polarized embeddings of shadow spaces are proved. The last few sections are devoted to the study of specific shadow spaces, notably minuscule weight geometries, polar grassmannians, and projective flag-grassmannians. The paper is in part expository in nature so as to make this material accessible to a wide audience.

Fix a Dynkin diagram and let p be a coweight. When does there exist an element w of the corresponding Weyl group such that w is p-minuscule and w(p) is dominant? We answer this question for general Coxeter groups. We express and prove these results using a variant of Mozes's game of numbers.

Local models are schemes, defined in terms of linear algebra, that were introduced by Rapoport and Zink to study the étale-local structure of integral models of certain PEL Shimura varieties over p-adic fields. A basic requirement for the integral models, or equivalently for the local models, is that they be flat. In the case of local models for even orthogonal groups, Genestier observed that the original definition of the local model does not yield a flat scheme. In a recent article, Pappas and Rapoport introduced a new condition to the moduli problem defining the local model, the so-called spin condition, and conjectured that the resulting "spin" local model is flat. We prove a weak form of their conjecture in the split, Iwahori case, namely that the spin local model is topologically flat. An essential combinatorial ingredient is the equivalence of mu-admissibility and mu-permissibility for two minuscule cocharacters mu in root systems of type D.

We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.

We introduce a theory of jeu de taquin for increasing tableaux, extending fundamental work of [Schützenberger '77] for standard Young tableaux. We apply this to give a new combinatorial rule for the K-theory Schubert calculus of Grassmannians via K-theoretic jeu de taquin, providing an alternative to the rules of [Buch '02] and others. This rule naturally generalizes to give a conjectural root-system uniform rule for any minuscule flag variety G/P, extending [Thomas-Yong '06]. We also present analogues of results of Fomin, Haiman, Schensted and Schützenberger.

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 connections of our rule to (geometric) representation theory is also briefly entertained.

We give a new model for the crystal graphs of an affine Lie algebra g^, combining Littelmann's path model with the Kyoto path model. The vertices of the crystal graph are represented by certain infinitely looping paths which we call skeins. We apply this model to the case when the corresponding finite-dimensional algebra g has a minuscule representation (classical type and E_6, E_7). We prove that the basic level-one representation of g^, when considered as a representation of g, is an infinite tensor product of fundamental representations of g. A similar tensor product phenomenon holds for certain Demazure submodules of the basic representation.