Friday, 8 June 2012

rt.representation theory - Decomposition of certain projectives for cyclotomic q-Schur algebras

In representation theory, a very popular set of finite dimensional algebras are the q-Schur algebras, which are given by looking at the endomorphisms of Votimesd where V is the standard representation of the quantum group Uq(mathfrakgln). One should think of this as kind of enhanced version of the Hecke algebra for the symmetric group that doesn't lose simple representations at roots of unity.



The cyclotomic q-Schur algebra is a generalization of this, where the symmetric group is replaced the complex reflection group SnwrCell (this is the group of monomial matrices, where one allows ellth roots of unity as coefficients). For more details, see the original paper of Dipper, James and Mathas.



The original definition is as the endomorphism ring of a collection of modules over the Ariki-Koike algebra called "permutation modules" Mnu. These are generalizations (and deformations) of the permutation representations of Sn on subsets of n elements, and are in bijection with ell-tuples nu of partitions with n total boxes.



This gives a natural collection of projectives Nnu=oplusmumathrmHom(Mnu,Mmu), which generate the category of representations, but are very far from being irreducible. On the other hand , the indecomposable projectives Pmu of the cyclotomic q-Schur algebra are also bijection with these ell-tuples of partitions.



So, given a collection of multipartitions, one can ask which indecomposable projectives occur in Nnu for these multipartitions; I'd be interested to know any good references for this problem, as I only know the fairly obvious things about it (i.e. what you can deduce from the generic case, etc.). However, there is one set I'm particularly interested in.



My question: If I consider only multipartitions where each constituent partition is (1a) for some a (or whatever corresponds to the regular rep of Sn in your conventions), which projectives appear in Nnu?



My conjecture: The projectives corresponding to multipartitions where all constituent partitions are k-restricted, where k is the order of q in the complex numbers.



My follow-up questions: What if I only consider multipartitions of the form (1a) and require that for some Ssubset[1,ell] the corresponding partitions are empty?



My follow-up conjecture: The projectives where for each block of consecutive elements in S followed by an element not in S, the multipartition for that piece is k-Kleshchev.

No comments:

Post a Comment