Jordan Decomposition for the Alperin–Mckay Conjecture

Total Page:16

File Type:pdf, Size:1020Kb

Jordan Decomposition for the Alperin–Mckay Conjecture Bergische Universitat¨ Wuppertal Jordan Decomposition for the Alperin{McKay Conjecture Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften im Fachbereich 4 der Bergischen Universit¨atWuppertal vorgelegt von Lucas Ruhstorfer The PhD thesis can be quoted as follows: urn:nbn:de:hbz:468-20200602-122838-0 [http://nbn-resolving.de/urn/resolver.pl?urn=urn%3Anbn%3Ade%3Ahbz%3A468-20200602-122838-0] DOI: 10.25926/pxey-hd44 [https://doi.org/10.25926/pxey-hd44] Contents 1 Representation theory 13 1.1 Modular representation theory . 13 1.2 Module categories . 14 1.3 The Brauer functor . 15 1.4 Brauer pairs and the Brauer category . 17 1.5 Morita equivalences and splendid Rickard equivalences . 19 1.6 First properties of splendid complexes . 21 1.7 Brauer categories and splendid Rickard equivalences . 23 1.8 Properties of splendid Rickard equivalences . 25 1.9 Lifting Rickard equivalences . 26 1.10 Descent of Rickard equivalences . 28 1.11 Morita equivalences and Clifford theory of characters . 30 1.12 Rickard equivalences for the normalizer . 31 1.13 The Brauer functor and Clifford theory . 33 1.14 The Harris–Kn¨orrcorrespondence . 36 1.15 Splendid Rickard equivalences and Clifford theory . 38 2 Deligne{Lusztig theory and disconnected reductive groups 41 2.1 Disconnected reductive algebraic groups . 41 2.2 `-adic cohomology of Deligne{Lusztig varieties . 42 2.3 Properties of Deligne{Lusztig varieties . 43 2.4 Godement resolutions . 47 2.5 Isogenies . 47 2.6 Duality for connected reductive groups . 48 2.7 Levi subgroups, isogenies and duality . 50 2.8 Rational Lusztig series for connected reductive groups . 52 2.9 Lusztig series for disconnected reductive groups . 54 2.10 Lusztig series and Brauer morphism . 56 2.11 Regular embedding and Lusztig series . 57 2.12 The Bonnaf´e{Dat{RouquierMorita equivalence . 58 3 3 On the Bonnaf´e,Dat and Rouquier Morita equivalence 62 3.1 A remark on Clifford theory . 62 3.2 Steinberg relation . 64 3.3 Notation . 65 3.4 Classifying semisimple conjugacy classes . 66 3.5 Computations in the Weyl group . 70 3.6 Representation theory . 74 3.7 Proof of Morita equivalence . 78 4 Equivariant Morita equivalence and local equivalences 81 4.1 Automorphisms of simple groups of Lie type . 81 4.2 Equivariance of Deligne{Lusztig induction . 83 4.3 Automorphisms and stabilizers of idempotents . 85 4.4 Generalizations to disconnected reductive groups . 89 4.5 Independence of Godement resolution . 91 4.6 Comparing Rickard and Morita equivalences . 93 4.7 Morita equivalences for local subgroups . 94 5 Extending the Morita equivalence 96 5.1 Disconnected reductive groups and Morita equivalences . 96 5.2 Local equivalences . 97 5.3 Restriction of scalars for Deligne{Lusztig varieties . 99 5.4 Duality in the context of restriction of scalars . 101 5.5 Comparing Weyl groups . 103 5.6 Restriction of scalars and Lusztig series . 106 5.7 Restriction of scalars and Jordan decomposition of characters . 108 5.8 Reduction to isolated series . 110 5.9 Jordan decomposition for local subgroups . 113 6 Application to the inductive Alperin{McKay condition 117 6.1 The inductive Alperin{McKay condition . 117 6.2 A criterion for block isomorphic character triples . 121 6.3 A condition on the stabilizer and the inductive conditions . 122 6.4 Extension of characters . 125 6.5 The case D4 ............................ 126 6.6 A first reduction of the iAM-condition . 128 6.7 Quasi-isolated blocks . 133 6.8 Normal subgroups and character triple bijections . 137 6.9 Application of character triples . 138 6.10 Jordan decomposition for the Alperin{McKay conjecture . 141 4 Acknowledgement First and foremost I would like to express my gratitude to my supervisor Britta Sp¨ath. Her guidance and constant support during the course of my PhD have been invaluable to me. I thank her for suggesting this interesting topic which I extremely enjoyed working with. I would like to thank Marc Cabanes for reading through this thesis and for many interesting discussions. I am deeply indebted to Gunter Malle for his suggestions and thoroughly reading some parts of my thesis. Moreover, I would like to thank Gabriel Navarro for helping me provide an explicit counterexample. I am grateful to C´edricBonnaf´eand Rapha¨elRouquier for insightful discussions on quasi-isolated elements and helpful suggestions. I thank Radha Kessar and Markus Linckelmann for answering my technical questions on Rickard equivalences at the MSRI. My thanks goes to all the people of the algebra department with whom I travelled along parts of this journey. Especially, I would like to thank Andreas B¨achle for being an excellent colleague and friend. I would like to thank Niamh Farrell for being an awesome person and collaborator. And finally, Julian Brough for countless conversations and for always being supportive. I would like to thank my family who have provided support and moral assistance throughout many years. Finally, Annika for her encouragement during the ups and downs of my thesis. This material is partly based upon work supported by the NSF under Grant DMS-1440140 while the author was in residence at the MSRI, Berkeley CA. The research was conducted in the framework of the research training group GRK 2240: Algebro-geometric Methods in Algebra, Arithmetic and Topol- ogy, which is funded by the DFG. 5 Introduction The Global-Local Conjectures The representation theory of finite groups is a field of mathematics which was introduced to study finite groups by means of linear algebra. This theory is concerned with the study of group homomorphisms X : G ! GLn(K) from a finite group G to a general linear group GLn(K) over a field K. From the very beginning of this topic, it became apparent that many properties of the group itself are encapsulated in its representations and there are theorems in group theory which can only be proved by using representation-theoretic methods. Motivated by the work of Brauer, the so-called local-global conjectures became an important area of research. These conjectures predict that for a prime number ` the information about a finite group G (global information) should relate to properties of `-local subgroups of G, that is, normalizers or centralizers of non-trivial `-subgroups of G (local information). One of the most simple yet extremely difficult conjectures is the so-called McKay conjecture, see [Mal17, Section 2]. Let ` be a prime and K a finite field extension of Q` large enough for all finite groups considered. Denote by Irr(G) the set of isomorphism classes of irreducible K-representations and by Irr`0 (G) the subset corresponding to irreducible representations X : G ! GLn(K) with ` - n. Conjecture (McKay). Let G be a finite group and P a Sylow `-subgroup of G. Then j Irr`0 (G)j = j Irr`0 (NG(P ))j. Later, Alperin [Alp76] refined this conjecture by taking into account the representation theory over a field of positive characteristic `. Denote by O the ring of integers of K over Z` and by k its residue field. For an `-block B of kG let Irr0(G; B) be the set of isomorphism classes of 6 height zero representations of kB, i.e., the set of irreducible representations X : G ! GLn(K) associated to the block B such that n` = jG : Dj`, where D denotes a defect group of B. Conjecture (Alperin{McKay). Let G be a finite group and b an `-block of G and B its Brauer correspondent in NG(D). Then j Irr0(G; b)j = j Irr0(NG(D);B)j: Both of these conjectures have been reduced (by Isaacs{Malle{Navarro, respectively Sp¨ath,see [IMN07, Theorem B] and [Sp¨a13,Theorem C]) to the verification of certain stronger versions of the same conjecture for finite quasi-simple groups. These stronger versions are usually referred to as the inductive conditions. This approach has turned out to be very fruitful in recent years. In their landmark paper [MS16], using this approach Malle–Sp¨athwere able to prove the McKay conjecture for the prime ` = 2 (proving the original conjecture of McKay). According to the classification of finite simple groups, many finite simple groups are groups of Lie type. These are finite groups which arise as fixed points GF of a simple algebraic group G under a Frobenius endomorphism F : G ! G. In this thesis, we focus on their representation theory and establish a new approach to the inductive Alperin{McKay condition for those groups. Representation theory of groups of Lie type In characteristic zero Deligne and Lusztig have constructed representations by means of `-adic cohomology groups of the so-called Deligne{Lusztig va- rieties. Let G be a connected reductive algebraic group with Frobenius F : G ! G and let L be an F -stable Levi subgroup of G contained in a parabolic subgroup P with Levi decomposition P = LnU. Then the variety G −1 YU = fgU 2 G=U j g F (g) 2 UF (U)g has a left GF - and a right LF -action. Recall that O denotes the ring of integers over Z` of a finite field extension K of Q`. The `-adic cohomology i G G groups Hc(YU; O) of the Deligne{Lusztig variety YU provide us with a map G F F X i i G RL⊆P : G0(OL ) ! G0(OG ); [M] 7! (−1) [Hc(YU; O) ⊗OLF M] i 7 on the respective Grothendieck groups, see Section 2.2. Let G∗ be the dual group of G with dual Frobenius F ∗ : G∗ ! G∗, see Section 2.6. Deligne{ Lusztig constructed a decomposition of the irreducible representations into rational Lusztig series a Irr(GF ) = E(GF ; s); (s) where (s) runs over the set of (G∗)F ∗ -conjugacy classes of semisimple el- ements of (G∗)F ∗ .
Recommended publications
  • The Thompson-Lyons Transfer Lemma for Fusion Systems
    Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 The Thompson-Lyons transfer lemma for fusion systems Justin Lynd Abstract A generalization of the Thompson transfer lemma and its various extensions, most recently due to Lyons, is proven in the context of saturated fusion systems. A strengthening of Alperin’s fusion theorem is also given in this setting, following Alperin’s own “up and down” fusion. The classical Thompson transfer lemma appeared as Lemma 5.38 in [12]; for a 2-perfect group G with S ∈ Syl2(G), it says that if T is a maximal subgroup of S and u is an involution in S − T , then the element u has a G-conjugate in T . Thompson’s lemma has since been generalized in a number of ways. Harada showed [9, Lemma 16] that the same conclusion holds provided one takes u to be of least order in S − T . Unpublished notes of Goldschmidt [6] extended this to show that one may find an G-conjugate of u in T which is extremal under the same conditions. An element t ∈ S is said to be extremal in S with respect to G if CS(t) is a Sylow subgroup of CG(t). In other words, hti is fully FS(G)-centralized, where FS(G) is the fusion system of G. Later, Thompson’s result and its extensions were generalized to all primes via an argument of Lyons [7, Proposition 15.15]. We prove here a common generalization of Lyons’ extension and his similar transfer result [8, Chapter 2, Lemma 3.1] (which relaxes the requirement that S/T be cyclic) in the context of saturated fusion systems.
    [Show full text]
  • Daniel Gorenstein 1923-1992
    Daniel Gorenstein 1923-1992 A Biographical Memoir by Michael Aschbacher ©2016 National Academy of Sciences. Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. DANIEL GORENSTEIN January 3, 1923–August 26, 1992 Elected to the NAS, 1987 Daniel Gorenstein was one of the most influential figures in mathematics during the last few decades of the 20th century. In particular, he was a primary architect of the classification of the finite simple groups. During his career Gorenstein received many of the honors that the mathematical community reserves for its highest achievers. He was awarded the Steele Prize for mathemat- New Jersey University of Rutgers, The State of ical exposition by the American Mathematical Society in 1989; he delivered the plenary address at the International Congress of Mathematicians in Helsinki, Finland, in 1978; Photograph courtesy of of Photograph courtesy and he was the Colloquium Lecturer for the American Mathematical Society in 1984. He was also a member of the National Academy of Sciences and of the American By Michael Aschbacher Academy of Arts and Sciences. Gorenstein was the Jacqueline B. Lewis Professor of Mathematics at Rutgers University and the founding director of its Center for Discrete Mathematics and Theoretical Computer Science. He served as chairman of the universi- ty’s mathematics department from 1975 to 1982, and together with his predecessor, Ken Wolfson, he oversaw a dramatic improvement in the quality of mathematics at Rutgers. Born and raised in Boston, Gorenstein attended the Boston Latin School and went on to receive an A.B.
    [Show full text]
  • The Classification of the Finite Simple
    http://dx.doi.org/10.1090/surv/040.4 Selected Titles in This Series 68 David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, 1999 67 A. Borel and N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, Second Edition, 1999 66 Yu. Ilyashenko and Weigu Li, Nonlocal bifurcations, 1999 65 Carl Faith, Rings and things and a fine array of twentieth century associative algebra, 1999 64 Rene A. Carmona and Boris Rozovskii, Editors, Stochastic partial differential equations: Six perspectives, 1999 63 Mark Hovey, Model categories, 1999 62 Vladimir I. Bogachev, Gaussian measures, 1998 61 W. Norrie Everitt and Lawrence Markus, Boundary value problems and symplectic algebra for ordinary differential and quasi-differential operators, 1999 60 Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace C*-algebras, 1998 59 Paul Howard and Jean E. Rubin, Consequences of the axiom of choice, 1998 58 Pavel I. Etingof, Igor B. Frenkel, and Alexander A. Kirillov, Jr., Lectures on representation theory and Knizhnik-Zamolodchikov equations, 1998 57 Marc Levine, Mixed motives, 1998 56 Leonid I. Korogodski and Yan S. Soibelman, Algebras of functions on quantum groups: Part I, 1998 55 J. Scott Carter and Masahico Saito, Knotted surfaces and their diagrams, 1998 54 Casper Goffman, Togo Nishiura, and Daniel Waterman, Homeomorphisms in analysis, 1997 53 Andreas Kriegl and Peter W. Michor, The convenient setting of global analysis, 1997 52 V. A. Kozlov, V. G. Maz'ya, and J. Rossmann, Elliptic boundary value problems in domains with point singularities, 1997 51 Jan Maly and William P. Ziemer, Fine regularity of solutions of elliptic partial differential equations, 1997 50 Jon Aaronson, An introduction to infinite ergodic theory, 1997 49 R.
    [Show full text]
  • Prize Is Awarded Every Three Years at the Joint Mathematics Meetings
    AMERICAN MATHEMATICAL SOCIETY LEVI L. CONANT PRIZE This prize was established in 2000 in honor of Levi L. Conant to recognize the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS in the preceding fi ve years. Levi L. Conant (1857–1916) was a math- ematician who taught at Dakota School of Mines for three years and at Worcester Polytechnic Institute for twenty-fi ve years. His will included a bequest to the AMS effective upon his wife’s death, which occurred sixty years after his own demise. Citation Persi Diaconis The Levi L. Conant Prize for 2012 is awarded to Persi Diaconis for his article, “The Markov chain Monte Carlo revolution” (Bulletin Amer. Math. Soc. 46 (2009), no. 2, 179–205). This wonderful article is a lively and engaging overview of modern methods in probability and statistics, and their applications. It opens with a fascinating real- life example: a prison psychologist turns up at Stanford University with encoded messages written by prisoners, and Marc Coram uses the Metropolis algorithm to decrypt them. From there, the article gets even more compelling! After a highly accessible description of Markov chains from fi rst principles, Diaconis colorfully illustrates many of the applications and venues of these ideas. Along the way, he points to some very interesting mathematics and some fascinating open questions, especially about the running time in concrete situ- ations of the Metropolis algorithm, which is a specifi c Monte Carlo method for constructing Markov chains. The article also highlights the use of spectral methods to deduce estimates for the length of the chain needed to achieve mixing.
    [Show full text]
  • Representations of Finite Groups and Applications
    P. I. C. M. – 2018 Rio de Janeiro, Vol. 2 (241–266) REPRESENTATIONS OF FINITE GROUPS AND APPLICATIONS P H T Abstract We discuss some basic problems in representation theory of finite groups, and cur- rent approaches and recent progress on some of these problems. We will also outline some applications of these and other results in representation theory of finite groups to various problems in group theory, number theory, and algebraic geometry. 1 Introduction Let G be a finite group and F be a field. A (finite-dimensional) representation of G over F is a group homomorphism Φ: G GL(V ) for some finite-dimensional vector space ! V over F. Such a representation Φ is called irreducible if 0 and V are the only Φ(G)- f g invariant subspaces of V . Representation theory of finite groups started with the letter correspondence between Richard Dedekind and Ferdinand Georg Frobenius in April (12th, 17th, 26th) 1896. In the same year, Frobenius constructed the character table of PSL2(p), p any prime. Later on, the foundations of the complex representation theory (i.e. when F = C), were developed by Frobenius, Dedekind, Burnside, Schur, Noether, and others. Foundations of the modu- lar representation theory (that is, when p = char(F) > 0 and p divides G ) were (almost j j singlehandedly) laid out by Richard Brauer, started in 1935 and continued over the next few decades. A natural question arises: in a more-than-century-old theory such as the representa- tion theory of finite groups, what could still remain to be studied? By the Jordan–Hölder theorem, irreducible representations are the building blocks of any finite-dimensional rep- resentation of any finite group G.
    [Show full text]
  • A Survey: Bob Griess's Work on Simple Groups and Their
    Bulletin of the Institute of Mathematics Academia Sinica (New Series) Vol. 13 (2018), No. 4, pp. 365-382 DOI: 10.21915/BIMAS.2018401 A SURVEY: BOB GRIESS’S WORK ON SIMPLE GROUPS AND THEIR CLASSIFICATION STEPHEN D. SMITH Department of Mathematics (m/c 249), University of Illinois at Chicago, 851 S. Morgan, Chicago IL 60607-7045. E-mail: [email protected] Abstract This is a brief survey of the research accomplishments of Bob Griess, focusing on the work primarily related to simple groups and their classification. It does not attempt to also cover Bob’s many contributions to the theory of vertex operator algebras. (This is only because I am unqualified to survey that VOA material.) For background references on simple groups and their classification, I’ll mainly use the “outline” book [1] Over half of Bob Griess’s 85 papers on MathSciNet are more or less directly concerned with simple groups. Obviously I can only briefly describe the contents of so much work. (And I have left his work on vertex algebras etc to articles in this volume by more expert authors.) Background: Quasisimple components and the list of simple groups We first review some standard material from the early part of [1, Sec 0.3]. (More experienced readers can skip ahead to the subsequent subsection on the list of simple groups.) Received September 12, 2016. AMS Subject Classification: 20D05, 20D06, 20D08, 20E32, 20E42, 20J06. Key words and phrases: Simple groups, classification, Schur multiplier, standard type, Monster, code loops, exceptional Lie groups. 365 366 STEPHEN D. SMITH [December Components and the generalized Fitting subgroup The study of (nonabelian) simple groups leads naturally to consideration of groups L which are: quasisimple:namely,L/Z(L) is nonabelian simple; with L =[L, L].
    [Show full text]
  • Notices of the American Mathematical Society ABCD Springer.Com
    ISSN 0002-9920 Notices of the American Mathematical Society ABCD springer.com Visit Springer at the of the American Mathematical Society 2010 Joint Mathematics December 2009 Volume 56, Number 11 Remembering John Stallings Meeting! page 1410 The Quest for Universal Spaces in Dimension Theory page 1418 A Trio of Institutes page 1426 7 Stop by the Springer booths and browse over 200 print books and over 1,000 ebooks! Our new touch-screen technology lets you browse titles with a single touch. It not only lets you view an entire book online, it also lets you order it as well. It’s as easy as 1-2-3. Volume 56, Number 11, Pages 1401–1520, December 2009 7 Sign up for 6 weeks free trial access to any of our over 100 journals, and enter to win a Kindle! 7 Find out about our new, revolutionary LaTeX product. Curious? Stop by to find out more. 2010 JMM 014494x Adrien-Marie Legendre and Joseph Fourier (see page 1455) Trim: 8.25" x 10.75" 120 pages on 40 lb Velocity • Spine: 1/8" • Print Cover on 9pt Carolina ,!4%8 ,!4%8 ,!4%8 AMERICAN MATHEMATICAL SOCIETY For the Avid Reader 1001 Problems in Mathematics under the Classical Number Theory Microscope Jean-Marie De Koninck, Université Notes on Cognitive Aspects of Laval, Quebec, QC, Canada, and Mathematical Practice Armel Mercier, Université du Québec à Chicoutimi, QC, Canada Alexandre V. Borovik, University of Manchester, United Kingdom 2007; 336 pages; Hardcover; ISBN: 978-0- 2010; approximately 331 pages; Hardcover; ISBN: 8218-4224-9; List US$49; AMS members 978-0-8218-4761-9; List US$59; AMS members US$47; Order US$39; Order code PINT code MBK/71 Bourbaki Making TEXTBOOK A Secret Society of Mathematics Mathematicians Come to Life Maurice Mashaal, Pour la Science, Paris, France A Guide for Teachers and Students 2006; 168 pages; Softcover; ISBN: 978-0- O.
    [Show full text]
  • Collaborative Mathematics and the 'Uninvention' of a 1000-Page Proof
    436547SSS Social Studies of Science 42(2) 185 –213 A group theory of group © The Author(s) 2012 Reprints and permission: sagepub. theory: Collaborative co.uk/journalsPermissions.nav DOI: 10.1177/0306312712436547 mathematics and the sss.sagepub.com ‘uninvention’ of a 1000-page proof Alma Steingart Program in History, Anthropology, and Science, Technology, and Society, MIT, Cambridge, MA, USA Abstract Over a period of more than 30 years, more than 100 mathematicians worked on a project to classify mathematical objects known as finite simple groups. The Classification, when officially declared completed in 1981, ranged between 300 and 500 articles and ran somewhere between 5,000 and 10,000 journal pages. Mathematicians have hailed the project as one of the greatest mathematical achievements of the 20th century, and it surpasses, both in scale and scope, any other mathematical proof of the 20th century. The history of the Classification points to the importance of face-to-face interaction and close teaching relationships in the production and transformation of theoretical knowledge. The techniques and methods that governed much of the work in finite simple group theory circulated via personal, often informal, communication, rather than in published proofs. Consequently, the printed proofs that would constitute the Classification Theorem functioned as a sort of shorthand for and formalization of proofs that had already been established during personal interactions among mathematicians. The proof of the Classification was at once both a material artifact and a crystallization of one community’s shared practices, values, histories, and expertise. However, beginning in the 1980s, the original proof of the Classification faced the threat of ‘uninvention’.
    [Show full text]
  • The Classification of Finite Simple Groups: a Progress Report
    The Classification of Finite Simple Groups: A Progress Report Ronald Solomon Communicated by Alexander Diaz-Lopez and Harriet Pollatsek Danny Gorenstein dubbed the classification of finite simple groups “The Thirty Years’ War.” Ronald Solomon is professor emeritus at the Ohio State University. His email address is [email protected]. For permission to reprint this article, please contact: [email protected]. DOI: http://dx.doi.org/10.1090/noti1689 646 Notices of the AMS Volume 65, Number 6 History of the Project is one significant change worthy of note. (A detailed In 1981 the monumental project to classify all of the fi- overview of the original Classification Project may be nite simple groups appeared to be nearing its conclusion. found in [ALSS].) Danny Gorenstein had dubbed the project the “Thirty We anticipate that there will be twelve volumes in the Years’ War,” dating its inception from an address by complete series [GLS], which we hope to complete by Richard Brauer at the International Congress of Mathe- 2023. I will report on the current state of our project in maticians in 1954. He and Richard Lyons agreed that it this article. would be desirable to write a series of volumes that would contain the complete proof of this Classification Theorem, Introduction to Classification modulo a short and clearly specified list of background re- A common theme in mathematics is to study a partic- sults. As the existing proof was scattered over hundreds ular mathematical structure and attempt to classify all of journal articles, some of which cited other articles instances of it, e.g., regular polyhedra, distance transitive that were never published, there was a consensus that graphs, and 3-manifolds, among others.
    [Show full text]
  • Walter Feit (1930–2004)
    Walter Feit (1930–2004) Leonard Scott, Ronald Solomon, John Thompson, John Walter, and Efim Zelmanov alter Feit died on July 29, 2004, at “Walter Feit was born in Vienna, Austria, in 1930. age seventy-three after a long ill- In August of 1939 his parents saved his life by ness. He had been on the faculty at placing him on the last train (KinderTransport) Yale for forty years, and the follow- allowed to carry Jewish children out of Austria. He Wing is taken from his obituary at the arrived in England just as the British government Yale website. It summarizes Walter’s achievements was evacuating all children from London. After and stature, and provides touching detail on Wal- being relocated a few times, he settled in a refugee ter’s childhood during the Second World War. hostel in Oxford. In 1943 he won a scholarship to “Professor Feit’s 1963 paper with John G.Thomp- an Oxford technical high school. His teachers were son, ‘Solvability of groups of odd order’, filled an very encouraging, and he recorded that it was at this entire issue of the Pacific Journal of Mathematics time that he became ‘passionately interested in and is widely regarded as the most influential paper mathematics’. ever written on finite group theory. It energized the “In 1946 Walter moved to the United States to field, providing both inspiration and technical tools stay with an aunt and uncle. In a letter recovered for the research that finally culminated in the from the time of his arrival in New York, he complete classification of simple finite groups.
    [Show full text]
  • A CHARACTERIZATION of the 2-FUSION SYSTEM of L4(Q)
    A CHARACTERIZATION OF THE 2-FUSION SYSTEM OF L4(q) DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Justin Lynd, B.S. Graduate Program in Mathematics The Ohio State University 2012 Dissertation Committee: Dr. Ronald Solomon, Advisor Dr. Matthew Kahle Dr. Jean-Francois Lafont Dr. Richard Lyons c Copyright by Justin Lynd 2012 ABSTRACT We study saturated fusion systems F on a finite 2-group S with involution cen- tralizer having a unique component on a dihedral group and containing the Baumann 2 subgroup of S. Assuming F = O (F), O2(F) = 1, and the centralizer of the com- ponent is a cyclic 2-group, it is shown that F is uniquely determined as the 2-fusion system of L4(q) for some q ≡ 3 (mod 4). This should be viewed as a contribution to a program recently outlined by Aschbacher for the classification of simple fusion systems at the prime 2. The analogous problem in the classification of finite simple groups of component type (the L2(q), A7 standard component problem) was one of the last to be completed, and was ultimately only resolved in an inductive context with heavy machinery. Thanks primarily to the hypothesis concerning the Baumann subgroup and the absence of cores, our arguments by contrast require only 2-fusion analysis and transfer. We prove a generalization of the Thompson transfer lemma in the context of fusion systems, which is applied often. ii To David Reid Dillon iii ACKNOWLEDGMENTS To: Ronald Solomon, for knowing precisely when to push and when to let be, providing continual support, being a careful mentor and constant advocate, sharing his over- whelming breadth of knowledge and insight, and dedicating large amounts time and effort throughout this project (and others prior); I always knew I made the right choice.
    [Show full text]
  • 2006 Conant Prize
    2006 Conant Prize The 2006 Levi L. Conant Prize was awarded at the makes connections with other 112th Annual Meeting of the AMS in San Antonio aspects of group theory so in January 2006. that the subject becomes The Conant Prize is awarded annually to recog- more than just taxonomy. nize an outstanding expository paper published in Thus, he provides a glimpse either the Notices of the AMS or the Bulletin of the into a broad panorama of fi- AMS in the preceding five years. Established in nite group theory. The article 2001, the prize honors the memory of Levi L. Co- gives an unusual insider’s look nant (1857–1916), who was a mathematician at at the process of mathemati- Worcester Polytechnic University. The prize carries cal research, with its false a cash award of US$1,000. starts, insightful conjectures, The Conant Prize is awarded by the AMS Coun- and dogged determination. cil acting on the recommendation of a selection One sees different approaches committee. For the 2006 prize, the members of the go in and out of fashion and selection committee were: Noam D. Elkies, Carl R. sometimes return with re- Ronald M. Solomon Riehm, and M. B. Ruskai (chair). newed vigor. Finally, he ar- Previous recipients of the Conant Prize are: Carl gues convincingly that even if the classification is Pomerance (2001), Elliott Lieb and Jakob Yngvason complete, many avenues remain open for further (2002), Nicholas Katz and Peter Sarnak (2003), investigation. The exposition is enhanced by de- Noam D. Elkies (2004), and Allen Knutson and scriptions of the personalities of the many con- Terence Tao (2005).
    [Show full text]