On Fixed Point Sets and Lefschetz Modules for Sporadic Simple Groups Silvia Onofrei in collaboration with John Maginnis Kansas State University Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 1/15

Terminology and Notation: Groups G is a finite group and p a prime dividing its order Q a nontrivial p -subgroup of G Q is p-radical if Q = O p ( N G ( Q )) Q is p-centric if Z ( Q ) ∈ Syl p ( C G ( Q )) G has characteristic p if C G ( O p ( G )) ≤ O p ( G ) G has local characteristic p if all p -local subgroups of G have characteristic p G has parabolic characteristic p if all p -local subgroups which contain a Sylow p -subgroup of G have characteristic p Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 2/15

Terminology and Notation: Collections Collection C family of subgroups of G closed under G -conjugation partially ordered by inclusion Subgroup complex | C | = ∆( C ) simplices: σ = ( Q 0 < Q 1 < ... < Q n ) , Q i ∈ C G σ = ∩ n isotropy group of σ : i = 0 N G ( Q i ) | C | Q = ∆( C ) Q fixed point set of Q : Standard collections all subgroups are nontrivial Brown S p ( G ) p -subgroups Quillen A p ( G ) elementary abelian p -subgroups Bouc B p ( G ) p -radical subgroups B cen p ( G ) p -centric and p -radical subgroups Equivariant homotopy equivalences: A p ( G ) ⊆ S p ( G ) ⊇ B p ( G ) Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 3/15

Terminology and Notation: Lefschetz Modules k field of characteristic p ∆ subgroup complex ∆ / G the orbit complex of ∆ The reduced Lefschetz module | ∆ | � i = − 1 ( − 1 ) i C i (∆; k ) alternating sum of chain groups L G (∆; k ) := ∑ � L G (∆; k ) = ∑ σ ∈ ∆ / G ( − 1 ) | σ | Ind G element of Green ring of kG G σ k − k • for a Lie group in defining characteristic � L G ( | S p ( G ) | ; k ) is equal to the Steinberg module • � L G ( | S p ( G ) | ; k ) is virtual projective module evenaz (1987): � • Th´ L G (∆; k ) is X -relatively projective X is a collection of p -subgroups ∆ Q is contractible for every p -subgroup Q �∈ X Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 4/15

Background, History and Context if ∆ Q is contractible for Q any subgroup of order p then � L G (∆; Z p ) is virtual projective module H n ( G ; M ) p = ∑ σ ∈ ∆ / G ( − 1 ) | σ | � and � H n ( G σ ; M ) p Webb, 1987 sporadic geometries with projective reduced Lefschetz modules Ryba, Smith and Yoshiara, 1990 relate projectivity of the reduced Lefschetz module for sporadic geometries to the p -local structure of the group Smith and Yoshiara, 1997 � L ( | B cen p | ; k ) is projective relative to the collection of p -subgroups which are p -radical but not p -centric Sawabe, 2005 connections between 2-local geometries and standard complexes for the 26 sporadic simple groups Benson and Smith, 2008 Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 5/15

A 2-Local Geometry for Co 3 G - Conway’s third sporadic simple group Co 3 ∆ - standard 2-local geometry with vertex stabilizers given below: ◦ ◦ ◦ G p = 2 . Sp 6 ( 2 ) P L M G L = 2 2 + 6 3 . ( S 3 × S 3 ) G M = 2 4 . L 4 ( 2 ) Theorem [MO] The 2-local geometry ∆ for Co 3 is equivariant homotopy equivalent to the complex of distinguished 2-radical subgroups | � B 2 ( Co 3 ) | ; 2-radical subgroups containing 2-central involutions in their centers. Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 6/15

Distinguished Collections of p-Subgroups An element of order p in G is p-central if it lies in the center of a Sylow p -subgroup of G . Let C p ( G ) be a collection of p -subgroups of G . Definition The distinguished collection � C p ( G ) is the collection of subgroups in C p ( G ) which contain p -central elements in their centers. Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 7/15

A Homotopy Equivalence Proposition [MO] The inclusion � → � A p ( G ) ֒ S p ( G ) is a G -homotopy equivalence. Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 8/15

A Homotopy Equivalence Proposition [MO] The inclusion � → � A p ( G ) ֒ S p ( G ) is a G -homotopy equivalence. A poset C is conically contractible if there is a poset map f : C → C and an element x 0 ∈ C such that x ≤ f ( x ) ≥ x 0 for all x ∈ C . Theorem [Th´ evenaz and Webb, 1991]: Let C ⊆ D . Assume that for all y ∈ D the subposet C ≤ y = { x ∈ C | x ≤ y } is G y -contractible. Then the inclusion is a G-homotopy equivalence. Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 8/15

