Source author record

Kay Jin Lim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
1topics
4close collaborators

Published work

10 publications

preprint2020arXiv

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

Let GG be a connected reductive algebraic group over an algebraically closed field of characteristic p>0p>0, Δ(λ)Δ(λ) denote the Weyl module of GG of highest weight λλ and ιλ,μ:Δ(λ+μ)→Δ(λ)⊗Δ(μ)ι_{λ,μ}:Δ(λ+μ)\to Δ(λ)\otimesΔ(μ) be the canonical GG-morphism. We study the split condition for ιλ,μι_{λ,μ} over Z(p)\mathbb{Z}_{(p)}, and apply this as an approach to compare the Jantzen filtrations of the Weyl modules Δ(λ)Δ(λ) and Δ(λ+μ)Δ(λ+μ). In the case when GG is of type AA, 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.

preprint2016arXiv

On signed p-Kostka numbers and the indecomposable signed Young permutation modules

We prove the existence and main properties of signed Young modules for the symmetric group, using only basic facts about symmetric group representations and the Brou{é} correspondence. We then prove new reduction theorems for the signed pp-Kostka numbers, defined to be the multiplicities of signed Young modules as direct summands of signed Young permutation modules. We end by classifying the indecomposable signed Young permutation modules and determining their endomorphism algebras.

preprint2014arXiv

Sylow subgroups of symmetric and alternating groups and the vertex of S(kp−p,1p)S^{(kp-p,1^p)} in characteristic pp

We show that the Sylow pp-subgroups of a symmetric group, respectively an alternating group, are characterized as the pp-subgroups containing all elementary abelian pp-subgroups up to conjugacy of the symmetric group, respectively the alternating group. We apply the characterization result for symmetric groups to compute the vertices of the hook Specht modules associated to the partition (kp−p,1p)(kp-p,1^p) under the assumption that k≡1k \equiv 1 mod pp and k≢1k \not\equiv 1 mod p2p^2.

preprint2011arXiv

Specht modules with abelian vertices

In this article, we consider indecomposable Specht modules with abelian vertices. We show that the corresponding partitions are necessarily p2p^2-cores where pp is the characteristic of the underlying field. Furthermore, in the case of p≥3p\geq 3, or p=2p=2 and μμ is 2-regular, we show that the complexity of the Specht module SμS^μ is precisely the pp-weight of the partition μμ. In the latter case, we classify Specht modules with abelian vertices. For some applications of the above results, we extend a result of M. Wildon and compute the vertices of the Specht module S(pp)S^{(p^p)} for p≥3p\geq 3.

preprint2011arXiv

The Schur functor on tensor powers

Let MM be a left module for the Schur algebra S(n,r)S(n,r), and let s∈Z+s \in \mathbb{Z}^+. Then M⊗sM^{\otimes s} is a (S(n,rs),FSs)(S(n,rs), F\mathfrak{S}_s)-bimodule, where the symmetric group Ss\mathfrak{S}_s on ss letters acts on the right by place permutations. We show that the Schur functor frsf_{rs} sends M⊗sM^{\otimes s} to the (FSrs,FSs)(F\mathfrak{S}_{rs},F\mathfrak{S}_s)-bimodule FSrs⊗F(Sr≀Ss)((frM)⊗s⊗FSs)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 Ls(M)L^s(M), symmetric power Ss(M)S^s(M) and exterior power ⋀s(M)\bigwedge^s(M) of MM.

preprint2010arXiv

Asymptotic behaviour of Lie powers and Lie modules

Let VV be a finite-dimensional FGFG-module, where FF is a field of prime characteristic pp and GG is a group. We show that, when rr is not a power of pp, the Lie power Lr(V)L^r(V) has a direct summand Br(V)B^r(V) which is a direct summand of the tensor power V⊗rV^{\otimes r} and which satisfies dim⁡Br(V)/dim⁡Lr(V)→1\dim B^r(V)/\dim L^r(V) \to 1 as r→∞r \to \infty. Similarly, for the same values of rr, we obtain a projective submodule C(r)C(r) of the Lie module $\Lie(r)$ over FF such that $\dim C(r)/\dim \Lie(r) \to 1$ as r→∞r \to \infty.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.