The fibre of the Bott-Samelson Resolution

Let $G$ denote an adjoint semi-simple group over an algebraically closed field and $T$ a maximal torus of $G$. Following Contou-Carr\`ere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the building associated to the group $G$. We first determine a cellular decomposition of this variety analogous to the Bruhat decomposition of a Schubert variety and then we describe the fibre of this resolution above a $T-$fixed point.Comment: 17 page

Kac-Moody groups, hovels and Littelmann's paths

We give the definition of a kind of building I for a symmetrizable Kac-Moody group over a field K endowed with a dicrete valuation and with a residue field containing C. Due to some bad properties, we call this I a hovel. Nevertheless I has some good properties, for example the existence of retractions with center a sector-germ. This enables us to generalize many results proved in the semi-simple case by S. Gaussent and P. Littelmann [Duke Math. J; 127 (2005), 35-88]. In particular, if K= C((t)), the geodesic segments in I, with a given special vertex as end point and a good image under some retraction, are parametrized by a Zariski open subset P of C^N. This dimension N is maximum when this image is a LS path and then P is closely related to some Mirkovic-Vilonen cycle.Comment: 54 page

One-skeleton galleries, the path model and a generalization of Macdonald's formula for Hall-Littlewood polynomials

We give a direct geometric interpretation of the path model using galleries in the $1-$skeleton of the Bruhat-Tits building associated to a semi-simple algebraic group. This interpretation allows us to compute the coefficients of the expansion of the Hall-Littlewood polynomials in the monomial basis. The formula we obtain is a "geometric compression" of the one proved by Schwer, its specialization to the case ${\tt A}_n$ turns out to be equivalent to Macdonald's formula.Comment: 43 pages, 3 pictures, some improvements in the presentation, semistandard tableaux for type B and C define

Iwahori-Hecke algebras for Kac-Moody groups over local fields

We define the Iwahori-Hecke algebra for an almost split Kac-Moody group over a local non-archimedean field. We use the hovel associated to this situation, which is the analogue of the Bruhat-Tits building for a reductive group. The fixer K of some chamber in the standard apartment plays the role of the Iwahori subgroup. We can define the Iwahori-Hecke algebra as the algebra of some K-bi-invariant functions on the group with support consisting of a finite union of double classes. As two chambers in the hovel are not always in a same apartment, this support has to be in some large subsemigroup of the Kac-Moody group. In the split case, we prove that the structure constants of the multiplication in this algebra are polynomials in the cardinality of the residue field, with integer coefficients depending on the geometry of the standard apartment. We give a presentation of this algebra, similar to the Bernstein-Lusztig presentation in the reductive case, and embed it in a greater algebra, algebraically defined by the Bernstein-Lusztig presentation. In the affine case, this algebra contains the Cherednik's double affine Hecke algebra. Actually, our results apply to abstract "locally finite" hovels, so that we can define the Iwahori-Hecke algebra with unequal parameters.Comment: Version 2: Section on the extended affine case added, containing the relationship with the DAHAs, to appear in Pacific Journal of Mathematic

Spherical Hecke algebras for Kac-Moody groups over local fields

We define the spherical Hecke algebra H for an almost split Kac-Moody group G over a local non-archimedean field. We use the hovel I associated to this situation, which is the analogue of the Bruhat-Tits building for a reductive group. The stabilizer K of a special point on the standard apartment plays the role of a maximal open compact subgroup. We can define H as the algebra of K-bi-invariant functions on G with almost finite support. As two points in the hovel are not always in a same apartment, this support has to be in some large subsemigroup G+ of G. We prove that the structure constants of H are polynomials in the cardinality of the residue field, with integer coefficients depending on the geometry of the standard apartment. We also prove the Satake isomorphism between H and the algebra of Weyl invariant elements in some completion of a Laurent polynomial algebra. In particular, H is always commutative. Actually, our results apply to abstract "locally finite" hovels, so that we can define the spherical algebra with unequal parameters.Comment: 30 pages, second version, Satake isomorphism proven for any Kac-Moody grou

On Mirkovi'c-Vilonen cycles and crystal combinatorics

47 pagesLet $G$ be a complex connected reductive group and let $G^\vee$ be its Langlands dual. Let us choose a triangular decomposition $\mathfrak n^{-,\vee} \oplus\mathfrak h^\vee\oplus\mathfrak n^{+,\vee}$ of the Lie algebra of $G^\vee$. Braverman, Finkelberg and Gaitsgory show that the set of all Mirkovi\'c-Vilonen cycles in the affine Grassmannian $G\bigl(\mathbb C((t))\bigr)/G\bigl(\mathbb C[[t]]\bigr)$ is a crystal isomorphic to the crystal of the canonical basis of $U(\mathfrak n^{+,\vee})$. Starting from the string parameter of an element of the canonical basis, we give an explicit description of a dense subset of the associated MV cycle. As a corollary, we show that the varieties involved in Lusztig's algebraic-geometric parametrization of the canonical basis are closely related to MV cycles. In addition, we prove that the bijection between LS paths and MV cycles constructed by Gaussent and Littelmann is an isomorphism of crystals

Coherent presentations of Artin monoids

We compute coherent presentations of Artin monoids, that is presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensional rewriting that extend Squier's and Knuth-Bendix's completions into a homotopical completion-reduction, applied to Artin's and Garside's presentations. The main result of the paper states that the so-called Tits-Zamolodchikov 3-cells extend Artin's presentation into a coherent presentation. As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category