Representation Theory
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
REPRESENTATIONS of FINITE GROUPS 1. Definition And
REPRESENTATIONS OF FINITE GROUPS 1. Definition and Introduction 1.1. Definitions. Let V be a vector space over the field C of complex numbers and let GL(V ) be the group of isomorphisms of V onto itself. An element a of GL(V ) is a linear mapping of V into V which has a linear inverse a−1. When V has dimension n and has n a finite basis (ei)i=1, each map a : V ! V is defined by a square matrix (aij) of order n. The coefficients aij are complex numbers. They are obtained by expressing the image a(ej) in terms of the basis (ei): X a(ej) = aijei: i Remark 1.1. Saying that a is an isomorphism is equivalent to saying that the determinant det(a) = det(aij) of a is not zero. The group GL(V ) is thus identified with the group of invertible square matrices of order n. Suppose G is a finite group with identity element 1. A representation of a finite group G on a finite-dimensional complex vector space V is a homomorphism ρ : G ! GL(V ) of G to the group of automorphisms of V . We say such a map gives V the structure of a G-module. The dimension V is called the degree of ρ. Remark 1.2. When there is little ambiguity of the map ρ, we sometimes call V itself a representation of G. In this vein we often write gv_ or gv for ρ(g)v. Remark 1.3. Since ρ is a homomorphism, we have equality ρ(st) = ρ(s)ρ(t) for s; t 2 G: In particular, we have ρ(1) = 1; ; ρ(s−1) = ρ(s)−1: A map ' between two representations V and W of G is a vector space map ' : V ! W such that ' V −−−−! W ? ? g? ?g (1.1) y y V −−−−! W ' commutes for all g 2 G. -
Weak Representation Theory in the Calculus of Relations Jeremy F
Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 2006 Weak representation theory in the calculus of relations Jeremy F. Alm Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Mathematics Commons Recommended Citation Alm, Jeremy F., "Weak representation theory in the calculus of relations " (2006). Retrospective Theses and Dissertations. 1795. https://lib.dr.iastate.edu/rtd/1795 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Weak representation theory in the calculus of relations by Jeremy F. Aim A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Roger Maddux, Major Professor Maria Axenovich Paul Sacks Jonathan Smith William Robinson Iowa State University Ames, Iowa 2006 Copyright © Jeremy F. Aim, 2006. All rights reserved. UMI Number: 3217250 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. -
Geometric Representation Theory, Fall 2005
GEOMETRIC REPRESENTATION THEORY, FALL 2005 Some references 1) J. -P. Serre, Complex semi-simple Lie algebras. 2) T. Springer, Linear algebraic groups. 3) A course on D-modules by J. Bernstein, availiable at www.math.uchicago.edu/∼arinkin/langlands. 4) J. Dixmier, Enveloping algebras. 1. Basics of the category O 1.1. Refresher on semi-simple Lie algebras. In this course we will work with an alge- braically closed ground field of characteristic 0, which may as well be assumed equal to C Let g be a semi-simple Lie algebra. We will fix a Borel subalgebra b ⊂ g (also sometimes denoted b+) and an opposite Borel subalgebra b−. The intersection b+ ∩ b− is a Cartan subalgebra, denoted h. We will denote by n, and n− the unipotent radicals of b and b−, respectively. We have n = [b, b], and h ' b/n. (I.e., h is better to think of as a quotient of b, rather than a subalgebra.) The eigenvalues of h acting on n are by definition the positive roots of g; this set will be denoted by ∆+. We will denote by Q+ the sub-semigroup of h∗ equal to the positive span of ∆+ (i.e., Q+ is the set of eigenvalues of h under the adjoint action on U(n)). For λ, µ ∈ h∗ we shall say that λ ≥ µ if λ − µ ∈ Q+. We denote by P + the sub-semigroup of dominant integral weights, i.e., those λ that satisfy hλ, αˇi ∈ Z+ for all α ∈ ∆+. + For α ∈ ∆ , we will denote by nα the corresponding eigen-space. -
Representations of the Symmetric Group and Its Hecke Algebra Nicolas Jacon
Representations of the symmetric group and its Hecke algebra Nicolas Jacon To cite this version: Nicolas Jacon. Representations of the symmetric group and its Hecke algebra. 2012. hal-00731102v1 HAL Id: hal-00731102 https://hal.archives-ouvertes.fr/hal-00731102v1 Preprint submitted on 12 Sep 2012 (v1), last revised 10 Nov 2012 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Representations of the symmetric group and its Hecke algebra N. Jacon Abstract This paper is an expository paper on the representation theory of the symmetric group and its Hecke algebra in arbitrary characteristic. We study both the semisimple and the non semisimple case and give an introduction to some recent results on this theory (AMS Class.: 20C08, 20C20, 05E15) . 1 Introduction Let n N and let S be the symmetric group acting on the left on the set 1, 2, . , n . Let k be a field ∈ n { } and consider the group algebra kSn. This is the k-algebra with: k-basis: t σ S , • { σ | ∈ n} 2 multiplication determined by the following rule: for all (σ, σ′) S , we have t .t ′ = t ′ . • ∈ n σ σ σσ The aim of this survey is to study the Representation Theory of Sn over k. -
Representation Theory with a Perspective from Category Theory
Representation Theory with a Perspective from Category Theory Joshua Wong Mentor: Saad Slaoui 1 Contents 1 Introduction3 2 Representations of Finite Groups4 2.1 Basic Definitions.................................4 2.2 Character Theory.................................7 3 Frobenius Reciprocity8 4 A View from Category Theory 10 4.1 A Note on Tensor Products........................... 10 4.2 Adjunction.................................... 10 4.3 Restriction and extension of scalars....................... 12 5 Acknowledgements 14 2 1 Introduction Oftentimes, it is better to understand an algebraic structure by representing its elements as maps on another space. For example, Cayley's Theorem tells us that every finite group is isomorphic to a subgroup of some symmetric group. In particular, representing groups as linear maps on some vector space allows us to translate group theory problems to linear algebra problems. In this paper, we will go over some introductory representation theory, which will allow us to reach an interesting result known as Frobenius Reciprocity. Afterwards, we will examine Frobenius Reciprocity from the perspective of category theory. 3 2 Representations of Finite Groups 2.1 Basic Definitions Definition 2.1.1 (Representation). A representation of a group G on a finite-dimensional vector space is a homomorphism φ : G ! GL(V ) where GL(V ) is the group of invertible linear endomorphisms on V . The degree of the representation is defined to be the dimension of the underlying vector space. Note that some people refer to V as the representation of G if it is clear what the underlying homomorphism is. Furthermore, if it is clear what the representation is from context, we will use g instead of φ(g). -
Representing Groups on Graphs
Representing groups on graphs Sagarmoy Dutta and Piyush P Kurur Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India 208016 {sagarmoy,ppk}@cse.iitk.ac.in Abstract In this paper we formulate and study the problem of representing groups on graphs. We show that with respect to polynomial time turing reducibility, both abelian and solvable group representability are all equivalent to graph isomorphism, even when the group is presented as a permutation group via generators. On the other hand, the representability problem for general groups on trees is equivalent to checking, given a group G and n, whether a nontrivial homomorphism from G to Sn exists. There does not seem to be a polynomial time algorithm for this problem, in spite of the fact that tree isomorphism has polynomial time algorithm. 1 Introduction Representation theory of groups is a vast and successful branch of mathematics with applica- tions ranging from fundamental physics to computer graphics and coding theory [5]. Recently representation theory has seen quite a few applications in computer science as well. In this article, we study some of the questions related to representation of finite groups on graphs. A representation of a group G usually means a linear representation, i.e. a homomorphism from the group G to the group GL (V ) of invertible linear transformations on a vector space V . Notice that GL (V ) is the set of symmetries or automorphisms of the vector space V . In general, by a representation of G on an object X, we mean a homomorphism from G to the automorphism group of X. -
Groups for Which It Is Easy to Detect Graphical Regular Representations
CC Creative Commons ADAM Logo Also available at http://adam-journal.eu The Art of Discrete and Applied Mathematics nn (year) 1–x Groups for which it is easy to detect graphical regular representations Dave Witte Morris , Joy Morris Department of Mathematics and Computer Science, University of Lethbridge, Lethbridge, Alberta. T1K 3M4, Canada Gabriel Verret Department of Mathematics, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand Received day month year, accepted xx xx xx, published online xx xx xx Abstract We say that a finite group G is DRR-detecting if, for every subset S of G, either the Cayley digraph Cay(G; S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism ' of G such that '(S) = S. We show that every nilpotent DRR-detecting group is a p-group, but that the wreath product Zp o Zp is not DRR-detecting, for every odd prime p. We also show that if G1 and G2 are nontrivial groups that admit a digraphical regular representation and either gcd jG1j; jG2j = 1, or G2 is not DRR-detecting, then the direct product G1 × G2 is not DRR-detecting. Some of these results also have analogues for graphical regular representations. Keywords: Cayley graph, GRR, DRR, automorphism group, normalizer Math. Subj. Class.: 05C25,20B05 1 Introduction All groups and graphs in this paper are finite. Recall [1] that a digraph Γ is said to be a digraphical regular representation (DRR) of a group G if the automorphism group of Γ is isomorphic to G and acts regularly on the vertex set of Γ. -
The Conjugate Dimension of Algebraic Numbers
THE CONJUGATE DIMENSION OF ALGEBRAIC NUMBERS NEIL BERRY, ARTURAS¯ DUBICKAS, NOAM D. ELKIES, BJORN POONEN, AND CHRIS SMYTH Abstract. We find sharp upper and lower bounds for the degree of an algebraic number in terms of the Q-dimension of the space spanned by its conjugates. For all but seven nonnegative integers n the largest degree of an algebraic number whose conjugates span a vector space of dimension n is equal to 2nn!. The proof, which covers also the seven exceptional cases, uses a result of Feit on the maximal order of finite subgroups of GLn(Q); this result depends on the classification of finite simple groups. In particular, we construct an algebraic number of degree 1152 whose conjugates span a vector space of dimension only 4. We extend our results in two directions. We consider the problem when Q is replaced by an arbitrary field, and prove some general results. In particular, we again obtain sharp bounds when the ground field is a finite field, or a cyclotomic extension Q(!`) of Q. Also, we look at a multiplicative version of the problem by considering the analogous rank problem for the multiplicative group generated by the conjugates of an algebraic number. 1. Introduction Let Q be an algebraic closure of the field Q of rational numbers, and let α 2 Q. Let α1; : : : ; αd 2 Q be the conjugates of α over Q, with α1 = α. Then d equals the degree d(α) := [Q(α): Q], the dimension of the Q-vector space spanned by the powers of α. In contrast, we define the conjugate dimension n = n(α) of α as the dimension of the Q-vector space spanned by fα1; : : : ; αdg. -
Introuduction to Representation Theory of Lie Algebras
Introduction to Representation Theory of Lie Algebras Tom Gannon May 2020 These are the notes for the summer 2020 mini course on the representation theory of Lie algebras. We'll first define Lie groups, and then discuss why the study of representations of simply connected Lie groups reduces to studying representations of their Lie algebras (obtained as the tangent spaces of the groups at the identity). We'll then discuss a very important class of Lie algebras, called semisimple Lie algebras, and we'll examine the repre- sentation theory of two of the most basic Lie algebras: sl2 and sl3. Using these examples, we will develop the vocabulary needed to classify representations of all semisimple Lie algebras! Please email me any typos you find in these notes! Thanks to Arun Debray, Joakim Færgeman, and Aaron Mazel-Gee for doing this. Also{thanks to Saad Slaoui and Max Riestenberg for agreeing to be teaching assistants for this course and for many, many helpful edits. Contents 1 From Lie Groups to Lie Algebras 2 1.1 Lie Groups and Their Representations . .2 1.2 Exercises . .4 1.3 Bonus Exercises . .4 2 Examples and Semisimple Lie Algebras 5 2.1 The Bracket Structure on Lie Algebras . .5 2.2 Ideals and Simplicity of Lie Algebras . .6 2.3 Exercises . .7 2.4 Bonus Exercises . .7 3 Representation Theory of sl2 8 3.1 Diagonalizability . .8 3.2 Classification of the Irreducible Representations of sl2 .............8 3.3 Bonus Exercises . 10 4 Representation Theory of sl3 11 4.1 The Generalization of Eigenvalues . -
A B S T R a C T. World Spinors, the Spinorial Matter (Particles, P-Branes and Fields) in a Generic Curved Space Is Considered. R
Bulletin T.CXLI de l'Acad´emieserbe des sciences et des arts − 2010 Classe des Sciences math´ematiqueset naturelles Sciences math´ematiques, No 35 SPINORIAL MATTER AND GENERAL RELATIVITY THEORY DJ. SIJAˇ CKIˇ (Inaugural lecture delivered on the 24th of May 2010 at the Serbian Academy of Sciences and Arts in Belgrade) A b s t r a c t. World spinors, the spinorial matter (particles, p-branes and fields) in a generic curved space is considered. Representation theory, as well as the basic algebraic and topological properties of relevant symme- try groups are presented. Relations between spinorial wave equations that transform respectively w.r.t. the tangent flat-space (anholonomic) Affine symmetry group and the world generic-curved-space (holonomic) group of Diffeomorphisms are presented. World spinor equations and certain basic constraints that yield a viable physical theory are discussed. A geometric con- struction based on an infinite-component generalization of the frame fields (e.g. tetrads) is outlined. The world spinor field equation in 3D is treated in more details. AMS Mathematics Subject Classification (2000): 22E46, 22E65, 58B25, 81T20, 83D05 Key Words: General relativity, world spinors, Dirac-like equation, SL(n; R) representations 98 Dj. Sijaˇckiˇ 1. Introduction Point-like matter. The Dirac equation turned out to be one of the most successful equations of the XX century physics - it describes the basic matter constituents (both particles and fields), and very significantly, it paved a way to develop the concept of gauge theories thus playing an important role in description of the basic interactions (forces) as well. It is a Poincar´ecovariant linear field 1 equation which describes relativistic spin 2 matter objects, that a coupled to fundamental interactions in Nature through the gauge (minimal coupling) prescription. -
MATH0073 Representation Theory
MATH0073 Representation Theory Year: 2021{2022 Code: MATH0073 Level: 7 (UG) Normal student group(s): UG: Year 3 and 4 Mathematics degrees Value: 15 credits (= 7.5 ECTS credits) Term: 2 Assessment: 60% Final Exam, 30% Mid-term Test, 10% Coursework Normal Pre-requisites: MATH0053, (MATH0021 recommended) Lecturer: Dr D Beraldo Course Description and Objectives The representation theory of finite groups, which solidifies one's knowledge of group theory, is perhaps the easiest part of the general theory of symmetry. It goes back to F. Klein who consid- ered the possibility of representing a given abstract group by a group of linear transformations (matrices) preserving the group's structure, leading mathematicians such as G. Frobenius, I. Schur, W. Burnside and H. Maschke to follow and develop the idea further. Essentially, it is a formal calculus designed to give an explicit answer to the question \What are the different ways (homomorphisms) a finite group G can occur as a group of invertible matrices over a particular field F?". The link between group representations over a field F and modules is obtained using the concept of a group ring F[G], thus an essential step is the systematic study and classification of group rings (the so-called semisimple algebras) which behave like products of matrix rings. Therefore, the story of the representation theory of a group is the theory of all F[G]-modules, viz modules over the group ring of G over F. The ultimate goal of this course is to teach students how to construct complex representations for popular groups as well as their character tables which serve as invariants for group rings. -
GROUP REPRESENTATIONS and CHARACTER THEORY Contents 1
GROUP REPRESENTATIONS AND CHARACTER THEORY DAVID KANG Abstract. In this paper, we provide an introduction to the representation theory of finite groups. We begin by defining representations, G-linear maps, and other essential concepts before moving quickly towards initial results on irreducibility and Schur's Lemma. We then consider characters, class func- tions, and show that the character of a representation uniquely determines it up to isomorphism. Orthogonality relations are introduced shortly afterwards. Finally, we construct the character tables for a few familiar groups. Contents 1. Introduction 1 2. Preliminaries 1 3. Group Representations 2 4. Maschke's Theorem and Complete Reducibility 4 5. Schur's Lemma and Decomposition 5 6. Character Theory 7 7. Character Tables for S4 and Z3 12 Acknowledgments 13 References 14 1. Introduction The primary motivation for the study of group representations is to simplify the study of groups. Representation theory offers a powerful approach to the study of groups because it reduces many group theoretic problems to basic linear algebra calculations. To this end, we assume that the reader is already quite familiar with linear algebra and has had some exposure to group theory. With this said, we begin with a preliminary section on group theory. 2. Preliminaries Definition 2.1. A group is a set G with a binary operation satisfying (1) 8 g; h; i 2 G; (gh)i = g(hi)(associativity) (2) 9 1 2 G such that 1g = g1 = g; 8g 2 G (identity) (3) 8 g 2 G; 9 g−1 such that gg−1 = g−1g = 1 (inverses) Definition 2.2.