SearcharxivSearch

arXiv subjects

Olivier Dudas

Publications and source records attributed to Olivier Dudas.

At least 19 recordsLinked to original sources

Rationality of extended unipotent characters

We determine the rationality properties of unipotent characters of finite reductive groups arising as fixed points of disconnected reductive groups under a Frobenius map. In the proof we use realisations of characters in $\ell$-adic cohomology groups of Deligne--Lusztig varieties as well as block theoretic considerations.

math.RT

Decomposition numbers for unipotent blocks with small $\mathfrak{sl}_2$-weight in finite classical groups

We show that parabolic Kazhdan-Lusztig polynomials of type $A$ compute the decomposition numbers in certain Harish-Chandra series of unipotent characters of finite groups of Lie types $B$, $C$ and $D$ over a field of non-defining characteristic $\ell$. Here, $\ell$ is a ``unitary prime" -- the case that remains open in general. The bipartitions labeling the characters in these series are small with respect to $d$, the order of $q$ mod $\ell$, although they occur in blocks of arbitrarily high defect. Our main technical tool is the categorical action of an affine Lie algebra on the category of unipotent representations, which identifies the branching graph for Harish-Chandra induction with the $\widehat{\mathfrak{sl}}_d$-crystal on a sum of level $2$ Fock spaces. Further key combinatorics has been adapted from Brundan and Stroppel's work on Khovanov arc algebras to obtain the closed formula for the decomposition numbers in a $d$-small Harish-Chandra series.

math.RT

Decomposition numbers for the principal $Φ_{2n}$-block of $\mathrm{Sp}_{4n}(q)$ and $\mathrm{SO}_{4n+1}(q)$

We compute the decomposition numbers of the unipotent characters lying in the principal $\ell$-block of a finite group of Lie type $B_{2n}(q)$ or $C_{2n}(q)$ when $q$ is an odd prime power and $\ell$ is an odd prime number such that the order of $q$ mod $\ell$ is $2n$. Along the way, we extend to these finite groups the results of \cite{DVV19} on the branching graph for Harish-Chandra induction and restriction.

math.RT

Orthogonality relations for deep level Deligne--Lusztig schemes of Coxeter type

In this paper we prove some orthogonality relations for representations arising from deep level Deligne--Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig (2004), and of Chan and the second author (2019). Potential applications include the study of unipotent representations arising from such deep level Deligne--Lusztig schemes, as well as their geometry, in the spirit of the work of Lusztig (1976).

math.RT

Unitriangular Shape of Decomposition Matrices of Unipotent Blocks

We show that the decomposition matrix of unipotent $\ell$-blocks of a finite reductive group $\mathbf{G}(\mathbb{F}_q)$ has a unitriangular shape, assuming $q$ is a power of a good prime and $\ell$ is very good for $\mathbf{G}$. This was conjectured by Geck in 1990 as part of his PhD thesis. We establish this result by constructing projective modules using a modification of generalised Gelfand--Graev characters introduced by Kawanaka. We prove that each such character has at most one unipotent constituent which occurs with multiplicity one. This establishes a 30 year old conjecture of Kawanaka.

math.RT

The Brauer trees of unipotent blocks

In this paper we complete the determination of the Brauer trees of unipotent blocks (with cyclic defect groups) of finite groups of Lie type. These trees were conjectured by the first author. As a consequence, the Brauer trees of principal $\ell$-blocks of finite groups are known for $\ell>71$.

math.RT

Translation by the full twist and Deligne-Lusztig varieties

We prove several conjectures about the cohomology of Deligne-Lusztig varieties: invariance under conjugation in the braid group, behaviour with respect to translation by the full twist, parity vanishing of the cohomology for the variety associated with the full twist. In the case of split groups of type $A$, and using previous results of the second author, this implies Broué-Michel's conjecture on the disjointness of the cohomology for the variety associated to any good regular element. That conjecture was inspired by Broué's abelian defect group conjecture and the specific form Broué conjectured for finite groups of Lie type.

math.RT

Lectures on modular Deligne--Lusztig theory

These notes are based on a series of lectures given by the author at the Centre Bernoulli (EPFL) in July 2016. They aim at illustrating the importance of the mod-$\ell$ cohomology of Deligne--Lusztig varieties in the modular representation theory of finite reductive groups.

math.RT

Modular irreducibility of cuspidal unipotent characters

We prove a long-standing conjecture of Geck which predicts that cuspidal unipotent characters remain irreducible after $\ell$-reduction. To this end, we construct a progenerator for the category of representations of a finite reductive group coming from generalised Gelfand--Graev representations. This is achieved by showing that cuspidal representations appear in the head of generalised Gelfand--Graev representations attached to cuspidal unipotent classes, as defined and studied in \cite{GM96}.

math.RT

Bounding Harish-Chandra series

We use the progenerator constructed in our previous paper to give a necessary condition for a simple module of a finite reductive group to be cuspidal, or more generally to obtain information on which Harish-Chandra series it can lie in. As a first application we show the irreducibility of the smallest unipotent character in any Harish-Chandra series. Secondly, we determine a unitriangular approximation to part of the unipotent decomposition matrix of finite orthogonal groups and prove a gap result on certain Brauer character degrees.

math.RT

Categorical actions on unipotent representations of finite classical groups

We review the categorical representation of a Kac-Moody algebra on unipotent representations of finite unitary groups in non-defining characteristic given by the authors. Then, we extend this construction to finite reductive groups of types B or C, in non-defining characteristic. We show that the decategorified representation is isomorphic to a direct sum of level 2 Fock spaces. We deduce that the Harish-Chandra branching graph coincides with the crystal graph of these Fock spaces. We also obtain derived equivalences between blocks, yielding Broue's abelian defect group conjecture for unipotent l-blocks at linear primes.

math.RT

Categorical actions on unipotent representations I. Finite unitary groups

Using Harish-Chandra induction and restriction, we construct a categorical action of a Kac-Moody algebra on the category of unipotent representations of finite unitary groups in non-defining characteristic. We show that the decategorified representation is naturally isomorphic to a direct sum of level 2 Fock spaces. From our construction we deduce that the Harish-Chandra branching graph coincide with the crystal graph of these Fock spaces, solving a recent conjecture of Gerber-Hiss-Jacon. We also obtain derived equivalences between blocks, yielding Broué's abelian defect groups conjecture for unipotent $\ell$-blocks at linear primes $\ell$.

math.RT

Decomposition matrices for exceptional groups at d=4

We determine the decomposition matrices of unipotent $\ell$-blocks of defect $Φ_4^2$ for exceptional groups of Lie type up to a few unknowns. For this we employ the new cohomological methods of the first author, together with properties of generalized Gelfand-Graev characters which were recently shown to hold whenever the underlying characteristic is good.

math.RT

Decomposition matrices for low rank unitary groups

We study the decomposition matrices for the unipotent $\ell$-blocks of finite special unitary groups SU$_n(q)$ for unitary primes $\ell$ larger than $n$. Up to very few unknown entries, we give a complete solution for $n=2,\ldots,10$. We also prove a general result for two-column partitions when $\ell$ divides $q+1$. This is achieved using projective modules coming from the $\ell$-adic cohomology of Deligne--Lusztig varieties.

math.RT