Subgroup Complexes

Home , Jacques Tits, Mathieu group M12

Mathematical Surveys and Monographs Volume 179

Subgroup Complexes

Stephen D. Smith

American Mathematical Society http://dx.doi.org/10.1090/surv/179

Subgroup Complexes

Mathematical Surveys and Monographs Volume 179

Subgroup Complexes

Stephen D. Smith

American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Ralph L. Cohen, Chair MichaelA.Singer Jordan S. Ellenberg Benjamin Sudakov MichaelI.Weinstein

2010 Mathematics Subject Classiﬁcation. Primary 20D05, 20D06, 20D08, 20D30, 20J05, 20C33, 20C34, 05E18, 55Pxx, 55Uxx.

For additional information and updates on this book, visit www.ams.org/bookpages/surv-179

Library of Congress Cataloging-in-Publication Data Smith, Stephen D., 1948– Subgroup complexes / Stephen D. Smith. p. cm. — (Mathematical surveys and monographs ; v. 179) Includes bibliographical references and index. ISBN 978-0-8218-0501-5 (alk. paper) 1. Finite groups. 2. Group theory. I. Title. QA177.S65 2012 512.23–dc23 2011036625

Copying and reprinting. Individual readers of this publication, and nonproﬁt libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected]. c 2011 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 161514131211 To my mother, Anna Elizabeth Yust Smith Kirn

Contents

Preface and Acknowledgments xi Introduction 1 Aims of the book 1 Optional tracks (B,S,G) in reading the book 1 A preview via some history of subgroup complexes 2

Part 1. Background Material and Examples 7

Chapter 1. Background: Posets, simplicial complexes, and topology 9 1.1. Subgroup posets 10 1.2. Subgroup complexes 17 1.3. Topology for subgroup posets and complexes 23 1.4. Mappings for posets, complexes, and spaces 26 1.5. Group actions on posets, complexes, and spaces 28 1.6. Some further constructions related to complexes 31 Chapter 2. Examples: Subgroup complexes as geometries for simple groups 39 Introduction: Finite simple groups and their “natural” geometries 40 2.1. Motivating cases: Projective geometries for matrix groups 45 2.2. (Option B): The model case: Buildings for Lie type groups 59 Exhibiting the building via parabolic subgroups 61 Associating the Dynkin diagram to the geometry of the building 75 2.3. (Option S): Diagram geometries for sporadic simple groups 82 A general setting for geometries with associated diagrams 82 Some explicit examples of sporadic geometries 86

Part 2. Fundamental Techniques 101 Chapter 3. Contractibility 103 Preview: Cones and contractibility in subgroup posets 104 3.1. Topological background: Homotopy of maps, and homotopy equivalence of spaces 104 3.2. Cones (one-step contractibility) 111 3.3. Conical (two-step) contractibility 116 3.4. Multi-step contractibility and collapsibility 127 3.5. (Option G): G-homotopy equivalence and G-contractibility 137

Chapter 4. Homotopy equivalence 141 4.1. Topological background: Homotopy via a contractible carrier 141 4.2. Equivalences via Quillen’s Fiber Theorem 147

vii viii CONTENTS

4.3. Equivalences via simultaneous removal 151 4.4. Equivalences via closed sets in products 153 4.5. Equivalences via the Nerve Theorem 160 4.6. Summary: The “standard” homotopy type determined by Sp(G) 165

Part 3. Basic Applications 167

Chapter 5. The reduced Euler characteristicχ ˜ and variations on vanishing 169 5.1. Topological background: Chain complexes and homology 169 5.2. Contractibility and vanishing of homology andχ ˜ 176 5.3. Vanishing ofχ ˜ Sp(G) mod |G|p: Brown’s Theorem 178 5.4. Vanishing ofχ ˜(K) for suitable K modulo other divisors of |G| 184 5.5. Other results on vanishing and non-vanishing 188 5.6. (Option G): The G-equivariant Euler characteristic 193

Chapter 6. The reduced Lefschetz module L˜ and projectivity 197 6.1. Algebraic background: Projectivity and vanishing of cohomology 197 6.2. The Brown-Quillen result on projectivity of L˜ Sp(G) 201 6.3. Webb’s projectivity conditions for a more general complex K 204 6.4. (Option B): The Steinberg module for a Lie type group 214 6.5. (Option S): Analogous projective modules for other simple groups 217 6.6. Weaker conditions on K giving relative projectivity of L˜(K) 219

Chapter 7. Group cohomology and decompositions 225 7.1. Topological background: Group cohomology H∗(G) and the classifying space BG 225 7.2. Webb’s decomposition of H∗(G) as an alternating sum over K/G 228 7.3. (Option G): Approaching H∗(G) via equivariant cohomology of K 236 7.4. Decomposing BG via a homotopy colimit over K/G 245 7.5. (Option S): Applications to cohomology of sporadic groups 252

Part 4. Some More Advanced Topics 257

Chapter 8. Spheres in homology and Quillen’s Conjecture 259 8.1. Topological background: Homology via top-dimensional spheres 259 8.2. Quillen dimension: Non-vanishing top homology for Ap(G) 261 8.3. Robinson subgroups: Non-vanishing Lefschetz module for Ap(G) 272 8.4. The Aschbacher-Smith result on Quillen’s Conjecture 274

Chapter 9. Connectivity, simple connectivity, and sphericality 281 9.1. Topological background: Homotopy groups, n-connectivity, and sphericality 281 9.2. 0-connectivity: Disconnectedness of Sp(G) and strong p-embedding 284 9.3. 1-connectivity: Simple connectivity (and its failure) for Ap(G) 286 9.4. n-connectivity: Spherical and Cohen-Macaulay complexes 297

Chapter 10. Local-coeﬃcient homology and representation theory 307 10.1. Topological background: Coeﬃcient systems and their homology 307 10.2. (Option B): Presheaves on buildings 312 10.3. (Option S): Presheaves on sporadic geometries 322 CONTENTS ix

Chapter 11. Orbit complexes and Alperin’s Conjecture 327 11.1. The role(s) of the orbit complex 327 11.2. Orbit-poset formulations of Alperin’s Conjecture 328

Bibliography 333

Index 345

Preface and Acknowledgments

As will be indicated in a moment in the Introduction, this book is primarily intended as an exposition—which hopes to bring a wider audience into contact with an area of research that I have enjoyed working in, over many years. But of course during those years, I gained much of my own experience by beneﬁting from the knowledge of very many colleagues. So in this preface, I would ﬁrst like to take the opportunity to thank them—apologizing in advance to anyone I may have left out. (Of course the reader will see the work of these experts emerging, as the later exposition in the book proceeds.)

Some personal acknowledgments. My introduction to the methods of finite geometry dates mainly to my collaboration with Mark Ronan, beginning around 1979. I also learned a great deal about geometries from Bill Kantor, Jon Hall, Don Higman, Ernie Shult, Francis Buekenhout, and Bruce Cooperstein. During the 1980s, many experts in finite group theory, motivated partly by the work of Tits on buildings, became interested in geometries underlying simple groups. I particularly benefited from long-term contact with Michael Aschbacher, Franz Timmesfeld, and Geoff Robinson. Discussions with Peter Webb and Jacques Thévenaz were instrumental in lead- ing me into the more specifically topological methods underlying subgroup complexes; and in effect led to my later collaboration with Dave Benson. Many other topologists helped educate me in their area; particular Alejandro Adem, Jim Mil- gram, Bill Dwyer, Bob Oliver, and Jesper Grodal. Especially in recent years it has been a pleasure to discuss developments made by John Maginnis and Silvia Onofrei.

Also during the 1970s and 1980s, many combinatorialists (notably Stanley) were also developing similar techniques for the combinatorics of posets (partially ordered sets). Some of my initial contacts with that area were around 1981 with Jim Walker and Bob Proctor. Soon thereafter I began a particularly valuable ongoing correspondence with Anders Bj¨orner. Over the years I have also proﬁted from discussions with other experts—notably Volkmar Welker, Michelle Wachs, and John Shareshian.

And of course we also learn from our students: It was a pleasure to work with Peter Johnson, Andrew Mathas, Matt Bardoe, Kristin Umland, and Phil Grizzard—who wrote their theses with me at the University of Illinois at Chicago (UIC), in aspects of this general research area. I also had some involvement in the thesis work of Tony Fisher under George Glauberman, and of Paul Hewitt under Jon Hall.

xi xii PREFACE AND ACKNOWLEDGMENTS

In a similar vein, it was a pleasure to work in this area with several postdoctoral scholars at UIC: namely Alex Ryba, Satoshi Yoshiara, and Masato Sawabe; and indeed with Yoav Segev, even before completion of his Ph.D. The more specific history of this book. I first collected much of the present material while on sabbatical at Notre Dame, in preparation for a Fall 1990 graduate course there: Math 671, Subgroup Complexes. During Fall 1994, I revised and expanded those old notes, to use as the text for the UIC graduate course Math 532 (Topics in Algebra): Subgroup Complexes.I would like to thank the students in that course for their questions and corrections, and for their general interest: Matt Bardoe, Joe Fields, Venketraman Ganesan, Julianne Rainbolt, and Kristin Umland. A preliminary draft of the book was provisionally accepted for Surveys of the AMS in 1995. At that time, I received many detailed and very helpful suggestions from various colleagues, particularly Satoshi Yoshiara and Jacques Thévenaz, which strongly influenced the overall structure of the final version. However, the book went to the back burner for some years, when I was involved in more urgent collaborations on books with Michael Aschbacher, Dave Benson, Richard Lyons, and Ron Solomon; and I have only managed to complete this book recently. (I particularly thank Sergei Gelfand and his staff at the American Math- ematical Society, for their patience with me during this lengthy delay.) During July 2005, the material of the book was again used as a text—for the summer graduate seminar Math 593 at UIC. Again I thank the students in the course for their willingness to assist me in the final revision process: Hossein Andik- far, Chris Atkinson, Chris Cashen, Phil Grizzard, Jason Karcher, Dean Leonardi, Jing Tao, and Klaus Weide. Their suggestions in particular led me to try to make a clearer distinction between the more elementary exposition, and the more advanced examples. This essentially resulted in the “optional tracks” for reading the book, described below in the Introduction. I received helpful suggestions on the final (2011) draft of the book from a number of colleagues, including Matt Bardoe, Anders Björner, Jesper Grodal, Jon Hall, Bill Kantor, Ian Leary, Silvia Onofrei, Geoff Robinson, Masato Sawabe, Jacques Thévenaz, Rebecca Waldecker, Satoshi Yoshiara, and Peter Webb. I also thank the anonymous referees contacted by the AMS. Institutional acknowledgments. Parts of this book were developed during several sabbatical periods at Caltech, as well as at Notre Dame and U. Illinois– Urbana. I am also grateful to All Souls College-Oxford, for a Visiting Fellowship during Hilary Term 2009, when some of the final work was carried out. My overall work has been partially supported over the years by summer grants, first from NSF and more recently from NSA. Dedication. Of course the support and encouragement of my wife Judy Baxter have been unflagging. Finally I’d like to formally dedicate this book to my mother, Anna Elizabeth Yust Smith Kirn: who at various times earlier in my career asked when I was going to write a book (as opposed to the usual journal articles). So, although several other books have actually appeared since I started this one, I’m finally in a position to say: Well, Mom—here it is. Bibliography

