arXiv subjects

Guy Rousseau

Publications and source records attributed to Guy Rousseau.

14 recordsLinked to original sources

arXiv2025

Split Kac-Moody groups over a local field, II. Ordered masures

For a split Kac-Moody group (in J. Tits' definition) over a field endowed with a real valuation, we build an ordered affine hovel on which the group acts. This construction generalizes the one already done by S. Gaussent and the author when the residue field contains the complex field and the one by F. Bruhat and J. Tits when the group is reductive. We prove that this hovel has all the properties of ordered affine hovels (masures affines ordonn{\'e}es) as defined previously by the author. We use the maximal Kac-Moody group as defined by O. Mathieu and we prove a few new results about it over any field; in particular we prove, in some cases, a simplicity result for this group. At the end an erratum corrects a mistake in the counter-example of 4.12 3 (c).

math.GR↗

arXiv2022

Twin masures associated with Kac-Moody groups over Laurent polynomials

Let $\mathfrak{G}$ be a split reductive group, $\mathbb{k}$ be a field and $\varpi$ be an indeterminate. In order to study $\mathfrak{G}(\mathbb{k}[\varpi,\varpi^{-1}])$ and $\mathfrak{G}(\mathbb{k}(\varpi))$, one can make them act on their twin building $\mathcal{I} = \mathcal{I}_\oplus\times \mathcal{I}_\ominus$, where $\mathcal{I}_\oplus$ and $\mathcal{I}_\ominus$ are related via a ''codistance''. Masures are generalizations of Bruhat-Tits buildings adapted to the study of Kac-Moody groups over valued fields. Motivated by the work of Dinakar Muthiah on Kazhdan-Lusztig polynomials associated with Kac-Moody groups, we study the action of $\mathfrak{G}(\mathbb{k}[\varpi,\varpi^{-1}])$ and $\mathfrak{G}(\mathbb{k}(\varpi,\varpi^{-1}))$ on their ''twin masure'', when $\mathfrak{G}$ is a split Kac-Moody group instead of a reductive group.

math.GR↗

arXiv2019

On structure constants of Iwahori-Hecke algebras for Kac-Moody groups

We consider the Iwahori-Hecke algebra associated to an almost split Kac-Moody group $G$ (affine or not) over a nonarchimedean local field $K$. It has a canonical double-coset basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ indexed by a sub-semigroup $W^+$ of the affine Weyl group $W$. The multiplication is given by structure constants $a^ {\mathbf u}_{\mathbf w,\mathbf v}\in N=Z_{\geq0}$ : $T_{\mathbf w}*T_{\mathbf v}=\sum_{\mathbf u\in P_{\mathbf w,\mathbf v}} a^ {\mathbf u}_{\mathbf w,\mathbf v} T_{\mathbf u}$. A conjecture, by Bravermann, Kazhdan, Patnaik, Gaussent and the authors, tells that $a^ {\mathbf u}_{\mathbf w,\mathbf v}$ is a polynomial, with coefficients in $N$, in the parameters $q_{i}-1,q'_{i}-1$ of $G$ over $K$. We prove this conjecture when $\mathbf w$ and $\mathbf v$ are spherical or, more generally, when they are said generic: this includes all cases of $\mathbf w,\mathbf v\in W^+$ if $G$ is of affine or strictly hyperbolic type. In the split affine case (where $q_i=q'_i=q$, $\forall i$) we get a universal Iwahori-Hecke algebra with the same basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ over a polynomial ring $Z[Q]$; it specializes to our Iwahori-Hecke algebra when one sets $Q=q$.

math.GR↗

arXiv2018

The cone topology on masures

Masures are generalizations of Bruhat--Tits buildings and the main examples are associated with almost split Kac--Moody groups G over non-Archimedean local fields. In this case, G acts strongly transitively on its corresponding masure $Δ$ as well as on the building at infinity of $Δ$, which is the twin building associated with G. The aim of this article is twofold: firstly, to introduce and study the cone topology on the twin building at infinity of a masure. It turns out that this topology has various favorable properties that are required in the literature as axioms for a topological twin building. Secondly, by making use of the cone topology, we study strongly transitive actions of a group G on a masure $Δ$. Under some hypotheses, with respect to the masure and the group action of G, we prove that G acts strongly transitively on $Δ$ if and only if it acts strongly transitively on the twin building at infinity $\partial$$Δ$. Along the way a criterion for strong transitivity is given and the existence and good dynamical properties of strongly regular hyperbolic automorphisms of the masure are proven.

