DOCSLIB.ORG

Notes from Brian Conrad's Course on Linear Algebraic Groups at Stanford

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes from Brian Conrad's Course on Linear Algebraic Groups at Stanford Notes from Brian Conrad's course on Linear Algebraic Groups at Stanford, Winter 2010 typed by Sam Lichtenstein July 19, 2017 Contents 1 January 4 3 1.1 Some Definitions . 3 1.2 Smoothness . 4 1.3 Connectedness . 5 1.4 Examples . 5 2 January 6 6 2.1 Translations . 6 2.2 Homomorphisms . 7 2.3 Normal subgroups . 7 2.4 Further discussion of examples . 7 2.5 How far is a general smooth connected algebraic group from being either affine (i.e. linear algebraic) or projective (i.e. an abelian variety)? . 8 3 January 8 9 3.1 How do linear algebraic groups arise in nature? . 9 3.2 Zariski closures of subgroups . 9 4 January 11 (Substitute lecture by A. Venkatesh) 11 4.1 Tori . 11 4.2 Maximal split tori . 12 4.3 Building up groups from tori . 13 4.3.1 Construction of Φ ...................................... 13 5 January 13 14 5.1 Mapping Ga and Gm into a reductive group . 14 5.2 Classification of 1-dimensional connected linear algebraic groups . 14 5.3 Examples of non-split 1-dimensional linear algebraic k-groups . 15 5.4 Start of proof of the classification theorem . 15 6 January 20 (Substitute lecture by A. Venkatesh) 16 6.1 End of proof of classification of 1-dimensional connected linear algebraic groups . 16 6.2 Smoothness criteria . 16 7 January 22 18 7.1 More on forms . 18 7.2 A loose end concerning smoothness . 18 7.3 How to apply Grothendieck's smoothness criterion . 19 7.4 How to show algebraic k-groups are smooth . 19 7.4.1 Smoothness of GLn; SLn in coordinates, via matrices . 20 1 7.4.2 Smoothness of GL(V); SL(V) without using coordinates (much) . 20 8 January 25 20 8.1 How to Show Connectedness . 20 8.2 Connectedness of SLn ........................................ 21 8.2.1 Method 1 - Flag varieties . 21 8.2.2 Method 2 - Projective Space . 22 8.3 Smoothness of Sp2n ......................................... 22 9 January 29 24 9.1 A little more about Sp2n ...................................... 24 9.2 Actions, Centralizers and Normalizers . 25 9.3 Closed orbit lemma . 26 9.4 Start of proof of closed orbit lemma (Theorem 9.3.5) . 27 10 February 1 27 10.1 Conclusion of proof of closed orbit lemma (Theorem 9.3.5) . 27 10.2 Criterion for a k-homomorphism of k-groups to be a closed immersion . 28 11 February 3 28 11.1 Proof of Proposition 10.2.1 . 28 11.2 Embedding linear algebraic groups in GLn ............................. 30 12 February 5 30 12.1 Actions of affine finite type k-groups on coordinate rings of affine k-schemes . 30 12.1.1 Application to embedding a smooth linear algebraic group into GLn . 31 12.2 Proof of Theorem 12.1.1 . 31 13 February 8 32 13.1 Jordan decomposition . 32 14 February 10 34 14.1 All subgroups of a smooth finite type k-group are stabilizers of a line . 34 15 February 12 35 15.1 Unipotent groups . 35 15.2 Proof of Theorem 15.1.8 on representations of unipotent groups . 36 15.3 Remaining ingredients necessary for structure theory . 37 16 February 17 37 16.1 Some motivation: a key calculation on SL2(k) ........................... 37 16.2 Subgroups generated by connected varieties . 38 16.3 Proof of Proposition 16.2.1 . 39 16.4 Improvements on Proposition 16.2.1 . 40 17 February 19 41 17.1 Conclusion of proof of Proposition 16.4.2 . 41 17.2 Solvable groups . 41 17.3 Structure of smooth connected commutative affine k-groups . 42 17.4 Coset spaces for closed subgroups (that is, quotients) . 43 18 February 22 45 18.1 Existence of quotients (of smooth affine groups) . 45 18.2 Lie algebras . 46 18.2.1 Functoriality of Lie(·) .................................... 46 2 19 February 24 47 19.1 Linear representations of split tori, over general rings . 47 19.2 Proof of Theorem 19.1.2 . 48 20 February 26 49 20.1 k-split solvable groups . 49 20.2 Borel Fixed Point Theorem . 51 21 March 1 52 21.1 Remark on quotients . 52 21.2 Lie-Kolchin Corollary 20.2.4 . 52 21.3 Structure theory of solvable groups . 52 21.4 Unipotent radical . 53 21.5 Reductive groups . 54 22 March 3 55 22.1 Borel subgroups . 55 23 March 5 57 23.1 Properties of parabolics . 57 23.2 Conjugacy of maximal tori . 58 24 March 8 59 24.1 Proof of Proposition 23.2.1 . 59 24.2 Cartan subgroups . 60 24.3 PG(λ);UG(λ);ZG(λ) for a 1-parameter subgroup λ ........................ 60 25 March 10 61 25.1 Proof of Lemma 24.3.3 on PG;UG;ZG ............................... 61 25.1.1 Proof that (i)+(ii) (iii) [except unipotence of UG(λ)].................. 61 25.1.2 Proof of (i) . 62 25.1.3 Proof of (ii) and unipotence) of UG(λ) ........................... 62 26 March 12 63 26.1 Classification of split reductive groups of rank 1 . 63 1 January 4 1.1 Some Definitions Let k be a field. Definition 1.1.1. A group variety over k is a smooth k-scheme G (possibly disconnected!) of finite type, equipped with k-morphisms m : G × G G; i : G G, and a rational point e 2 G(k) satisfying the group axioms, in the sense that the following diagrams commute: ! ! 1 ×m (1G;i) (1G;e) G × G × G G / G × G G / G × G G / G × G m×1G m (e;1G) m $ (i;1 ) m G × G m / G G Spec k G × G m / G e $ G × G m / G 3 Remark 1.1.2. The rational point e can be regarded as a section of the structure map G Spec k. In the third diagram, the morphisms e : G G are the \constant maps to the identity", i.e. the compositions e G Spec k G. ! Remark 1.1.3. By HW1 Exercise 4(i),! a connected group variety G over k is [geometrically connected and] geometrically! ! irreducible. By some people's usage, this justifies the term \variety" in the name. Definition 1.1.4. If we relaxe smoothness in Definition 1.1.1 to “finite type" but keep everything else, then G is called an algebraic k-group scheme. By HW1 Exercise 4(iii), over imperfect k reducedness does not imply geometric reducedness even for connected algebraic k-group schemes. Definition 1.1.5. A group variety G over k is called linear algebraic if it is affine. Remark 1.1.6. If G is an algebraic k-group scheme, then one can show that G is affine if and only if it is a k-subgroup scheme (cf. Definition 1.1.7) of GLn for some n. (See Example 1.4.1 below for the definition of GLn.) This is special to the case of fields in the sense that it is not known over more general rings (e.g., not even over the dual numbers over a field), though it is also true (and useful) over Dedekind domains by a variation on the argument used for fields. Definition 1.1.7. Let G be a group variety over k, with corresponding multiplication map mG, inversion map iG, and identity section eG.A k-subgroup H ⊂ G is a closed subscheme such that there exist factorizations mH iH Spec k H × H / H H / H _ _ _ _ eG eH " H / G G × G / G G / G mG iG By Yoneda's lemma, a k-group scheme is the same as a k-scheme G such that the Yoneda functor G h = Homk-Sch(-;G): Sch=k Sets is equipped with a factorization through the forgetful functor Groups Sets. This is useful! Note that this is the same as the requirement that G(R) is a group, functorially in R, for all k-algebras!R, not just fields K=k. By the same reasoning, a closed subscheme H ⊂ G is a k-subgroup! if and only if H(R) ⊂ G(R) is a[n abstract] subgroup for all k-algebras R. Remark 1.1.8. Beware that over every imperfect k there exist connected non-reduced G with Gred not k-subgroup (see [SGA3, VIA, 1.3.2(2)]). 1.2 Smoothness Let X be a k-scheme which is [locally] of finite type. Here is one definition of many for what it means for X to be smooth. 1 Definition 1.2.1. We say that X is smooth if and only if Xk is regular, meaning that all of the local rings are regular local rings, which can be checked via the Jacobian criterion. Remark 1.2.2. For the purpose of checking the Jacobian criterion, one may freely go up and down between algebraically closed fields containing k. For example, one might care about both XQ and XC in the case k = Q. Remark 1.2.3. If k happens to be perfect, then smoothness is the same as regularity. Let G be a k-group scheme [of finite type]. The group G(k) acts on Gk by.
Load more

