Searcharxiv⌕ Search

arXiv subjects

Kai Meng Tan

Publications and source records attributed to Kai Meng Tan.

At least 19 recordsLinked to original sources
arXiv2026

Scopes equivalence for blocks of Ariki-Koike algebras

We obtain necessary and sufficient conditions for a block of an Ariki-Koike algebra to have the property that all its associated multipartitions have no addable node with a given residue. This leads to a classification of Scopes equivalence classes for Ariki-Koike algebras in terms of their pyramid numbers and Scopes vectors, generalising that for level 1 and for core blocks. Our proof is independent of the results of Richards for level 1.

math.RT↗
arXiv2025

Moving vectors and core blocks of Ariki-Koike algebras

We classify the core blocks of Ariki-Koike algebras by their moving vectors. Using this classification, we obtain a necessary and sufficient condition for Scopes equivalence between two core blocks, and express the number of simple modules lying in a core block as a classical Kostka number. Under certain conditions on the multicharge and moving vector, we further relate the graded decomposition numbers of these blocks in characteristic zero with the graded decomposition numbers of the Iwahori-Hecke algebras of type $A$.

math.RT↗
arXiv2025

Cores and weights of multipartitions and blocks of Ariki-Koike algebras

Let $e$ be an integer at least two. We define the $e$-core and the $e$-weight of a multipartition associated with a multicharge as the $e$-core and the $e$-weight of its image under the Uglov map. We do not place any restriction on the multicharge for these definitions. We show how these definitions lead to the definition of the $e$-core and the $e$-weight of a block of an Ariki-Koike algebra with quantum parameter $e$, and an analogue of Nakayama's `Conjecture' that classifies these blocks. Our definition of $e$-weight of such a block coincides with that first defined by Fayers. We further generalise the notion of a $[w:k]$-pair for Iwahori-Hecke algebra of type $A$ to the Ariki-Koike algebras, and obtain a sufficient condition for such a pair to be Scopes equivalent.

math.RT↗
arXiv2021

Young's seminormal basis vectors and their denominators

We study Young's seminormal basis vectors of the dual Specht modules of the symmetric group, indexed by a certain class of standard tableaux, and their denominators. These vectors include those whose denominators control the splitting of the canonical morphism $Δ(λ+μ) \to Δ(λ) \otimes Δ(μ)$ over $\mathbb{Z}_{(p)}$, where $Δ(ν)$ is the Weyl module of the classical Schur algebra labelled by $ν$.

math.RT↗
arXiv2020

Jantzen filtration of Weyl modules, product of Young symmetrizers and denominator of Young's seminormal basis

Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p>0$, $Δ(λ)$ denote the Weyl module of $G$ of highest weight $λ$ and $ι_{λ,μ}:Δ(λ+μ)\to Δ(λ)\otimesΔ(μ)$ be the canonical $G$-morphism. We study the split condition for $ι_{λ,μ}$ over $\mathbb{Z}_{(p)}$, and apply this as an approach to compare the Jantzen filtrations of the Weyl modules $Δ(λ)$ and $Δ(λ+μ)$. In the case when $G$ is of type $A$, we show that the split condition is closely related to the product of certain Young symmetrizers and, under some mild conditions, is further characterized by the denominator of a certain Young's seminormal basis vector. We obtain explicit formulas for the split condition in some cases.

math.RT↗
arXiv2018

Homomorphisms from Specht Modules to Signed Young Permutation Modules

We construct a class $Θ_{\mathscr{R}}$ of homomorphisms from a Specht module $S_{\mathbb{Z}}^λ$ to a signed permutation module $M_{\mathbb{Z}}(α|β)$ which generalises James's construction of homomorphisms whose codomain is a Young permutation module. We show that any $ϕ\in \operatorname{Hom}_{\mathbb{Z}\mathfrak{S}_{n}}\big(S_{\mathbb{Z}}^λ, M_{\mathbb{Z}}(α|β)\big)$ lies in the $\mathbb{Q}$-span of $Θ_{\text{sstd}}$, a subset of $Θ_{\mathscr{R}}$ corresponding to semistandard $λ$-tableaux of type $(α|β)$. We also study the conditions for which $Θ^{\mathbb{F}}_{\mathrm{sstd}}$ - a subset of $\operatorname{Hom}_{\mathbb{F}\mathfrak{S}_{n}}\big(S_{\mathbb{F}}^λ,M_{\mathbb{F}}(α|β)\big)$ induced by $Θ_{\mathrm{sstd}}$ - is linearly independent, and show that it is a basis for $\operatorname{Hom}_{\mathbb{F}\mathfrak{S}_{n}}\big(S_{\mathbb{F}}^λ,M_{\mathbb{F}}(α|β)\big)$ when $\mathbb{F}\mathfrak{S}_{n}$ is semisimple.

math.RT↗
arXiv2016

Parallelotope tilings and $q$-decomposition numbers

We provide closed formulas for a large subset of the canonical basis vectors of the Fock space representation of $U_q(\widehat{\mathfrak{sl}}_e)$. These formulas arise from parallelotopes which assemble to form polytopal complexes. The subgraphs of the $\mathrm{Ext}^1$-quivers of $v$-Schur algebras at complex $e$-th roots of unity generated by simple modules corresponding to these canonical basis vectors are given by the $1$-skeletons of the polytopal complexes.

math.RT↗
arXiv2015

Canonical bases for Fock spaces and tensor products

