Cartan invariants of symmetric groups and Iwahori-Hecke algebras

Kulshammer, Olsson and Robinson conjectured that a certain set of numbers determined the invariant factors of the l-Cartan matrix for S(n) (equivalently, the invariant factors of the Cartan matrix for the Iwahori-Hecke algebra H(n)(q), where q is a primitive lth root of unity). We call these invariant factors Cartan invariants. In a previous paper, the second author calculated these Cartan invariants when l = p(r), p is prime and r <= p, and went on to conjecture that the formulae should hold for all r. Another result was obtained, which is surprising and counterintuitive from a block theoretic point of view. Namely, given the prime decomposition l = p(1)(r1) center dot...center dot p(k)(rk), the Cartan matrix of an l-block of S(n) is a product of Cartan matrices associated to p(i)(ri)-blocks of Sn. In particular, the invariant factors of the Cartan matrix associated to an l-block of S(n) can be recovered from the Cartan matrices associated to the p(i)(ri)-blocks. In this paper, we formulate an explicit combinatorial determination of the Cartan invariants of S(n), not only for the full Cartan matrix, but also for an individual block. We collect evidence for this conjecture by showing that the formulae predict the correct determinant of the l-Cartan matrix. We then go on to show that Hill's conjecture implies the conjecture of Kulshammer, Olsson and Robinson.