BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
The purpose of this note is to advertise an elegant algorithmic proof for the Jordan--Chevalley decomposition of a matrix, following and (slightly) revising the discussion of Couty, Esterle und Zarouf (2011). The basic idea of that method goes back to Chevalley (1951).
The Glauberman correspondence is a fundamental bijection in the character theory of finite groups. In 1994, Hartley and Turull established a degree-divisibility property for characters related by that correspondence, subject to a congruence condition which should hold for the Green functions of finite groups of Lie type, as defined by Deligne and Lusztig. Here, we present a general argument for completing the proof of that congruence condition. Consequently, the degree-divisibility property holds in complete generality.
The traditional construction of Chevalley groups relies on the choice of certain signs for a Chevalley basis of the underlying Lie algebra~g. Recently, Lusztig simplified this construction for groups of adjoint type by using the "canonical basis" of the adjoint representation of~g, in particular, no choices of signs are required. The purpose of this note is to extend this to Chevalley groups which are not necessarily of adjoint type, using Jantzen's explicit models of the minuscule highest weight representations of~g.
Let g be a semisimple complex Lie algebra. Recently, Lusztig simplified the traditional construction of the corresponding Chevalley groups (of adjoint type) using the "canonical basis" of the adjoint representation of~g. Here, we present a variation of this idea which leads to a new, and quite elementary construction of~g itself from its root system. An additional feature of this set-up is that it also gives rise to explicit Chevalley bases of g.
This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.
In 1979, Vogan introduced a generalised $\τ$ -invariant for characterising primitive ideals in enveloping algebras. Via a known dictionary this translates to an invariant of left cells in the sense of Kazhdan and Lusztig. Although it is not a complete invariant, it is extremely useful in describing left cells. Here, we propose a general framework for defining such invariants which also applies to Hecke algebras with unequal parameters.
Let G be a finite group of Lie type and $\St_k$ be the Steinberg representation of G, defined over a field k. We are interested in the case where k has prime characteristic~ℓ and $\St_k$ is reducible. Tinberg has shown that the socle of $\St_k$ is always simple. We give a new proof of this result in terms of the Hecke algebra of G with respect to a Borel subgroup and show how to identify the simple socle of $\St_k$ among the principal series representations of~G. Furthermore, we determine the composition length of $\St_k$ when $G=\GL_n(q)$ or G is a finite classical group and ℓ is a so-called linear prime.
In 1979, Vogan proposed a generalised τ-invariant for characterising primitive ideals in enveloping algebras. Via a known dictionary this translates to an invariant of left cells of finite Weyl groups. Although it is not a complete invariant, it is extremely useful in describing left cells. Here, we propose a general framework for defining such invariants which also applies to Hecke algebras with unequal parameters.
Let (W,S) be a Coxeter system and Γ be a group of automorphisms of W such that γ(S)=S for all γ∈Γ. Then it is known that the group of fixed points WΓ is again a Coxeter group with a canonically defined set of generators. The usual proofs of this fact rely on the reflection representation of W. Here, we give a proof which only uses the combinatorics of reduced expressions in W. As a by-product, this shows that the length function on W restricts to a weight function on WΓ.
We present a proof of the existence of real eigenvalues of real symmetric matrices which does not rely on any limit or compactness arguments, but only uses the notions of "sup", "inf".
In 1979, Kazhdan and Lusztig introduced the notion of "cells" (left, right and two-sided) for a Coxeter group W, a concept with numerous applications in Lie theory and around. Here, we address algorithmic aspects of this theory for finite W which are important in applications, e.g., run explicitly through all left cells, determine the values of Lusztig's $\ba$-function, identify the characters of left cell representations. The aim is to show how type E8 (the largest group of exceptional type) can be handled systematically and efficiently, too. This allows us, for the first time, to solve some open questions in this case, including Kottwitz' conjecture on left cells and involutions. Further experiments suggest a characterisation of left cells, valid for any finite W, in terms of Lusztig's $\ba$-function and a slight modification of Vogan's generalized τ-invariant.
We present a shortcut to the familiar characterizations of finite Galois extensions, based on an idea from an earlier Monthly note by Sonn and Zassenhaus.
According to an old result of Schützenberger, the involutions in a given two-sided cell of the symmetric group $\SG_n$ are all conjugate. In this paper, we study possible generalisations of this property to other types of Coxeter groups. We show that Schützenberger's result is a special case of a general result on "smooth" two-sided cells. Furthermore, we consider Kottwitz' conjecture concerning the intersections of conjugacy classes of involutions with the left cells in a finite Coxeter group. Our methods lead to a proof of this conjecture for classical types; combined with previous work, this leaves type E8 as the only remaining open case.
Let W be a finite Weyl group and $\sg$ be a non-trivial graph automorphism of W. We show a remarkable relation between the $\sg$-twisted involution module for W and the Frobenius--Schur indicators of the unipotent characters of a corresponding twisted finite group of Lie type. This extends earlier results of Lusztig-Vogan for the untwisted case and then allows us to state a general result valid for any finite group of Lie type. Inspired by recent work of Marberg, we also formally define Frobenius--Schur indicators for "unipotent characters" of twisted dihedral groups.
Kottwitz' conjecture is concerned with the intersections of Kazhdan--Lusztig cells with conjugacy classes of involutions in finite Coxeter groups. In joint work with Bonnafé, we have recently found a way to prove this conjecture for groups of type Bn and Dn. The argument for type Dn relies on two ingredients which were used there without proof: (1) a strengthened version of the "branching rule" and (2) the consideration of "⋄-twisted" involutions where ⋄ is a graph automorphism. In this paper we deal with (1), (2) and complete the argument for type Dn; moreover, we establish Kottwitz' conjecture for ⋄-twisted involutions in all cases where ⋄ is non-trivial.
Let W be a finite Coxeter group and L be a weight function on W in the sense of Lusztig. We have recently introduced a pre-order relation ⪯L on the set of irreducible characters of W which extends Lusztig's definition of "families" and which, conjecturally, corresponds to the ordering given by Kazhdan--Lusztig cells. Here, we give an explicit description of ⪯L for W of type Bn and any L. (All other cases are known from previous work.) This crucially relies on some new combinatorial constructions around Lusztig's "symbols". Combined with previous work, we deduce general compatibility results between ⪯L and Lusztig's $\ba$-function, valid for any W,L.
Let W be a finite Coxeter group. It is well-known that the number of involutions in W is equal to the sum of the degrees of the irreducible characters of W. Following a suggestion of Lusztig, we show that this equality is compatible with the decomposition of W into Kazhdan--Lusztig cells. The proof uses a generalisation of the Frobenius--Schur indicator to symmetric algebras, which may be of independent interest.
Let G be a finite group of Lie type and ℓ be a prime which is not equal to the defining characteristic of G. In this note we discuss some open problems concerning the ℓ-modular irreducible representations of G. We also establish a strengthening of the results in [13] on the classification of the ℓ-modular principal series representations of G.
The computer algebra system CHEVIE is designed to facilitate computations with various combinatorial structures arising in Lie theory, like finite Coxeter groups and Hecke algebras. We discuss some recent examples where CHEVIE has been helpful in the theory of algebraic groups, in questions related to unipotent classes, the Springer correspondence and Lusztig families.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.