Showing 1–3 of 3 results for author: Smith, S D

Some results on Quillen's Conjecture via equivalent-poset techniques

Authors: Kevin I. Piterman, Stephen D. Smith

Abstract: We extend the Main Theorem of Aschbacher and Smith on Quillen's Conjecture from $p>5$ to the remaining odd primes $p = 3,5$. In the process, we develop further combinatorial and homotopical methods for studying the poset of nontrivial elementary abelian $p$-subgroups of a finite group. The techniques lead to a number of further results on the Conjecture, often reducing dependence on the CFSG; in p… ▽ More We extend the Main Theorem of Aschbacher and Smith on Quillen's Conjecture from $p>5$ to the remaining odd primes $p = 3,5$. In the process, we develop further combinatorial and homotopical methods for studying the poset of nontrivial elementary abelian $p$-subgroups of a finite group. The techniques lead to a number of further results on the Conjecture, often reducing dependence on the CFSG; in particular, we also provide some partial results toward the case of $p=2$. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 83 pages; comments are welcome

MSC Class: 20J05; 20D05; 20D25; 20D30; 05E18; 06A11

Eliminating components in Quillen's Conjecture

Authors: Kevin I. Piterman, Stephen D. Smith

Abstract: We generalize an earlier result of Segev, which shows that {\em some\/} component in a minimal counterexample to Quillen's conjecture must admit an outer automorphism. We show in fact that {\em every\/} component must admit an outer automorphism. Thus we transform his restriction-result on components to an elimination-result: namely one which excludes any component which does not admit an outer au… ▽ More We generalize an earlier result of Segev, which shows that {\em some\/} component in a minimal counterexample to Quillen's conjecture must admit an outer automorphism. We show in fact that {\em every\/} component must admit an outer automorphism. Thus we transform his restriction-result on components to an elimination-result: namely one which excludes any component which does not admit an outer automorphism. Indeed we show that the outer automorphisms admitted must include $p$-outers: that is, outer automorphisms of order divisible by $p$. This gives stronger, concrete eliminations: for example if $p$ is odd, it eliminates sporadic and alternating components -- thus reducing to Lie-type components (and typically forcing $p$-outers of field type). For $p = 2$, we obtain similar but less restrictive results. We also provide some tools to help eliminate suitable components that do admit $p$-outers in a minimal counterexample. △ Less

Submitted 26 January, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 37 pages, comments are welcome

MSC Class: 20J05; 20D05; 20D25; 20D30; 05E18; 06A11

Propagating sharp group homology decompositions

Authors: Jesper Grodal, Stephen D. Smith

Abstract: A collection C of subgroups of a finite group G can give rise to three different standard formulas for the cohomology of G in terms of either: the subgroups in C; or their centralizers; or their normalizers. We give a short but systematic study of the relationship among such formulas for nine standard collections C of p-subgroups, obtaining some new formulas in the process. To do this, we exhibi… ▽ More A collection C of subgroups of a finite group G can give rise to three different standard formulas for the cohomology of G in terms of either: the subgroups in C; or their centralizers; or their normalizers. We give a short but systematic study of the relationship among such formulas for nine standard collections C of p-subgroups, obtaining some new formulas in the process. To do this, we exhibit some sufficient conditions on the poset C which imply comparison results. △ Less

Submitted 16 February, 2005; v1 submitted 16 February, 2004; originally announced February 2004.

Comments: 12 pages. Extra counterexamples added. To appear in Advances in Math

MSC Class: 20J06 (Primary); 20J05; 55R35; 55P91 (Secondary)

Journal ref: Advances in Math. 200 (2006), 525--538