Cohomology and generic cohomology of Specht modules for the symmetric group.
type: Item
instance of: scholarly article
title: Cohomology and generic cohomology of Specht modules for the symmetric group.
zbMATH Open document ID: 1187.20062
author: David J. Hemmer
published in: Journal of Algebra
publication date: 2009-10-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/0803.3764
review text: Let \(k\) be an algebraically closed field of characteristic \(p\geq 3\), and consider a symmetric group \(\Sigma_d\) on \(d\) objects. Of interest here is the cohomology of Specht modules over \(k\) (i.e., considered as \(k\Sigma_d\)-modules). For a partition \(\lambda\) of \(d\), let \(S^\lambda\) denote the associated Specht module. While some cohomological results are known for dual Specht modules, little is known for Specht modules beyond degree zero. The approach of this paper is to transfer the problem to an algebraic group setting. Consider the general linear group \(\text{GL}_d(k)\) and the Borel subgroup \(B\) of lower triangular matrices. It is known that cohomology of a Specht module can be identified with extensions over \(\text{GL}_d(k)\) between two induced (or costandard) modules \(H^0(d)\) and \(H^0(\lambda)\) (where by \(d\), we mean the partition \((d,0,\dots,0)\)). The \(\text{GL}_d(k)\)-extensions can be further identified as \(B\)-extensions between \(H^0(d)\) and a one-dimensional \(B\)-module. Using information on the composition factors of \(H^0(d)\) allows the author to recover results of James on degree zero cohomology. More significantly, by using known results on degree one extensions over \(B\), the author is able to obtain degree one cohomology results. First, for a partition \(\lambda\) of \(d\), it is shown that \(H^1(\Sigma_{pd},S^{p\lambda})\simeq H^1(\Sigma_{p^2d},S^{p^2\lambda})\). This is quite interesting since it is a cohomology relationship between different groups. This immediately gives a ``generic cohomology'' result by extending to higher powers of \(p\). A second main result is that if \(p^r>d\), then \(H^1(\Sigma_d,S^{\lambda})\simeq H^1(\Sigma_{d+p^r},S^{\lambda+p^r})\), where \(p^r\) is added to the first part of the partition \(\lambda\). The author concludes with a number of open questions.
reviewed by: Christopher P. Bendel
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 20C30
Mathematics Subject Classification ID: 20G05
Mathematics Subject Classification ID: 20G10
zbMATH DE Number: 5614717
zbMATH Keywords: symmetric groups
zbMATH Keywords: Specht modules
zbMATH Keywords: generic cohomology
zbMATH Keywords: Borel subgroups
zbMATH Keywords: general linear groups
zbMATH Keywords: cohomology groups
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2014463012
arXiv ID: 0803.3764
cites work: Extensions of Modules for Algebraic Groups
cites work: Second cohomology groups for Frobenius kernels and related structures.
cites work: On cohomology of dual Specht modules
cites work: Rational and generic cohomology
cites work: On the cohomology of Young modules for the symmetric group.
cites work: Q3199632
cites work: The submodule structure of certain Weyl modules for groups of type \(A_ n\)
cites work: \(\text{Ext}^ 1\) for Weyl modules of \(\text{SL}_ 2(K)\)
cites work: Polynomial representations of \(GL_n\)
cites work: On the cohomology of Specht modules.
cites work: Q3792870
cites work: Q4440466
cites work: On comparing the cohomology of general linear and symmetric groups.
cites work: Q4282626
cites work: Higher extensions between modules for \(\text{SL}_2\).
DOI: 10.1016/J.JALGEBRA.2009.05.041
description: scientific article