DOCSLIB.ORG

Graphs Associated with Sporadic Group Geometries, and the Semisimple

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Graphs Associated with Sporadic Group Geometries, and the Semisimple GRAPHS ASSOCIATED WITH SPORADIC GROUP GEOMETRIES, AND THE SEMISIMPLE ELEMENTS OF E8(2) A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 2016 Jamie Steven Phillips School of Mathematics Contents Abstract 10 Declaration 11 Copyright Statement 12 Acknowledgements 13 1 Introduction 14 2 Background Material 19 2.1 General Notation . 19 2.2 Finite Simple Groups and ATLAS Notation . 20 2.2.1 Finite Simple Groups . 20 2.2.2 ATLAS Notation . 21 2.3 p-Groups . 22 2.4 Buildings . 24 2.5 Sporadic Group Geometries . 27 2.5.1 Definitions and Notation . 27 2.5.2 Parabolic Subgroups and 2-Local Geometries . 29 3 Plane-Line Collinearity Graphs 33 3.1 Literature Review . 34 3.1.1 Point-Line Collinearity Graphs . 34 3.1.2 Plane-Line Collinearity Graphs . 38 3.2 Plane-Line Graph for M23 ............................. 40 3.2.1 The Minimal 2-local Geometry . 41 3.2.2 The Graph . 42 3.2.3 The Computer Files . 45 2 3.3 Plane-Line Graph for J4 .............................. 46 3.3.1 The Maximal 2-local Geometry . 47 3.3.2 The Graph . 48 3.3.3 The Computer Files . 52 3.4 Plane-Line Graph for F i22 ............................. 53 3.4.1 The Minimal 2-Local Geometry . 54 3.4.2 The Graph . 55 3.4.3 The Computer Files . 57 3.5 Plane-Line Graph for F i23 ............................. 58 3.5.1 The Minimal 2-Local Geometry . 58 3.5.2 The Graph . 59 3.5.3 The Computer Files . 67 3.6 Plane-Line Graph for He ............................. 68 3.6.1 The Minimal 2-local Geometry . 69 3.6.2 The Graph . 70 3.6.3 The Computer Files . 74 3.7 Plane-Line Graph for Co3 ............................. 75 3.7.1 The Maximal 2-Local Geometry . 76 3.7.2 The Graph . 77 3.7.3 The Computer Files . 86 3.8 Plane-Line Graph for Co2 ............................. 87 3.8.1 The Maximal 2-Local Geometry . 87 3.8.2 The Graph . 88 3.8.3 The Computer Files . 89 3.9 Remaining Cases . 89 4 Graphs Associated with McL 91 4.1 The First Minimal 2-Local Geometry for McL ................. 92 4.1.1 The Graphs . 92 4.2 The Second Minimal 2-Local Geometry for McL ................ 97 4.2.1 The Graphs . 97 4.3 The Third and Fourth Minimal 2-Local Geometries . 101 4.4 Computer Files . 103 3 5 Commuting Graphs for B 104 5.1 Introduction . 104 5.2 Permutation Rank for (B; 2C)........................... 107 5.3 Graph for (B; 2D)................................. 108 6 The Semisimple Elements of E8(2) 114 6.1 Introduction . 114 6.2 Preliminary Results . 121 6.3 Prime Order Elements . 126 6.4 Composite Order Elements . 132 6.4.1 Elements of order 5m ........................... 132 6.4.2 Elements of order 7m ........................... 137 6.4.3 Elements of order 11m ........................... 139 6.4.4 Elements of order 13m ........................... 140 6.4.5 Elements of order 17m ........................... 141 6.4.6 Remaining Cases . 142 6.5 Fixed-Point Spaces and Powering Up Maps . 145 6.5.1 Fixed-Point Spaces . 145 6.5.2 Powering Up Maps . 146 References 148 Word count 33447 4 List of Tables 3.1 The Collapsed Adjacency Matrix for the Plane-Line Collinearity Graph of M23 43 3.2 The Gh-orbits of the Plane-Line Collinearity Graph for M23 .......... 44 3.3 The Plane-Line Distribution in the Collinearity Graph for M23 ........ 45 3.4 The Collapsed Adjacency Matrix for the Plane-Line Collinearity Graph of J4 50 3.5 The Gh-orbits of the Plane-Line Collinearity Graph for J4 ........... 51 3.6 The Collapsed Adjacency Matrix for the Plane-Line Collinearity Graph of F i22 56 3.7 The Gh-orbits of the Plane-Line Collinearity Graph for F i22 .......... 57 3.8 The Gh-orbits of the Plane-Line Collinearity Graph for F i23 .......... 60 3.9 The Gh-orbits of the Plane-Line Collinearity Graph for He .......... 71 3.10 The Collapsed Adjacency Matrix for the Plane-Line Collinearity Graph of He 72 3.11 The Gh-orbits of the Plane-Line Collinearity Graph for Co3 .......... 78 3.12 The Collapsed Adjacency Matrix for the Plane-Line Collinearity Graph of Co3 80 3.13 The Gh-orbits of the Plane-Line Collinearity Graph for Co2 .......... 88 4.1 The Collapsed Adjacency Matrix for a Line-Point Collinearity Graph of McL 94 4.2 The Gl-orbits of a Line-Point Collinearity Graph for McL ........... 94 4.3 The Collapsed Adjacency Matrix for a Line-Plane Collinearity Graph of McL 96 4.4 The Collapsed Adjacency Matrix for a Plane-Line Collinearity Graph of McL 99 5.1 The Class Structure Constants for C(B; 2D).................... 109 5.2 The Location of some XC in the Commuting Involution Graph C(B; 2D)... 113 6.1 The Conjugacy Classes of Semisimple Elements in E8(2) . 117 6.2 Lower Bounds on the Number of Conjugacy Classes in E8(2) . 123 6.3 The Conjugacy Classes of Elements of Order 3 in E8(2) . 126 6.4 The Conjugacy Classes of Elements of Order 5 in E8(2) . 127 6.5 The Conjugacy Classes of Elements of Order 7 in E8(2) . 127 6.6 The Conjugacy Class of Elements of Order 11 in E8(2) . 128 5 6.7 The Conjugacy Classes of Elements of Order 13 in E8(2) . 128 6.8 The Conjugacy Classes of Elements of Order 17 in E8(2) . 129 6.9 The Conjugacy Class of Elements of Order 19 in E8(2) . 130 6.10 The Conjugacy Classes of Elements of Order 31 in E8(2) . 130 6.11 The Conjugacy Classes of Elements of Order 41 in E8(2) . 131 6.12 The Conjugacy Classes of Elements of Order 43 in E8(2) . 131 6.13 The Conjugacy Classes of Elements of Order 73 in E8(2) . 131 6.14 The Conjugacy Classes of Elements of Order 127 in E8(2) . 132 6.15 The Conjugacy Classes of Elements of Orders 151, 241 and 331 in E8(2) . 132 6.16 The Conjugacy Classes of Elements of Order 15 in E8(2) . 133 6.17 The Conjugacy Classes of Elements of Order 35 in E8(2) . 133 6.18 The Conjugacy Classes of Elements of Order 45 in E8(2) . 134 6.19 The Conjugacy Classes of Elements of Order 55 in E8(2) . 134 6.20 The Conjugacy Classes of Elements of Order 65 in E8(2) . 135 6.21 The Conjugacy Classes of Elements of Order 85 in E8(2) . 135 6.22 The Conjugacy Classes of Elements of Order 105 in E8(2) . 135 6.23 The Conjugacy Classes of Elements of Order 155 in E8(2) . 136 6.24 The Conjugacy Classes of Elements of Order 165 in E8(2) . 136 6.25 The Conjugacy Classes of Elements of Order 195 in E8(2) . 136 6.26 The Conjugacy Classes of Elements of Order 255 in E8(2) . 137 6.27 The Conjugacy Classes of Elements of Order 315 in E8(2) . 137 6.28 The Conjugacy Classes of Elements of Order 21 in E8(2) . 138 6.29 The Conjugacy Classes of Elements of Order 91 in E8(2) . 138 6.30 The Conjugacy Classes of Elements of Order 119 in E8(2) . 138 6.31 The Conjugacy Classes of Elements of Order 217 in E8(2) . 139 6.32 The Conjugacy Classes of Elements of Order 511 in E8(2) . 139 6.33 The Conjugacy Classes of Elements of Order 33 in E8(2) . 139 6.34 The Conjugacy Classes of Elements of Order 99 in E8(2) . 140 6.35 The Conjugacy Classes of Elements of Order 39 in E8(2) . 140 6.36 The Conjugacy Classes of Elements of Order 117 in E8(2) . 141 6.37 The Conjugacy Classes of Elements of Order 273 in E8(2) . 141 6.38 The Conjugacy Classes of Elements of Order 51 in E8(2) . 141 6.39 The Conjugacy Classes of Elements of Order 153 in E8(2) . 142 6.40 The Conjugacy Classes of Elements of Order 93 in E8(2) . 142 6 6.41 The Conjugacy Classes of Elements of Order 129 in E8(2) . 143 6.42 The Conjugacy Classes of Elements of Order 219 in E8(2) . 143 6.43 The Conjugacy Classes of Elements of Order 381 in E8(2) . 143 6.44 The Conjugacy Classes of Elements of Order 9 in E8(2) . 144 6.45 The Conjugacy Classes of Elements of Order 63 in E8(2) . 144 6.46 The Conjugacy Classes of Elements of Orders 57 and 171 in E8(2) . 145 7 List of Figures 1.1 A Plane-Line Collinearity Graph for McL .................... 16 2.1 The Finite Projective Plane of Order 2 . 28 2.2 The Maximal 2-local Geometry for J4 ...................... 32 3.1 The Minimal 2-local Geometry for M23 ...................... 41 3.2 A Minimal 2-local Geometry for Alt(7) . 41 3.3 The Plane-Line Collinearity Graph of M23 .................... 42 3.4 The Maximal 2-local Geometry for J4 ...................... 47 3.5 The Plane-Line Collinearity Graph of J4 ..................... 49 3.6 The Minimal 2-local Geometry for F i22 ..................... 54 3.7 The Plane-Line Collinearity Graph of F i22 .................... 56 3.8 The Minimal 2-local Geometry for F i23 ..................... 58 3.9 The Hyperplane-Plane Collinearity Graph for F i23 ..............
Load more

