Serre class

Serre class
Name	Serre class
Discipline	Algebraic topology; Homological algebra; Algebraic geometry
Introduced	1953
Introduced by	Jean-Pierre Serre
Key terms	Abelian group, Ext, Tor, exact sequence, localization

Serre class.

A Serre class is a family of abelian groups satisfying axioms that make it stable under extensions and subquotients; it appears prominently in the work of Jean-Pierre Serre on homology, cohomology, and homotopy theory. The notion organizes classes such as finite groups, torsion groups, and p-primary groups, and it underpins comparison theorems linking homology theories and spectral sequences developed in the mid-20th century. Serre classes serve as a technical tool in the study of homological algebraic invariants for spaces and schemes treated by researchers in algebraic topology and algebraic geometry.

Definition and basic properties

A Serre class C is a nonempty collection of abelian groups closed under taking subgroups, quotients, and extensions, so that for any short exact sequence 0 → A → B → C' → 0, if A and C' lie in C then B lies in C, and conversely if B lies in C then A and C' lie in C. This axiomatization appears in Serre's work on homotopy groups of spheres and in later expositions by Cartan, Eilenberg, and Grothendieck, and it interacts with derived functors such as Ext and Tor used by homological algebraists. Standard consequences include closure under finite direct sums and under isomorphism, and compatibility with localization functors like Bousfield localization considered by Adams and Miller. Many classical examples satisfy further finiteness or primary decomposition properties studied by Noetherian ring theorists and number theorists.

Examples and important classes

Prominent examples include the class of finite abelian groups used in number theory by Dedekind and class field theorists, the class of torsion abelian groups studied by Prüfer and Baer, and the class of p-primary groups that appear in the work of Prüfer and Steinitz. Other important Serre classes are the classes of groups annihilated by a fixed integer n, the classes of groups of bounded exponent appearing in the work of Burnside, and classes arising from homological finiteness conditions like finitely generated or finitely presented abelian groups as in the work of Emmy Noether and Philip Hall. In algebraic topology, homotopy theorists working on the Adams spectral sequence and the EHP sequence exploit Serre classes to isolate torsion phenomena studied by Toda and Serre. Algebraic geometers studying étale cohomology and étale fundamental groups use Serre classes to control torsion in cohomology groups linked to Grothendieck's work on schemes and the Weil conjectures.

Serre's theorem and applications

Serre proved several key results employing Serre classes, notably comparison theorems for homotopy and homology groups: if homotopy groups of a space lie in a Serre class, then homology groups often do as well under suitable connectivity hypotheses. These theorems play a central role in Serre's work on homotopy groups of spheres and in subsequent developments by Hatcher, Spanier, and Whitehead. Applications include results about homology localization used by Sullivan in rational homotopy theory, calculations in the Adams spectral sequence used by Adams and Ravenel, and finiteness theorems for cohomology groups in arithmetic geometry linked to Tate and Grothendieck. Serre-type criteria also underpin vanishing and finiteness results in the work of Borel on arithmetic groups and of Deligne on Hodge theory.

Homological characterizations

Homological characterizations of Serre classes often involve the vanishing or finiteness of derived functors: for many Serre classes C, the conditions Ext^i_Z(A, M) ∈ C and Tor_i^Z(A, M) ∈ C for all i and for particular modules M characterize membership of A in C. Such formulations are exploited in the study of cohomological dimension by Cartan and Eilenberg and in local cohomology techniques developed by Grothendieck and Hartshorne. In stable homotopy theory, homological characterizations using homology operations and Steenrod algebra modules are used by Milnor, May, and Ravenel to detect elements in Serre classes. Derived category techniques introduced by Verdier and further developed by Neeman provide an alternative categorical viewpoint where Serre subcategories correspond to thick subcategories and localizing subcategories appearing in the work of Hopkins and Smith.

Closure properties and operations

Beyond closure under subobjects, quotients, and extensions, Serre classes are closed under finite direct sums, and many natural constructions preserve Serre-class membership: tensor products, Hom, and derived functors preserve membership under supplementary hypotheses studied by Bass, Matlis, and Auslander. Localization at a multiplicative set or completion with respect to an ideal often produces new Serre classes considered by Grothendieck in algebraic geometry and by Serre in arithmetic contexts. Intersection and sum of Serre classes yield Serre classes, and images and kernels of morphisms between objects in an ambient abelian category respect Serre-class axioms, a principle central to the structure theory of abelian categories studied by Gabriel.

Historical context and development

The concept originates in Jean-Pierre Serre's mid-20th-century investigations into homotopy theory and algebraic topology, particularly his 1950s work on homotopy groups of spheres and local algebraic methods. Subsequent development drew on foundational texts by Cartan and Eilenberg, Grothendieck's reformulation in algebraic geometry and homological algebra, and applications by Adams, Sullivan, and Quillen in stable homotopy theory and K-theory. Later contributors, including Verdier, Neeman, Hopkins, and Smith, extended the categorical and chromatic perspectives that place Serre classes within modern triangulated and derived category frameworks used in contemporary research across topology, algebra, and arithmetic geometry.

Category:Homological algebra