We relate the canonical basis of the Fock space representation of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_{n})$, as defined by Leclerc and Thibon, to the canonical basis of its restriction to $U_q(\mathfrak{sl}_{n})$, regarded as a based module in the sense of Lusztig. More generally we consider the restriction to any parabolic subalgebra. We deduce results on decomposition numbers and branching coefficients of Schur algebras over fields of positive characteristic, generalising those of Kleshchev and of Tan and Teo.

math.RT↗
arXiv2015

Periodic Lie Modules

Let $p$ be a prime number and $k$ be a positive integer not divisible by $p$. We describe the Heller translates of the periodic Lie module $\mathrm{Lie}(pk)$ in characteristic $p$ and show that it has period $2p-2$ when $p$ is odd and $1$ when $p=2$.

math.RT↗
arXiv2012

The complexities of some simple modules of the symmetric groups

We show that the simple modules of the Rouquier blocks of symmetric groups, in characteristic $p$ and having $p$-weight $w$ with $w < p$, have a common complexity $w$, and that when $p$ is odd, $D^{(p+1,1^{p-1})}$ has complexity 1, while the other simple modules labelled by a partition having $p$-weight 2 have complexity 2.

math.RT↗
arXiv2011

The complexity of the Lie module

We show that the complexity of the Lie module $\mathrm{Lie}(n)$ in characteristic $p$ is bounded above by $m$ where $p^m$ is the largest $p$-power dividing $n$ and, if $n$ is not a $p$-power, is equal to the maximum of the complexities of $\Lie(p^i)$ for $1 \leq i \leq m$.

math.RT↗
arXiv2011

Sign sequences and decomposition numbers

We obtain a closed formula for the $v$-decomposition numbers $d_{λμ}(v)$ arising from the canonical basis of the Fock space representation of $U_v(\hat{\mathfrak{sl}}_e)$, where the partition $λ$ is obtained from $μ$ by moving some nodes in its Young diagram, all of which having the same $e$-residue. We also show that when these $v$-decomposition numbers are evaluated at $v=1$, we obtain the corresponding decomposition numbers for the Schur algebras and symmetric groups.

math.RT↗
arXiv2011

The Schur functor on tensor powers

Let $M$ be a left module for the Schur algebra $S(n,r)$, and let $s \in \mathbb{Z}^+$. Then $M^{\otimes s}$ is a $(S(n,rs), F\mathfrak{S}_s)$-bimodule, where the symmetric group $\mathfrak{S}_s$ on $s$ letters acts on the right by place permutations. We show that the Schur functor $f_{rs}$ sends $M^{\otimes s}$ to the $(F\mathfrak{S}_{rs},F\mathfrak{S}_s)$-bimodule $F\mathfrak{S}_{rs} \otimes_{F(\mathfrak{S}_r \wr \mathfrak{S}_s)} ((f_rM)^{\otimes s} \otimes F\mathfrak{S}_s)$. As a corollary, we obtain the effect of the Schur functor on the Lie power $L^s(M)$, symmetric power $S^s(M)$ and exterior power $\bigwedge^s(M)$ of $M$.

math.RT↗
arXiv2010

The non-projective part of the Lie module for the symmetric group

The Lie module of the group algebra $FS_n$ of the symmetric group is known to be not projective if and only if the characteristic $p$ of $F$ divides $n$. We show that in this case its non-projective summands belong to the principal block of $FS_n$. Let $V$ be a vector space of dimension $m$ over $F$, and let $L^n(V)$ be the $n$-th homogeneous part of the free Lie algebra on $V$; this is a polynomial representation of $GL_m(F)$ of degree $n$, or equivalently, a module of the Schur algebra $S(m,n)$. Our result implies that, when $m \geq n$, every summand of $L^n(V)$ which is not a tilting module belongs to the principal block of $S(m,n)$, by which we mean the block containing the $n$-th symmetric power of $V$.

math.RT↗
arXiv2010

Asymptotic behaviour of Lie powers and Lie modules

Let $V$ be a finite-dimensional $FG$-module, where $F$ is a field of prime characteristic $p$ and $G$ is a group. We show that, when $r$ is not a power of $p$, the Lie power $L^r(V)$ has a direct summand $B^r(V)$ which is a direct summand of the tensor power $V^{\otimes r}$ and which satisfies $\dim B^r(V)/\dim L^r(V) \to 1$ as $r \to \infty$. Similarly, for the same values of $r$, we obtain a projective submodule $C(r)$ of the Lie module $\Lie(r)$ over $F$ such that $\dim C(r)/\dim \Lie(r) \to 1$ as $r \to \infty$.

math.RT↗
arXiv2009

The Lie module of the symmetric group

We provide an upper bound for the dimension of the maximal projective submodule of the Lie module of the symmetric group of $n$ letters in prime characteristic $p$, where $n = pk$ with $p \nmid k$.

math.RT↗
arXiv2006

Beyond Rouquier partitions

We obtain closed formulas, in terms of Littlewood-Richardson coefficients, for the canonical basis elements of the Fock space representation of $U_v(\hat{\mathfrak{sl}}_e)$ which are labelled by partitions having 'locally small' $e$-quotients and arbitrary $e$-cores. We further show that, upon evaluation at $v=1$, this gives the corresponding decomposition numbers of the $q$-Schur algebras in characteristic $l$ (where $q$ is a primitive $e$-th root of unity if $l \ne e$ and $q=1$ otherwise) whenever $l$ is greater than the size of each constituent of the $e$-quotient.

math.RT↗