The decomposition numbers of the Hecke algebra of type \(F_ 4\) (Q755881): Difference between revisions

Let W be the Coxeter group of type \(F_ 4\). Let q be a prime power and r be a prime not dividing q. Fix an r-modular system (K,R,F) with K large enough and containing a square root of q and \(char.F=r\). Let \(H_ R(q)\) be the associated Hecke algebra over R with parameter q. In the paper under review, the authors determine all the r-modular decomposition numbers of \(H_ R(q)\). To do this, they first study the generic Hecke algebra \(H_ A(u)\) of type \(F_ 4\) over the ring \(A={\mathbb{Z}}[u^{1/2},u^{-1/2}]\) of Laurent polynomials in an indeterminante \(u^{1/2}\). They find all the cells and all the distinguished involutions of W in the sense of D. Kazhdan and G. Lusztig, by which they construct the corresponding left cell representations of \(H_ A(u)\) and then decompose them into irreducible ones in the Grothendieck group level. Next they specialize \(H_ A(u)\) onto the ring of integers in various cyclotomic number fields, each of these cyclotomic fields contains a valuation ring, say \(R'\), whose residue field \(R'/J(R')\) can be embedded into F and contains a square root of q. Then the authors define a decomposition map between the Grothendieck groups of \(H_ A(u)\) and \(H_ F(q)=F\otimes_ RH_ R(q)\) induced by first specializing A into a cyclotomic number field containing \(R'\) and then reducing modular to \(J(R')\). It can be shown that this decomposition map is exactly the same as the decomposition map between the Grothendieck groups of \(H_ K(q)=K\otimes_ RH_ R(q)\) and \(H_ F(q)\). Thus the required r-modular decomposition numbers of \(H_ R(q)\) are obtained by computing the former decomposition map. The methods used to prove the results in this paper involve a lot of computer work.