Frobenius P-categories via the Alperin condition

TL;DR

This paper introduces a new equivalent definition of Frobenius P-categories based on the Alperin condition, linking subgroup behavior to the structure of these categories.

Contribution

It provides a third characterization of Frobenius P-categories using the Alperin Fusion Theorem and the behavior of F-essential subgroups.

Findings

Equivalent definition of Frobenius P-categories via Alperin condition

Characterization of Frobenius P-categories through partial normalizers

Connection between subgroup conditions and category structure

Abstract

In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we introduce the Frobenius P-categories giving two quite different definitions of them. In this paper, we exhibit a third equivalent definition based on the form of the old Alperin Fusion Theorem; this theorem can be reformulated in our abstract setting, and ultimately depends on the behavior of the so-called F-essential subgroups of P: we call "Alperin condition" a sufficient form of this behavior. Then, we prove that a divisible P-category F is a Frobenius P-category if and only if all the partial normalizers of a suitable set of representatives for the F-isomorphism classes of subgroups of P fulfill both the Sylow and the Alperin conditions.