We reduce some key calculations of compositions of morphisms between Soergel bimodules (" Soergel calculus") to calculations in the nil Hecke ring (" Schubert calculus"). This formula has several applications in modular representation theory.

We give a new description of the set {m Adm}(\mu) 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.

Let X denote an equivariant embedding of a connected reductive group G over an algebraically closed field k. Let B denote a Borel subgroup of G and let Z denote a B B-orbit closure in X. When the characteristic of k is positive and X is projective we prove that Z is globally F-regular. As a consequence, Z is normal and CohenMacaulay for arbitrary X and arbitrary characteristics. Moreover, in characteristic zero it follows that Z has rational singularities. This extends earlier results by the second author and M. Brion.

Let (W, I) be a finite Coxeter group. In the case where W is a Weyl group, Berenstein and Kazhdan in [A. Berenstein, D. Kazhdan, Geometric and unipotent crystals. II. From unipotent bicrystals to crystal bases, in: Quantum Groups, in: Contemp. Math., vol. 433, Amer. Math. Soc., Providence, RI, 2007, pp. 1388] constructed a monoid structure on the set of all subsets of I using unipotent -linear bicrystals. In this paper, we will generalize this result to all types of finite Coxeter groups (including non-crystallographic types). Our approach is more elementary, based on some combinatorics of Coxeter groups. Moreover, we will calculate this monoid structure explicitly for each type.

The motivation for this paper is the study of arithmetic properties of Shimura varieties, in particular the Newton stratification of the special fiber of a suitable integral model at a prime with parahoric level structure. This is closely related to the structure of RapoportZink spaces and of affine DeligneLusztig varieties. We prove a HodgeNewton decomposition for affine DeligneLusztig varieties and for the special fibers of RapoportZink spaces, relating these spaces to analogous ones defined in terms of Levi subgroups, under a certain condition (HodgeNewton decomposability) which can be phrased in combinatorial terms. Second, we study the Shimura varieties in which every non-basic\sigma-isogeny class is HodgeNewton decomposable. We show that (assuming the axioms of He and Rapoport in Manuscr. Math. 152 (34): 317343, 2017) this condition is equivalent to nice conditions on either the basic locus or on