First degree cohomology of Specht modules and extensions of symmetric powers

TY - JOUR

T1 - First degree cohomology of Specht modules and extensions of symmetric powers

AU - Donkin, Stephen

AU - Geranios, Haralampos

N1 - © 2019 Published by Elsevier Inc. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.

PY - 2019/3/17

Y1 - 2019/3/17

N2 - Let Σ d denote the symmetric group of degree d and let K be a field of positive characteristic p. For p>2 we give an explicit description of the first cohomology group H 1(Σ d,Sp(λ)), of the Specht module Sp(λ) over K, labelled by a partition λ of d. We also give a sufficient condition for the cohomology to be non-zero for p=2 and we find a lower bound for the dimension. The cohomology of Specht modules has been considered in many papers including [10], [12], [15] and [21]. Our method is to proceed by comparison with the cohomology for the general linear group G=GL n(K) and then to reduce to the calculation of Ext B 1(S dE,K λ), where B is a Borel subgroup of G, where S dE denotes the dth symmetric power of the natural module E for G and K λ denotes the one dimensional B-module with weight λ. The main new input is the description of module extensions by: extensions sequences, coherent triples of extension sequences and coherent multi-sequences of extension sequences, and the detailed calculation of the possibilities for such sequences. These sequences arise from the action of divided powers elements in the negative part of the hyperalgebra of G. Our methods are valid also in the quantised context and we aim to treat this in a separate paper.

AB - Let Σ d denote the symmetric group of degree d and let K be a field of positive characteristic p. For p>2 we give an explicit description of the first cohomology group H 1(Σ d,Sp(λ)), of the Specht module Sp(λ) over K, labelled by a partition λ of d. We also give a sufficient condition for the cohomology to be non-zero for p=2 and we find a lower bound for the dimension. The cohomology of Specht modules has been considered in many papers including [10], [12], [15] and [21]. Our method is to proceed by comparison with the cohomology for the general linear group G=GL n(K) and then to reduce to the calculation of Ext B 1(S dE,K λ), where B is a Borel subgroup of G, where S dE denotes the dth symmetric power of the natural module E for G and K λ denotes the one dimensional B-module with weight λ. The main new input is the description of module extensions by: extensions sequences, coherent triples of extension sequences and coherent multi-sequences of extension sequences, and the detailed calculation of the possibilities for such sequences. These sequences arise from the action of divided powers elements in the negative part of the hyperalgebra of G. Our methods are valid also in the quantised context and we aim to treat this in a separate paper.

KW - Cohomology

KW - Extensions

KW - General linear groups

KW - Induced modules

KW - Specht modules

KW - Symmetric groups

UR - http://www.scopus.com/inward/record.url?scp=85060104340&partnerID=8YFLogxK

U2 - 10.1016/j.aim.2019.01.022

DO - 10.1016/j.aim.2019.01.022

M3 - Article

SN - 0001-8708

VL - 345

SP - 618

EP - 701

JO - Advances in Mathematics

JF - Advances in Mathematics

ER -