FIXED POINT SETS AND LEFSCHETZ MODULES John Maginnis and Silvia - PDF document

AMS Sectional Meeting Middle Tennessee State University, Murfreesboro, TN 3 - 4 November 2007 FIXED POINT SETS AND LEFSCHETZ MODULES John Maginnis and Silvia Onofrei Department of Mathematics, Kansas State University Abstract. The reduced Lefschetz modules associated to complexes of distinguished p -subgroups (those subgroups which contain p -central elements in their centers) are investigated. A special class of groups, those of parabolic characteristic p , is analyzed in detail. We determine the nature of the fixed point sets of groups of order p . The p -central elements have contractible fixed point sets. Under certain hypotheses, the non-central p -elements have fixed points which are eqivariantly homotopy equivalent to the corresponding complex for a qutient of the centralizer. For the reduced Lefschetz module, the vertices of the indecomposable summands and the distribution of these summands into the p -blocks of the group ring are related to the fixed point sets. 1. Introduction, basic terminology, motivation and context The present work investigates various properties of the reduced Lefschetz modules. The underlying simplicial complexes arise in a natural way from the group structure and are relevant to the cohomology and to the representation theory of the group. We are specially interested in those complexes which can be related to the p -local geometries for the sporadic groups. The best known example of a Lefschetz module is the Steinberg module of a Lie group G in defining characteristic. This module is irreducible and projective and it is the homology module of the associated building. For finite groups in general, the Brown complex of inclusion chains of nontrivial p -subgroups has projective reduced Lefschetz module. For a Lie group in defining characteristic, this complex is G - homotopy equivalent to the building, and thus the Lefschetz module is equal to the corresponding Steinberg module. Webb [20, Theorem A ′ ] assumed that the reduced Euler characteristics of the fixed point sets of subgroups of order p are zero and showed that the reduced Lefschetz module is projective in the Green ring of finitely generated Z p G -modules, with Z p the p -adic integers. Further, Webb [20, Theorem A] proved that the p -components of the cohomology of the group G with coefficients in a Z G -module M can be written as an alternating sum of the cohomology groups of the simplex stabilizers G σ : � H n ( G ; M ) p = ( − 1) dim( σ ) H n ( G σ ; M ) p σ ∈ ∆ /G This result is known in the literature as Webb’s alternating sum formula . Ryba, Smith and Yoshiara [13] proved projectivity, via Webb’s method of contractible fixed point sets, for Lefschetz modules of 18 sporadic geometries. These are certain subgroup complexes admitting a flag-transitive action by a sporadic simple group, or such a geometry other than the building for Lie type groups. Some of the characters of these projective virtual modules and the decomposition into projective covers of simple modules were also determined. Smith and Yoshiara [17] approached the study of projective Lefschetz modules for sporadic geometries in a more systematic way. The results on projectivity are obtained via a homotopy equivalence with the Quillen complex of nontrivial elementary 1

2 FIXED POINT SETS AND LEFSCHETZ MODULES abelian p -subgroups. It follows from their work that the sporadic groups of local characteristic p behave like the groups of Lie type in defining characteristic p ; their reduced Lefschetz modules are projective. Further results on the Lefschetz modules associated to complexes of subgroups in sporadic simple groups are given in a recent book by Benson and Smith [1], who give homotopy equivalences for each sporadic group, between a particular 2-local geometry and the simplicial complex determined by a certain collection of 2-subgroups. They choose geometries for which Webb’s alternating sum formula is valid, but in many cases the reduced Lefschetz module is only acyclic, not projective. Our approach emphasizes the role of p -central elements. In [7], we defined certain collections of p - subgroups, which we call distinguished . These are subcollections of the standard collections of p - subgroups and which consist of those p -subgroups which contain p -central elements in their centers. In an attempt to better correlate the homotopical properties of p -subgroup complexes to the algebraic properties of their reduced Lefschetz modules, we initiated a systematical study of the fixed point sets of groups of order p acting on various complexes of distinguished p -subgroups; see [ ? ]. At a first stage, we studied groups G of parabolic characteristic p , a technical condition on the p -local structure of G which is satisfied by about half of the sporadic groups in characteristic 2 or 3. For ∆ the complex of distinguished p -radical subgroups, we show that the fixed point set of a p -central element is contractible. For an element t which is not of central type, the homotopy type of the corresponding fixed point set ∆ � t � is determined by the group structure of C G ( t ). Under certain hypotheses, we proved that the fixed point set is equivariantly homotopy equivalent to the complex of distinguished p -radical subgroups for the quotient C G ( t ) /O p ( C G ( t )) of the centralizer. In [8] we combined various results on the homotopy properties of the distinguished complex of p -radical subgroups with techniques from modular representation theory in order to determine properties of reduced Lefschetz modules for sporadic groups. For odd primes, the distinguished p -radical complexes for several sporadic groups which have a Sylow p -subgroup of order p 3 , where p = 3 , 5 , 7, or 13, were analyzed in detail. Information on the structure of the corresponding Lefschetz modules is given, such as the distribution of indecomposable summands into blocks of the group ring. The vertices of the non- projective indecomposable summands are described. One interesting feature of a few of the examples is the existence of a non-projective summand of the reduced Lefschetz module lying in the principal block. 2. Notations, terminology and hypotheses The Groups. Let G be a finite group and p a prime dividing its order. Let Q be a p -subgroup of G . Then Q is a p - radical subgroup if Q is the largest normal p -subgroup in its normalizer N G ( Q ). Next, Q is called p - centric if its center Z ( Q ) is a Sylow p -subgroup of C G ( Q ). A subgroup H of G is a p - local subgroup of G if there exists a nontrivial p -subgroup P ≤ G such that N G ( P ) = H . For a subgroup H of G , denote by O p ( H ) the largest normal p -subgroup of H . The group G has characteristic p if C G ( O p ( G )) ≤ O p ( G ). If all p -local subgroups of G have character- istic p then G has local characteristic p . A parabolic subgroup of G is defined to be a subgroup which contains a Sylow p -subgroup of G . The group G has parabolic characteristic p if all p -local, parabolic subgroups of G have characteristic p . Examples of groups of local characteristic p are the groups of Lie type defined over fields of characteristic p , some of the sporadic groups (such as M 22 , M 24 , Co 2 for p = 2). Any group of local characteristic p has parabolic characteristic p . Some examples of sporadic groups of parabolic characteristic p are: M 12 , J 2 , Co 1 for p = 2, M 12 , J 3 , Co 1 for p = 3, J 2 , Co 1 , Co 2 for p = 5. Collections of p -subgroups. A collection C is a family of subgroups of G which is closed under conju- gation by G and it is partially ordered by inclusion; hence a collection is a G -poset.