Specht modules labelled by hook bipartitions. II (Q2332144)

This paper is a contribution to the representation theory of cyclotomic Hecke algebras of type \(G(l,1,n)\), in particular the decomposition number problem. This generalises the decomposition number problem for the symmetric group in prime characteristic, and this field has been enlivened in the last ten years by the discovery that these algebras are instances of quiver Hecke algebras or KLR algebras; this brings graded representation theory into play, as well as providing a diagrammatic calculus for working with the algebras and their representations. The decomposition number problem asks for the composition factors of the Specht modules for these algebras. Although \textit{S. Ariki}'s theorem [J. Math. Kyoto Univ. 36, No. 4, 789--808 (1996; Zbl 0888.20011)] provides a recursive method for computing the decomposition numbers when the underlying field has characteristic zero, very little specific information is known about them. The focus here is on the case \(l=2\) (which corresponds to Hecke algebras of type B), and the author concentrates on a special class of bipartitions which she calls hook bipartitions: these are bipartitions of the form \(((n-m),(1^m))\). In the predecessor to this paper [the author, J. Algebra 515, 456--510 (2018; Zbl 1426.20008)], the part of the decomposition matrix consisting of rows labelled by hook bipartitions was determined, by constructing and analysing homomorphisms. The main aim here is to ``fill in the column labels'', by showing how the composition factors that occur are labelled in the standard labelling, and also to determine \textit{graded} decomposition numbers. Although the class of bipartitions studied is quite specialised, it yields a very nice self-cointained story, and of course we expect more general results to come. The paper is very well written: although some of the proofs get technical and the paper is long, it is easy to follow, and provides an accessible introduction to some of the main ideas in combinatorial representation theory used here.