Search arXiv⌕ Search

arXiv · 0708.3949

Categorification of Wedderburn's basis for \mathbb{C}[S_n]

Abstract

M. Neunh{ö}ffer studies in \cite{Ne} a certain basis of $\mathbb{C}[S_n]$ with the origins in \cite{Lu} and shows that this basis is in fact Wedderburn's basis. In particular, in this basis the right regular representation of $S_n$ decomposes into a direct sum of irreducible representations (i.e. Specht or cell modules). In the present paper we rediscover essentially the same basis with a categorical origin coming from projective-injective modules in certain subcategories of the BGG-category $\mathcal{O}$. An important role in our arguments is played by the dominant projective module in each of these categories. As a biproduct of the study of this dominant projective module we show that {\it Kostant's problem} (\cite{Jo}) has a negative answer for some simple highest weight module over the Lie algebra $\mathfrak{sl}_4$, which disproves the general belief that Kostant's problem should have a positive answer for all simple highest weight modules in type $A$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Volodymyr Mazorchuk, Catharina Stroppel. 2008-03-06. Categorification of Wedderburn's basis for \mathbb{C}[S_n]. https://arxiv.org/abs/0708.3949

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Semi-infinite parabolic IC-sheaf II: the Ran space version

This paper is a sequel to arXiv:2310.0638. Let G be a split reductive group. We define the parabolic semi-infinite category on the Ran version of the affine Grassmanian Gr_{G,Ran}. We study the semi-infinite parabolic IC-sheaf in this category. We provide several descriptions of this object, one as certain colimit, another as an intermediate extension in certain category. We relate the global and local semi-infinite categories of sheaves. We also relate the intersection cohomology sheaf of the Drinfeld compactification of Bun_P with the semi-infinite parabolic IC-sheaf.

math.RT↗

Unipotent representations and the categorical trace of Frobenius

We give a new proof of the classification of unipotent representations for split finite groups of Lie type. To do this, we first construct an (infinity, 2)-categorification of Lusztig's map from the Hecke algebra to the asymptotic algebra. Then we use the theory of weights to show that it induces an isomorphism after applying trace of Frobenius.

math.RT↗