Recommended publications
  • The Fundamental Group
    The Fundamental Group Tyrone Cutler July 9, 2020 Contents 1 Where do Homotopy Groups Come From? 1 2 The Fundamental Group 3 3 Methods of Computation 8 3.1 Covering Spaces . 8 3.2 The Seifert-van Kampen Theorem . 10 1 Where do Homotopy Groups Come From? 0 Working in the based category T op∗, a `point' of a space X is a map S ! X. Unfortunately, 0 the set T op∗(S ;X) of points of X determines no topological information about the space. The same is true in the homotopy category. The set of `points' of X in this case is the set 0 π0X = [S ;X] = [∗;X]0 (1.1) of its path components. As expected, this pointed set is a very coarse invariant of the pointed homotopy type of X. How might we squeeze out some more useful information from it? 0 One approach is to back up a step and return to the set T op∗(S ;X) before quotienting out the homotopy relation. As we saw in the first lecture, there is extra information in this set in the form of track homotopies which is discarded upon passage to [S0;X]. Recall our slogan: it matters not only that a map is null homotopic, but also the manner in which it becomes so. So, taking a cue from algebraic geometry, let us try to understand the automorphism group of the zero map S0 ! ∗ ! X with regards to this extra structure. If we vary the basepoint of X across all its points, maybe it could be possible to detect information not visible on the level of π0.
    [Show full text]
  • Symmetries on the Lattice
    Symmetries On The Lattice K.Demmouche January 8, 2006 Contents Background, character theory of finite groups The cubic group on the lattice Oh Representation of Oh on Wilson loops Double group 2O and spinor Construction of operator on the lattice MOTIVATION Spectrum of non-Abelian lattice gauge theories ? Create gauge invariant spin j states on the lattice Irreducible operators Monte Carlo calculations Extract masses from time slice correlations Character theory of point groups Groups, Axioms A set G = {a, b, c, . } A1 : Multiplication ◦ : G × G → G. A2 : Associativity a, b, c ∈ G ,(a ◦ b) ◦ c = a ◦ (b ◦ c). A3 : Identity e ∈ G , a ◦ e = e ◦ a = a for all a ∈ G. −1 −1 −1 A4 : Inverse, a ∈ G there exists a ∈ G , a ◦ a = a ◦ a = e. Groups with finite number of elements → the order of the group G : nG. The point group C3v The point group C3v (Symmetry group of molecule NH3) c ¡¡AA ¡ A ¡ A Z ¡ A Z¡ A Z O ¡ Z A ¡ Z A ¡ Z A Z ¡ Z A ¡ ZA a¡ ZA b G = {Ra(π),Rb(π),Rc(π),E(2π),R~n(2π/3),R~n(−2π/3)} noted G = {A, B, C, E, D, F } respectively. Structure of Groups Subgroups: Definition A subset H of a group G that is itself a group with the same multiplication operation as G is called a subgroup of G. Example: a subgroup of C3v is the subset E, D, F Classes: Definition An element g0 of a group G is said to be ”conjugate” to another element g of G if there exists an element h of G such that g0 = hgh−1 Example: on can check that B = DCD−1 Conjugacy Class Definition A class of a group G is a set of mutually conjugate elements of G.
    [Show full text]
  • Lie Algebras of Generalized Quaternion Groups 1 Introduction 2
    Lie Algebras of Generalized Quaternion Groups Samantha Clapp Advisor: Dr. Brandon Samples Abstract Every finite group has an associated Lie algebra. Its Lie algebra can be viewed as a subspace of the group algebra with certain bracket conditions imposed on the elements. If one calculates the character table for a finite group, the structure of its associated Lie algebra can be described. In this work, we consider the family of generalized quaternion groups and describe its associated Lie algebra structure completely. 1 Introduction The Lie algebra of a group is a useful tool because it is a vector space where linear algebra is available. It is interesting to consider the Lie algebra structure associated to a specific group or family of groups. A Lie algebra is simple if its dimension is at least two and it only has f0g and itself as ideals. Some examples of simple algebras are the classical Lie algebras: sl(n), sp(n) and o(n) as well as the five exceptional finite dimensional simple Lie algebras. A direct sum of simple lie algebras is called a semi-simple Lie algebra. Therefore, it is also interesting to consider if the Lie algebra structure associated with a particular group is simple or semi-simple. In fact, the Lie algebra structure of a finite group is well known and given by a theorem of Cohen and Taylor [1]. In this theorem, they specifically describe the Lie algebra structure using character theory. That is, the associated Lie algebra structure of a finite group can be described if one calculates the character table for the finite group.
    [Show full text]
  • A TEXTBOOK of TOPOLOGY Lltld
    SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY lltld SEI FER T: 7'0PO 1.OG 1' 0 I.' 3- Dl M E N SI 0 N A I. FIRERED SPACES This is a volume in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: SAMUELEILENBERG AND HYMANBASS A list of recent titles in this series appears at the end of this volunie. SEIFERT AND THRELFALL: A TEXTBOOK OF TOPOLOGY H. SEIFERT and W. THRELFALL Translated by Michael A. Goldman und S E I FE R T: TOPOLOGY OF 3-DIMENSIONAL FIBERED SPACES H. SEIFERT Translated by Wolfgang Heil Edited by Joan S. Birman and Julian Eisner @ 1980 ACADEMIC PRESS A Subsidiary of Harcourr Brace Jovanovich, Publishers NEW YORK LONDON TORONTO SYDNEY SAN FRANCISCO COPYRIGHT@ 1980, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED. NO PART OF THIS PUBLICATION MAY BE REPRODUCED OR TRANSMITTED IN ANY FORM OR BY ANY MEANS, ELECTRONIC OR MECHANICAL, INCLUDING PHOTOCOPY, RECORDING, OR ANY INFORMATION STORAGE AND RETRIEVAL SYSTEM, WITHOUT PERMISSION IN WRITING FROM THE PUBLISHER. ACADEMIC PRESS, INC. 11 1 Fifth Avenue, New York. New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. 24/28 Oval Road, London NWI 7DX Mit Genehmigung des Verlager B. G. Teubner, Stuttgart, veranstaltete, akin autorisierte englische Ubersetzung, der deutschen Originalausgdbe. Library of Congress Cataloging in Publication Data Seifert, Herbert, 1897- Seifert and Threlfall: A textbook of topology. Seifert: Topology of 3-dimensional fibered spaces. (Pure and applied mathematics, a series of mono- graphs and textbooks ; ) Translation of Lehrbuch der Topologic. Bibliography: p. Includes index. 1.
    [Show full text]
  • 3-Manifold Groups
    3-Manifold Groups Matthias Aschenbrenner Stefan Friedl Henry Wilton University of California, Los Angeles, California, USA E-mail address: [email protected] Fakultat¨ fur¨ Mathematik, Universitat¨ Regensburg, Germany E-mail address: [email protected] Department of Pure Mathematics and Mathematical Statistics, Cam- bridge University, United Kingdom E-mail address: [email protected] Abstract. We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise. Contents Introduction 1 Chapter 1. Decomposition Theorems 7 1.1. Topological and smooth 3-manifolds 7 1.2. The Prime Decomposition Theorem 8 1.3. The Loop Theorem and the Sphere Theorem 9 1.4. Preliminary observations about 3-manifold groups 10 1.5. Seifert fibered manifolds 11 1.6. The JSJ-Decomposition Theorem 14 1.7. The Geometrization Theorem 16 1.8. Geometric 3-manifolds 20 1.9. The Geometric Decomposition Theorem 21 1.10. The Geometrization Theorem for fibered 3-manifolds 24 1.11. 3-manifolds with (virtually) solvable fundamental group 26 Chapter 2. The Classification of 3-Manifolds by their Fundamental Groups 29 2.1. Closed 3-manifolds and fundamental groups 29 2.2. Peripheral structures and 3-manifolds with boundary 31 2.3. Submanifolds and subgroups 32 2.4. Properties of 3-manifolds and their fundamental groups 32 2.5. Centralizers 35 Chapter 3. 3-manifold groups after Geometrization 41 3.1. Definitions and conventions 42 3.2. Justifications 45 3.3. Additional results and implications 59 Chapter 4. The Work of Agol, Kahn{Markovic, and Wise 63 4.1.
    [Show full text]
  • Remarks on the Cohomology of Finite Fundamental Groups of 3–Manifolds
    Geometry & Topology Monographs 14 (2008) 519–556 519 arXiv version: fonts, pagination and layout may vary from GTM published version Remarks on the cohomology of finite fundamental groups of 3–manifolds SATOSHI TOMODA PETER ZVENGROWSKI Computations based on explicit 4–periodic resolutions are given for the cohomology of the finite groups G known to act freely on S3 , as well as the cohomology rings of the associated 3–manifolds (spherical space forms) M = S3=G. Chain approximations to the diagonal are constructed, and explicit contracting homotopies also constructed for the cases G is a generalized quaternion group, the binary tetrahedral group, or the binary octahedral group. Some applications are briefly discussed. 57M05, 57M60; 20J06 1 Introduction The structure of the cohomology rings of 3–manifolds is an area to which Heiner Zieschang devoted much work and energy, especially from 1993 onwards. This could be considered as part of a larger area of his interest, the degrees of maps between oriented 3– manifolds, especially the existence of degree one maps, which in turn have applications in unexpected areas such as relativity theory (cf Shastri, Williams and Zvengrowski [41] and Shastri and Zvengrowski [42]). References [1,6,7, 18, 19, 20, 21, 22, 23] in this paper, all involving work of Zieschang, his students Aaslepp, Drawe, Sczesny, and various colleagues, attest to his enthusiasm for these topics and the remarkable energy he expended studying them. Much of this work involved Seifert manifolds, in particular, references [1, 6, 7, 18, 20, 23]. Of these, [6, 7, 23] (together with [8, 9]) successfully completed the programme of computing the ring structure H∗(M) for any orientable Seifert manifold M with 1 2 3 3 G := π1(M) infinite.
    [Show full text]
  • Introduction (Lecture 1)
    Introduction (Lecture 1) February 3, 2009 One of the basic problems of manifold topology is to give a classification for manifolds (of some fixed dimension n) up to diffeomorphism. In the best of all possible worlds, a solution to this problem would provide the following: (i) A list of n-manifolds fMαg, containing one representative from each diffeomorphism class. (ii) A procedure which determines, for each n-manifold M, the unique index α such that M ' Mα. In the case n = 2, it is possible to address these problems completely: a connected oriented surface Σ is classified up to homeomorphism by a single integer g, called the genus of Σ. For each g ≥ 0, there is precisely one connected surface Σg of genus g up to diffeomorphism, which provides a solution to (i). Given an arbitrary connected oriented surface Σ, we can determine its genus simply by computing its Euler characteristic χ(Σ), which is given by the formula χ(Σ) = 2 − 2g: this provides the procedure required by (ii). Given a solution to the classification problem satisfying the demands of (i) and (ii), we can extract an algorithm for determining whether two n-manifolds M and N are diffeomorphic. Namely, we apply the procedure (ii) to extract indices α and β such that M ' Mα and N ' Mβ: then M ' N if and only if α = β. For example, suppose that n = 2 and that M and N are connected oriented surfaces with the same Euler characteristic. Then the classification of surfaces tells us that there is a diffeomorphism φ from M to N.
    [Show full text]
  • 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.
    [Show full text]
  • The Fundamental Group of SO(N) Via Quotients of Braid Groups Arxiv
    The Fundamental Group of SO(n) Via Quotients of Braid Groups Ina Hajdini∗ and Orlin Stoytchevy July 21, 2016 Abstract ∼ We describe an algebraic proof of the well-known topological fact that π1(SO(n)) = Z=2Z. The fundamental group of SO(n) appears in our approach as the center of a certain finite group defined by generators and relations. The latter is a factor group of the braid group Bn, obtained by imposing one additional relation and turns out to be a nontrivial central extension by Z=2Z of the corresponding group of rotational symmetries of the hyperoctahedron in dimension n. 1 Introduction. n The set of all rotations in R forms a group denoted by SO(n). We may think of it as the group of n × n orthogonal matrices with unit determinant. As a topological space it has the structure of a n2 smooth (n(n − 1)=2)-dimensional submanifold of R . The group structure is compatible with the smooth one in the sense that the group operations are smooth maps, so it is a Lie group. The space SO(n) when n ≥ 3 has a fascinating topological property—there exist closed paths in it (starting and ending at the identity) that cannot be continuously deformed to the trivial (constant) path, but going twice along such a path gives another path, which is deformable to the trivial one. For example, if 3 you rotate an object in R by 2π along some axis, you get a motion that is not deformable to the trivial motion (i.e., no motion at all), but a rotation by 4π is deformable to the trivial motion.
    [Show full text]
  • Representation Theory
    M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23.
    [Show full text]
  • Lecture Notes: Basic Group and Representation Theory
    Lecture notes: Basic group and representation theory Thomas Willwacher February 27, 2014 2 Contents 1 Introduction 5 1.1 Definitions . .6 1.2 Actions and the orbit-stabilizer Theorem . .8 1.3 Generators and relations . .9 1.4 Representations . 10 1.5 Basic properties of representations, irreducibility and complete reducibility . 11 1.6 Schur’s Lemmata . 12 2 Finite groups and finite dimensional representations 15 2.1 Character theory . 15 2.2 Algebras . 17 2.3 Existence and classification of irreducible representations . 18 2.4 How to determine the character table – Burnside’s algorithm . 20 2.5 Real and complex representations . 21 2.6 Induction, restriction and characters . 23 2.7 Exercises . 25 3 Representation theory of the symmetric groups 27 3.1 Notations . 27 3.2 Conjugacy classes . 28 3.3 Irreducible representations . 29 3.4 The Frobenius character formula . 31 3.5 The hook lengths formula . 34 3.6 Induction and restriction . 34 3.7 Schur-Weyl duality . 35 4 Lie groups, Lie algebras and their representations 37 4.1 Overview . 37 4.2 General definitions and facts about Lie algebras . 39 4.3 The theorems of Lie and Engel . 40 4.4 The Killing form and Cartan’s criteria . 41 4.5 Classification of complex simple Lie algebras . 43 4.6 Classification of real simple Lie algebras . 44 4.7 Generalities on representations of Lie algebras . 44 4.8 Representation theory of sl(2; C) ................................ 45 4.9 General structure theory of semi-simple Lie algebras . 48 4.10 Representation theory of complex semi-simple Lie algebras .
    [Show full text]
  • Character Theory of Finite Groups NZ Mathematics Research Institute Summer Workshop Day 1: Essentials
    1/29 Character Theory of Finite Groups NZ Mathematics Research Institute Summer Workshop Day 1: Essentials Don Taylor The University of Sydney Nelson, 7–13 January 2018 2/29 Origins Suppose that G is a finite group and for every element g G we have 2 an indeterminate xg . What are the factors of the group determinant ¡ ¢ det x 1 ? gh¡ g,h This was a question posed by Dedekind. Frobenius discovered character theory (in 1896) when he set out to answer it. Characters of abelian groups had been used in number theory but Frobenius developed the theory for nonabelian groups. 3/29 Representations Matrices Characters ² ² A linear representation of a group G is a homomorphism ½ : G GL(V ), where GL(V ) is the group of all invertible linear ! transformations of the vector space V , which we assume to have finite dimension over the field C of complex numbers. The dimension n of V is called the degree of ½. If (ei )1 i n is a basis of V , there are functions ai j : G C such that · · ! X ½(x)e j ai j (x)ei . Æ i The matrices A(x) ¡a (x)¢ define a homomorphism A : G GL(n,C) Æ i j ! from G to the group of all invertible n n matrices over C. £ The character of ½ is the function G C that maps x G to Tr(½(x)), ! 2 the trace of ½(x), namely the sum of the diagonal elements of A(x). 4/29 Early applications Frobenius first defined characters as solutions to certain equations.
    [Show full text]