An Introduction to the Representation Theory of Groups
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Representation Theorem of Persistence Revisited and Generalized
Journal of Applied and Computational Topology https://doi.org/10.1007/s41468-018-0015-3 The representation theorem of persistence revisited and generalized René Corbet1 · Michael Kerber1 Received: 9 November 2017 / Accepted: 15 June 2018 © The Author(s) 2018 Abstract The Representation Theorem by Zomorodian and Carlsson has been the starting point of the study of persistent homology under the lens of representation theory. In this work, we give a more accurate statement of the original theorem and provide a complete and self-contained proof. Furthermore, we generalize the statement from the case of linear sequences of R-modules to R-modules indexed over more general monoids. This generalization subsumes the Representation Theorem of multidimen- sional persistence as a special case. Keywords Computational topology · Persistence modules · Persistent homology · Representation theory Mathematics Subject Classifcation 06F25 · 16D90 · 16W50 · 55U99 · 68W30 1 Introduction Persistent homology, introduced by Edelsbrunner et al. (2002), is a multi-scale extension of classical homology theory. The idea is to track how homological fea- tures appear and disappear in a shape when the scale parameter is increasing. This data can be summarized by a barcode where each bar corresponds to a homology class that appears in the process and represents the range of scales where the class is present. The usefulness of this paradigm in the context of real-world data sets has led to the term topological data analysis; see the surveys (Carlsson 2009; Ghrist 2008; Edelsbrunner and Morozov 2012; Vejdemo-Johansson 2014; Kerber 2016) and textbooks (Edelsbrunner and Harer 2010; Oudot 2015) for various use cases. * René Corbet [email protected] Michael Kerber [email protected] 1 Institute of Geometry, Graz University of Technology, Kopernikusgasse 24, 8010 Graz, Austria Vol.:(0123456789)1 3 R. -
Representations of Direct Products of Finite Groups
Pacific Journal of Mathematics REPRESENTATIONS OF DIRECT PRODUCTS OF FINITE GROUPS BURTON I. FEIN Vol. 20, No. 1 September 1967 PACIFIC JOURNAL OF MATHEMATICS Vol. 20, No. 1, 1967 REPRESENTATIONS OF DIRECT PRODUCTS OF FINITE GROUPS BURTON FEIN Let G be a finite group and K an arbitrary field. We denote by K(G) the group algebra of G over K. Let G be the direct product of finite groups Gι and G2, G — G1 x G2, and let Mi be an irreducible iΓ(G;)-module, i— 1,2. In this paper we study the structure of Mί9 M2, the outer tensor product of Mi and M2. While Mi, M2 is not necessarily an irreducible K(G)~ module, we prove below that it is completely reducible and give criteria for it to be irreducible. These results are applied to the question of whether the tensor product of division algebras of a type arising from group representation theory is a division algebra. We call a division algebra D over K Z'-derivable if D ~ Hom^s) (Mf M) for some finite group G and irreducible ϋΓ(G)- module M. If B(K) is the Brauer group of K, the set BQ(K) of classes of central simple Z-algebras having division algebra components which are iΓ-derivable forms a subgroup of B(K). We show also that B0(K) has infinite index in B(K) if K is an algebraic number field which is not an abelian extension of the rationale. All iΓ(G)-modules considered are assumed to be unitary finite dimensional left if((τ)-modules. -
Simple Supercuspidals and the Langlands Correspondence
Simple supercuspidals and the Langlands correspondence Benedict H Gross April 23, 2020 Contents 1 Formal degrees2 2 The conjecture2 3 Depth zero for SL2 3 4 Simple supercuspidals for SL2 4 5 Simple supercuspidals in the split case5 6 Simple wild parameters6 7 The trace formula7 8 Function fields9 9 An irregular connection 10 10 `-adic representations 12 11 F -isocrystals 13 12 Conclusion 13 1 1 Formal degrees In the fall of 2007, Mark Reeder and I were thinking about the formal degrees of discrete series repre- sentations of p-adic groups G. The formal degree is a generalization of the dimension of an irreducible representation, when G is compact. It depends on the choice of a Haar measure dg on G: if the irre- ducible representation π is induced from a finite dimensional representation W of an open, compact R subgroup K, then the formal degree of π is given by deg(π) = dim(W )= K dg. Mark had determined the formal degree in several interesting cases [19], including the series of depth zero supercuspidal representations that he had constructed with Stephen DeBacker [2]. We came across a paper by Kaoru Hiraga, Atsushi Ichino, and Tamotsu Ikeda, which gave a beautiful conjectural for- mula for the formal degree in terms of the L-function and -factor of the adjoint representation of the Langlands parameter [13, x1]. This worked perfectly in the depth zero case [13, x3.5], and we wanted to test it on more ramified parameters, where the adjoint L-function is trivial. Naturally, we started with the group SL2(Qp). -
Representation Theory of Finite Groups
Representation Theory of Finite Groups Benjamin Steinberg School of Mathematics and Statistics Carleton University [email protected] December 15, 2009 Preface This book arose out of course notes for a fourth year undergraduate/first year graduate course that I taught at Carleton University. The goal was to present group representation theory at a level that is accessible to students who have not yet studied module theory and who are unfamiliar with tensor products. For this reason, the Wedderburn theory of semisimple algebras is completely avoided. Instead, I have opted for a Fourier analysis approach. This sort of approach is normally taken in books with a more analytic flavor; such books, however, invariably contain material on representations of com- pact groups, something that I would also consider beyond the scope of an undergraduate text. So here I have done my best to blend the analytic and the algebraic viewpoints in order to keep things accessible. For example, Frobenius reciprocity is treated from a character point of view to evade use of the tensor product. The only background required for this book is a basic knowledge of linear algebra and group theory, as well as familiarity with the definition of a ring. The proof of Burnside's theorem makes use of a small amount of Galois theory (up to the fundamental theorem) and so should be skipped if used in a course for which Galois theory is not a prerequisite. Many things are proved in more detail than one would normally expect in a textbook; this was done to make things easier on undergraduates trying to learn what is usually considered graduate level material. -
The Algebraic Theory of Semigroups the Algebraic Theory of Semigroups
http://dx.doi.org/10.1090/surv/007.1 The Algebraic Theory of Semigroups The Algebraic Theory of Semigroups A. H. Clifford G. B. Preston American Mathematical Society Providence, Rhode Island 2000 Mathematics Subject Classification. Primary 20-XX. International Standard Serial Number 0076-5376 International Standard Book Number 0-8218-0271-2 Library of Congress Catalog Card Number: 61-15686 Copying and reprinting. Material in this book may be reproduced by any means for educational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Assistant to the Publisher, American Mathematical Society, P. O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also be made by e-mail to reprint-permissionQams.org. Excluded from these provisions is material in articles for which the author holds copyright. In such cases, requests for permission to use or reprint should be addressed directly to the author(s). (Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of each article.) © Copyright 1961 by the American Mathematical Society. All rights reserved. Printed in the United States of America. Second Edition, 1964 Reprinted with corrections, 1977. The American Mathematical Society retains all rights except those granted to the United States Government. -
Sheaves on Buildings and Modular Representations of Chevalley Groups
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA %, 319-346 (1985) Sheaves on Buildings and Modular Representations of Chevalley Groups MARK A. RONAN AND STEPHEND. SMITH* Department of Mathematics, University of Illinois at Chicago, Chicago, Illinois 60680 Communicated by Walter Feit Received October 23, 1983 INTRODUCTION Let A be the building (see Tits [24]) for a Chevalley group G of rank n; it is a simplicial complex of dimension n - 1. The homology of A was studied by Solomon and Tits [lS], who showed in particular that the top homology group H, _ ,(A) affords the Steinberg representation for G. In [9], Lusztig constructed discrete-series representations using homology with a special system of coefficients, in the natural characteristic, on buildings of type A,. Later Deligne and Lusztig [7; see also 1 and 51 obtained a “duality” between certain representations, using coefficient homology. These coefficient systems may be described as fixed-point sheaves, FV (see Section I), where V is a G-module. In this paper we are primarily concerned with modules and sheaves over the natural field k of definition of the group G. (In [ 1, 5, 71, the modules are in characteristic zero.) The motivation for our work comes from several areas: (1) Simple groups. Emerging techniques of Timmesfeld and others (see [23, 15, 221) often lead to problems requiring the “local” recognition of kG-modules-from information given only at the parabolic subgroups (which define the building A). We shall see in (1.3) that such modules are quotients of the zero-homology group HO of a suitable coefficient system. -
Representation Theorems in Universal Algebra and Algebraic Logic
REPRESENTATION THEOREMS IN UNIVERSAL ALGEBRA AND ALGEBRAIC LOGIC by Martin Izak Pienaar THESIS presented in partial fulfillment of the requirements for the degree MAGISTER SCIENTIAE in MATHEMATICS in the FACULTY OF SCIENCE of the RAND AFRIKAANS UNIVERSITY Study leader: Prof. V. Goranko NOVEMBER 1997 Baie dankie aan: Prof. V. Goranko - vir leiding in hierdie skripsie. RAU en SNO - finansiele bystand gedurende die studie. my ouers - onbaatsugtige liefde tydens my studies. Samantha Cambridge - vir die flink en netjiese tikwerk. ons Hemelse Vader - vir krag en onderskraging in elke dag. Vir my ouers en vriende - julie was die .inspirasie viz- my studies CONTENTS 1 INTRODUCTION TO LATTICES AND ORDER 1 1.1 Ordered Sets 1 1.2 Maps between ordered sets 2 1.3 The duality principle; down - sets and up - sets 3 1.4 Maximal and minimal elements; top and bottom 4 1.5 Lattices 4 2 IMPLICATIVE LATTICES, HEYTING ALGEBRAS AND BOOLEAN ALGEBRAS 8 2.1 Implicative lattices 8 2.2 Heyting algebras 9 2.3 Boolean algebras 10 3 REPRESENTATION THEORY INVOLVING BOOLEAN ALGEBRAS AND DISTRIBU- TIVE LATTICES: THE FINITE CASE 12 3:1 The representation of finite Boolean algebras 12 3.2 The representation of finite distributive lattices 15 3.3 Duality between finite distributive lattices and finite ordered sets 17 4 REPRESENTATION THEORY INVOLVING BOOLEAN. ALGEBRAS AND DISTRIBU- TIVE LATTICES: THE GENERAL CASE 20 4.1 Ideals and filters 20 4.2 Representation by lattices of sets 22 4.3 Duality 27 5 REPRESENTATION THEORY: A MORE GENERAL AND APPLICABLE VIEW -
Arxiv:1705.01587V2 [Math.FA] 26 Jan 2019 Iinlasmtosti Saraysffiin O ( for Sufficient Already Is This Assumptions Ditional Operators Theorem
CONVERGENCE OF POSITIVE OPERATOR SEMIGROUPS MORITZ GERLACH AND JOCHEN GLUCK¨ Abstract. We present new conditions for semigroups of positive operators to converge strongly as time tends to infinity. Our proofs are based on a novel approach combining the well-known splitting theorem by Jacobs, de Leeuw and Glicksberg with a purely algebraic result about positive group representations. Thus we obtain convergence theorems not only for one-parameter semigroups but for a much larger class of semigroup representations. Our results allow for a unified treatment of various theorems from the lit- erature that, under technical assumptions, a bounded positive C0-semigroup containing or dominating a kernel operator converges strongly as t →∞. We gain new insights into the structure theoretical background of those theorems and generalise them in several respects; especially we drop any kind of conti- nuity or regularity assumption with respect to the time parameter. 1. Introduction One of the most important aspects in the study of linear autonomous evolu- tion equations is the long-term behaviour of their solutions. Since these solutions are usually described by one-parameter operator semigroups, it is essential to have affective tools for the analysis of their asymptotic behaviour available. In many applications the underlying Banach space is a function space and thus exhibits some kind of order structure. If, in such a situation, a positive initial value of the evolution equation leads to a positive solution, one speaks of a positive oper- ator semigroup. Various approaches were developed to prove, under appropriate assumptions, convergence of such semigroups as time tends to infinity; see the end of the introduction for a very brief overview. -
Steinberg Representations and Harmonic Cochains for Split Adjoint
Steinberg representations and harmonic cochains for split adjoint quasi-simple groups Y. A¨ıt Amrane 3 juin 2021 Abstract Let G be an adjoint quasi-simple group defined and split over a non-archimedean local field K. We prove that the dual of the Steinberg representation of G is isomor- phic to a certain space of harmonic cochains on the Bruhat-Tits building of G. The Steinberg representation is considered with coefficients in any commutative ring. Introduction Let K be a non-archimedean local field. Let G be the K-rational points of a reductive K-group of semi-simple rank l. Let T be a maximal K-split torus in G and let P be a minimal parabolic K-subgroup of G that contains T . There is an abuse of language because we mean the K-rational points of these algebraic subgroups of G. For a commutative ring arXiv:1708.00717v1 [math.RT] 2 Aug 2017 M, the Steinberg representation of G with coefficients in M is the M[G]-module : ∞ C (G/P, M) St(M)= ∞ Q C (G/Q, M) where Q runs through all the parabolic subgroupsP of G containing P . l−1 In [4], A. Borel and J.-P. Serre, computed the reduced cohomology group H˜ (Yt, M) of the topologized building Yt of the parabolic subgroups of G and proved that we have an isomorphism of M[G]-modules : l−1 ∼ H˜ (Yt, M) = St(M). 1 Then they ”added” this building at infinity to the Bruhat-Tits building X of G to get X compactified to a contractible space Zt = X ∐ Yt. -
Representation Theory of Compact Inverse Semigroups
Representation theory of compact inverse semigroups Wadii Hajji Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics 1 Department of Mathematics and Statistics Faculty of Science University of Ottawa c Wadii Hajji, Ottawa, Canada, 2011 1The Ph.D. program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Abstract W. D. Munn proved that a finite dimensional representation of an inverse semigroup is equivalent to a ?-representation if and only if it is bounded. The first goal of this thesis will be to give new analytic proof that every finite dimensional representation of a compact inverse semigroup is equivalent to a ?-representation. The second goal is to parameterize all finite dimensional irreducible represen- tations of a compact inverse semigroup in terms of maximal subgroups and order theoretic properties of the idempotent set. As a consequence, we obtain a new and simpler proof of the following theorem of Shneperman: a compact inverse semigroup has enough finite dimensional irreducible representations to separate points if and only if its idempotent set is totally disconnected. Our last theorem is the following: every norm continuous irreducible ∗-representation of a compact inverse semigroup on a Hilbert space is finite dimensional. ii R´esum´e W.D. Munn a d´emontr´eque une repr´esentation de dimension finie d'un inverse demi- groupe est ´equivalente `ala ?-repr´esentation si et seulement si la repr´esentation est born´ee. Notre premier but dans cette th`eseest de donner une d´emonstrationanaly- tique. -
Arxiv:1404.0861V1 [Math.RT] 3 Apr 2014 St Td the Study to Is Rbe Foei Neetdi Opeecaatrinformat Character Complete in Interested Understood
NOTES ON REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE DIPENDRA PRASAD These are the notes of some lectures given by the author for a workshop held at TIFR in December, 2011, giving an exposition of the Deligne-Lusztig theory. The aim of these lectures was to give an overview of the subject with several examples without burdening them with detailed proofs of the theorems involved for which we refer to the original paper of Deligne and Lusztig, as well as the beautiful book of Digne and Michel on the subject. The author thanks Shripad M. Garge for writing and texing the first draft of these notes. Contents 1. Preliminaries on Algebraic groups 2 2. Classical groups and tori 3 3. Some Exceptional groups 5 4. Basic notions in representation theory 6 5. The Deligne-Lusztig theory 7 6. Unipotent cuspidal representations 9 7. The Steinberg representation 9 8. Dimension of the Deligne-Lusztig representation 10 9. The Jordan decomposition of representations 11 10. Exercises 12 11. References 13 arXiv:1404.0861v1 [math.RT] 3 Apr 2014 The Deligne-Lusztig theory constructs certain (virtual) representations of G(Fq) denoted as RG(T, θ) where G is a connected reductive algebraic group defined over Fq, T is a maximal torus in G defined ∼ × over F and θ is a character of T (F ), θ : T (F ) C× Q . The representation R (T, θ) is called q q q → −→ l G the Deligne-Lusztig induction of the character θ of T (Fq) to G(Fq), generalizing parabolic induction with which it coincides when T is a maximally split maximal torus in G. -
A Gelfand-Naimark Theorem for C*-Algebras
pacific journal of mathematics Vol. 184, No. 1, 1998 A GELFAND-NAIMARK THEOREM FOR C*-ALGEBRAS Ichiro Fujimoto We generalize the Gelfand-Naimark theorem for non-com- mutative C*-algebras in the context of CP-convexity theory. We prove that any C*-algebra A is *-isomorphic to the set of all B(H)-valued uniformly continuous quivariant functions on the irreducible representations Irr(A : H) of A on H vanishing at the limit 0 where H is a Hilbert space with a sufficiently large dimension. As applications, we consider the abstract Dirichlet problem for the CP-extreme boundary, and gen- eralize the notion of semi-perfectness to non-separable C*- algebras and prove its Stone-Weierstrass property. We shall also discuss a generalized spectral theory for non-normal op- erators. Introduction. The classical Gelfand-Naimark theorem states that every commutative C*- algebra A is *-isomorphic to the algebra C0(Ω) of all continuous functions on the characters Ω of A which vanish at infinity (cf. [28]). This theorem eventually opened the gate to the subject of C*-algebras, and is legitimately called “the fundamental theorem of C*-algebras” (cf. [16, 17] for the history of this theorem). Since then, there have been various attempts to general- ize this beautiful representation theorem for non-commutative C*-algebras, i.e., to reconstruct the original algebra as a certain function space on some “generalized spectrum”, or the duality theory in the broad sense, for which we can refer to e.g., [2], [3], [4], [11], [14], [19], [29], [32], [37], [39]. Among them, we cite the following notable directions which motivated our present work.