math.GR↗

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↗

arXiv2017

Strongly transitive actions on affine ordered hovels

A hovel is a generalization of the Bruhat-Tits building that is associated to an almost split Kac-Moody group G over a non-Archimedean local field. In particular, G acts strongly transitively on its corresponding hovel $Δ$ as well as on the building at infinity of $Δ$, which is the twin building associated to G. In this paper we study strongly transitive actions of groups that act on affine ordered hovels $Δ$ and give necessary and sufficient conditions such that the strong transitivity of the action on $Δ$ is equivalent to the strong transitivity of the action of the group on its building at infinity $\partial Δ$. Along the way a criterion for strong transitivity is given and the cone topology on the hovel is introduced. We also prove the existence of strongly regular hyperbolic automorphisms of the hovel, obtaining thus good dynamical properties on the building at infinity $\partial Δ$.

math.GR↗

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

Almost split Kac-Moody groups over ultrametric fields

For a split Kac-Moody group G over an ultrametric field K, S. Gaussent and the author defined an ordered affine hovel on which the group acts; it generalizes the Bruhat-Tits building which corresponds to the case when G is reductive. This construction was generalized by C. Charignon to the almost split case when K is a local field. We explain here these constructions with more details and prove many new properties e.g. that the hovel of an almost split Kac-Moody group is an ordered affine hovel, as defined in a previous article.

math.GR↗

arXiv2012

Kac-Moody Lie algebras graded by Kac-Moody root systems

We look to gradations of Kac-Moody Lie algebras by Kac-Moody root systems with finite dimensional weight spaces. We extend, to general Kac-Moody Lie algebras, the notion of C-admissible pair as introduced by H. Rubenthaler and J. Nervi for semi-simple and affine Lie algebras. If g is a Kac-Moody Lie algebra (with Dynkin diagram indexed by I) and (I,J) is such a C-admissible pair, we construct a C-admissible subalgebra g^J, which is a Kac-Moody Lie algebra of the same type as g, and whose root system Σgrades finitely the Lie algebra g. For an admissible quotient ρ: I \rightarrow I we build also a Kac-Moody subalgebra g^ρwhich grades finitely the Lie algebra g. If g is affine or hyperbolic, we prove that the classification of the gradations of g is equivalent to those of the C-admissible pairs and of the admissible quotients. For general Kac-Moody Lie algebras of indefinite type, the situation may be more complicated; it is (less precisely) described by the concept of generalized C-admissible pairs.

math.GR↗

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↗

arXiv2012

Groupes de Kac-Moody déployés sur un corps local, II Masures ordonnées

For a split Kac-Moody group (in J. Tits' definition) over a field endowed with a real valuation, we build an ordered affine hovel on which the group acts. This construction generalizes the one already done by S. Gaussent and the author when the residue field contains the complex field [Annales Fourier, 58 (2008), 2605-2657] and the one by F. Bruhat and J. Tits when the group is reductive. We prove that this hovel has all properties of ordered affine hovels (masures affines ordonnées) as defined in [Rousseau, ArXiv 0810.4241]. We use the maximal Kac-Moody group as defined by O. Mathieu and we prove a few new results about it over any field; in particular we prove, in some cases, a simplicity result for this group.

math.GR↗

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

Masures affines

We give an abstract definition of affine hovels which generalizes the definition of affine buildings (eventually non simplicial) given by Jacques Tits and includes the hovels built by Stephane Gaussent and the author for some Kac-Moody groups over ultrametric fields. We prove that, in such an affine hovel I, there exist retractions with center a sector germ and that we can add at the infinity of I a pair of twin buildings or two microaffine buildings. For some affine hovels I, we prove that the residue at a point of I has a natural structure of pair of twin buildings and that there exists on I a preorder which induces on each apartment the preorder associated to the Tits cone.

math.GR↗