English

Outer derivations on blocks of group algebras

Representation Theory 2026-01-15 v1 K-Theory and Homology Rings and Algebras

Abstract

Let GG be a finite group whose order is divisible by the characteristic of a field kk. If BB is a block of kGkG with defect group PP, we prove that the space of derivations on kPkP which are restrictions of derivations on kGkG, modulo inner derivations, is isomorphic to a subspace of HH1(B,B)\operatorname{HH}^1(B,B). Using this, we provide various group theoretic criteria for the non-vanishing of HH1(B,B)\operatorname{HH}^1(B,B). In particular, we show HH1(B,B)0\operatorname{HH}^1(B,B)\neq 0 for principal blocks having abelian defect group, for all blocks of the symmetric and alternating groups, for blocks of finite groups of Lie type in defining characteristic, and for blocks of general linear groups in any characteristic. Building on this, we show that if kk has prime characteristic p>5p>5, and if BB is any block of kGkG with Sylow defect group, then HH1(B,B)0\operatorname{HH}^1(B,B)\neq 0. By the same method we also prove that if kk has prime characteristic p>5p>5, then the first Hochschild cohomology group of any twisted group algebra is non-zero.

Keywords

Cite

@article{arxiv.2601.09602,
  title  = {Outer derivations on blocks of group algebras},
  author = {Benjamin Briggs and Lleonard Rubio y Degrassi},
  journal= {arXiv preprint arXiv:2601.09602},
  year   = {2026}
}

Comments

15 pages, comments welcome