Conjectural invariance with respect to the fusion system of an almost-source algebra

DOI10.1515/JGTH-2020-0205MaRDI QIDQ2170274zbMATH OpenOpenAlexFDO

Authors Laurence Barker, Matthew Gelvin

Publication date 30 August 2022

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.02426

zbMATH Keywords

\(p\)-solvable groupcharacteristic bisetfusion systemsource algebra

Mathematics Subject Classification ID

Modular representations and characters (20C20) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20)

Abstract: We show that, given an almost-source algebra $A$ of a $p$-block of a finite group $G$, then the unit group of $A$ contains a basis stabilized by the left and right multiplicative action of the defect group if and only if, in a sense to be made precise, certain relative multiplicities of local pointed groups are invariant with respect to the fusion system. We also show that, when $G$ is $p$-solvable, those two equivalent conditions hold for some almost-source algebra of the given $p$-block. One motive lies in the fact that, by a theorem of Linckelmann, if the two equivalent conditions hold for $A$, then any stable basis for $A$ is semicharacteristic for the fusion system.

Review text

Le \(G\) be a finite group, \(\mathcal{O}\) a complete discrete evaluation ring, \(\mathbb{F}\) an algebraically closed field of prime chracteristic \(p\), \(b\) a block of \(\mathcal{O}G\) and \(P\) a defect group of \(b\). An idempotent \(i\in(\mathcal{O}Gb)^{P}\) with \(\mathrm{Br}_P(i)\not=0\) is called an almost source idempotent if for any subgroup \(Q\leq P\) it determines a unique block \(e_Q\) of \(\mathbb{F}C_G(Q)\) such that \(\mathrm{Br}_Q(i)e_Q=\mathrm{Br}_Q(i)\). An almost source algebra \(A\) of \(b\) is the interior \(P\)-algebra \(i\mathcal{O}Gi\) with structural homomorphism \(u\mapsto iui\). They generalize source algebras by not requiring the idempotent \(i\) to be primitive with the motive that in many arguments what is relevant is not the primitiveness but the unique determination. The almost source algebra \(A\) determines a fusion system \(\mathcal{F}\) on \(P\). Given a basis \(\Omega\) that is stable under the right and the left action of \(P\), a theorem of Linckelmann (Theorem 1.1) explains how \(\Omega\) determines \(\mathcal{F}\). The main concern of the paper is the existence of \(\Omega\) for which the authors provide an equivalent condition in terms of certain properties of \(\mathcal{F}\) (Theorem 1.2). They also show that for some almost source algebra of the block \(b\), these equivalent conditions hold when \(G\) is \(p\)-solvable (Theorem 1.4).

Recommendations

• Local fusions in block source algebras
• Fusion category algebras.
• On blocks with trivial source simple modules.
• Source algebras of p-central group extensions
• Hyperfocal subalgebras of source algebras of blocks over small-ground fields.

Cites work

• A local property of basic Morita equivalences.
• An observation on the module structure of block algebras
• Local fusions in block source algebras
• Minimal characteristic bisets for fusion systems
• Saturated fusion systems as idempotents in the double Burnside ring.
• Splendid Derived Equivalences for Blocks of Finite p -Solvable Groups
• The block theory of finite group algebras. Volume 1
• The theory of fusion systems. An algebraic approach.

Cited in

(4)

• Local fusions in block source algebras
• Stable unital bases, hyperfocal subalgebras and basic Morita equivalences
• The pointed p-groups on a block algebra
• Reduction theorems for a conjecture on bases in source algebras of blocks of finite groups

This page was built for publication: Conjectural invariance with respect to the fusion system of an almost-source algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2170274)