Recommended publications
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • On Some Generation Methods of Finite Simple Groups
    Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography On Some Generation Methods of Finite Simple Groups Ayoub B. M. Basheer Department of Mathematical Sciences, North-West University (Mafikeng), P Bag X2046, Mmabatho 2735, South Africa Groups St Andrews 2017 in Birmingham, School of Mathematics, University of Birmingham, United Kingdom 11th of August 2017 Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Abstract In this talk we consider some methods of generating finite simple groups with the focus on ranks of classes, (p; q; r)-generation and spread (exact) of finite simple groups. We show some examples of results that were established by the author and his supervisor, Professor J. Moori on generations of some finite simple groups. Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Introduction Generation of finite groups by suitable subsets is of great interest and has many applications to groups and their representations. For example, Di Martino and et al. [39] established a useful connection between generation of groups by conjugate elements and the existence of elements representable by almost cyclic matrices. Their motivation was to study irreducible projective representations of the sporadic simple groups. In view of applications, it is often important to exhibit generating pairs of some special kind, such as generators carrying a geometric meaning, generators of some prescribed order, generators that offer an economical presentation of the group.
    [Show full text]
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [Show full text]
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
    [Show full text]
  • Categorical Semantics of Constructive Set Theory
    Categorical semantics of constructive set theory Beim Fachbereich Mathematik der Technischen Universit¨atDarmstadt eingereichte Habilitationsschrift von Benno van den Berg, PhD aus Emmen, die Niederlande 2 Contents 1 Introduction to the thesis 7 1.1 Logic and metamathematics . 7 1.2 Historical intermezzo . 8 1.3 Constructivity . 9 1.4 Constructive set theory . 11 1.5 Algebraic set theory . 15 1.6 Contents . 17 1.7 Warning concerning terminology . 18 1.8 Acknowledgements . 19 2 A unified approach to algebraic set theory 21 2.1 Introduction . 21 2.2 Constructive set theories . 24 2.3 Categories with small maps . 25 2.3.1 Axioms . 25 2.3.2 Consequences . 29 2.3.3 Strengthenings . 31 2.3.4 Relation to other settings . 32 2.4 Models of set theory . 33 2.5 Examples . 35 2.6 Predicative sheaf theory . 36 2.7 Predicative realizability . 37 3 Exact completion 41 3.1 Introduction . 41 3 4 CONTENTS 3.2 Categories with small maps . 45 3.2.1 Classes of small maps . 46 3.2.2 Classes of display maps . 51 3.3 Axioms for classes of small maps . 55 3.3.1 Representability . 55 3.3.2 Separation . 55 3.3.3 Power types . 55 3.3.4 Function types . 57 3.3.5 Inductive types . 58 3.3.6 Infinity . 60 3.3.7 Fullness . 61 3.4 Exactness and its applications . 63 3.5 Exact completion . 66 3.6 Stability properties of axioms for small maps . 73 3.6.1 Representability . 74 3.6.2 Separation . 74 3.6.3 Power types .
    [Show full text]
  • Variational Problems on Flows of Diffeomorphisms for Image Matching
    QUARTERLY OF APPLIED MATHEMATICS VOLUME LVI, NUMBER 3 SEPTEMBER 1998, PAGES 587-600 VARIATIONAL PROBLEMS ON FLOWS OF DIFFEOMORPHISMS FOR IMAGE MATCHING By PAUL DUPUIS (LCDS, Division of Applied Mathematics, Brown University, Providence, RI), ULF GRENANDER (Division of Applied Mathematics, Brown University, Providence, Rl), AND MICHAEL I. MILLER (Dept. of Electrical Engineering, Washington University, St. Louis, MO) Abstract. This paper studies a variational formulation of the image matching prob- lem. We consider a scenario in which a canonical representative image T is to be carried via a smooth change of variable into an image that is intended to provide a good fit to the observed data. The images are all defined on an open bounded set GcR3, The changes of variable are determined as solutions of the nonlinear Eulerian transport equation ==v(rj(s;x),s), r)(t;x)=x, (0.1) with the location 77(0;x) in the canonical image carried to the location x in the deformed image. The variational problem then takes the form arg mm ;||2 + [ |Tor?(0;a;) - D(x)\2dx (0.2) JG where ||v|| is an appropriate norm on the velocity field v(-, •), and the second term at- tempts to enforce fidelity to the data. In this paper we derive conditions under which the variational problem described above is well posed. The key issue is the choice of the norm. Conditions are formulated under which the regularity of v(-, ■) imposed by finiteness of the norm guarantees that the associated flow is supported on a space of diffeomorphisms. The problem (0.2) can Received March 15, 1996.
    [Show full text]
  • Sporadic Sics and Exceptional Lie Algebras
    Sporadic SICs and Exceptional Lie Algebras Blake C. Staceyy yQBism Group, Physics Department, University of Massachusetts Boston, 100 Morrissey Boulevard, Boston MA 02125, USA November 13, 2019 Abstract Sometimes, mathematical oddities crowd in upon one another, and the exceptions to one classification scheme reveal themselves as fellow-travelers with the exceptions to a quite different taxonomy. 1 Preliminaries A set of equiangular lines is a set of unit vectors in a d-dimensional vector space such that the magnitude of the inner product of any pair is constant: 1; j = k; jhv ; v ij = (1) j k α; j 6= k: The maximum number of equiangular lines in a space of dimension d (the so-called Gerzon bound) is d(d+1)=2 for real vector spaces and d2 for complex. In the real case, the Gerzon bound is only known to be attained in dimensions 2, 3, 7 and 23, and we know it can't be attained in general. If you like peculiar alignments of mathematical topics, the appearance of 7 and 23 might make your ears prick up here. If you made the wild guess that the octonions and the Leech lattice are just around the corner. you'd be absolutely right. Meanwhile, the complex case is of interest for quantum information theory, because a set of d2 equiangular lines in Cd specifies a measurement that can be performed upon a quantum-mechanical system. These measurements are highly symmetric, in that the lines which specify them are equiangular, and they are \informationally complete" in a sense that quantum theory makes precise.
    [Show full text]
  • On Generalizations of Sylow Tower Groups
    Pacific Journal of Mathematics ON GENERALIZATIONS OF SYLOW TOWER GROUPS ABI (ABIADBOLLAH)FATTAHI Vol. 45, No. 2 October 1973 PACIFIC JOURNAL OF MATHEMATICS Vol. 45, No. 2, 1973 ON GENERALIZATIONS OF SYLOW TOWER GROUPS ABIABDOLLAH FATTAHI In this paper two different generalizations of Sylow tower groups are studied. In Chapter I the notion of a fc-tower group is introduced and a bound on the nilpotence length (Fitting height) of an arbitrary finite solvable group is found. In the same chapter a different proof to a theorem of Baer is given; and the list of all minimal-not-Sylow tower groups is obtained. Further results are obtained on a different generalization of Sylow tower groups, called Generalized Sylow Tower Groups (GSTG) by J. Derr. It is shown that the class of all GSTG's of a fixed complexion form a saturated formation, and a structure theorem for all such groups is given. NOTATIONS The following notations will be used throughont this paper: N<]G N is a normal subgroup of G ΛΓCharG N is a characteristic subgroup of G ΛΓ OG N is a minimal normal subgroup of G M< G M is a proper subgroup of G M<- G M is a maximal subgroup of G Z{G) the center of G #>-part of the order of G, p a prime set of all prime divisors of \G\ Φ(G) the Frattini subgroup of G — the intersec- tion of all maximal subgroups of G [H]K semi-direct product of H by K F(G) the Fitting subgroup of G — the maximal normal nilpotent subgroup of G C(H) = CG(H) the centralizer of H in G N(H) = NG(H) the normalizer of H in G PeSy\p(G) P is a Sylow ^-subgroup of G P is a Sy-subgroup of G PeSγlp(G) Core(H) = GoreG(H) the largest normal subgroup of G contained in H= ΓioeoH* KG) the nilpotence length (Fitting height) of G h(G) p-length of G d(G) minimal number of generators of G c(P) nilpotence class of the p-group P some nonnegative power of prime p OP(G) largest normal p-subgroup of G 453 454 A.
    [Show full text]
  • Atlasrep —A GAP 4 Package
    AtlasRep —A GAP 4 Package (Version 2.1.0) Robert A. Wilson Richard A. Parker Simon Nickerson John N. Bray Thomas Breuer Robert A. Wilson Email: [email protected] Homepage: http://www.maths.qmw.ac.uk/~raw Richard A. Parker Email: [email protected] Simon Nickerson Homepage: http://nickerson.org.uk/groups John N. Bray Email: [email protected] Homepage: http://www.maths.qmw.ac.uk/~jnb Thomas Breuer Email: [email protected] Homepage: http://www.math.rwth-aachen.de/~Thomas.Breuer AtlasRep — A GAP 4 Package 2 Copyright © 2002–2019 This package may be distributed under the terms and conditions of the GNU Public License Version 3 or later, see http://www.gnu.org/licenses. Contents 1 Introduction to the AtlasRep Package5 1.1 The ATLAS of Group Representations.........................5 1.2 The GAP Interface to the ATLAS of Group Representations..............6 1.3 What’s New in AtlasRep, Compared to Older Versions?...............6 1.4 Acknowledgements................................... 14 2 Tutorial for the AtlasRep Package 15 2.1 Accessing a Specific Group in AtlasRep ........................ 16 2.2 Accessing Specific Generators in AtlasRep ...................... 18 2.3 Basic Concepts used in AtlasRep ........................... 19 2.4 Examples of Using the AtlasRep Package....................... 21 3 The User Interface of the AtlasRep Package 33 3.1 Accessing vs. Constructing Representations...................... 33 3.2 Group Names Used in the AtlasRep Package..................... 33 3.3 Standard Generators Used in the AtlasRep Package.................. 34 3.4 Class Names Used in the AtlasRep Package...................... 34 3.5 Accessing Data via AtlasRep ............................
    [Show full text]
  • A Natural Representation of the Fischer-Griess Monster
    Proc. Nati. Acad. Sci. USA Vol. 81, pp. 3256-3260, May 1984 Mathematics A natural representation of the Fischer-Griess Monster with the modular function J as character (vertex operators/finite simple group Fl/Monstrous Moonshine/affine Lie algebras/basic modules) I. B. FRENKEL*t, J. LEPOWSKY*t, AND A. MEURMANt *Department of Mathematics, Rutgers University, New Brunswick, NJ 08903; and tMathematical Sciences Research Institute, Berkeley, CA 94720 Communicated by G. D. Mostow, February 3, 1984 ABSTRACT We announce the construction of an irreduc- strange discoveries could make sense. However, instead of ible graded module V for an "affine" commutative nonassocia- illuminating the mysteries, he added a new one, by con- tive algebra S. This algebra is an "affinization" of a slight structing a peculiar commutative nonassociative algebra B variant R of the conMnutative nonassociative algebra B de- and proving directly that its automorphism group contains fined by Griess in his construction of the Monster sporadic F1. group F1. The character of V is given by the modular function The present work started as an attempt to explain the ap- J(q) _ q' + 0 + 196884q + .... We obtain a natural action of pearance of J(q) as well as the structure of B. Our under- the Monster on V compatible with the action of R, thus con- standing of these phenomena has now led us to conceptual ceptually explaining a major part of the numerical observa- constructions of several objects: V; a variant a of B; an "af- tions known as Monstrous Moonshine. Our construction starts finization" 9a of@a; and F1, which appears as a group of oper- from ideas in the theory of the basic representations of affine ators on V and at the sajne time as a group of algebra auto- Lie algebras and develops further the cadculus of vertex opera- morphisms of R and of 9a.
    [Show full text]
  • LM2931-N SNOSBE5G –MARCH 2000–REVISED APRIL 2013 LM2931-N Series Low Dropout Regulators Check for Samples: LM2931-N
    LM2931-N www.ti.com SNOSBE5G –MARCH 2000–REVISED APRIL 2013 LM2931-N Series Low Dropout Regulators Check for Samples: LM2931-N 1FEATURES DESCRIPTION The LM2931-N positive voltage regulator features a 2• Very Low Quiescent Current very low quiescent current of 1mA or less when • Output Current in Excess of 100 mA supplying 10mA loads. This unique characteristic and • Input-output Differential Less than 0.6V the extremely low input-output differential required for • Reverse Battery Protection proper regulation (0.2V for output currents of 10mA) make the LM2931-N the ideal regulator for standby • 60V Load Dump Protection power systems. Applications include memory standby • −50V Reverse Transient Protection circuits, CMOS and other low power processor power • Short Circuit Protection supplies as well as systems demanding as much as • Internal Thermal Overload Protection 100mA of output current. • Mirror-image Insertion Protection Designed originally for automotive applications, the LM2931-N and all regulated circuitry are protected • Available in TO-220, TO-92, TO-263, or SOIC-8 from reverse battery installations or 2 battery jumps. Packages During line transients, such as a load dump (60V) • Available as Adjustable with TTL Compatible when the input voltage to the regulator can Switch momentarily exceed the specified maximum operating voltage, the regulator will automatically shut down to protect both internal circuits and the load. The LM2931-N cannot be harmed by temporary mirror-image insertion. Familiar regulator features such as short circuit and thermal overload protection are also provided. The LM2931-N family includes a fixed 5V output (±3.8% tolerance for A grade) or an adjustable output with ON/OFF pin.
    [Show full text]
  • Classifying Spaces, Virasoro Equivariant Bundles, Elliptic Cohomology and Moonshine
    CLASSIFYING SPACES, VIRASORO EQUIVARIANT BUNDLES, ELLIPTIC COHOMOLOGY AND MOONSHINE ANDREW BAKER & CHARLES THOMAS Introduction This work explores some connections between the elliptic cohomology of classifying spaces for finite groups, Virasoro equivariant bundles over their loop spaces and Moonshine for finite groups. Our motivation is as follows: up to homotopy we can replace the loop group LBG by ` the disjoint union [γ] BCG(γ) of classifying spaces of centralizers of elements γ representing conjugacy classes of elements in G. An elliptic object over LBG then becomes a compatible family of graded infinite dimensional representations of the subgroups CG(γ), which in turn E ∗ defines an element in J. Devoto's equivariant elliptic cohomology ring ``G. Up to localization (inversion of the order of G) and completion with respect to powers of the kernel of the E ∗ −! E ∗ ∗ homomorphism ``G ``f1g, this ring is isomorphic to E`` (BG), see [5, 6]. Moreover, elliptic objects of this kind are already known: for example the 2-variable Thompson series forming part of the Moonshine associated with the simple groups M24 and the Monster M. Indeed the compatibility condition between the characters of the representations of CG(γ) mentioned above was originally formulated by S. Norton in an Appendix to [21], independently of the work on elliptic genera by various authors leading to the definition of elliptic cohom- ology (see the various contributions to [17]). In a slightly different direction, J-L. Brylinski [2] introduced the group of Virasoro equivariant bundles over the loop space LM of a simply connected manifold M as part of his investigation of a Dirac operator on LM with coefficients in a suitable vector bundle.
    [Show full text]