A Homotopy Equivalence Proposition [MO] The inclusion � → � A p ( G ) ֒ S p ( G ) is a G -homotopy equivalence. A poset C is conically contractible if there is a poset map f : C → C and an element x 0 ∈ C such that x ≤ f ( x ) ≥ x 0 for all x ∈ C . Theorem [Th´ evenaz and Webb, 1991]: Let C ⊆ D . Assume that for all y ∈ D the subposet C ≤ y = { x ∈ C | x ≤ y } is G y -contractible. Then the inclusion is a G-homotopy equivalence. Proof. Let P ∈ � S p ( G ) and let Q ∈ � A p ( G ) ≤ P . � P is the subgroup generated by the p -central elements in Z ( P ) . The subposet � A p ( G ) ≤ P is contractible via the double inequality: Q ≤ � P · Q ≥ � P The poset map Q → � P · Q is N G ( P ) -equivariant. Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 8/15

The Distinguished Bouc Collection If G has parabolic characteristic p , then � → � B p ( G ) ֒ S p ( G ) is a G -homotopy equivalence Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 9/15

The Distinguished Bouc Collection If G has parabolic characteristic p , then � → � B p ( G ) ֒ S p ( G ) is a G -homotopy equivalence Webb’s alternating sum formula holds for � B p ( G ) H ∗ ( G ; � L G ( | � B p | ; k )) = 0 Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 9/15

The Distinguished Bouc Collection If G has parabolic characteristic p , then � → � B p ( G ) ֒ S p ( G ) is a G -homotopy equivalence Webb’s alternating sum formula holds for � B p ( G ) H ∗ ( G ; � L G ( | � B p | ; k )) = 0 ⊆ � B cen B p ⊆ B p p if G has parabolic characteristic p then � B p = B cen p Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 9/15

The Distinguished Bouc Collection If G has parabolic characteristic p , then � → � B p ( G ) ֒ S p ( G ) is a G -homotopy equivalence Webb’s alternating sum formula holds for � B p ( G ) H ∗ ( G ; � L G ( | � B p | ; k )) = 0 ⊆ � B cen B p ⊆ B p p if G has parabolic characteristic p then � B p = B cen p | � B p ( G ) | is homotopy equivalent to the standard 2-local geometry for all but two ( Fi 23 and O ′ N ) sporadic simple groups Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 9/15

The Distinguished Bouc Collection If G has parabolic characteristic p , then � → � B p ( G ) ֒ S p ( G ) is a G -homotopy equivalence Webb’s alternating sum formula holds for � B p ( G ) H ∗ ( G ; � L G ( | � B p | ; k )) = 0 ⊆ � B cen B p ⊆ B p p if G has parabolic characteristic p then � B p = B cen p | � B p ( G ) | is homotopy equivalent to the standard 2-local geometry for all but two ( Fi 23 and O ′ N ) sporadic simple groups � B p ( G ) preserves the geometric interpretation of the points of the geometry in cases where B cen does not p in Co 3 , the 2-central involutions (the points of the geometry) are 2-radical but not 2-centric Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 9/15

Fixed Point Sets Proposition 1 [MO] Let G be a finite group of parabolic characteristic p . Let z be a p -central element in G and let Z = � z � . B p ( G ) | Z is N G ( Z ) -contractible. Then the fixed point set | � Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 10/15

Fixed Point Sets Proposition 1 [MO] Let G be a finite group of parabolic characteristic p . Let z be a p -central element in G and let Z = � z � . B p ( G ) | Z is N G ( Z ) -contractible. Then the fixed point set | � Proposition 2 [MO] Let G be a finite group of parabolic characteristic p . Let t be a noncentral element of order p and let T = � t � . Assume that O p ( C G ( t )) contains a p -central element. B p ( G ) | T is N G ( T ) -contractible. Then the fixed point set | � Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 10/15

Fixed Point Sets Theorem 3 [MO] Assume G is a finite group of parabolic characteristic p . Let T = � t � with t an element of order p of noncentral type in G . Let C = C G ( t ) . Suppose that the following hypotheses hold: O p ( C ) does not contain any p -central elements; The quotient group C = C / O p ( C ) has parabolic characteristic p . Then there is an N G ( T ) -equivariant homotopy equivalence B p ( G ) | T ≃ | � | � B p ( C ) | Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 11/15

Recommend

More recommend