arXiv subjects

Stéphane Gaussent

Publications and source records attributed to Stéphane Gaussent.

16 recordsLinked to original sources

arXiv2025

Existence of a new family of irreducible components in the tensor product and its applications

In this paper, using crystal theory we prove the existence of a new family of irreducible components appearing in the tensor product of two irreducible integrable highest weight modules over symmetrizable Kac-Moody algebras motivated by the Schur positivity conjecture, Kostant conjecture and Wahl conjecture. We also prove Schur positivity conjecture in full generality when the Lie algebra is a simple Lie algebra under the assumption that $λ> > μ$, i.e. if $λ$ and $μ$ are the two dominant weights appearing in the tensor product then $λ+wμ$ is a dominant weight for all the Weyl group elements $w$.

math.RT↗

arXiv2021

MV Polytopes and Masures

We realize affine Mirkovi{ć}-Vilonen polytopes using Littelmann's path model in the framework of masures. We are also able to read the decorations on the paths in the case of sl2.

math.RT↗

arXiv2020

Bases of tensor products and geometric Satake correspondence

The geometric Satake correspondence can be regarded as a geometric construction of the rational representations of a complex connected reductive group G. In their study of this correspondence, Mirković and Vilonen introduced algebraic cycles that provide a linear basis in each irreducible representation. Generalizing this construction, Goncharov and Shen define a linear basis in each tensor product of irreducible representations. We investigate these bases and show that they share many properties with the dual canonical bases of Lusztig.

math.RT↗

arXiv2017

Macdonald's formula for Kac-Moody groups over local fields

For an almost split Kac-Moody group G over a local non-archimedean field, the last two authors constructed a spherical Hecke algebra H (over the complex numbers C, say) and its Satake isomorphism with the commutative algebra of Weyl invariant elements in some formal series algebra C[[Y]].In this article, we prove a Macdonald's formula, i.e. an explicit formula for the image of a basis element of H. The proof involves geometric arguments in the masure associated to G and algebraic tools, including the Cherednik's representation of the Bernstein-Lusztig-Hecke algebra (introduced in a previous article) and the Cherednik's identity between some symmetrizers.

math.RT↗

arXiv2016

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.

math.RT↗

arXiv2015

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.

math.CT↗

arXiv2012

Réflexions dans un cristal

Let g = n^- + h + n^+ be a symmetrizable Kac-Moody algebra. Let B(\infty) be the Kashiwara crystal of U_q(n^-), let λbe a dominant integral weight, let T_λ= {t_λ} be the crystal with one element of weight λ, and let B(λ) \subset B(\infty) \otimes T_λbe the crystal of the integrable representation of highest weight λ. We compute the descending string parameters of an element b \otimes t_λin B(λ) in terms of the Lusztig parameters of b.

math.RT↗

arXiv2012

Knuth relations, tableaux and MV-cycles

We give a geometric interpretation of the Knuth equivalence relations in terms of the affine Graß mann variety. The Young tableaux are seen as sequences of coweights, called galleries. We show that to any gallery corresponds a Mirković-Vilonen cycle and that two galleries are equivalent if, and only if, their associated MV cycles are equal. Words are naturally identified to some galleries. So, as a corollary, we obtain that two words are Knuth equivalent if, and only if, their associated MV cycles are equal.

math.RT↗

arXiv2012

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.

math.RA↗

arXiv2011

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.

math.RT↗

arXiv2010

Applications des immeubles en théorie des représentations

This is a survey about the connection between the representation theory of a semisimple group and the geometry of an affine building. The latter is, actually, associated to the Langlands'dual of the semisimple group. We deal, mainly, with the proof of the saturation theorem of Kapovich and Millson. We obtain a simplification of their proof regarding the characterization of folded triangles. The article is written in french for it is the outcome of a seminar that took place in Nancy last year.

math.RT↗

arXiv2008

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.

math.GR↗

arXiv2008

On Mirković-Vilonen cycles and crystals combinatorics

Let $G$ be a complex reductive group and let $G^\vee$ be its Langlands dual. Let us choose a triangular decomposition $\mathfrak g^\vee=\mathfrak n^\vee_-\oplus\mathfrak h^\vee\oplus\mathfrak n^\vee_+$ of the Lie algebra $G^\vee$. Braverman, Finkelberg and Gaitsgory show that the set of all Mirković-Vilonen cycles in the affine grassmannian $\mathscr G=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 any MV cycle can be obtained as the closure of one of the varieties involved in Lusztig's algebraic-geometric parametrization of the canonical basis. In addition, we prove that the bijection between LS paths and MV cycles constructed by Gaussent and Littelmann is an isomorphism of crystals.

math.RT↗

arXiv2003

LS-Galleries, the path model and MV-cycles

We give an interpretation of the path model of a representation \cite{Lit1} of a complex semisimple algebraic group $G$ in terms of the geometry of its affine Grassmannian. In this setting, the paths are replaced by LS--galleries in the affine Coxeter complex associated to the Weyl group of $G$. To explain the connection with geometry, consider a Demazure--Hansen--Bott--Samelson desingularization $\hatΣ(\lam)$ of the closure of an orbit $G(\bc[[t]]).\lam$ in the affine Grassmannian. The homology of $\hatΣ(\lam)$ has a basis given by Białynicki--Birula cell's, which are indexed by the $T$--fixed points in $\hatΣ(\lam)$. Now the points of $\hatΣ(\lam)$ can be identified with galleries of a fixed type in the affine Tits building associated to $G$, and the $T$--fixed points correspond in this language to combinatorial galleries of a fixed type in the affine Coxeter complex. We determine those galleries such that the associated cell has a non-empty intersection with $G(\bc[[t]]).\lam$ (identified with an open subset of $\hatΣ(\lam)$), and we show that the closures of the strata associated to LS-galleries are exactly the MV--cycles \cite{MV}, which form a basis of the representation $V(\lam)$ for the Langland's dual group $G^\vee$.

math.RT↗

arXiv2001

Combinatorial Tangent Space and Rational Smoothness of Schubert Varieties

Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be expressed in terms of a subspace of the Zariski tangent space called, the combinatorial tangent space. For this, we use a characterization of rational smoothness of a Schubert variety introduced by Carrell and Peterson [CP].

math.AG↗

arXiv2001

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ère [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.

math.AG↗