How to compute the Frobenius-Schur indicator of a unipotent character of a finite Coxeter system

Abstract

For each finite, irreducible Coxeter system $(W,S)$, Lusztig has associated a set of "unipotent characters" $\Uch(W)$. There is also a notion of a "Fourier transform" on the space of functions $\Uch(W) \to \RR$, due to Lusztig for Weyl groups and to Broué, Lusztig, and Malle in the remaining cases. This paper concerns a certain $W$-representation ${\varrho }_W$ in the vector space generated by the involutions of $W$. Our main result is to show that the irreducible multiplicities of ${\varrho }_W$ are given by the Fourier transform of a unique function $ε: \Uch(W) \to \{-1,0,1\}$, which for various reasons serves naturally as a heuristic definition of the Frobenius-Schur indicator on $\Uch(W)$. The formula we obtain for $\epsilon$ extends prior work of Casselman, Kottwitz, Lusztig, and Vogan addressing the case in which $W$ is a Weyl group. We include in addition a succinct description of the irreducible decomposition of ${\varrho }_W$ derived by Kottwitz when $(W,S)$ is classical, and prove that ${\varrho }_W$ defines a Gelfand model if and only if $(W,S)$ has type $A_n$, $H_3$, or $I_2(m)$ with $m$ odd. We show finally that a conjecture of Kottwitz connecting the decomposition of ${\varrho }_W$ to the left cells of $W$ holds in all non-crystallographic types, and observe that a weaker form of Kottwitz's conjecture holds in general. In giving these results, we carefully survey the construction and notable properties of the set $\Uch(W)$ and its attached Fourier transform.

38 pages, 4 tables; v2, v3, v4: some corrections and additional references

References in corpus (5)

• The On-Line Encyclopedia of Integer Sequences
• Hecke algebras and involutions in Weyl groups
• A bar operator for involutions in a Coxeter group
• Split Spetses for primitive reflection groups
• On Kottwitz' conjecture for twisted involutions

Cited by in corpus (4)

• Positivity conjectures for Kazhdan-Lusztig theory on twisted involutions: the universal case
• On Kottwitz' conjecture for twisted involutions
• Positivity conjectures for Kazhdan-Lusztig theory on twisted involutions: the finite case
• Frobenius--Schur indicators of unipotent characters and the twisted involution module