Branching Rules for Specht Modules

Let $S_\lambda$ denote the Specht module defined by Dipper and James for the Iwahori-Hecke algebra $\mathscr{H}_n$ of the symmetric group $\mathfrak{S}_n$. When $e=2$ we determine the decomposability of all Specht modules corresponding to hook partitions $(a,1^b)$. We do so by utilising the Brundan-Kleshchev isomorphism between $\mathscr{H}$ and a Khovanov-Lauda-Rouquier algebra and working with the relevant KLR algebra, using the set-up of Kleshchev-Mathas-Ram. When $n$ is e...

Let p be an odd prime, and A_n the alternating group of degree n. We determine which ordinary irreducible representations of A_n remain irreducible in characteristic p, verifying the author's conjecture from [Represent. Theory 14, 601-626]. Given the preparatory work done in [op. cit.], our task is to determine which self-conjugate partitions label Specht modules for the symmetric group in characteristic p having exactly two composition factors. This is accomplished through t...

The decomposition of Foulkes module $F_b^a$ into irreducible Specht modules is an open problem for $a,b > 3$. In this article we describe the Generalized Foulkes module $F_{\nu}^a$ (for parameter $\nu \vdash b$). We derive some properties by studying its restriction $F_{\nu}^a \downarrow_{S_b \times S_{ab -b}}$.

Let $F$ be a field of characteristic $p$ at least 5. We study the Loewy structures of Specht modules in the principal block of $F\Sigma_{3p}$. We show that a Specht module in the block has Loewy length at most 4 and composition length at most 14. Furthermore, we classify which Specht modules have Loewy length 1, 2, 3, or 4, produce a Specht module having 14 composition factors, describe the second radical layer and the socle of the reducible Specht modules, and prove that if ...

We introduce a way of describing cohomology of the symmetric groups with coefficients in Specht modules over Z or F_p. We study i-th-degree cohomology for i in {0,1,2}. The focus lies on the isomorphism type of second-degree cohomology of integral Specht modules. Unfortunately, only in few cases can we determine this exactly. In many cases we obtain only some information about the prime divisors of the cohomology group's order. The most important tools we use are the Zassenha...

Let $F$ be a field of characteristic $p$. We show that $\Hom_{F\Sigma_n}(S^\lambda, S^\mu)$ can have arbitrarily large dimension as $n$ and $p$ grow, where $S^\lambda$ and $S^\mu$ are Specht modules for the symmetric group $\Sigma_n$. Similar results hold for the Weyl modules of the general linear group. Every previously computed example has been at most one-dimensional, with the exception of Specht modules over a field of characteristic two. The proof uses the work of Chuang...

Let $p\ge 5$ be a prime and let $n$ be a natural number. In this article we describe the irreducible constituents of the induced characters $\phi\big\uparrow^{\mathfrak{S}_n}$ for arbitrary linear characters $\phi$ of a Sylow $p$-subgroup of the symmetric group $\mathfrak{S}_n$, generalising earlier results of the authors. By doing so, we introduce Sylow branching coefficients for symmetric groups.

Let $K$ be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions of $n$, where $\lambda=(\lambda_1,...,\lambda_n)$ and $\mu=(\mu_1,..,\mu_n)$. By $S^{\lambda}$ we denote the Specht module corresponding to $\lambda$ for the group algebra $K\mathfrak{S}_n$ of the symmetric group $\mathfrak{S}_n$. D. Hemmer has raised the question of relating the homomorphism spaces $\Hom_{\mathfrak{S}_n}(S^{\mu}, S^{\lambda})$ and $\Hom_{\mathfrak{S}_{n'}}(S^{\mu^+}, S^...

Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in [Ayyer A., Prasad A., Spallone S., Sem. Lothar. Combin. 75 (2015), Art. B75g, 13 pages] and recently developed in [Isaacs I.M., Navarro G., Olsson J.B., Tiep P.H., J. Algebra 478 (2017), 271-282].

This paper gives a necessary and sufficient condition for the image of the Specht module under the inverse Schur functor to be isomorphic to the dual Weyl module in characteristic 2, and gives an elementary proof that this isomorphism holds in all cases in all other characteristics. These results are new in characteristics 2 and 3. We deduce some new examples of indecomposable Specht modules in characteristic 2. When the isomorphism does not hold, the dual Weyl module is stil...