Endomorphism rings of permutation modules over maximal Young subgroups

Stephen Doty,Karin Erdmann,Anne Henke
DOI: https://doi.org/10.48550/arXiv.math/0601134
2006-02-02
Abstract:Let $K$ be a field of characteristic two, and let $\lambda$ be a two-part partition of some natural number $r$. Denote the permutation module corresponding to the (maximal) Young subgroup $\Sigma_\lambda$ in $\Sigma_r$ by $M^\lambda$. We construct a full set of orthogonal primitive idempotents of the centraliser subalgebra $S_K(\lambda) = 1_\lambda S_K(2,r) 1_\lambda = End_{K\Sigma_r}(M^\lambda)$ of the Schur algebra $S_K(2,r)$. These idempotents are naturally in one-to-one correspondence with the 2-Kostka numbers.
Representation Theory,Group Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in a field of characteristic 2, for a permutation module defined by the maximum Young subgroup, to construct a complete set of orthogonal primitive idempotents of its centraliser subalgebra. Specifically: - **Research object**: The paper focuses on the centraliser algebra $S_K(\lambda)$ of the permutation module $M_\lambda$ when the partition $\lambda$ is a bipartition with at most two parts. - **Core of the problem**: In a field of characteristic 2, construct a complete set of orthogonal primitive idempotents of these centraliser algebras. These idempotents naturally correspond one - to - one with the 2 - Kostka numbers. ### Main results The author solves this problem in the following ways: 1. **Idempotent construction**: By using the method of considering an infinite number of algebra families simultaneously, keep $m=\lambda_1-\lambda_2$ fixed and let $r = \lambda_1+\lambda_2$ vary arbitrarily. In this way, the author successfully constructs a set of idempotents $\{e_{m,g}\}$, where each idempotent corresponds to a non - zero 2 - Kostka number. 2. **Idempotent properties**: It is proved that these idempotents are orthogonal and they form a complete basis of the centraliser algebra. 3. **Application background**: The study of these problems is helpful for understanding the structure of permutation modules and their applications in representation theory, especially in the representation theory of symmetric groups and Schur algebras. ### Mathematical formula representation The key formulas involved in the paper include: - Definition of 2 - Kostka numbers: \[ B(m, g)=\binom{m + 2g}{g} \] - Construction formula of idempotents: \[ e_{m,g}:=\prod_{u\in J_{m,g}}b(2u)\prod_{u\in I_{m,g}}(1 - b(2u)) \] where, \[ I_{m,g}:=\{u:gu = 0\text{ and }(m + 2g)u=1\} \] \[ J_{m,g}:=\{u:gu = 1\text{ and }(m + 2g)u = 1\} \] Through these formulas and construction methods, the author successfully solves the problem of constructing idempotents of the centraliser algebra of permutation modules under specific conditions.