[AA93] Herbert Abels and Peter Abramenko, On the homotopy type of subcomplexes of Tits buildings, Adv. Math. 101 (1993), no. 1, 78–86. MR1239453 (95a:55013) [AB08] Peter Abramenko and Kenneth S. Brown, Buildings, Graduate Texts in Mathematics, vol. 248, Springer, New York, 2008, Theory and applications. MR2439729 [AG94] J. L. Alperin and George Glauberman, Coverings and coverings, J. Austral. Math. Soc. Ser. A 57 (1994), no. 1, 125–128. MR1279291 (95d:20044) [AK90] Michael Aschbacher and Peter B. Kleidman, On a conjecture of Quillen and a lemma of Robinson,Arch.Math.(Basel)55 (1990), no. 3, 209–217. MR1075043 (91j:20040) [Ale37] P. S. Aleksandrov, Diskrete Räume, Mat. Sbornik (N.S.) 2 (1937), 501–518. [Alp67] J. L. Alperin, Sylow intersections and fusion,J.Algebra6 (1967), 222–241. MR0215913 (35 #6748) [Alp87] , Weights for finite groups, The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986), Proc. Sympos. Pure Math., vol. 47, Amer. Math. Soc., Providence, RI, 1987, pp. 369–379. MR933373 (89h:20015) [Alp89] J. Alperin, Group representations and complexes, (manuscript lecture notes), 1989, (Mathematics 407–408, U. Chicago). [Alp90] J. L. Alperin, A Lie approach to finite groups, Groups—Canberra 1989, Lecture Notes in Math., vol. 1456, Springer, Berlin, 1990, pp. 1–9. MR1092218 (92a:20011) [ALSS11] Michael Aschbacher, Richard Lyons, Stephen D. Smith, and Ronald Solomon, The classification of finite simple groups: Groups of characteristic 2 type, Surveys and Monographs of the A. M. S., vol. 172, Amer. Math. Soc., Providence, RI, 2011. [Alv79] Dean Alvis, The duality operation in the character ring of a finite Chevalley group, Bull. Amer. Math. Soc. (N.S.) 1 (1979), no. 6, 907–911. MR546315 (81e:20012) [AM95a] Alejandro Adem and R. James Milgram, The cohomology of the Mathieu group M22, Topology 34 (1995), no. 2, 389–410. MR1318884 (96c:20099) [AM95b] , The mod 2 cohomology rings of rank 3 simple groups are Cohen-Macaulay, Prospects in topology (Princeton, NJ, 1994), Ann. of Math. Stud., vol. 138, Princeton Univ. Press, Princeton, NJ, 1995, pp. 3–12. MR1368650 (96m:20084) [AM97] , The cohomology of the McLaughlin group and some associated groups,Math. Z. 224 (1997), no. 4, 495–517. MR1452047 (98e:20057) [AM04] , Cohomology of finite groups, second ed., Grundlehren der Mathematis- chen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 309, Springer-Verlag, Berlin, 2004. MR2035696 (2004k:20109) [AMM91] Alejandro Adem, John Maginnis, and R. James Milgram, The geometry and cohomology of the Mathieu group M12,J.Algebra139 (1991), no. 1, 90–133. MR1106342 (92g:20083) [AO98] Jianbei An and E. A. O’Brien, A local strategy to decide the Alperin and Dade conjectures,J.Algebra206 (1998), no. 1, 183–207. MR1637276 (99d:20015) [AS83] Michael Aschbacher and Stephen D. Smith, Tits geometries over GF(2) defined by groups over GF(3), Comm. Algebra 11 (1983), no. 15, 1675–1684. MR702413 (84g:51009) [AS92a] M. Aschbacher and Y. Segev, Locally connected simplicial maps, Israel J. Math. 77 (1992), no. 3, 285–303. MR1194797 (94k:57036) [AS92b] Michael Aschbacher and Yoav Segev, Extending morphisms of groups and graphs, Ann. of Math. (2) 135 (1992), no. 2, 297–323. MR1154595 (93d:20034) [AS93] Michael Aschbacher and Stephen D. Smith, On Quillen’s conjecture for the p-groups complex, Ann. of Math. (2) 137 (1993), no. 3, 473–529. MR1217346 (94g:20073)

333 334 BIBLIOGRAPHY

[AS04a] , The classification of quasithin groups. I, Mathematical Surveys and Mono- graphs, vol. 111, American Mathematical Society, Providence, RI, 2004, Structure of strongly quasithin K-groups. MR2097623 [AS04b] , The classification of quasithin groups. II, Mathematical Surveys and Mono- graphs, vol. 112, American Mathematical Society, Providence, RI, 2004, Main theo- rems: the classification of simple QTKE-groups. MR2097624 [AS09] Michael Aschbacher and John Shareshian, Restrictions on the structure of subgroup lattices of finite alternating and symmetric groups,J.Algebra322 (2009), no. 7, 2449–2463. MR2553689 (2010h:20048) [Asc86] Michael Aschbacher, Overgroups of Sylow subgroups in sporadic groups,Mem.Amer. Math. Soc. 60 (1986), no. 343, iv+235. MR831891 (87e:20037) [Asc93] , Simple connectivity of p-group complexes,IsraelJ.Math.82 (1993), no. 1-3, 1–43. MR1239044 (94j:20012) [Asc94] , Sporadic groups, Cambridge Tracts in Mathematics, vol. 104, Cambridge University Press, Cambridge, 1994. MR1269103 (96e:20020) [Asc00] M. Aschbacher, Finite group theory, second ed., Cambridge Studies in Advanced Mathematics, vol. 10, Cambridge University Press, Cambridge, 2000, 274 pages. MR1777008 (2001c:20001) [Ass91] Amir H. Assadi, Permutation complexes and modular representation theory,J.Alge- bra 144 (1991), no. 2, 467–495. MR1140617 (92h:20080) [Bar95] Matthew Kirby Bardoe, On the universal embedding of the near-hexagon for U4(3), Geom. Dedicata 56 (1995), no. 1, 7–17. MR1338314 (96f:51016) [Bar96a] , The universal embedding for the involution geometry of the Suzuki sporadic simple group,J.Algebra186 (1996), no. 2, 447–460. MR1423271 (98e:51016) [Bar96b] , The universal embedding for the U4(3) involution geometry,J.Algebra186 (1996), no. 2, 368–383. MR1423267 (98e:51015) [Bar96c] Laurence Barker, Möbius inversion and the Lefschetz invariants of some p-subgroup complexes, Comm. Algebra 24 (1996), no. 8, 2755–2769. MR1393282 (97d:20007) [Bar99] Matthew Kirby Bardoe, The universal embedding for the involution geometry of Co1, J. Algebra 217 (1999), no. 2, 555–572. MR1700514 (2000h:51021) [BC87] David J. Benson and Jon F. Carlson, Diagrammatic methods for modular representations and cohomology, Comm. Algebra 15 (1987), no. 1-2, 53–121. MR876974 (87m:20032) [Ben84] David Benson, Modular representation theory: new trends and methods, Lec- ture Notes in Mathematics, vol. 1081, Springer-Verlag, Berlin, 1984. MR765858 (86g:20013) [Ben91] D. J. Benson, Representations and cohomology. II, Cambridge Studies in Advanced Mathematics, vol. 31, Cambridge University Press, Cambridge, 1991, Cohomology of groups and modules. MR1156302 (93g:20099) [Ben94] Dave Benson, Conway’s group Co3 and the Dickson invariants, Manuscripta Math. 85 (1994), no. 2, 177–193. MR1302871 (95h:55018) [Ben98] D. J. Benson, Representations and cohomology. I, second ed., Cambridge Studies in Advanced Mathematics, vol. 30, Cambridge University Press, Cambridge, 1998, Basic representation theory of finite groups and associative algebras. MR1644252 (99f:20001a) [BGS82] A. Björner, A. M. Garsia, and R. P. Stanley, An introduction to Cohen-Macaulay partially ordered sets, Ordered sets (Banff, Alta., 1981), NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, Reidel, Dordrecht, 1982, pp. 583–615. MR661307 (83i:06001) [Bir40] Garrett Birkhoff, Lattice Theory, American Mathematical Society, New York, 1940. MR0001959 (1,325f) [Bjö80] Anders Björner, Shellable and Cohen-Macaulay partially ordered sets, Trans. Amer. Math. Soc. 260 (1980), no. 1, 159–183. MR570784 (81i:06001) [Bjö84] , Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings, Adv. in Math. 52 (1984), no. 3, 173–212. MR744856 (85m:52003) [Bjö95] A. Björner, Topological methods, Handbook of combinatorics, Vol. 1, 2, Elsevier, Amsterdam, 1995, pp. 1819–1872. MR1373690 (96m:52012) BIBLIOGRAPHY 335

[BL97] Robert Baddeley and Andrea Lucchini, On representing finite lattices as intervals in subgroup lattices of finite groups,J.Algebra196 (1997), no. 1, 1–100. MR1474164 (98j:20022) [BLO03] Carles Broto, Ran Levi, and Bob Oliver, The homotopy theory of fusion systems,J. Amer. Math. Soc. 16 (2003), no. 4, 779–856 (electronic). MR1992826 (2004k:55016) [Bor09] David Bornand, Counterexamples to a fiber theorem,J.Algebra322 (2009), no. 7, 2428–2432. MR2553687 (2010i:20019) [Bou] S. Bouc, Complexes de p-permutations, (preprint, ENS Paris, 1989). [Bou84a] Serge Bouc, Homologie de certains ensembles ordonnés,C.R.Acad.Sci.ParisSér. I Math. 299 (1984), no. 2, 49–52. MR756517 (85k:20150) [Bou84b] , Modules de Möbius,C.R.Acad.Sci.ParisSér. I Math. 299 (1984), no. 1, 9–12. MR756298 (85g:20064) [Bou91] S. Bouc, Projecteurs dans l’anneau de Burnside, projecteurs dans l’anneau de Green, et modules de Steinberg généralisés,J.Algebra139 (1991), no. 2, 395–445. MR1113783 (92k:20016) [Bou92] S. Bouc, Homologie de certains ensembles de 2-sous-groups des groups symmetriques, J. Algebra 150 (1992), 158–186. [Bre67] Glen E. Bredon, Equivariant cohomology theories, Lecture Notes in Mathematics, No. 34, Springer-Verlag, Berlin, 1967. MR0214062 (35 #4914) [Bro74] Kenneth S. Brown, Euler characteristics of discrete groups and G-spaces,Invent. Math. 27 (1974), 229–264. MR0385007 (52 #5877) [Bro75] , Euler characteristics of groups: the p-fractional part, Invent. Math. 29 (1975), no. 1, 1–5. MR0385008 (52 #5878) [Bro94] , Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer- Verlag, New York, 1994, Corrected reprint of the 1982 original. MR1324339 (96a:20072) [Bro98] , Buildings, Springer Monographs in Mathematics, Springer-Verlag, New York, 1998, Reprint of the 1989 original. MR1644630 (99d:20042) [BS08] David J. Benson and Stephen D. Smith, Classifying spaces of sporadic groups,Math- ematical Surveys and Monographs, vol. 147, American Mathematical Society, Provi- dence, RI, 2008. [BT88] Kenneth S. Brown and Jacques Thévenaz, A generalization of Sylow’s third theorem, J. Algebra 115 (1988), no. 2, 414–430. MR943266 (89e:20048) [BT08] S. Bouc and Jacques Thévenaz, The poset of elementary abelian subgroups of rank at least 2, Guido’s book of conjectures, Enseignement Mathématique, vol. 54, University of Geneva, 2008, pp. 41–45. [Bue79] Francis Buekenhout, Diagrams for geometries and groups, J. Combin. Theory Ser. A 27 (1979), no. 2, 121–151. MR542524 (83f:51003) [Bux99] Kai-Uwe Bux, Orbit spaces of subgroup complexes, Morse theory, and a new proof of a conjecture of Webb, Proceedings of the 1999 Topology and Dynamics Conference (Salt Lake City, UT), vol. 24, 1999, pp. 39–51. MR1802676 (2002d:20031) [BW83a] Anders Björner and Michelle Wachs, On lexicographically shellable posets,Trans. Amer. Math. Soc. 277 (1983), no. 1, 323–341. MR690055 (84f:06004) [BW83b] Anders Björner and James W. Walker, A homotopy complementation formula for partially ordered sets, European J. Combin. 4 (1983), no. 1, 11–19. MR694463 (84f:06003) [BW95] D. J. Benson and C. W. Wilkerson, Finite simple groups and Dickson invariants, Homotopy theory and its applications (Cocoyoc, 1993), Contemp. Math., vol. 188, Amer. Math. Soc., Providence, RI, 1995, pp. 39–50. MR1349127 (96d:55009) [BW96] Anders Björner and Michelle L. Wachs, Shellable nonpure complexes and posets. I, Trans. Amer. Math. Soc. 348 (1996), no. 4, 1299–1327. MR1333388 (96i:06008) [BW97] , Shellable nonpure complexes and posets. II, Trans. Amer. Math. Soc. 349 (1997), no. 10, 3945–3975. MR1401765 (98b:06008) [Cab88] Marc Cabanes, Brauer morphism between modular Hecke algebras,J.Algebra115 (1988), no. 1, 1–31. MR937599 (89e:20019) [Car89] Roger W. Carter, Simple groups of Lie type, Wiley Classics Library, John Wiley & Sons Inc., New York, 1989, Reprint of the 1972 original, A Wiley-Interscience Publication. MR1013112 (90g:20001) 336 BIBLIOGRAPHY

[CCN+85] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, Atlas of finite groups, Oxford University Press, Eynsham, 1985, Maximal subgroups and ordinary characters for simple groups, With computational assistance from J. G. Thackray. MR827219 (88g:20025) [CL81] C. W. Curtis and G. I. Lehrer, Homology representations of finite groups of Lie type, Papers in algebra, analysis and statistics (Hobart, 1981), Contemp. Math., vol. 9, Amer. Math. Soc., Providence, R.I., 1981, pp. 1–28. MR655971 (83g:20042) [Coh73] Marshall M. Cohen, A course in simple-homotopy theory, Springer-Verlag, New York, 1973, Graduate Texts in Mathematics, Vol. 10. MR0362320 (50 #14762) [Coh94] Steve M. Cohen, A geometric presentation of the λ2-modules of Cn(q) and Dn(q), J. Algebra 170 (1994), no. 2, 470–486. MR1302851 (96a:20019) [Con68] S. B. Conlon, Decompositions induced from the Burnside algebra,J.Algebra10 (1968), 102–122. MR0237664 (38 #5945) [Con71] J. H. Conway, Three lectures on exceptional groups, Finite simple groups (Proc. Instructional Conf., Oxford, 1969), Academic Press, London, 1971, pp. 215–247. MR0338152 (49 #2918) [CR90] Charles W. Curtis and Irving Reiner, Methods of representation theory. Vol. I, Wiley Classics Library, John Wiley & Sons Inc., New York, 1990, With applications to finite groups and orders, Reprint of the 1981 original, A Wiley-Interscience Publication. MR1038525 (90k:20001) [CR06] , Representation theory of finite groups and associative algebras,AMS Chelsea Publishing, Providence, RI, 2006, Reprint of the 1962 original. MR2215618 (2006m:16001) [CS90] Steve M. Cohen and Stephen D. Smith, A geometric presentation of the 26- dimensional module for F4(q), J. Algebra 132 (1990), no. 2, 474–487. MR1061492 (91h:20072) [CST89] Peter J. Cameron, Ron Solomon, and Alexandre Turull, Chains of subgroups in symmetric groups,J.Algebra127 (1989), no. 2, 340–352. MR1028457 (91a:20008) [Cur70] C. W. Curtis, Modular representations of finite groups with split (B, N)-pairs,Sem- inar on Algebraic Groups and Related Finite Groups (The Institute for Advanced Study, Princeton, N.J., 1968/69), Springer, Berlin, 1970, pp. 57–95. MR0262383 (41 #6991) [Cur71] , Chevalley groups and related topics, Finite simple groups (Proc. Instructional Conf., Oxford, 1969), Academic Press, London, 1971, pp. 135–189. MR0340442 (49 #5197) [Das95] Kaustuv Mukul Das, Simple connectivity of the Quillen complex of GLn(q), J. Alge- bra 178 (1995), no. 1, 239–263. MR1358264 (97b:20025) [Das98] , Some results about the Quillen complex of Sp2n(q), J. Algebra 209 (1998), no. 2, 427–445. MR1659907 (99i:20066) [Das00] , The Quillen complex of groups of symplectic type: the characteristic 2 case, J. Algebra 223 (2000), no. 2, 556–561. MR1735162 (2000j:20038) [DF99] D. Dummit and R. Foote, Abstract algebra, Prentice-Hall, Upper Saddle River NJ, 1999. [DGM09] Alice Devillers, Ralf Gramlich, and Bernhard Mühlherr, The sphericity of the complex of non-degenerate subspaces,J.Lond.Math.Soc.(2)79 (2009), no. 3, 684–700. MR2506693 (2010c:51018) [DK78] Gopal Danaraj and Victor Klee, Arepresentationof2-dimensional pseudomanifolds and its use in the design of a linear-time shelling algorithm, Ann. Discrete Math. 2 (1978), 53–63, Algorithmic aspects of combinatorics (Conf., Vancouver Island, B.C., 1976). MR500688 (80b:57013b) [DK01] James F. Davis and Paul Kirk, Lecture notes in algebraic topology, Graduate Stud- ies in Mathematics, vol. 35, American Mathematical Society, Providence, RI, 2001. MR1841974 (2002f:55001) [DL76] P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103 (1976), no. 1, 103–161. MR0393266 (52 #14076) [Dre69] Andreas Dress, A characterisation of solvable groups,Math.Z.110 (1969), 213–217. MR0248239 (40 #1491) BIBLIOGRAPHY 337

[DS87] Andreas W. M. Dress and Rudolf Scharlau, Gated sets in metric spaces, Aequationes Math. 34 (1987), no. 1, 112–120. MR915878 (89c:54057) [Dwy97] W. G. Dwyer, Homology decompositions for classifying spaces of finite groups, Topol- ogy 36 (1997), no. 4, 783–804. MR1432421 (97m:55016) [Dwy98] , Sharp homology decompositions for classifying spaces of finite groups,Group representations: cohomology, group actions and topology (Seattle, WA, 1996), Proc. Sympos. Pure Math., vol. 63, Amer. Math. Soc., Providence, RI, 1998, pp. 197–220. MR1603159 (99b:55033) [Dwy01] W. G. Dwyer, Classifying spaces and homology decompositions, Homotopy theoretic methods in group cohomology (W. G. Dwyer and H.-W. Henn, eds.), Advanced Courses in Mathematics—CRM Barcelona, Birkhäuser, 2001, pp. 3–53. [Fei82] Walter Feit, The representation theory of finite groups, North-Holland Mathemat- ical Library, vol. 25, North-Holland Publishing Co., Amsterdam, 1982. MR661045 (83g:20001) [Fei93] , Extending Steinberg characters, Linear algebraic groups and their representations (Los Angeles, CA, 1992), Contemp. Math., vol. 153, Amer. Math. Soc., Providence, RI, 1993, pp. 1–9. MR1247494 (94k:20012) [FH64] W. Feit and G. Higman, The nonexistence of certain generalized polygons,J.of Algebra 1 (1964), 114–131. [Fis93] Tony J. Fisher, Weight operators and group geometries,J.Algebra158 (1993), no. 1, 61–108. MR1223668 (94h:20038) [Fol66] J. Folkman, The homology groups of a lattice,J.Math.Mech.15 (1966), 631–636. [Fro03] G. Frobenius, Uber¨ einen fundamentalsatz der gruppentheorie, Berliner Sitzungs- berichte (1903), 987–991. [FS73] Paul Fong and Gary M. Seitz, Groups with a (B, N)-pair of rank 2.I,II,Invent. Math. 21 (1973), 1–57; ibid. 24 (1974), 191–239. MR0354858 (50 #7335) 3 [FS92] Daniel E. Frohardt and Stephen D. Smith, Universal embeddings for the D4(2) hexagon and J2 near-octagon, European J. Combin. 13 (1992), no. 6, 455–472. MR1193554 (94a:51004) [GAP00] GAP, (The GAP group), GAP—Groups, Algorithms, and programming, http://www-gap.idcs.st-and.ac.uk/∼gap, 2000. [Gar79] Peter Freedman Garst, Cohen-Macaulay complexes and group actions,ProQuest LLC, Ann Arbor, MI, 1979, Thesis (Ph.D.)–The University of Wisconsin - Madison. MR2628756 [Gar80] A. M. Garsia, Combinatorial methods in the theory of Cohen-Macaulay rings,Adv. in Math. 38 (1980), 229–266. [GL83] Daniel Gorenstein and Richard Lyons, The local structure of finite groups of characteristic 2 type,Mem.Amer.Math.Soc.42 (1983), no. 276, vii+731. MR690900 (84g:20025) [GLS94] Daniel Gorenstein, Richard Lyons, and Ronald Solomon, The classification of the finite simple groups, Mathematical Surveys and Monographs, vol. 40, American Math- ematical Society, Providence, RI, 1994. MR1303592 (95m:20014) [GLS96] , The classification of the finite simple groups. Number 2. Part I. Chapter G, Mathematical Surveys and Monographs, vol. 40, American Mathematical Society, Providence, RI, 1996, General group theory. MR1358135 (96h:20032) [GLS98] , The classification of the finite simple groups. Number 3. Part I. Chapter A, Mathematical Surveys and Monographs, vol. 40, American Mathematical Society, Providence, RI, 1998, Almost simple K-groups. MR1490581 (98j:20011) [Glu81] David Gluck, Idempotent formula for the Burnside algebra with applications to the p-subgroup simplicial complex, Illinois J. Math. 25 (1981), no. 1, 63–67. MR602896 (82c:20005) [Gol70] David M. Goldschmidt, A conjugation family for finite groups,J.Algebra16 (1970), 138–142. MR0260869 (41 #5489) [Gor80] Daniel Gorenstein, Finite groups, second ed., Chelsea Publishing Co., New York, 1980. MR569209 (81b:20002) [Gra04] R. Gramlich, Phan theory, Habilitationsschrift, TU Darmstadt, 2004. 338 BIBLIOGRAPHY

[Gri09] R. Philip Grizzard, On nonprojective block components of Lefschetz characters for sporadic geometries, Comm. Algebra 37 (2009), no. 12, 4489–4502. MR2588862 (2011a:20018) [Gro02] Jesper Grodal, Higher limits via subgroup complexes, Ann. of Math. (2) 155 (2002), no. 2, 405–457. MR1906592 (2003g:55025) [GS06] Jesper Grodal and Stephen D. Smith, Propagating sharp group homology decompositions, Adv. Math. 200 (2006), no. 2, 525–538. MR2200855 (2007e:20110) [Hal36] P. Hall, The Eulerian functions of a group, Oxford Quarterly J. Math. 7 (1936), 134–151. [Hal59] Marshall Hall, Jr., The theory of groups, The Macmillan Co., New York, N.Y., 1959. MR0103215 (21 #1996) [Hat02] Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR1867354 (2002k:55001) [Hen97] Hans-Werner Henn, Centralizers of elementary abelian p-subgroups, the Borel construction of the singular locus and applications to the cohomology of discrete groups, Topology 36 (1997), no. 1, 271–286. MR1410475 (98g:57060) [Her75] I. N. Herstein, Topics in algebra, second ed., Xerox College Publishing, Lexington, Mass., 1975. MR0356988 (50 #9456) [HI88] Trevor Hawkes and I. M. Isaacs, On the poset of p-subgroups of a p-solvable group, J. London Math. Soc. (2) 38 (1988), no. 1, 77–86. MR949083 (89g:20083) [HIO89]¨ T. Hawkes, I. M. Isaacs, and M. Ozaydin,¨ On the Möbius function of a finite group, Rocky Mountain J. Math. 19 (1989), no. 4, 1003–1034. MR1039540 (90k:20046) [Hum72] J. E. Humphreys, Introduction to lie algebras and representation theory, Graduate Texts in Mathematics, vol. 9, Springer-Verlag, Berlin-New York, 1972. [Hun80] Thomas W. Hungerford, Algebra, Graduate Texts in Mathematics, vol. 73, Springer- Verlag, New York, 1980, Reprint of the 1974 original. MR600654 (82a:00006) [Hup67] B. Huppert, Endliche Gruppen. I, Die Grundlehren der Mathematischen Wis- senschaften, Band 134, Springer-Verlag, Berlin, 1967. MR0224703 (37 #302) [HW60] P. J. Hilton and S. Wylie, Homology theory: An introduction to algebraic topology, Cambridge University Press, New York, 1960. MR0115161 (22 #5963) [IS94a] A. A. Ivanov and S. V. Shpectorov, The flag-transitive tilde and Petersen-type geometries are all known, Bull. Amer. Math. Soc. (N.S.) 31 (1994), no. 2, 173–184. MR1256977 (95a:51021) [IS94b] , Natural representations of the P -geometries of Co2-type,J.Algebra164 (1994), no. 3, 718–749. MR1272112 (95h:20020) [Isa06] I. Martin Isaacs, Character theory of finite groups, AMS Chelsea Publishing, Provi- dence, RI, 2006, Corrected reprint of the 1976 original [Academic Press, New York; MR0460423]. MR2270898 [Iva91] Alexander A. Ivanov, Geometric presentations of groups with an application to the Monster, Proceedings of the International Congress of Mathematicians, Vol. I, II (Ky- oto, 1990) (Tokyo), Math. Soc. Japan, 1991, pp. 1443–1453. MR1159328 (93d:20036) [Iva99] A. A. Ivanov, Geometry of sporadic groups. I, Encyclopedia of Mathematics and its Applications, vol. 76, Cambridge University Press, Cambridge, 1999, Petersen and tilde geometries. [IY91] Nobuo Iiyori and Hiroyoshi Yamaki, On a conjecture of Frobenius, Bull. Amer. Math. Soc. (N.S.) 25 (1991), no. 2, 413–416. MR1102753 (92e:20014) [Jac80] N. Jacobson, Basic algebra I,II, Freeman, San Francisco, 1980. [JLPW95] C. Jansen, K. Lux, R. Parker, and R. Wilson, An Atlas of Brauer characters, London Math. Soc. Monographs (new series), vol. 11, Oxford U. Press, Oxford, 1995, 327 pages. [JM89] Stefan Jackowski and James E. McClure, Homotopy approximations for classifying spaces of compact Lie groups, Algebraic topology (Arcata, CA, 1986), Lecture Notes in Math., vol. 1370, Springer, Berlin, 1989, pp. 221–234. MR1000379 (90m:55012) [JM92] Stefan Jackowski and James McClure, Homotopy decomposition of classifying spaces via elementary abelian subgroups, Topology 31 (1992), no. 1, 113–132. MR1153240 (92k:55026) BIBLIOGRAPHY 339

[JMO92] Stefan Jackowski, James McClure, and Bob Oliver, Homotopy classification of self- maps of BG via G-actions. I, Ann. of Math. (2) 135 (1992), no. 1, 183–226. MR1147962 (93e:55019a) [Kan81] William M. Kantor, Some geometries that are almost buildings, European J. Combin. 2 (1981), no. 3, 239–247. MR633119 (83a:51020) [Kan85] , Some exceptional 2-adic buildings,J.Algebra92 (1985), no. 1, 208–223. MR7724804(86j:51007) [Kan86] , Generalized polygons, SCABs and GABs, Buildings and the geometry of diagrams (Como, 1984), Lecture Notes in Math., vol. 1181, Springer, Berlin, 1986, pp. 79–158. MR843390 (87k:51014) [KLT87] W. M. Kantor, R. A. Liebler, and J. Tits, On discrete chamber-transitive automor- phism groups of affine buildings, Bull. Amer. Math. Soc. (N.S.) 16 (1987), no. 1, 129–133. MR866031 (87m:20124) [KMW84] Peter Köhler, Thomas Meixner, and Michael Wester, TheaffinebuildingoftypeA˜2 over a local field of characteristic two,Arch.Math.(Basel)42 (1984), no. 5, 400–407. MR756691 (85j:20043) [KMW90] W. M. Kantor, T. Meixner, and M. Wester, Two exceptional 3-adic affine buildings, Geom. Dedicata 33 (1990), no. 1, 1–11. MR1042619 (91d:20050) [KOzaydin]¨ S. Kutin and M. Ozaydin,¨ On the shellability of the poset of p-subgroups of a finite group, U. Okla. preprint 1995. [KR89] Reinhard Knörr and Geoffrey R. Robinson, Some remarks on a conjecture of Alperin, J. London Math. Soc. (2) 39 (1989), no. 1, 48–60. MR989918 (90k:20020) [Kso04] Rached Ksontini, The fundamental group of the Quillen complex of the symmetric group,J.Algebra282 (2004), no. 1, 33–57. MR2095571 (2005f:20039) [KT84] Charles Kratzer and Jacques Thévenaz, Fonction de Möbius d’un groupe fini et anneau de Burnside, Comment. Math. Helv. 59 (1984), no. 3, 425–438. MR761806 (86k:20011) [KT85] , Type d’homotopie des treillis et treillis des sous-groupes d’un groupe fini, Comment. Math. Helv. 60 (1985), no. 1, 85–106. MR787663 (87b:06017) [Lak72] Harry Lakser, The homology of a lattice, Discrete Math. 1 (1971/1972), no. 2, 187– 192. MR0288755 (44 #5951) [Lan65] S. Lang, Algebra, Addison-Wesley, Reading MA, 1965. [Li01] Paul Li, On the universal embedding of the Sp2n(2) dual polar space, J. Combin. Theory Ser. A 94 (2001), no. 1, 100–117. MR1816249 (2002a:51018) [Lib07] Assaf Libman, Minami-Webb splittings and some exotic p-local finite groups,Math. Z. 255 (2007), no. 3, 515–548. MR2270287 (2007k:55025) [Lin09] Markus Linckelmann, The orbit space of a fusion system is contractible, Proc. Lond. Math.Soc.(3)98 (2009), no. 1, 191–216. MR2472165 (2009i:55025) [LP89] Guglielmo Lunardon and Antonio Pasini, AresultonC3-geometries,EuropeanJ. Combin. 10 (1989), no. 3, 265–271. MR1029173 (90m:51002) [LR93] G. I. Lehrer and L. J. Rylands, The split building of a reductive group, Math. Ann. 296 (1993), no. 4, 607–624. MR1233486 (94g:20064) [LT92] Gustav Isaac Lehrer and Jacques Thévenaz, Sur la conjecture d’Alperin pour les groupes réductifs finis,C.R.Acad.Sci.ParisSér. I Math. 315 (1992), no. 13, 1347– 1351. MR1199000 (93k:20067) [Luc95] Maria Silvia Lucido, On the partially ordered set of nilpotent subgroups of a finite group, Comm. Algebra 23 (1995), no. 5, 1825–1836. MR1323703 (96h:20092) [Luc03] , On the poset of non-trivial proper subgroups of a finite group,J.Algebra Appl. 2 (2003), no. 2, 165–168. MR1980405 (2004d:20021) [Lus74] George Lusztig, The discrete series of GLn over a finite field, Princeton University Press, Princeton, N.J., 1974, Annals of Mathematics Studies, No. 81. MR0382419 (52 #3303) [Lus75] G. Lusztig, On the discrete series representations of the classical groups over finite fields, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974),Vol. 1, Canad. Math. Congress, Montreal, Que., 1975, pp. 465–470. MR0419628 (54 #7646) 340 BIBLIOGRAPHY

[Mac63] George W. Mackey, The mathematical foundations of quantum mechanics: A lecture- note volume, W., A. Benjamin, Inc., New York-Amsterdam, 1963. MR0155567 (27 #5501) [Mag95] J. Maginnis, Local control of group cohomology, J. Pure and Appl. Algebra 103 (1995), 81–90. [Mat94] Andrew Mathas, A q-analogue of the Coxeter complex,J.Algebra164 (1994), no. 3, 831–848. MR1272115 (95c:20055) [Mat09] Francesco Matucci, Finite solvable groups whose Quillen complex is Cohen-Macaulay, J. Algebra 322 (2009), no. 4, 969–982. MR2537666 (2010h:20036) [Mil56] J. Milnor, Construction of universal bundles, II, Ann. Math. 63 (1956), 430–436. [MO08] John Maginnis and Silvia Onofrei, New collections of p-subgroups and homology decompositions for classifying spaces of finite groups, Comm. Algebra 36 (2008), no. 7, 2466–2480. MR2422498 (2009d:20040) [MO09] , On fixed point sets and Lefschetz modules for sporadic simple groups,J.Pure Appl. Algebra 213 (2009), no. 6, 901–912. MR2498784 (2010b:20023) [MO10] , On fixed point sets of distinguished collections for groups of parabolic characteristic, J. Combin. Theory Ser. A 117 (2010), no. 7, 872–883. MR2652100 [MS95] Bernhard Mühlherr and Peter Schmid, The extended Steinberg character,J.Algebra 175 (1995), no. 1, 373–384. MR1338984 (96h:20013) [MT95] R. James Milgram and Michishige Tezuka, The geometry and cohomology of M12.II, Bol. Soc. Mat. Mexicana (3) 1 (1995), no. 2, 91–108. MR1387653 (97f:20064) [Mun84] James R. Munkres, Elements of algebraic topology, Addison-Wesley Publishing Com- pany, Menlo Park, CA, 1984. MR755006 (85m:55001) [Neu84] A. Neumaier, Some sporadic geometries related to PG(3, 2),Arch.Math.(Basel)42 (1984), no. 1, 89–96. MR751477 (86a:51028) [Oli75] Robert Oliver, Fixed-point sets of group actions on finite acyclic complexes,Com- ment. Math. Helv. 50 (1975), 155–177. MR0375361 (51 #11556) [Oli76] , A proof of the Conner conjecture, Ann. of Math. (2) 103 (1976), no. 3, 637–644. MR0415650 (54 #3730) [OS09] Fumihito Oda and Masato Sawabe, A collection of subgroups for the generalized Burnside ring, Adv. Math. 222 (2009), no. 1, 307–317. MR2531376 (2010k:19001) [Pah93] Herbert Pahlings, On the Möbius function of a finite group,Arch.Math.(Basel)60 (1993), no. 1, 7–14. MR1193087 (94c:20039) [Pah95] H. Pahlings, Character polynomials and the Möbius function,Arch.Math.(Basel) 65 (1995), no. 2, 111–118. MR1338241 (96g:20029) [Pul] J. Pulkus, Das poset der p-untergruppen einer endlichen gruppe, (Diplomarbeit, U. Erlangen, 1994). [PW00] Jürgen Pulkus and Volkmar Welker, On the homotopy type of the p-subgroup complex for finite solvable groups, J. Austral. Math. Soc. Ser. A 69 (2000), no. 2, 212–228. MR1775179 (2001i:20046) [PY01] Jonathan Pakianathan and Ergün Yal¸cın, On commuting and noncommuting complexes,J.Algebra236 (2001), no. 1, 396–418. MR1808361 (2002c:20036) [Qui71] Daniel Quillen, The spectrum of an equivariant cohomology ring. I, II, Ann. of Math. (2) 94 (1971), 549–572; ibid. (2) 94 (1971), 573–602. MR0298694 (45 #7743) [Qui78] , Homotopy properties of the poset of nontrivial p-subgroups of a group,Adv. in Math. 28 (1978), no. 2, 101–128. MR493916 (80k:20049) [Ram05] Daniel A. Ramras, Connectivity of the coset poset and the subgroup poset of a group, J. Group Theory 8 (2005), no. 6, 719–746. MR2179666 (2006g:20039) [Rob88] Geoffrey R. Robinson, Some remarks on permutation modules,J.Algebra118 (1988), no. 1, 46–62. MR961325 (89k:20018) [Rob89] , On projective summands of induced modules,J.Algebra122 (1989), no. 1, 106–111. MR994938 (90c:20011) [Ron81] Mark A. Ronan, Coverings of certain finite geometries, Finite geometries and designs (Proc. Conf., Chelwood Gate, 1980), London Math. Soc. Lecture Note Ser., vol. 49, Cambridge Univ. Press, Cambridge, 1981, pp. 316–331. MR627510 (83b:51015) [Ron84] M. A. Ronan, Triangle geometries, J. Combin. Theory Ser. A 37 (1984), no. 3, 294– 319. MR769219 (86f:51008) BIBLIOGRAPHY 341

[Ron87] , Embeddings and hyperplanes of discrete geometries, European J. Combin. 8 (1987), no. 2, 179–185. MR896131 (88h:51009) [Ron89a] , Duality for presheaves on chamber systems, and a related chain complex,J. Algebra 121 (1989), no. 2, 263–274. MR992762 (90c:17014) [Ron89b] Mark Ronan, Lectures on buildings, Perspectives in Mathematics, vol. 7, Academic Press Inc., Boston, MA, 1989. MR1005533 (90j:20001) [Rot64] Gian-Carlo Rota, On the foundations of combinatorial theory. I. Theory of Möbius functions, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 (1964), 340–368 (1964). MR0174487 (30 #4688) [Rot88] Joseph J. Rotman, An introduction to algebraic topology, Graduate Texts in Mathe- matics, vol. 119, Springer-Verlag, New York, 1988. MR957919 (90e:55001) [RS80] M. A. Ronan and S. D. Smith, 2-local geometries for some sporadic groups, The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979), Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., Providence, R.I., 1980, pp. 283–289. MR604595 (82c:20033) [RS84] M. A. Ronan and G. Stroth, Minimal parabolic geometries for the sporadic groups, European J. Combin. 5 (1984), no. 1, 59–91. [RS85] Mark A. Ronan and Stephen D. Smith, Sheaves on buildings and modular representations of Chevalley groups,J.Algebra96 (1985), no. 2, 319–346. MR810532 (87h:20087) [RS86] , Universal presheaves on group geometries, and modular representations,J. Algebra 102 (1986), no. 1, 135–154. MR853235 (87m:20022) [RS89] , Computation of 2-modular sheaves and representations for L4(2),A7, 3S6, and M24, Comm. Algebra 17 (1989), no. 5, 1199–1237. MR993399 (90c:20020) [RSY90] A. J. E. Ryba, Stephen D. Smith, and Satoshi Yoshiara, Some projective modules determined by sporadic geometries,J.Algebra129 (1990), no. 2, 279–311. MR1040940 (91a:20019) [RT87] M. A. Ronan and J. Tits, Building buildings, Math. Ann. 278 (1987), no. 1-4, 291– 306. MR909229 (89e:51005) [Saw03] Masato Sawabe, On a p-local geometry associated with a complex of non-trivial p-subgroups, Bull. London Math. Soc. 35 (2003), no. 2, 196–202. MR1952395 (2003j:20044) [Saw05] , On the reduced Lefschetz module and the centric p-radical subgroups,Tokyo J. Math. 28 (2005), no. 1, 79–90. MR2149625 [Sch92] Peter Schmid, Extending the Steinberg representation,J.Algebra150 (1992), no. 1, 254–256. MR1174899 (93k:20016) [Seg94] Yoav Segev, Simply connected coset complexes for rank 1 groups of Lie type,Math. Z. 217 (1994), no. 2, 199–214. MR1296394 (95j:20012) [Sha97] John Shareshian, On the Möbius number of the subgroup lattice of the symmetric group, J. Combin. Theory Ser. A 78 (1997), no. 2, 236–267. MR1445416 (98c:20039) [Sha01] , On the shellability of the order complex of the subgroup lattice of a finite group, Trans. Amer. Math. Soc. 353 (2001), no. 7, 2689–2703. MR1828468 (2002k:06006) [Sha03] , Topology of order complexes of intervals in subgroup lattices,J.Algebra268 (2003), no. 2, 677–686. MR2009327 (2004h:20032) [Sha04] , Hypergraph matching complexes and Quillen complexes of symmetric groups, J. Combin. Theory Ser. A 106 (2004), no. 2, 299–314. MR2059000 (2005e:20029) [Smi82] Stephen D. Smith, Irreducible modules and parabolic subgroups,J.Algebra75 (1982), no. 1, 286–289. MR650422 (83g:20043) [Smi85] , Sheaf homology and complete reducibility,J.Algebra95 (1985), no. 1, 72–80. MR797655 (87e:20077) [Smi88a] , Construction of group representations from geometries, Computers in algebra (Chicago, IL, 1985), Lecture Notes in Pure and Appl. Math., vol. 111, Dekker, New York, 1988, pp. 143–149. MR1060765 (91h:20019) [Smi88b] , Geometric methods in group theory, Algebraic, extremal and metric combinatorics, 1986 (Montreal, PQ, 1986), London Math. Soc. Lecture Note Ser., vol. 131, Cambridge Univ. Press, Cambridge, 1988, pp. 219–237. MR1052669 (91k:20044) 342 BIBLIOGRAPHY

[Smi90] , On decomposition of modular representations from Cohen-Macaulay geometries,J.Algebra131 (1990), no. 2, 598–625. MR1058568 (91h:20025) [Smi94a] , The dual-parapolar space for the Monster embeds in the Griess module Mod 2, European J. Combin. 15 (1994), no. 1, 57–65, Algebraic combinatorics (Vladimir, 1991). MR1257675 (95d:51013) [Smi94b] , Universality of the 24-dimensional embedding of the ·12-local geometry, Comm. Algebra 22 (1994), no. 13, 5159–5166. MR1291025 (95e:20028) [Sol67] Louis Solomon, The Burnside algebra of a finite group,J.CombinatorialTheory2 (1967), 603–615. MR0214679 (35 #5528) [Sol69] , The Steinberg character of a finite group with BN-pair, Theory of Finite Groups (Symposium, Harvard Univ., Cambridge, Mass., 1968), Benjamin, New York, 1969, pp. 213–221. MR0246951 (40 #220) [Spa81] Edwin H. Spanier, Algebraic topology, Springer-Verlag, New York, 1981, Corrected reprint. MR666554 (83i:55001) [SS86] Yoav Segev and Stephen D. Smith, Apartments and the Cayley-algebra module for G2(k), Comm. Algebra 14 (1986), no. 3, 493–506. MR823350 (87h:20076) [Sta82] Richard P. Stanley, Some aspects of groups acting on finite posets, J. Combin. Theory Ser. A 32 (1982), no. 2, 132–161. MR654618 (83d:06002) [Sta86] , Enumerative combinatorics. Vol. I, The Wadsworth & Brooks/Cole Math- ematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1986, With a foreword by Gian-Carlo Rota. MR847717 (87j:05003) [SU96] Stephen D. Smith and Kristin L. Umland, Stability of cohomology via double-coset products and suborbit diagrams,J.Algebra182 (1996), no. 3, 627–652. MR1398114 (98a:20057) [Sur85] David B. Surowski, A character theoretic proof of the homological Sylow theorem, Comm. Algebra 13 (1985), no. 4, 987–989. MR776871 (86f:20061) [Suz56] Michio Suzuki, Structure of a group and the structure of its lattice of subgroups, Ergebnisse der Mathematik und ihrer Grenzgebiete, Neue Folge, Heft 10, Springer- Verlag, Berlin, 1956. MR0083487 (18,715e) [SV89] Stephen D. Smith and Helmut Völklein, A geometric presentation for the adjoint module of SL3(k), J. Algebra 127 (1989), no. 1, 127–138. MR1029407 (91e:20033a) [SW94] Yoav Segev and Peter Webb, Extensions of G-posets and Quillen’s complex,J.Aus- tral. Math. Soc. Ser. A 57 (1994), no. 1, 60–75. MR1279286 (95d:20042) [SW09] John Shareshian and Michelle L. Wachs, Top homology of hypergraph matching complexes, p-cycle complexes and Quillen complexes of symmetric groups,J.Algebra322 (2009), no. 7, 2253–2271. MR2553198 (2010j:20081) [Swe09] Daniel E. Swenson, The Steinberg complex of an arbitrary finite group in arbitrary positive characteristic, ProQuest LLC, Ann Arbor, MI, 2009, Thesis (Ph.D.)– University of Minnesota. MR2713697 [SY95] Stephen D. Smith and Satoshi Yoshiara, Group geometries and error-correcting codes, J. Algebra 175 (1995), no. 1, 199–211. MR1338975 (97c:94016) [SY97] , Some homotopy equivalences for sporadic geometries,J.Algebra192 (1997), no. 1, 326–379. MR1449965 (98e:20024) [Sym98] Peter Symonds, Theorbitspaceofthep-subgroup complex is contractible, Comment. Math. Helv. 73 (1998), no. 3, 400–405. MR1633359 (99f:20033) [Sym05] , The Bredon cohomology of subgroup complexes, J. Pure Appl. Algebra 199 (2005), no. 1-3, 261–298. MR2134305 (2006e:20093) [Sym08] , A relative version of Webb’s theorem on the equivariant chain complex of a subgroup complex, J. Pure Appl. Algebra 212 (2008), no. 8, 1984–1986. MR2414698 (2009d:20125) [tD79] Tammo tom Dieck, Transformation groups and representation theory, Lecture Notes in Mathematics, vol. 766, Springer, Berlin, 1979. MR551743 (82c:57025) [Thé85] Jacques Thévenaz, The top homology of the lattice of subgroups of a soluble group, Discrete Math. 55 (1985), no. 3, 291–303. MR802667 (86j:20045) [Thé86] , Idempotents de l’anneau de Burnside et caractéristique d’Euler,Séminaire sur les groupes finis, Tome III, Publ. Math. Univ. Paris VII, vol. 25, Univ. Paris VII, Paris, 1986, pp. iii, 207–217. MR907481 (88i:20040) BIBLIOGRAPHY 343

[Thé87] , Permutation representations arising from simplicial complexes, J. Combin. Theory Ser. A 46 (1987), no. 1, 121–155. MR899904 (88f:20025) [Thé92a] , Locally determined functions and Alperin’s conjecture, J. London Math. Soc. (2) 45 (1992), no. 3, 446–468. MR1180255 (94f:20025) [Thé92b] , On a conjecture of Webb,Arch.Math.(Basel)58 (1992), no. 2, 105–109. MR1143156 (93d:20095) [Thé93] , Equivariant K-theory and Alperin’s conjecture, J. Pure Appl. Algebra 85 (1993), no. 2, 185–202. MR1207508 (94c:20022) [Tho67] John G. Thompson, Defect groups are Sylow intersections,Math.Z.100 (1967), 146. MR0213432 (35 #4296) [Tho68] , Nonsolvable finite groups all of whose local subgroups are solvable, Bull. Amer. Math. Soc. 74 (1968), 383–437. MR0230809 (37 #6367) [Tim83] Franz G. Timmesfeld, Tits geometries and parabolic systems in finitely generated groups. I,Math.Z.184 (1983), no. 3, 377–396. MR716284 (85g:20050a) [Tim01] Franz Georg Timmesfeld, Abstract root subgroups and simple groups of Lie type, Monographs in Mathematics, vol. 95, Birkhäuser Verlag, Basel, 2001. MR1852057 (2002f:20070) [Tit74] Jacques Tits, Buildings of spherical type and finite BN-pairs, Springer-Verlag, Berlin, 1974, Lecture Notes in Mathematics, Vol. 386. MR0470099 (57 #9866) [Tit81] J. Tits, A local approach to buildings, The geometric vein, Springer, New York, 1981, pp. 519–547. MR661801 (83k:51014) [Tit86] Jacques Tits, Immeubles de type affine, Buildings and the geometry of diagrams (Como, 1984), Lecture Notes in Math., vol. 1181, Springer, Berlin, 1986, pp. 159– 190. MR843391 (87h:20077) [Tit92] , Twin buildings and groups of Kac-Moody type, Groups, combinatorics & geometry (Durham, 1990), London Math. Soc. Lecture Note Ser., vol. 165, Cambridge Univ. Press, Cambridge, 1992, pp. 249–286. MR1200265 (94d:20030) [TW91] J. Thévenaz and P. J. Webb, Homotopy equivalence of posets with a group action,J. Combin.TheorySer.A56 (1991), no. 2, 173–181. MR1092846 (92k:20049) [TW02] Jacques Tits and Richard M. Weiss, Moufang polygons, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2002. MR1938841 (2003m:51008) [TY96] M. Tezuka and N. Yagita, On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements,J.Algebra183 (1996), no. 2, 483–513. MR1399037 (97e:20073) [Vog82] K. Vogtmann, A Stiefel complex for the orthogonal group of a field, Comment. Helv. Math. 57 (1982), 11–21. [Völ89a] Helmut Völklein, The 1-cohomology of the adjoint module of a Chevalley group,Fo- rum Math. 1 (1989), no. 1, 1–13. MR978973 (90b:20038) [Völ89b] , On the geometry of the adjoint representation of a Chevalley group,J.Al- gebra 127 (1989), no. 1, 139–154. MR1029408 (91e:20033b) [Wal81a] J. W. Walker, Topology and combinatorics of ordered sets,Ph.D.thesis,M.I.T., 1981. [Wal81b] James W. Walker, Homotopy type and Euler characteristic of partially ordered sets, European J. Combin. 2 (1981), no. 4, 373–384. MR638413 (83g:06002) [Web87a] P. J. Webb, A local method in group cohomology,Comment.Math.Helv.62 (1987), no. 1, 135–167. MR882969 (88h:20065) [Web87b] , Subgroup complexes, The Arcata Conference on Representations of Finite Groups (Arcata, Calif., 1986), Proc. Sympos. Pure Math., vol. 47, Amer. Math. Soc., Providence, RI, 1987, pp. 349–365. MR933372 (89f:20057) [Web91] , A split exact sequence of Mackey functors, Comment. Math. Helv. 66 (1991), no. 1, 34–69. MR1090164 (92c:20095) [Web00] Peter Webb, A guide to Mackey functors, Handbook of algebra, Vol. 2, North- Holland, Amsterdam, 2000, pp. 805–836. MR1759612 (2001f:20031) [Wei03] Richard M. Weiss, The structure of spherical buildings, Princeton University Press, Princeton, NJ, 2003. MR2034361 (2005b:51027) [Wel92] Volkmar Welker, The poset of conjugacy classes of subgroups in a finite solvable group,J.Algebra148 (1992), no. 1, 203–218. MR1161572 (93e:20033) 344 BIBLIOGRAPHY

[Wel94] , Combinatorial properties of intervals in ﬁnite solvable groups, Rocky Moun- tain J. Math. 24 (1994), no. 4, 1567–1590. MR1322248 (96b:20024) [Wel95a] , Direct sum decompositions of matroids and exponential structures,J.Com- bin. Theory Ser. B 63 (1995), no. 2, 222–244. MR1320168 (96e:05042) [Wel95b] , Equivariant homotopy of posets and some applications to subgroup lattices, J. Combin. Theory Ser. A 69 (1995), no. 1, 61–86. MR1309152 (95j:05172) [Wil09] Robert A. Wilson, The ﬁnite simple groups, Graduate Texts in Mathematics, vol. 251, Springer-Verlag London Ltd., London, 2009. MR2562037 (2011e:20018) [Woo08] Russ Woodroofe, An EL-labeling of the subgroup lattice, Proc. Amer. Math. Soc. 136 (2008), no. 11, 3795–3801. MR2425717 (2009f:06010) [WW93] Michael Weidner and Volkmar Welker, The combinatorics and the homology of the poset of subgroups of p-power index, J. Pure Appl. Algebra 90 (1993), no. 3, 253–274. MR1255714 (94i:05112) [WW97] , On the poset of conjugacy classes of subgroups of π-power index, Comm. Algebra 25 (1997), no. 5, 1347–1364. MR1444007 (98f:06003) [Yos83] Tomoyuki Yoshida, Idempotents of Burnside rings and Dress induction theorem,J. Algebra 80 (1983), no. 1, 90–105. MR690705 (85d:20004) [Yos89] Satoshi Yoshiara, Some geometries for J3 and O’N, European J. Combin. 10 (1989), no. 5, 499–506. MR1014558 (90j:20031) [Yos90] S. Yoshiara, Embeddings of geometries and related codes, (proceedings of 1990 conference on algebraic combinatorics), Suuriken-Kokyuuroku, vol. 768, Kyoto Institute of Mathematical Sciences and Analysis, 1990. [Yos05a] Satoshi Yoshiara, Odd radical subgroups of some sporadic simple groups,J.Algebra 291 (2005), no. 1, 90–107. MR2158512 (2006d:20029) [Yos05b] , Radical 2-subgroups of the Monster and the Baby Monster,J.Algebra287 (2005), no. 1, 123–139. MR2134261 [Yos06] , Corrigendum to: “Radical 2-subgroups of the Monster and the Baby Mon- ster” [J. Algebra 287 (2005), no. 1, 123–139,J.Algebra303 (2006), no. 1, 447. MR2253672 (2007c:20037) [Yuz87] Sergey Yuzvinsky, Cohen-Macaulay rings of sections, Adv. in Math. 63 (1987), no. 2, 172–195. MR872352 (88d:13039) Index

Page locations for deﬁnitions, as well as for references which are particularly fundamental, are indicated in boldface.

∗ (asterisk), Abels, H. as central product H ∗ J of groups, 260 -Abramenko, subcomplexes of buildings as join K ∗ L of simplicial complexes, 35 [AA93] , 302 (5-point star), point as topological space, Abramenko, P. 238 Abels- —, subcomplexes of buildings :=, (initial) definition, 11 [AA93] , 302 bydef = , by (earlier) definition, 11 -Brown, buildings book (expanded) ∼ =, isomorphism, 26 [AB08] , 43, 59, 292 , abstract as homotopy f g of maps, 105 characteristic p,85 as homotopy equivalence of spaces, 109 minimal parabolic subgroup, 286 simplex, 18 G, as G-homotopy f g of maps, 138 simplicial complex, 18 as G-homotopy equivalence of spaces, 138 action, 28 ≤, admissible —, 30 as dominance relation f ≤ g on poset coprime —, 191, 263, 266 maps, 107 faithful —, 265 as inclusion A ≤ B of subgroups, 13 flag-transitive, 46, 49, 53, 55, 58, 71, 83, as order relation x ≤P y in a poset P,10 115, 233, 234, 245, 253, 293, 327, 328 , notation for normal subgroup, 16 free —, 180 |−|, type-preserving —, 30 as geometric realization acyclic, 176 of a poset, 26 carrier, 144 of a simplex via convex hull of vertices, Acyclic Carrier Theorem, 144 24 Adem, A., xi, 5, 234, 235 of a simplicial complex, 24 -Maginnis-Milgram, cohomology of M12 as order of a group, 3, 15 [AMM91] , 235, 236, 256, 304 |−|p, p-part of group order, 15 -Milgram, cohomology of M22 [AM95a], 204, 235 An, alternating group, 41, 42, 189, 233, 292 -Milgram, cohomology of McL [AM97], A5, 39, 87, 158, 178, 185, 202, 209, 210, 235 215–217 -Milgram, group cohomology book − isomorphisms, see also L2(4), Ω4 (2) [AM04] , 103, 155, 159, 205, 225, 228, A6, 86, 90, 91, 93–96, 158, 216, 323 234, 235, 239, 243 isomorphism, see also Sp4(2) -Milgram, rank 3 groups have 3A6, nonsplit triple cover of A6, 86, 93 Cohen-Macaulay cohomology A7, 88, 211, 293, 294 [AM95b] , 304 C3-geometry for —, 90, 91, 92, 133, 158, admissible action, 30 179, 210, 218, 234, 255, 272, 292, 294, affine 303, 305, 320, 323–325 building, 81, 88, 92, 272, 292, 292, 293, A8, 39, 218, 323 302 + isomorphisms, see also L4(2), Ω6 (2) Dynkin diagram, 81, 92, 292, 293

345 346 INDEX

Weyl group, 81,92 -Smith, on Quillen’s conjecture [AS93], Aleksandrov, P. 188, 259, 260, 262, 265, 267, 268, discrete spaces [Ale37],20 270–277, 277, 278, 279 algebraic group, 41, 292, 293 -Smith, quasithin classification [AS04b] almost ,40 simple (F ∗(G)issimple),271, 273 -Smith, quasithin preliminaries [AS04a] strongly p-embedded subgroup, 286 , 99, 291 Alperin, J., 161, 190–192, 212, 265, 276, -Smith, Tits geometries from groups over 329 GF (3) [AS83] , 293 -Glauberman, coverings of complexes sporadic groups book [Asc94] , 163, 295 [AG94] , 295 Assadi, A. Lie approach to finite groups [Alp90], permutation complexes [Ass91] , 212 163, 265 Atiyah, M., 331 -’s conjecture [Alp87] , 329 Atkinson, C., xii Sylow intersections and fusion [Alp67], Atlas [CCN+85] , 41, 42, 57, 93, 94, 97, 162 203, 211, 215–218, 222–224, 249, 314, unpublished lecture notes on complexes 315 [Alp89] , 163, 261, 265, 269 augmented chain complex, 171 Alperin Conjecture, 5, 121, 212, 213, 308, 327–329, 329, 330–332 B, see also Baby Monster sporadic group ALSS B (K; R), boundary group, 172 Aschbacher-Lyons-Smith-Solomon i Bn, n-ball in Rn, 261 outline of CFSG [ALSS11] , 285, 286, Baby Monster sporadic group B 289, 296 2-local geometry, 86, 254, 295, 325 alternating group, 41, see also An Alvis, D. Baclawski, K., 4 duality for Lie representations [Alv79], Baddeley, R. 317 -Lucchini, intervals in subgroup lattice ample, 194, 238, 239, 242, 246, 247, 249, [BL97] , 189 251, 252, 255 bar An, J., 121 construction (for group cohomology), 226 -O’Brien, strategy for Alperin-Dade convention (for quotients), 99 conjectures [AO98] , 332 Bardoe, M., xi, xii, 253 Andikfar, H., xii embedding involution geometry for Co1 anti-collapse, elementary —, 131 [Bar99] , 325 apartment, 59, 71, 72, 72, 73–75, 81, 91, embedding involution geometry for Suz 92, 134–137, 215, 216, 263, 272, 291, [Bar96a] , 325 301, 302, 305 embedding involution geometry for U4(3) Ap(G), poset of nontrivial p-subgroups, 118 [Bar95] , 325 approximation embedding near-hexagon for U4(3) homology —, 236 [Bar95] , 325 homotopy —, 245 Barker, L. Aschbacher, M., xi, xii, 5, 88, 150, 276, 286, Möbius inversion and Lefschetz module 288, 295 [Bar96c] , 213 finite group theory textbook [Asc00], barycentric subdivision, 32 12, 41, 59, 191, 192, 263–265, 285, 286 Bender, H., 286 -Kleidman, on Quillen’s conjecture Benson, D., xi, xii, 5, 250, 256 [AK90] , 273, 276 -Carlson, diagrams for representations overgroups of Sylow groups [Asc86, and cohomology [BC87] , 234 p.23] , 224 Co3 and Dickson invariants [Ben94], -Segev, extending morphisms [AS92b], 249 290 modular representations (new trends) -Segev, locally connected simplicial maps [Ben84] , 211, 217, 219 [AS92a] , 149, 295 representations and cohomology I -Shareshian, subgroup lattices of [Ben98] , 193, 209, 226, 227, 229, 316 symmetric group [AS09] , 189 representations and cohomology II simple connectivity of p-group complexes [Ben91] , 17, 41, 59, 103, 127, 138, [Asc93] , 163, 287–290 141, 151, 153, 181, 209, 212, 216, 226, INDEX 347

232, 240, 241, 260, 275, 282–284, 301, projectors in representation rings 304, 307–309 [Bou91] , 212, 233, 243 -Smith, classifying spaces of sporadic -Thévenaz, rank ≥ 2 elementary poset groups [BS08] , 5, 23, 25, 44, 82, 85, [BT08] , 300 86, 100, 138, 139, 164, 166, 201, 222, Bouc poset (p-radical subgroups), 121 226, 227, 231–235, 237, 240, 241, boundary 245–252, 252, 254, 255, 327, 328 ∂σ of a simplex σ,19 -Wilkerson, simple groups and Dickson group Bi(K; R), 172 invariants [BW95] , 223, 229, 236, 256 map ∂, 171 Benson poset Zp(G), 153, 153, 165 bouquet of spheres, 134, 189, 192, 281, BG, classifying space of G, 226 283, 287, 291, 297, 298, 300–302 BiMonster group, 295 Bousfield, A. K., 130 binary Golay code (extended —), 97, see -Kan p-completion, 246, see also also Golay code p-completion Birkhoff, G. -Kan homotopy colimit, 247, see also lattice theory book [Bir40],11 homotopy colimit Björner, A., xi, xii, 4, 146, 305 Bp(G), poset of p-radical subgroups, 121 combinatorics of buildings [Bjö84] , 305 Brauer, R., 198, 203, 330 -Garsia-Stanley, Cohen-Macaulay posets Brauer character, 203 [BGS82] , 297 Bredon, G. shellable and Cohen-Macaulay posets equivariant cohomology theories [Bre67] [Bjö80] , 304, 306 , 138, 139 topological methods (in combinatorics) Bredon cohomology, 244, see also [Bjö95] , 17, 20, 21, 25, 116, 129, 142, cohomology, Bredon 161, 164, 177, 260, 284, 304, 305 Broto, C., 5 -Wachs, lexicographic shellability -Levi-Oliver, fusion systems [BLO03], [BW83a] , 305 228 -Wachs, nonpure shelling [BW96] Brouwer, A., 322 [BW97] , 305 Brown, K., 3–5, 15, 104, 155, 178, 181, 184, -Walker, complementation formula for 186, 193–195, 197, 229, 238, 244, 331 posets [BW83b] , 189, 301 Abramenko- —, buildings book block (expanded) [AB08] , 43, 59, 292 blocks in p-modular representation buildings book [Bro98] , 43, 72 theory, 198, 203, 212, 213, 223, 236, Euler characteristics of discrete groups 308, 330, 331 [Bro74] , 160, 193, 225 of defect 0, 203, 214, 218, 329, 330 Euler characteristics of groups, p-part BN [Bro75],3,3, 4, 15, 116, 123, 160, -pair, 62, 72 169, 179, 186, 193, 194, 197, 201, 225 split —, 81 group cohomology book [Bro94] , 193, -rank, 62, 301 194, 201, 225, 227, 228, 238, 239, 307 Borel -Thévenaz, generalizing third Sylow construction (for equivariant theorem [BT88],184, 186, 187 cohomology), 138, 165, 194, 228, 236, Brown poset (nontrivial p-subgroups), 15 237, 237, 240, 241, 246, 247, 254, 327 Brown-Quillen Projectivity Theorem, 202 subgroup (of Lie type group), 63 Brown’s Ampleness Theorem, 239 Bornand, D. Brown’s Homological Sylow Theorem, 3 counterexamples to a fiber theorem Bruhat, F., 43, 292 [Bor09] , 300 Bruhat-Tits construction of affine building, Bouc, S., 4, 119, 121, 141, 150–153, 212, 92, 292 251 Buekenhout, F., xi, 43, 84 homology of 2-group posets in Sn diagram geometries for sporadics [Bou92] , 261 [Bue79],43, 84, 218, 294 homology of posets [Bou84a] , 141, Buekenhout geometry, 84, see also 151–153 geometry, Buekenhout — Möbius modules [Bou84b] , 185, 212, building, 66 216 affine —, 292, see also affine building p-permutation complexes (unpublished) spherical—,81 [Bou] , 205 twin —, 82 348 INDEX

Building Principle, 44 -pairing method, 166, 212 Burnside chamber (maximal simplex in a building), algebra, 182, 185, 186, 208 72 ring, 174, 174, 181, 182, 185, 188, 207, character 208, 212, 213, 219 (ordinary) — of a module, 173 generalized —, 224 Brauer —, 203 Bux, K. generalized —, 181 new proof of Webb conjecture [Bux99], (reduced) Lefschetz — Λ(˜ K), 174 115 modular —, 203 regular —, 181 C˜2 geometry for U4(3), 95, see also U4(3) characteristic C3-geometry for A7, 90, see also A7 prime p Ci(K; R), chain group, 171 abstract — for a general group, 85 Cabanes, M., 331 foraLietypegroup,41 Brauer morphism and Hecke algebras for a subgroup complex, 84 [Cab88] , 329 subgroup (invariant under Cameron, P. automorphisms), 66 -Solomon-Turull, subgroup chains in Chevalley, C., 41, 43 symmetric groups [CST89],22 Chevalley construction, 62, 63 Carlson, J. Chevalley group, 62 Benson- —, diagrams for representations chief series, 188 and cohomology [BC87] , 234 circle geometry, 84, see also geometry, carried, map — by a carrier, 144 Buekenhout — carrier, 143 class multiplication coefficient, 249 acyclic —, 144 classical contractible —, 143 Lie type, 61 Carrier Theorem matrix group, 45 Acyclic —, 144 Classification of Finite Simple Groups, 40, Contractible —, 144 187, 268, 269, 270, 271, 273, 276–278, Cartan, E., 61 281, 285, 286, 289–291, 332 Cartan classifying space BG, 226 subalgebra, 63 closed subgroup, 63 cover, 161 Carter, R. star St(σ)ofasimplex,35 simple groups of Lie type book [Car89], subset of a poset, 153 41, 45, 52, 53, 59, 62, 63, 65, 72, 77, equivalence via — in product, 154 93, 94, 302, 316 Co1, 324 Cartesian product of posets, 107 Buekenhout geometry, 294 Cashen, C., xii, 104 involution geometry, 325 category 2-local geometry, 97, 224, 254, 295, 296, notation, 28 325 of all posets (or complexes), 23 Co2 orbit —, 250 Buekenhout geometry, 294 single poset or complex as a —, 22 2-local geometry, 86, 253, 295, 325 Cayley algebra (for group of type G2), 60 Co3 cell complex, 23 Buekenhout geometry, 294 center Z(−) of a group, 14 2-local geometry, 224, 249, 252, 254, 256 central product H ∗ J (of groups), 260 coboundary map, 226 centralizer decomposition, 248 cochain complex, 226 centric subgroups, 166, 224, 250 code module for M24 (irreducible), 97 CFSG, 270, see also Classification of Finite coefficient Simple Groups homology, 308 chain system (local —), 307 complex, 171 Cohen, M. augmented —, 171 simple homotopy theory book [Coh73], relative —, 180 105, 110, 129–132 group Ci(K; R), 171 Cohen, S. inclusion — in a poset, 20 sheaf for λ2 of Cn and Dn [Coh94] , 320 INDEX 349

-Smith, sheaf for 26-dimensional F4 path- (0-) —, 282 module [CS90] , 320 simply (1-) —, 282 Cohen-Macaulay connecting maps (of a local system), 307 complex, 284 constant coefficient system, 309 ring, 284 constructible, 284 cohomological dimension (finite virtual —), contractible, 111 193 carrier, 143 cohomology conically —, 116 Bredon —, 244, 245, 254, 255, 308, 331 cover, 161 decomposition, 229 Contractible Carrier Theorem, 144 equivariant —, 2, 138, 165, 194, 235, 237, convex hull (of points in Euclidean space), 237, 238, 240–242, 244, 247, 308, 331 24 group —, 226 Conway, J., 295 module —, 227 Atlas, see also Atlas relative —, 235 lectures on exceptional groups [Con71], Tate —, 230, 232, 232, 238, 239, 242–244 97, 98 colimit, 246 Conway sporadic groups, 224 homotopy —, 247, see also homotopy individually, see also Co1,Co2,Co3 colimit Cooperstein, B., xi, 293 collapse coprime action, 191, see also action, elementary —, 129 coprime elementary anti- —, 131 coset complex, 81 collapsible, 131 counting two ways, 51 colored simplicial complex, 83 cover commuting complex, 163 closed —, 161 complementation methods, 188, 189, 300, contractible —, 161 301 of a geometry, 87 completion, 246, see also p-completion of a poset, 161 complex of a space, 92 cell—,23 universal —, 92 chain —, 171 projective — P (I) of an irreducible I, cochain —, 226 198 Cohen-Macaulay —, 284 Coxeter diagram, 62 commuting —, 163 Crapo, H., 188 coset —, 81 critical subgroup, 263 CW- —, 23 crosscut (in a poset), 164 intersection —, 82 Curtis, C., 215, 296 simplicial —, 17 -Lehrer, homology representations of Lie subgroup —, 21 type groups [CL81] , 31, 307, 315, 316 Sylow intersection —, 162 modular representations for split component (quasisimple subnormal BN-pair [Cur70] , 214, 309 subgroup), 264 Oxford lectures on Chevalley groups Conder, M., 121 [Cur71] , 214, 309 cone, 112 -Reiner, methods of representation fiber, 147, see also fiber, cone — theory book (1981) [CR90] , 198, 199, point, 112 201, 219 conical contractibility, 116 -Reiner, representation theory book conjugation, 13 (1962) [CR06] , 198, 200, 203, 211, category, 248 221 family, 286 Curtis, R. (Lefschetz) — module, 212, 213, 331 Atlas, see also Atlas conjunctive element, 116 cuspidal representations, 313 Conlon, S. CW-complex, 23 decompositions induced from Burnside cycle group Zi(K; R), 172 algebra [Con68] , 208 Conlon’s Induction Theorem, 127, 206, 208 Dade Conjecture, 5, 332 connected, 282 Danaraj, G. n- — (higher connectivity), 282 -Klee, shelling algorithm [DK78] , 305 350 INDEX

Das, K. M. d-spherical ((d − 1)-connected), 283 Quillen complex for symplectic type dual [Das00] , 292 parapolar space, 324 Quillen complex of Sp2n [Das98] , 292, polar space, 321 303 poset, 67 Quillen complex of GLn [Das95] , 292 representation Davis, J. contragredient, 311 -Kirk, algebraic topology book [DK01], with respect to ρ, 315 129 Dummit, D. decomposition -Foote, algebra textbook [DF99] , 10, centralizer —, 248 12–16, 40, 81, 108, 120, 122, 270 cohomology — (of H∗(G)), 229 Dwyer, W., xi, 5, 238, 241, 246, 248, 250, homotopy — (of BG), 245 251 matrix, 211 classifying spaces and homology normalizer —, 247 decompositions [Dwy01] , 5, 23, 237, subgroup —, 250 242–244, 246 theory, 5, 225, 245, 247, 250 homology approximations [Dwy97] , 250 Dedekind modular law, 191 sharp homology approximations defect [Dwy98] , 250 (group) of a block, 203 Dwyer-Wilkerson exotic space DI(4), 256 zero, 214 Dynkin diagram, 62 deformation retraction, strong —, 110 affine (or extended) —, 81, see also affine ∂(−), boundary map on a complex, 19 Dynkin diagram Delgado, A., 270 Deligne, P. Eckmann-Shapiro Lemma, 229, 241, 327 -Lusztig, representations of finite EG, free contractible space with reductive groups [DL76] , 313 EG/G = BG, 226 derived functors of Hom (Ext), 227 E(G), product of components of G, 264 Devillers, A. Eilenberg-Zilber, product homology, 278 -Gramlich-Mühlherr, sphericity for elementary geometry of nondegenerate subspaces abelian p-group, 94 [DGM09] , 212 collapse, 129 DI(4), exotic Dwyer-Wilkerson space, 256 —anti-collapse, 131 diagram expansion, 131 Coxeter —, 62 embeddability (existence of embedding), Dynkin —, 62 324 geometry, 84, see also geometry, diagram embedding (of a point-line geometry), 320 — universal —, 321 of a poset, 10 Epn (elementary abelian p-group), 94 Dickson invariants, 256 equivalence digon, 74 homology —, 176 direct limit, 309 homotopy —, 109 discrete G-homotopy —, 138 series representations, 313 weak (homotopy) —, 176, 282 valuation, 292 equivariant distinguished p-subgroups, 224 cohomology, 237, see also cohomology, dominance (relation ≥ between poset equivariant maps), 107 Euler characteristic, 193, 194, 194, 195, double 331 cosets (algebra of —), 256, 316 K-theory, 331 cover, 87 mapping, 31 mapping cylinder, 247 Euclidean simplex, 24 downward-closed subset of a poset, 153 Euler characteristic, 170 Dress, A. equivariant —, 194, see also equivariant characterization of solvability [Dre69], Euler characteristic 182 reduced —, 170 -Scharlau, gate property e.g. of buildings exact sequence, 174 [DS87] , 135 short —, 174 INDEX 351

determines long — in homology, 180 -transitive action, 46, see also action, split —, 174 flag-transitive exceptional Lie types, 61 Folkman, J. expansion (elementary —), 131 homology groups of lattice [Fol66],20 Ext functors, 227 Fong, P., 291 extended -Seitz, BN-pairs of rank 2 [FS73],81 binary Golay code, 97, see also Golay Foote, R. code Dummit- —, algebra textbook [DF99], Dynkin diagram, 81, see also affine 10, 12–16, 40, 81, 108, 120, 122, 270 Dynkin diagram Fp-good space, 246 Steinberg module, 224 Fq, finite field of order q,45 external-complex viewpoint on a geometry, Frattini subgroup Φ(G)ofG, 119 82 free action, 180 F (−), Fitting subgroup, 264 construction of buildings, 293 ∗ F (−), generalized —, 264 contractible space EG, 226 FV , fixed-point presheaf from V , 309 module, 199 F22 simplex — over face (for collapse), 129 Buekenhout geometry, 294 Frobenius, G., 187 2-local geometry, 86, 254 Frobenius F23 group, 285 Buekenhout geometry, 294 reciprocity, 213, 229, 316, 327 2-local geometry, 254 Frohardt, D. 3 F24 -Smith, embeddings for D4(2) and J2 Buekenhout geometry, 294 [FS92] , 320, 325 2-local geometry, 92, 97, 254 functor face, 19 derived —, 227 poset P(−)ofacomplex,33 Mackey —, 243 faithful action, 265 fundamental P2 Fano plane, 50, see also (2) group π1(K), 282 Feit, W., 215 system Π of roots (for Lie type group), 65 extending Steinberg characters [Fei93], weight, 315 224 fusion system, 5, 115, 166, 228 -Higman, nonexistence of some generalized polygons [FH64], 74,76 G2(2) generalized hexagon, 60, 74, 216 representation theory book [Fei82] , 162, G2(3), 293 198–200, 219 gallery (path between chambers in a fiber, 120 building), 72 cone —, 147, 154, 157, 164, 166 Galois connection, 160 Fiber Theorem Ganesan, V., xii Quillen’s —, 148 GAP (computer language for group results of — type, 149, 288, 299, 303, 308 theory), 203, 210, 249 Fields, J., xii Garsia, A., 4 finite Björner- — -Stanley, Cohen-Macaulay (virtual) cohomological dimension, 193 posets [BGS82] , 297 homological type, 194 combinatorics and Cohen-Macaulay rings Fischer sporadic groups [Gar80] , 304 individually, see also F22,F23,F24 Garst, P. Fisher, A., xi Cohen-Macaulayness and group actions Fisher, T. [Gar79] , 304 weight operators and group geometries gate property (of building), 135, 135, 136, [Fis93] , 304 137 Fitting G-complex, 28 lemma, 266 G-contractible, 138 subgroup F (G), 264 general linear group GLn(q), 45 generalized — F ∗(G), 264 generalized fixed-point presheaf FV , 309 Burnside ring, 224 flag, 46 character, 181 352 INDEX

digon (complete bipartite graph), 74, 76, conjugation family [Gol70] , 286 78, 100 good space, 246 Fitting subgroup F ∗(G), 264 Gorenstein, D. hexagon, 60, 74, 76, 97, 216 finite groups textbook [Gor80] , 12, 266, m-gon, 72, see also — polygon 267, 270, 285, 317 octagon, 74,76 -Lyons, trichotomy for e(G) ≥ 4[GL83, polygon, 71, 72, 73–76, 79, 80, 84–86, 88, Sec 7] , 286 92, 97, 99 -Lyons-Solomon, second effort CFSG, see Moufang —, 81 also GLS quadrangle, 73, 76, 93, 95, 99 G-poset, 28 Steinberg module, 216, 217, 233 Gramlich, R., 213 triangle (projective plane), 72, 76, 78 Devillers- — -Mühlherr, sphericity for geometric geometry of nondegenerate subspaces presentation (of a module), 320 [DGM09] , 212 realization (of a complex), 25 Phan type presentations survey [Gra04], geometry 296 Buekenhout —, 84, 84, 85, 218, 294, 295 Green, D., 160 circle —, see also Buekenhout — Green, J. A., 162, 221 diagram —, 40, 43, 75, 78, 80, 82, 84, 84, Green ring, 174 85, 86, 88, 97, 126, 132, 291, 322 Grizzard, P., xii involution —, 94, 222, 324, 325 components of sporadic Lefschetz minimal parabolic —, 86 characters [Gri09] , 224 of type M, 79, 80, 88, 291 Grodal, J., xi, xii, 5, 225 Petersen —, 86, 295 higher limits via subgroup complexes p-local —, 5, 43, 85, 166, 201, 206, 219, [Gro02] , 5, 213, 216, 233, 237, 223, 307 241–244, 250, 251, 254, 274, 308 2-local —, 82, 85, 235, 253 -Smith, propagation of sharpness sporadic —, 84 [GS06], 165, 166, 249, 251–254 tilde —, 86, 86, 295, 324 Grothendieck group, 174 Tits —, 79, see also —oftypeM group G-equivariant, see also equivariant cohomology, 226 GF (q), finite field of order q,45 of Lie type, 41, see also Lie type group G-homotopy, 138 Gruenberg, K., 184 equivalence, 138 G-set (transitive G-action G/H), 174 GLn(q), general linear group, 45, see also G-space, 28 Ln(q) GL(V ), group of space V ,45 Hi(K; R), homology group, 172 n−1 building, 46, see also P (q) (projective H˜i(K; R), reduced —, 172 space) Hall, J., xi, xii parabolic subgroups, 67 Hall, M. Glauberman, G. group theory textbook [Hal59] , 12, 15, Alperin- —, coverings of complexes 47, 179, 190 [AG94] , 295 Hall, P. GLS Möbius function on subgroups [Hal36], Gorenstein-Lyons-Solomon project, 40 183 no. 1: overview, outline [GLS94], 40, Hall-Higman lemma for p-solvable groups, 270, 286 190 no. 2: general group theory [GLS96], Harada-Norton sporadic group, see also 163 HN no. 3: properties of simple groups Hasse diagram of a poset, 10 [GLS98], 40, 41, 42, 45, 53, 63, 69, Hatcher, A. 81, 92, 214, 270, 309, 315 algebraic topology text [Hat02],24 Gluck, D. Hawkes, T., 184, 193 idempotents in Burnside algebra [Glu81] -Isaacs, subgroups poset for p-solvable , 184 [HI88], 190, 190, 276 Golay code (extended binary —), 97, 97, -Isaacs-Ozaydin,¨ Möbius function of 99, 323 finite group [HIO89¨ ] , 15, 116, 177, Goldschmidt, D. 183, 184, 186, 186, 187, 328 INDEX 353

He Lie algebras and representations book Buekenhout geometry, 295 [Hum72] , 60, 68 2-local geometry, 254, 295, 296 Hungerford, T. Held sporadic group, see also He algebra textbook [Hun80] , 10, 14 Henn, H.-W., 245 Huppert, B. elementary abelian decompositions group theory textbook I [Hup67] , 12, [Hen97], 238, 244, 245 226 Herstein, I. hyperbolic topics in algebra textbook [Her75] , 12, 2-space (under a form), 54 13 pair (generating a hyperbolic 2-space), 54 Hewitt, P., xi hyperelementary subgroup, 188, 188, 273, hexagon 274, 279 generalized —, 74, see also generalized hexagon I2(8), Coxeter diagram of D16,76 near- —, 97 idempotents highest weight module theory, 311 in Burnside ring, 182, 182, 185, 186, 208 Higman, D., xi in group algebra, 203 -Sims sporadic group, see also HS Iiyori, N. Higman, G. -Yamaki, Frobenius conjecture [IY91], Feit- —, nonexistence of some 187 generalized polygons [FH64], 74,76 incidence relation in a geometry, 19 indecomposable module, 174 Hilton, P. principal —, 198 -Wylie, homology text [HW60],24 projective —, 198 HN induced module, 173 2-local geometry, 254 internal view of a geometry, 82, see also Hocolim, 249, see also homotopy colimit intersection complex homeomorphism (continuous isomorphism), intersection complex, 82 26 intervals in a subgroup poset, 183, 298 Homological Sylow Theorem (Brown), 3 results restricting —, 189 homological type (finite —), 194 invariant homology, 172 Dickson —s in group cohomology, 256 approximation, 236 Lefschetz — (in Burnside ring), 174 coefficient —, 308 module —s under group action, 227 Cohen-Macaulay property, 284 properties under equivalences, 172 decomposition, 229 involution, 14 equivalence, 176, see also equivalence, geometry, 325, see also geometry, homology involution — group Hi(K; R), 172 I (G), complex of Sylow intersections, 162 ˜ p reduced — Hi(K; R), 173 irreducible product —, 278 building, 291 homotopy, 105 module which is projective, 203, see also approximation, 245 block of defect 0 Cohen-Macaulay property, 284 presheaf, 311 colimit, 225, 246, 247, 247, 248, 250, 253 Isaacs, I. M., 190, 193 decomposition, 245 character theory book [Isa06] , 181 equivalence, 109 Hawkes- —, subgroups poset for weak —, 176, see also equivalence, p-solvable [HI88], 190, 190, 276 weak — Hawkes- — -Ozaydin,¨ Möbius function of group πn(K), 282 finite group [HIO89¨ ] , 15, 116, 177, pushout, 247 183, 184, 186, 186, 187, 328 type (class under homotopy equivalence), isotropic 109 (totally) — subspace, 53 Hopf Trace Formula, 176 vector, 52 HS, 235 isotropy spectral sequence, 241, see also Buekenhout geometry, 294 spectral sequence, isotropy 2-local geometry, 254 Ivanov, A., 295 Humphreys, J. presentation of BiMonster [Iva91] , 295 354 INDEX

-Shpectorov, tilde and Petersen Karcher, J., xii geometries [IS94a] , 86, 100, 295, 325 Kessar, R., 5 -Shpectorov, universal embeddings of Killing, W., 61 Petersen geometries [IS94b] , 324, 325 Kirk, P. sporadic geometries book [Iva99] , 86, Davis- —, algebraic topology book 100 [DK01] , 129 Klee, V. J1 Danaraj- —, shelling algorithm [DK78], 2-local geometry, 233, 252, 253, 256 305 J2, 332 Kleidman, P. Buekenhout geometry, 295 Aschbacher- —, on Quillen’s conjecture 2-local geometry, 254, 296, 325 [AK90] , 273, 276 J3 Klein bottle, 272 2-local geometry, 253 Knörr, R. J4, 271 -Robinson, remarks on Alperin 2-local geometry, 97, 253, 295 Conjecture [KR89], 166, 212, 213, Jackowski, S., 5 308, 330, 331 -McClure, homotopy approximations Köhler, P. [JM89] , 165, 248 -Meixner-Wester, affine building of type -McClure, homotopy decomposition via A2 [KMW84] , 293 abelian subgroups [JM92] , 248, 249 Kratzer, C., 4 -McClure-Oliver, homotopy -Thévenaz, homotopy type of lattice and decomposition via radical subgroups subgroup poset [KT85] , 127, 141, [JMO92] , 121, 165, 250 151, 152, 189, 192, 262, 300, 301 Jacobson, N. -Thévenaz, Möbius function and basic algebra textbook [Jac80] , 12, 22, Burnside ring [KT84] , 183, 188, 300 53 Ksontini, R. James, I., 139 Quillen complex of symmetric group Janko sporadic groups [Kso04] , 292 individually, see also J1,J2,J3,J4 K-theory (equivariant —), 331 Jansen, C. Kutin, S. Modular Atlas, see also Modular Atlas -Ozaydin,¨ shellability of Sp for solvable Johnson, P., xi [KOzaydin¨ ] , 305 join -contractible, 116 L(−), lattice of all subgroups of a group, 13 of simplices, 35 Ln(q), linear group, 45 of simplicial complexes, 35 L2(2) building, 48, see also P1(2) (projective K(−), order complex of a poset, 21 line) Km,n, complete bipartite graph, 52 parabolics, 68 Kac-Moody group, 81 L2(4) Kan, D. building, 48, see also P1(4) (projective Bousfield- — p-completion, 246, see also line) p-completion parabolics, 68 Bousfield- — homotopy colimit, 247, see L3(2) also homotopy colimit building, 49, see also P2(2) (projective Kantor, W., xi, xii, 92, 293, 294 plane) exceptional 2-adic buildings [Kan85], parabolics, 64 92, 293 L4(2) generalized polygons, SCABs, and GABs building, 51, see also P3(2) (projective [Kan86] , 294 space) geometries that are almost buildings parabolics, 69 [Kan81] , 92, 293 L5(2), 296 -Liebler-Tits, affine buildings [KLT87], Lakser, H. 294 homology of lattice [Lak72] , 144 -Meixner-Wester, 3-adic buildings Lang, S. [KMW90] , 294 algebra text [Lan65] , 174 Kantor’s C˜2-geometry for U4(3), 95 lattice, 11 INDEX 355

subgroup — L(G) of a group G,13 subgroup, 5,43 theory, 11 system, see also coefficient system Leary, I., xii locally determined functions, 331 Lefschetz long exact sequence, 180 character (reduced —) Λ(˜K), 174 Lucchini, A. conjugation module, 331, see also -Lucchini, intervals in subgroup lattice conjugation module (Lefschetz —) [BL97] , 189 Fixed-Point Formula, 175 Lucido, M. invariant (in Burnside ring), 174 connected components in subgroup module (reduced —) L˜(K), 173 lattice [Luc03] , 286 number, 175 poset of nilpotent subgroups [Luc95], Lehrer, G., 150 279 Curtis- —, homology representations of Lunardon, G. Lie type groups [CL81] , 31, 307, 315, -Pasini, on C3 geometries [LP89],91 316 Lusztig, G., 313 -Rylands, split building of reductive Deligne- —, representations of finite group [LR93] , 302 reductive groups [DL76] , 313 -Thévenaz, Alperin Conjecture for discrete series for classical groups reductive groups [LT92] , 331 [Lus75] , 313, 320 Leonardi, D., xii discrete series for finite GLn [Lus74], Leray, J., 161 307, 313, 314, 320 Levi, R., 5 Lux, K. Broto- — -Oliver, fusion systems Modular Atlas, see also Modular Atlas [BLO03], 228 Ly, 253 Levi 2-local geometry, 253, 256 complement (of parabolic subgroup), 65 5-local geometry, 293 decomposition (of parabolic subgroup), Lyons, R., xii, 273 65 Gorenstein- —, trichotomy for e(G) ≥ 4 Li, P. [GL83,Sec7],286 universal embedding of dual polar space Gorenstein- — -Solomon, second effort of Sp2n(2) [Li01] , 322 CFSG, see also GLS Libman, A. Lyons sporadic group, see also Ly Minami-Webb splittings [Lib07] , 244 Lie M, see also Monster sporadic group p-adic — group, 81, 292–294 M11 rank, 61 Buekenhout geometry, 294 type 2-local geometry, 233, 234, 252, 253 Chevalley group, 62 3-local geometry, 218 classical —, 61 M12, 304 exceptional —, 61 Buekenhout geometry, 294 group, 41 2-local geometry, 222, 252, 254, 256, 325 twisted —, 62 3-local geometry, 256 untwisted —, 62 M22 Liebler, R. Buekenhout geometry, 294 Kantor- — -Tits, affine buildings 2-local geometry, 86, 235, 252, 253, 295, [KLT87] , 294 325 limit (direct —), 309 M23 Linckelmann, M., 5 Buekenhout geometry, 294 orbit fusion system contractible [Lin09], 2-local geometry, 85, 253, 295 115, 166 M24,97 line, projective — (linear 2-space), 46 Buekenhout geometry, 294 linear group GLn(q), 45 2-local geometry, 86, 98, 158, 218, 253, link Lk(σ)ofasimplex,36 295, 296, 304, 322, 324, 325 Lk(−), see also link Mackey, G. local foundations of quantum mechanics coefficient system, 307 [Mac63],11 field, 292 Mackey functor, 243 recognition (of a module), 320 Maginnis, J., xi 356 INDEX

Adem- — -Milgram, cohomology of M12 Adem- —, group cohomology book [AMM91] , 235, 236, 256, 304 [AM04] , 103, 155, 159, 205, 225, 228, local control of cohomology [Mag95], 234, 235, 239, 243 236 Adem- —, rank 3 groups have -Onofrei, distinguished in parabolic Cohen-Macaulay cohomology characteristic [MO10] , 166 [AM95b] , 304 -Onofrei, fixed points and Lefschetz -Tezuka, F3-cohomology of M12 [MT95] modules for sporadics [MO09] , 224 , 256 -Onofrei, new p-subgroup collections Milnor, J. [MO08] , 166, 252 on universal bundles II [Mil56] , 260 mapping cylinder minimal double —, 247 parabolic mark homomorphisms of Burnside algebra, abstract — subgroup, 286 185, 208 geometry, 86 subgroup, 65 Mathas, A., xi weight, 320 q-analogue of Coxeter complex [Mat94], minus-type (quadratic form), 52 304 minuscule weight, 320 Mathieu, E., 42 modular Mathieu sporadic groups, 42, 85, 328 character, 203 individually, see also law for group products, 191 M11,M12,M22,M23,M24 representation theory, 198 Matucci, F. Modular Atlas [JLPW95] , 203, 211, solvable Cohen-Macaulayness [Mat09], 215–219, 223, 318, 319, 321 300 module maximal cohomology, 227 parabolic subgroup, 65 free —, 199 Witt index (in bilinear form), 53 indecomposable —, 174 McBride, P., 286 induced —, 173 McClure, J., 5 permutation, 173 Jackowski- —, homotopy approximations projective —, 199 [JM89] , 165, 248 virtual —, 174 Jackowski- —, homotopy decomposition Möbius via abelian subgroups [JM92] , 248, function, 160, 177, 183, 183, 184, 186, 249 188–190, 212, 330 Jackowski- — -Oliver, homotopy inversion, 213, 317, 330 decomposition via radical subgroups Monster sporadic group M, 271 [JMO92] , 121, 165, 250 BiMonster group, 295 McL involution geometry, 324 Buekenhout geometry, 294 2-local geometry, 86, 97, 254, 295, 325 2-local geometry, 88, 235, 252, 253 Moufang (generalized) polygon, 81 − McLaughlin sporadic group, see also McL mp( ), p-rank, 118 Mühlherr, B. meet Devillers-Gramlich- —, sphericity for -contractible, 116 geometry of nondegenerate subspaces -semilattice, 116 [DGM09] , 212 Meixner, T. -Schmid, extended Steinberg character Kantor- — -Wester, 3-adic buildings [MS95] , 224 [KMW90] , 294 Munkres, J. Köhler- — -Wester, affine building of algebraic topology text [Mun84] , 17, type A2 [KMW84] , 293 19, 22–25, 27, 31–35, 105, 112, 142, Milgram, R. J., xi, 5, 234, 235 144, 161, 261, 275 Adem-Maginnis- —, cohomology of M12 [AMM91] , 235, 236, 256, 304 near-hexagon, 97 Adem- —, cohomology of M22 [AM95a], nerve of a covering, 161 204, 235 Nerve Theorem, 162 Adem- —, cohomology of McL [AM97], Nesbitt, C., 203 235 Neumaier, A. INDEX 357

C3 geometry for A7 [Neu84],88 category, 250 Neumaier’s C3-geometry for A7, see also complex, 114 A7 poset, 114 normal chains (complex of p-subgroups), order 166 complex (of a poset), 21 normalizer decomposition, 247 ideal, 153 normalizer-sharp super-type, 165, 166, 252, ordinary (characteristic 0) representation 253, 255 theory, 198 Norton, S., 295 oriented simplex, 171 Atlas, see also Atlas oriflamme geometry, 58 Harada- — sporadic group, see also HN orthogonal basis, 55 + O4 (2) polar space, 55, 57, 59, 74, 210, 216, form (symmetric), 52 262 group, 52 − ¨ O4 (2) polar space, 57, 87, 202, 203, 216 Ozaydin, M. O’Brien, E. Hawkes-Isaacs- —, Möbius function of An- —, strategy for Alperin-Dade finite group [HIO89¨ ] , 15, 116, 177, conjectures [AO98] , 332 183, 184, 186, 186, 187, 328 S octad (of Steiner system (5, 8, 24)), 97 Kutin- —, shellability of Sp for solvable octagon (generalized —), 74, see also [KOzaydin¨ ] , 305 generalized octagon Oda, F. P (−), projective cover of an irreducible, Sawabe- —, centric radicals and 198 generalized Burnside ring [OS09] , 224 P(−), face poset of a complex, 33 Oliver, B., xi, 5, 231, 238, 244, 245, 254 P(−), projective space of a vector space, 46 n−1 Broto-Levi- —, fusion systems [BLO03], P (q), projective space of GLn(q), 46, 228 46, 47, 53, 124, 216, 310–313, 320 1 Conner Conjecture [Oli76] , 245, 255 P (2), projective line over F2, 48, 48, 49, fixed points on acyclic complexes [Oli75] 51, 54, 58, 68, 77, 216 1 , 245 P (4), projective line over F4, 48, 55, 57, 87 2 Jackowski-McClure- —, homotopy P (2), projective plane over F2, 49, 49, decomposition via radical subgroups 50–52, 58, 64, 72, 73, 76, 77, 89, 90, [JMO92] , 121, 165, 250 124, 135, 215, 310, 311 2 Ω1(−), subgroup generated by order-p P (4), projective plane over F4,50 3 elements, 120 P (2), projective 3-space over F2, 51, 54, − Ω6 (3), see also U4(3) 69, 74, 78, 216, 310, 312, 315, 319 Ω7(3), 293 p-adic Lie group, 81, see also Lie, p-adic — + Ω8 (3), 293 group ON Pahlings, H. 2-local geometry, 254 character polynomials and Möbius O’Nan sporadic group, see also ON function [Pah95] , 183 Onofrei, S., xi, xii Möbius function [Pah93] , 183 Maginnis- —, distinguished in parabolic pair characteristic [MO10] , 166 hyperbolic —, 54 Maginnis- —, fixed points and Lefschetz stabilizing —s (closed set), 155 modules for sporadics [MO09] , 224 Pakianathan, J. Maginnis- —, new p-subgroup collections -Yalcin, commuting and noncommuting [MO08] , 166, 252 complexes [PY01] , 163 Op(−), largest normal p-subgroup, 108 panel (maximal face of a chamber in a Op (−), largest normal p -subgroup, 190 building), 72 opposite parabolic subgroup, 63 chambers in a building, 72 maximal —, 65 poset, 67 minimal —, 65 Option B (buildings), 2 parameters (numerical — for a geometry), Option S (sporadic geometries), 2 47 Option G (G-equivariant homotopy and parapolar space, 324 equivalences), 2 dual —, 324 orbit Parker, R. 358 INDEX

Atlas, see also Atlas principal Modular Atlas, see also Modular Atlas block, 236 partial barycentric subdivision, 59, see also indecomposable module, 198 subdivision, partial series representations, 313 Pasini, A. Proctor, R., xi Lunardon- —, on C3 geometries [LP89], product 91 central — H ∗ J of groups, 260 path-connected, 282 homology, 278 p-block, 198, see also block of posets, 107 p-centric subgroups, 250, see also centric set- — of subgroups of a group, 108 subgroups shuffle —, 278 p-completion, 246, 247, 249, 251, 253 smash —, 260 permutation module, 173 projective Petersen cover P (I) of an irreducible I, 198 geometry, 86, see also geometry, Petersen dimension, 46 — indecomposable module, 198 graph, 86 line (linear 2-space), 46 Phan, K., 296 module, 199 Φ, root system, 62 relative to a subgroup, 219 + Φ , positive subsystem, 63 virtual —, 200 Φ(−), Frattini subgroup, 119 plane (linear 3-space), 46 Π, simple roots, 65 point (linear 1-space), 46 π (K), see also homotopy group n space (of a vector space V ), 46 π (K), fundamental group, 282 1 PSL (q), projective special linear group, plane n 45, see also L (q) Fano —, 50, see also P2(2) n p-solvable group, 189 projective — (linear 3-space), 46 p-stubborn subgroups, 250, see also radical p-local subgroups finite group, 5, 228 Puig, L., 228, 286 geometry, 85, see also geometry, p-local Pulkus, J. — shellability of S for solvable subgroup, 5,43 p (Diplomarbeit), 305 plus-type (+-type quadratic form), 52 -Welker, homotopy type of S for p-modular representation theory, 198 p solvable [PW00], 300 Poincaré pushout duality, 315 homotopy —, 247 polynomial, 233 point, projective — (linear 1-space), 46 polar space, 53 QDp, 262, see also Quillen dimension dual —, 321 q-hyperlementary subgroup, 188, see also polygon (generalized —), 72, see also hyperelementary subgroup generalized polygon quad, term for quadrangle-structure as a poset, 10 vertex, 93 diagram of —, 10 quadrangle (generalized —), 73, see also dual —, 67 generalized quadrangle map, 27 quasidihedral group, 15, see also opposite —, 67 semidihedral group orbit —, 114 Quillen, D., 3–5, 15, 17, 178, 186, 191, 192, simplex —, 12 197, 246, 301 subgroup —, 13 homotopy of p-subgroup posets [Qui78], positive subsystem Φ+ of roots, 63 3, 21, 34, 40, 44, 104, 107, 109, power set 2S of a set S,11 116–118, 120, 122–124, 127, 134, 137, p-radical subgroups, 121 141, 146–148, 150, 153, 154, 156, 159, p-rank mp(G)ofG, 118 160, 162, 179–181, 201, 214, 225, presheaf (coefficient system of modules), 260–265, 268, 270, 274–276, 281, 283, 308 284, 286–288, 297–300, 302, 303, 308 fixed-point — FV , 309 spectrum of equivariant cohomology ring irreducible —, 311 [Qui71], 225 INDEX 359

Quillen dimension (for Quillen Conjecture), Robinson subgroup (for Quillen 262 Conjecture), 274 Quillen Fiber Theorem, 148 Ronan, M., xi, 82, 134, 158, 217, 322 Quillen poset Ap(G)ofelementary coverings of geometries [Ron81] , 294, p-subgroups, 118 295 Quillen-Venkov theorem, 304 duality for presheaves [Ron89a] , 316, 317 radical embeddings and hyperplanes [Ron87], subgroups, 121 321 unipotent — (of parabolic subgroup), 65 lectures on buildings [Ron89b] , 43, 59, Rainbolt, J., xii 72, 74, 291, 292, 294 Ramras, D. -Smith, 2-local geometries [RS80] , 5, 43, connected components in coset poset 82, 85–87, 92, 97, 100, 224, 293, 295 [Ram05] , 286 -Smith, computation of sheaves [RS89], rank 319, 323, 325 BN- — (of Lie type group), 62 -Smith, sheaves on buildings [RS85] , 80, Lie —, 61 307–311, 313, 317, 319, 320, 322 p-—mp(G)ofG, 118 -Smith, universal presheaves [RS86], reciprocity formula for L˜(K), 213 321 reduced -Stroth, minimal parabolic geometries Euler characteristicχ ˜(K), 170 [RS84] , 86, 88, 100, 222, 223, 286, 295 homology group H˜i(K; R), 173 -Tits, building buildings [RT87] , 82, 293 Lefschetz triangle geometries [Ron84] , 293 character, 174 root module L˜(K), 173 spaces, of a (module for a) Lie algebra, reduction mod p of a ZG-module, 199 63 regular character, 181 subgroup (of Lie type group), 63 Reiner, I. system Φ (of Lie type group), 62 Curtis- —, methods of representation Rota, G.-C., 4, 17, 20, 21 theory book (1981) [CR90] , 198, 199, theory of Möbius functions [Rot64], 20, 201, 219 160, 183 Curtis- —, representation theory book Ru (1962) [CR06] , 198, 200, 203, 211, Buekenhout geometry, 295 221 2-local geometry, 254 relative Rudvalis sporadic group, see also Ru chain complex, 180 Ryba, A., xii cohomology, 235 -Smith-Yoshiara, projectives from projectivity, 219 sporadic geometries [RSY90] , 44, 82, removal method, 119 126, 132, 133, 158, 165, 179, 204, 213, simultaneous — (G-equivariant), 151 217, 218, 221, 224, 234, 235, 250, 253 representation ring, 174 Rylands, L., 150 Res, 77, see also residue Lehrer- —, split building of reductive residue group [LR93] , 302 as link in building, 77 field (of local field), 92, 292 S(5, 8, 24), Steiner system for M24,97 resolution (in homological algebra), 227 Sn, n-sphere, 261 restriction maps (of a local system), 307 Sn, symmetric group, 13, 13, 39, 41, 42, retraction, strong deformation —, 110 47, 189, 233, 261, 292 ρ, weight of Steinberg module, 315 S3, 14, see also L2(2) -duality, 315 S4, 14, 16, 117, 185 Robinson, G., xi, xii, 259, 273, 276, 330 S5, 13, 158, 222 − Knörr- —, remarks on Alperin isomorphisms, see also L2(4), O 4(2) Conjecture [KR89], 166, 212, 213, triples geometry, 86, 87, 126, 158, 217, 308, 330, 331 295 projective summands of induced modules S6, 57, 70, 91, 93, 216 [Rob89], 213 isomorphisms, see also Sp4(2) remarks on permutation modules 3S6, nonsplit triple cover of S6, 324, 325 [Rob88] , 188, 212, 273 S7, 89, 211, 219 360 INDEX

S13, 300 Shpectorov, S., 295 Sawabe, M., xii, 121 Ivanov- —, tilde and Petersen geometries equivalences for centric radicals [Saw03] [IS94a] , 86, 100, 295, 325 , 166 Ivanov- —, universal embeddings of Lefschetz module and centric radical Petersen geometries [IS94b] , 324, 325 subgroups [Saw05] , 224 shuffle product, 278 -Oda, centric radicals and generalized Shult, E., xi Burnside ring [OS09] , 224 signalizer functors, 163 Scharlau, R. simple Dress- —, gate property e.g. of buildings groups [DS87] , 135 classification of —, 270, see also Schmid, P. Classification of Finite Simple extending Steinberg representation Groups [Sch92] , 224 types of —, 40 Mühlherr- —, extended Steinberg system Π of roots (for Lie type group), 65 character [MS95] , 224 simplex, 17 Schur’s lemma, 266 abstract —, 18 Sd(−), (barycentric) subdivision, 32 Euclidean —, 24 Segal, G., 139, 331 oriented —, 171 Segev, Y., xii, 295 poset, 12 Aschbacher- —, extending morphisms simplicial [AS92b] , 290 complex, 17 Aschbacher- —, locally connected abstract —, 18 simplicial maps [AS92a] , 149, 295 colored —, 83 simple connectivity for Lie rank [Seg94] of a poset (order complex), 21 , 289 with type, 83 -Smith, sheaf for Cayley module of G2 map, 26 [SS86] , 320 sets, 23, 246 -Webb, extensions of posets [SW94], simply connected, 282 224 Sims, C. Seitz, G., 291 Higman- — sporadic group, see also HS Fong- —, BN-pairs of rank 2 [FS73],81 simultaneous removal method, 151 semidihedral group, 15 singular sequence set, 127, 155, 159, 159, 160, 163, 164, exact —, 174, see also exact sequence 180, 181, 204–206, 240, 243, 245 Serre, J.-P., 275 (totally) — subspace, 53 Serre spectral sequence, 240 vector, 52 set stabilizer, 87 SLn(q), special linear group, 45, see also sextet (of Steiner system S(5, 8, 24)), 98 Ln(q) Shapiro Lemma (Eckmann- —), 229 smash product, 260 Shareshian, J., xi, 306 Smith Theorem (P. A. —), 205 Aschbacher- —, subgroup lattices of Smith, S., 217, 276, 322 symmetric group [AS09] , 189 Aschbacher- —, on Quillen’s conjecture intervals in subgroup lattices [Sha03], [AS93] , 188, 259, 260, 262, 265, 267, 189 268, 270–277, 277, 278, 279 Quillen complex of symmetric groups Aschbacher- —, quasithin classification [Sha04] , 300 [AS04b],40 shellability of subgroup lattices [Sha01], Aschbacher- —, quasithin preliminaries 306 [AS04a] , 99, 291 subgroup lattice of symmetric group Aschbacher- —, Tits geometries from [Sha97] , 189 groups over GF (3) [AS83] , 293 -Wachs, Quillen complex of symmetric Benson- —, classifying spaces of sporadic group [SW09] , 292 groups [BS08] , 5, 23, 25, 44, 82, 85, sharp, 231, 235, 241, 242–244, 246, 249, 86, 100, 138, 139, 164, 166, 201, 222, 251–255, 328 226, 227, 231–235, 237, 240, 241, shellability, 305 245–252, 252, 254, 255, 327, 328 lexicographic —, 305 Cohen- —, sheaf for 26-dimensional F4 short exact sequence, 174 module [CS90] , 320 INDEX 361

constructing representations from polar space (generalized quadrangle), 54, geometries [Smi88a] , 325 55–58, 69, 73, 74, 77, 86, 91, 93, 95, decomposition from Cohen-Macaulay 96, 98, 99, 125, 136, 216, 318, 320, 321, geometries [Smi90], 304 323, 324 embedding dual-parapolar space of M Sp6(2) [Smi94a] , 324 dual polar space, 321 3 Frohardt- —, embeddings for D4(2) and parabolics, 70, 78, 79, 88 J2 [FS92] , 320, 325 polar space, 58, 60, 70, 78, 79, 83, 89, 93, geometric methods (expository) 216, 319–322, 324 [Smi88b],86 Spanier, E. Grodal- —, propagation of sharpness algebraic topology text [Spa81] , 24, [GS06], 165, 166, 249, 251–254 131, 142, 143, 161, 282, 283, 289, 296, irreducible modules and parabolic 307, 308, 315 subgroups [Smi82] , 310 spectral sequence Ronan- —, 2-local geometries [RS80],5, isotropy —, 241, 244, 246, 254, 308 43, 82, 85–87, 92, 97, 100, 224, 293, Serre —, 240 295 Sp(G), poset of nontrivial p-subgroups, 15 Ronan- —, computation of sheaves sphere Sn of dimension n, 261 [RS89] , 319, 323, 325 spherical Ronan- —, sheaves on buildings [RS85], building, 81 80, 307–311, 313, 317, 319, 320, 322 complex, 283 Ronan- —, universal presheaves [RS86], split 321 BN-pair, 81 Ryba- — -Yoshiara, projectives from torus, 63 sporadic geometries [RSY90] , 44, 82, sporadic 126, 132, 133, 158, 165, 179, 204, 213, geometry, 84 217, 218, 221, 224, 234, 235, 250, 253 group, 41 Segev- —, sheaf for Cayley module of G2 Sporadic Principle (Vague —), 44 [SS86] , 320 St(σ), star of a simplex, 36 sheaves and complete reducibility St(σ), closed star, 35 [Smi85] , 322 stabilizer -Umland, stability via suborbit diagrams mapping (x → Gx), 70 [SU96] , 256 set —, 87 universality of 24-dimensional embedding stabilizing pairs (closed set of —), 155 of Co1 [Smi94b] , 325 standard homotopy type (of Sp(G)), 165 -Völklein, sheaf for adjoint of SL3 Stanley, R., xi, 4, 17 [SV89] , 320 Björner-Garsia- —, Cohen-Macaulay -Yoshiara, groups geometries and codes posets [BGS82] , 297 [SY95] , 272 enumerative combinatorics I [Sta86], 4, -Yoshiara, homotopy equivalences 10, 11, 21, 153, 284, 317, 330 [SY97] , 44, 158, 166, 206, 221, 235, groups acting on posets [Sta82],4,31 251, 254, 294 Stanley-Reisner ring of a poset, 284 Solomon, L., 215 star Burnside algebra [Sol67] , 182 closed — St(σ)ofasimplex,35 -Tits theorem [Sol69] , 134, 136, 214, 301 open — St(σ)ofasimplex,36 Solomon-Tits argument, 134, 135, 136, 189, Steinberg, R., 41, 214 193, 214, 276, 283, 291, 298, 301, 305 Steinberg complex, 216 Solomon-Tits Theorem, 134, 214, 301, 301, Steinberg module, 178, 197, 202, 214 312 extended —, 224 Solomon, R., xii generalized —, 216, see also generalized Cameron- — -Turull, subgroup chains in Steinberg module symmetric groups [CST89],22 Steiner system S(5, 8, 24) for M24,97 Gorenstein-Lyons- —, second effort strong deformation retraction, 110 CFSG, see also GLS strongly p-embedded subgroup, 286 solvable group, 188 almost —, 286 Sp2(2) (projective line for —), 54 Stroth, G. Sp4(2) Ronan- —, minimal parabolic geometries parabolics, 69, 70, 79, 125 [RS84] , 86, 88, 100, 222, 223, 286, 295 362 INDEX stubborn subgroups, 250 -Yagita, odd cohomology of sporadics subdivision Sd(−) (barycentric —) [TY96] , 256 of a complex, 32 Th of a poset, 34 2-local geometry, 253, 256 partial —, 59, 131 Thévenaz, J., xi, xii, 4, 161, 163, 164, 179, subgroup 184, 185, 193, 221, 273, 300, 328 complex, 21 Bouc- —, rank ≥ 2 elementary poset decomposition, 250 [BT08] , 300 lattice L(−) of a group, 13 Brown- —, generalizing third Sylow poset, 13 theorem [BT88],184, 186, 187 super-type (normalizer-sharp —), 252, see Burnside ring idempotents [Thé86], also normalizer-sharp super-type 184, 187 Surowski, D., 181, 202 equivariant K-theory and Alperin character proof of Brown’s Theorem Conjecture [Thé93] , 331 [Sur85] , 181 Kratzer- —, homotopy type of lattice suspension, 260 and subgroup poset [KT85] , 127, 141, Suz, see also Suzuki sporadic group 151, 152, 189, 192, 262, 300, 301 Suzuki, M., 286 Kratzer- —, Möbius function and subgroup lattice book [Suz56], 15 Burnside ring [KT84] , 183, 188, 300 Suzuki sporadic group Suz, 294 Lehrer- —, Alperin Conjecture for Buekenhout geometry, 294, 295 reductive groups [LT92] , 331 involution geometry, 325 locally determined functions [Thé92a], 2-local geometry, 254, 254, 293, 296 331 2 odd on conjecture of Webb [Thé92b] , 115 Suzuki twisted Lie type groups B2(2 ), 270, 286 permutation representations from Swenson, D. complexes [Thé87] , 127, 181, 182, Steinberg complex [Swe09] , 216 186, 187, 197, 207, 208, 219–221, 235 top homology for solvable [Thé85] , 300, Sylow 301 p-subgroup, 15 -Webb, homotopy equivalences for group intersections (poset or complex of), 162 posets [TW91], 2, 138–141, 148, 150, Theorem, 15 152–154, 156, 157, 166, 254 Homological — (Brown), 3 Thompson, J., 263, 265 Syl (G), set of Sylow p-subgroups of G,15 p defect groups are Sylow symmetric intersections [Tho67] , 162 group, 13, see also S n N-groups [Tho68], 263 Symonds, P., 328 Thompson sporadic group, see also Th Bredon cohomology of subgroup TI-set, 285 complexes [Sym05] , 244 tilde geometries, 86, see also geometry, orbit space |S (G)|/G is contractible p tilde — [Sym98] , 115 Timmesfeld, F., xi relative Webb complex [Sym08] , 216, abstract root subgroups book [Tim01], 235 86 symplectic Tits geometries and parabolic systems basis, 54 [Tim83],86 decomposition, 54 Tits, J., xi, 43, 59–61, 71, 72, 75, 79, 81, 82, form (skew-symmetric), 52 290–292, 296, 328 group, 52 affine buildings [Tit86] , 82, 88, 92, 292 odd Sz(2 ), 286, see also Suzuki twisted Lie buildings book [Tit74] , 43, 58, 59, 70, type groups 75, 77, 80, 81, 135, 291 Kantor-Liebler- —, affine buildings Tao, J., xii [KLT87] , 294 Tate cohomology, 232, see also cohomology, local approach to buildings [Tit81] , 19, Tate 43, 59, 75, 79, 82, 83, 88, 92, 291 tetrad (of Steiner system S(5, 8, 24)), 98 Ronan- —, building buildings [RT87], Tezuka, M. 82, 293 Milgram- —, F3-cohomology of M12 Solomon- — theorem [Sol69] , 134 [MT95] , 256 twin buildings [Tit92],82 INDEX 363

-Weiss, Moufang polygons [TW02],81 as obstacle to Quillen Conjecture, 272 Tits building, 66, see also building universal Tits geometries, 79, see also geometry of cover of a space, 92 type M embedding (of a point-line geometry), tomDieck, T. 321 transformation groups and representation untwisted group, 62 theory [tD79] , 181, 182 upward-closed subset of a poset, 153 torus as quotient of affine apartment, 272 Völklein, H. split — (Cartan subgroup), 63 1-cohomology of adjoint [Völ89a] , 322 tracks (options in reading this book), 2 geometry of adjoint modules [Völ89b], triangulation (of a space by a complex), 25 320 trio (of Steiner system S(5, 8, 24)), 98 Smith- —, sheaf for adjoint of SL3 triple cover, 86, 324 [SV89] , 320 triples geometry for S , 87, see also S 5 5 Vague Sporadic Principle, 44 trivial intersection set, 285 Venkov, B. truncation (of a diagram geometry), 86 Quillen- — theorem, 304 Turull, A. vertex-decomposable, 284 Cameron-Solomon- —, subgroup chains virtual in symmetric groups [CST89],22 cohomological dimension (finite —), 193 twin buildings, 82 module, 174 twisted group, 62, see also Lie type, twisted projective module, 200 2-local Vogtmann, K., 150 geometry, 85, see also geometry, 2-local Stiefel complex for orthogonal group — [Vog82] , 302 2S,powersetofS,11 type -preserving action, see also action, Wachs, M., xi, 306 type-preserving Björner- —, lexicographic shellability in a simplicial complex, 83 [BW83a] , 305 Lie —, see also Lie type Björner- —, nonpure shelling I [BW96] M,geometryof—,79,see also geometry [BW97] , 305 of type M Shareshian- —, Quillen complex of of quadratic form (plus or minus), 52 symmetric group [SW09] , 292 Waldecker, R., xii Un(q), 52, see also unitary group Walker, J., xi, 4, 146 U4(3), 293 Björner- —, complementation formula involution geometry, 325 for posets [BW83b] , 189, 301 2-local geometry, 88, 92, 95, 158, 218, homotopy type and Euler characteristic 253, 272, 294, 296, 304, 325 of posets [Wal81b] , 17, 141, 142, 144, U6(2), 93 160 C˜2-geometry for —, 293, 293, 325 thesis (MIT, 1981) [Wal81a] , 146 polar space, 93 weak (homotopy) equivalence, 176, see also Umland, K., xi, xii, 256 equivalence, weak — Smith- —, stability via suborbit Webb, P., xi, xii, 3–5, 156, 165, 197, 202, diagrams [SU96] , 256 206, 244, 310 underlying topological space of a complex, guide to Mackey functors [Web00], 255 24, see also geometric realization local method in cohomology [Web87a], unipotent 115, 127, 197, 207, 212, 225, 229–234, full — group, 63 241, 242 radical (of parabolic subgroup), 65 Segev- —, extensions of posets [SW94], representations, 313 224 uniqueness proofs via simple connectivity, split exact sequence of Mackey functors 295 [Web91] , 115, 216, 225, 231–235, 242, Uniqueness Case in CFSG, 286 243 unitary subgroup complexes (survey) [Web87b], form (conjugate-symmetric), 52 4, 16, 40, 44, 115, 210, 212, 213, 217, group, 52 219, 231, 233 364 INDEX

Thévenaz- —, homotopy equivalences for index, maximal — (in bilinear form), 53 group posets [TW91], 2, 138–141, 148, Witzel, S., 213 150, 152–154, 156, 157, 166, 254 Woodroofe, R. Webb’s (Cohomology) Decomposition EL-labeling of subgroup lattice [Woo08] Theorem, 230 , 306 Webb’s Projectivity Theorem, 207 Wylie, S. Webb’s Sharpness Theorem, 242 Hilton- —, homology text [HW60],24 Wedderburn decomposition, 182 Weide, K., xii Yagita, N. Weidner, M. Tezuka- —, odd cohomology of sporadics -Welker, poset of π-power index [TY96] , 256 subgroups [WW97] , 279 Yalcin, E. -Welker, poset of p-power index Pakianathan- —, commuting and subgroups [WW93] , 279 noncommuting complexes [PY01], weight 163 fundamental —, 315 Yamaki, H. Iiyori- —, Frobenius conjecture [IY91], highest — module theory, 311 187 minimal —, 320 Yoshiara, S., xii, 100, 121 minuscule —, 320 codes and embeddings of geometries Weil, A., 161 [Yos90] , 325 Weiss, R., 291 geometries for J and ON [Yos89] , 100 buildings book [Wei03],59 3 radical subgroups for sporadics Tits- —, Moufang polygons [TW02],81 [Yos05b], 121, 332 Welker, V., xi, 306 minor correction [Yos06], 332 conjugacy class poset in solvable radical subgroups (odd) for sporadics [Wel92] , 328 [Yos05a] , 332 decompositions of matroids [Wel95a], Ryba-Smith- —, projectives from 279 sporadic geometries [RSY90] , 44, 82, equivariant homotopy of posets 126, 132, 133, 158, 165, 179, 204, 213, [Wel95b] , 301, 328 217, 218, 221, 224, 234, 235, 250, 253 intervals in solvable groups [Wel94] , 189 Smith- —, groups geometries and codes Pulkus- —, homotopy type of S for p [SY95] , 272 solvable [PW00], 300 Smith- —, homotopy equivalences Weidner- —, poset of π-power index [SY97] , 44, 158, 166, 206, 221, 235, subgroups [WW97] , 279 251, 254, 294 Weidner- —, poset of p-power index Yoshida, T., 224 subgroups [WW93] , 279 Burnside idempotents and Dress Wells, A., 322 induction [Yos83] , 184 Wester, M. Yuzvinsky, S. Kantor-Meixner —, 3-adic buildings Cohen-Macaulay rings of sections [KMW90] , 294 [Yuz87] , 308 Köhler-Meixner- —, affine building of type A2 [KMW84] , 293 Z(−), center of group, 14 Weyl group Zi(K; R), cycle group, 172 affine —, 81, see also affine Weyl group Zemlin, R., 187 of Lie type group, 62 zigzag (of equivalences), 128 Whitehead theorem, 282, 296 Zilber, J. Wilkerson, C., 5 Eilenberg- — product homology, 278 Benson- —, simple groups and Dickson Zp(−), 153, see also Benson poset invariants [BW95] , 223, 229, 236, 256 Wilson, R. Atlas, see also Atlas Modular Atlas, see also Modular Atlas simple groups book [Wil09], 40, 41, 42, 45, 52, 53, 60, 63, 69, 74, 93, 97, 97, 98, 222, 224, 234, 235, 249, 270 Witt —’s Lemma, 53 This book is intended as an overview of a research area that combines geometries for groups (such as Tits buildings and generalizations), topological aspects of simplicial complexes from p -subgroups of a group (in the spirit of Brown, Quillen, and Webb), and combinatorics of partially ordered sets. The material is intended to serve as an advanced graduate-level text and partly as a general reference on the research area. The treatment offers optional tracks for the reader interested in buildings, geometries for sporadic simple groups, and G -equivariant equivalences and Photo by Judith L. Baxter homology for subgroup complexes.

For additional information and updates on this book, visit AMS on the Web www.ams.org/bookpages/surv-179 www.ams.org

SURV/179