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

From MaRDI portal
Publication:390744

DOI10.1016/J.AIM.2013.02.023zbMATH Open1283.20046arXiv1202.1311OpenAlexW2035338615MaRDI QIDQ390744FDOQ390744


Authors: Eric Marberg Edit this on Wikidata


Publication date: 8 January 2014

Published in: Advances in Mathematics (Search for Journal in Brave)

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)oRR, due to Lusztig for Weyl groups and to Brou'e, Lusztig, and Malle in the remaining cases. This paper concerns a certain W-representation varrhoW in the vector space generated by the involutions of W. Our main result is to show that the irreducible multiplicities of varrhoW are given by the Fourier transform of a unique function epsilon:Uch(W)o1,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 varrhoW derived by Kottwitz when (W,S) is classical, and prove that varrhoW defines a Gelfand model if and only if (W,S) has type An, H3, or I2(m) with m odd. We show finally that a conjecture of Kottwitz connecting the decomposition of varrhoW 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.


Full work available at URL: https://arxiv.org/abs/1202.1311




Recommendations




Cites Work


Cited In (6)

Uses Software





This page was built for publication: How to compute the Frobenius-Schur indicator of a unipotent character of a finite Coxeter system.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q390744)