arXiv++ Combinatorics

This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic Mirković-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.

We give a new description of the set $Adm(μ)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

We study the structure constants defining two related rings: the spherical Hecke algebra of a split connected reductive group over a non-Archimedean local field, and the representation ring of the Langlands dual group.