Branching functions of A_n-1^(1) and Jantzen-Seitz problem for Ariki-Koike algebras

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67)

Abstract: We study the restrictions of simple modules of Ariki-Koike algebras

H_{m} (v)

with set of parameters

v = (z e t a; z e t a^{v_{0}}, ..., z e t a^{v_{l - 1}})

, where

z e t a

is an

n

th root of unity, to their subalgebras

H_{m - j} (v)

. Using a theorem of Ariki and the crystal basis theory of Kashiwara, we relate this problem to the calculation of tensor product multiplicities of highest weight irreducible representations of the affine Lie algebra

A_{n - 1}^{(1)}

. These multiplicities have a combinatorial description in terms of higher level paths or highest-lift multipartitions. This enables us to solve the Jantzen-Seitz problem for Ariki-Koike algebras, that is, to determine which irreducible representations of

H_{m} (v)

restrict to irreducible representations of

H_{m - 1} (v)

. From a combinatorial point of view, this problem is identical to that of computing the tensor product of an

A_{n - 1}^{(1)}

-module of level

l

and one of level 1. We also consider natural generalisations of the Jantzen-Seitz problem corresponding to the product of a level

l

module by a level

l^{'} > 1

module, and from the commutativity of tensor products, we deduce a remarkable symmetry between the generalised Jantzen-Seitz conditions and the sets of parameters of the Ariki-Koike algebras.

Review text

Let \(v\) be a primitive \(n\)th root of unity, \(0\leq u_0\leq\dots\leq u_{\ell-1}< n\) be \(\ell\) integers and \(v_k= v^{u_k}\) for \(0\leq k<\ell\). Denote \({\mathbf i}= (i_0,\dots, i_{n-1})\) where \(i_k\) is the number of \(u_j\) equal to \(k\). The Ariki-Koike algebra [\textit{S. Ariki} and \textit{K. Koike}, Adv. Math. 106, 216-243 (1994; Zbl 0840.20007)] \({\mathcal H}_m({\mathbf i})= {\mathcal H}_m(v; v_0,v_1,\dots, v_{\ell-1})\) is an analogue of the Iwahori-Hecke algebra for the complex reflection group \(G(\ell,1,m)\). The main result of this paper is the determination of the ireducible representations of \({\mathcal H}_m({\mathbf i})\) which restrict to irreducible representations of the subalgebra \({\mathcal H}_{m-1}({\mathbf i})\). The fact that the irreducible \({\mathcal H}_m({\mathbf i})\)-modules are in one-to-one correspondence with the vertices of the crystal graph \(B(\Lambda)\) of the irreducible \(A_{n-1}^{(1)}\)-module \(V(\Lambda)\) with highest weight \(\Lambda= \sum_{k=0}^{n-1} i_k\Lambda_k\) of level \(\ell\) (where \(\Lambda_k\) denotes the \(k\)th fundamental weight of \(A_{n-1}^{(1)}\)) plays a critical role.

Recommendations

Cited in

(50)

This page was built for publication: Branching functions of \(A_{n-1}^{(1)}\) and Jantzen-Seitz problem for Ariki-Koike algebras

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