Table of Contents
Fetching ...

On the solvability of the Lie algebra $\mathrm{HH}^1(B)$ for blocks of finite groups

Markus Linckelmann, Jialin Wang

TL;DR

The paper develops criteria for the solvability of the Lie algebra $\mathrm{HH}^1(B)$ of blocks $B$ of group algebras, tying solvability to the action of the inertial quotient $E$ on a defect group $P$ via the ${\mathbb F_p}E$-module structure of $P/\Phi(P)$. It leverages Puig’s Morita-type stable equivalence $B \simeq k_\alpha(P\rtimes E)$ and analyzes $\mathrm{HH}^1$ through twisted group algebras, the K"unneth formula, and $E$-stable derivations on $kP$; a key outcome is that multiplicity-free action of $E$ on $P/\Phi(P)$ yields solvability, with an odd $p$ converse. The results provide a clear, computable criterion for solvability in many block situations, including abelian defect groups and Frobenius-type blocks, and they connect the global block structure to local fusion-system invariants. Together with explicit examples, the work clarifies how $\mathrm{HH}^1(B)$ can reflect simple, solvable, or non-solvable Lie algebra structures across block families, aiding both theoretical understanding and potential computational checks.

Abstract

We give some criteria for the Lie algebra $\mathrm{HH}^1(B)$ to be solvable, where $B$ is a $p$-block of a finite group algebra, in terms of the action of an inertial quotient of $B$ on a defect group of $B$.

On the solvability of the Lie algebra $\mathrm{HH}^1(B)$ for blocks of finite groups

TL;DR

The paper develops criteria for the solvability of the Lie algebra of blocks of group algebras, tying solvability to the action of the inertial quotient on a defect group via the -module structure of . It leverages Puig’s Morita-type stable equivalence and analyzes through twisted group algebras, the K"unneth formula, and -stable derivations on ; a key outcome is that multiplicity-free action of on yields solvability, with an odd converse. The results provide a clear, computable criterion for solvability in many block situations, including abelian defect groups and Frobenius-type blocks, and they connect the global block structure to local fusion-system invariants. Together with explicit examples, the work clarifies how can reflect simple, solvable, or non-solvable Lie algebra structures across block families, aiding both theoretical understanding and potential computational checks.

Abstract

We give some criteria for the Lie algebra to be solvable, where is a -block of a finite group algebra, in terms of the action of an inertial quotient of on a defect group of .

Paper Structure

This paper contains 8 sections, 30 theorems, 51 equations.

Key Result

Theorem 1.1

Let $G$ be a finite group, and assume that $k$ is large enough for the subgroups of $G$. Let $B$ be a block of $kG$ with a non-trivial abelian defect group $P$ and a non-trivial inertial quotient $E$ acting freely on $P\setminus \{1\}$. If the ${\mathbb F_p} E$-module $P/\Phi(P)$ is multiplicity fre

Theorems & Definitions (67)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Lemma 2.1: cf. LiRusimple
  • Lemma 2.2: cf. LiRuHH1
  • Proposition 2.3
  • Corollary 2.4
  • proof
  • Lemma 2.5
  • proof
  • ...and 57 more