DOCSLIB.ORG

Introduction to Representations of Real Semisimple Lie Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introduction to Representations of Real Semisimple Lie Groups Introduction to Representations of Real Semisimple Lie Groups Matvei Libine September 13, 2021 Abstract These are lecture notes for a one semester introductory course I gave at Indiana University. The goal was to make this exposition as clear and elementary as possible. A particular emphasis is given on examples involving SU(1, 1). These notes are in part based on lectures given by my graduate advisor Wilfried Schmid at Harvard University and PQR2003 Euroschool in Brussels [17] as well as other sources, such as [10, 13, 14, 23, 25, 27]. The text is formated for convenient viewing from iPad and other tablets. Contents 1 Introduction 4 2 Some Geometry and Examples of Representa- tions 7 2.1 ComplexProjectiveLine. 7 arXiv:1212.2578v3 [math.RT] 9 Sep 2021 2.2 ExamplesofRepresentations . 10 3 The Universal Enveloping Algebra 14 3.1 TheDefinition .................. 14 3.2 Some Properties of the Universal Enveloping Al- gebra....................... 16 3.3 Geometric Realization of U(g).......... 20 1 4 Irreducible Representations of sl(2, R) 21 4.1 Preliminaries . 21 4.2 Classification of Irreducible sl(2, C)-Modules . 27 5 The Complexification, the Cartan Decomposi- tion and Maximal Compact Subgroups 36 5.1 AssumptionsonGroups . 36 5.2 ComplexificationsandRealForms. 38 5.3 TheCartanDecomposition . 40 5.4 MaximalCompactSubgroups . 44 6 Definition of a Representation 48 6.1 A Few Words on Topological Vector Spaces . 48 6.2 TheDefinition .................. 52 6.3 AdmissibleRepresentations . 56 7 Harish-ChandraModules 57 ∞ 7.1 KR-finite and C Vectors ............ 57 7.2 ProofofTheorem61. 59 7.3 Harish-ChandraModules . 67 7.4 InfinitesimalEquivalence. 73 7.5 AFewWordsaboutGlobalization. 76 7.6 Unitary Representations and Infinitesimal Equiv- alence....................... 78 8 Construction of Representations of SU(1, 1) 80 8.1 Construction of Representations of SL(2, R).. 80 8.2 Construction of Representations of SU(1, 1) .. 82 8.3 ActionoftheLieAlgebra . 85 ∞ 1 8.4 The Harish-Chandra Module of (πχ, C (S )).. 87 2 ∞ 1 8.5 Decomposition of (πχ, C (S )) into Irreducible Components ................... 89 8.6 Unitary Representations of SU(1, 1) ...... 93 9 Notes on Schur’s Lemma 99 9.1 ClassicalVersion . 99 9.2 Schur’s Lemma for Unitary Representations . 100 9.3 Dixmier’sLemma . 100 9.4 InfinitesimalCharacters . 103 10 Iwasawa and KAK Decompositions 104 10.1 IwasawaDecomposition . 104 10.2 KAK Decomposition . 110 11 Principal Series Representations 111 11.1 GR-equivariantVectorBundles . 111 11.2 Construction of the Principal Series Representa- tions ....................... 113 11.3 Admissibility of the Principal Series Representa- tions ....................... 116 11.4 SubrepresentationTheorem . 118 11.5 Unitary Principal Series Representations . 119 12 Group Characters 121 12.1 Hilbert-SchmidtOperators. 121 12.2 TraceClassOperators . 124 12.3 TheDefinitionofaCharacter . 125 12.4 PropertiesofCharacters . 129 12.5 Harish-Chandra Regularity Theorem . 131 12.6 Characters of Representations of SU(1, 1) ... 134 3 1 Introduction Let G be a real semisimple or reductive Lie group (intuitively this means that its Lie algebra g is semisimple or reductive). Examples: SL(n, R), O(p,q), SU(p,q), ...are real semisim- ple Lie groups and GL(n, R), U(p,q), ...are reductive real Lie groups. Gˆ = set of isomorphism classes of irreducible unitary represen- tations. Thus, for each i ∈ Gˆ, we get an irreducible unitary representation (πi, Vi). G – compact: dim Vi < ∞, unitarity is automatic (every ir- reducible representation is unitary), πi : G × Vi → Vi is real analytic, so get a representation of g on Vi. Non-compact: Typically dim Vi = ∞, there are many interest- ing non-unitary representations, analyticity fails miserably. To get around this problem and construct representation of g, look at the space of C∞ or Cω vectors; solution: Harish-Chandra modules. G – compact: We have Peter-Weyl Theorem: 2 ∗ L (G) ≃ Vi ⊗ V ≃ End(Vi) i∈Gˆ i i∈Gˆ G×G equivariant isomorphismMd of vectorMd spaces, the hat denotes the Hilbert space direct sum. We also have a Fourier Inversion Theorem: Define ∞ C (G) ∋ f 7→ fˆ(i)= f(g) · πi(g) dg ∈ End(Vi), ZG then f(e)= Tr fˆ(i) · dim Vi. Xi∈Gˆ 4 Compare this with Fourier series: f(x)= fˆ(n) · einx, f(0) = fˆ(n), Xn∈Z Xn∈Z 1 π fˆ(n)= f(x) · e−inx dx, f ∈C∞(R/2πZ). 2π Z−π Non-compact: Not every irreducible unitary representation oc- curs in L2(G). In fact, it is still an open problem to describe Gˆ for an arbitrary real semisimple Lie group. We have an abstract Fourier Inversion Theorem: 2 ∗ L (G) ≃ Vi⊗ˆ Vi dµ(i) ≃ EndHS(Vi) dµ(i), ˆ ˆ Zi∈G Zi∈G where µ(i) denotes a measure on Gˆ, called Plancherel measure. For compact G, µ(i) = dim Vi and supp(µ) = Gˆ. For non- compact G, supp(µ) ( Gˆ. ˆ ∞ f(e)= Tr f(i) dµ(i), f ∈Cc (G). ˆ ZG G – compact: We have Borel-Weil-Bott Theorem for i H (GC/BC, Lλ), irreducible representations are uniquely deter- mined by their characters,Weyl and Kirillov’s character formu- las. Non-compact: Na¨ıve notion of character fails. Harish-Chandra: get character as a conjugation-invariant distribution on G, does determine representation up to equivalence. Regularity theo- rem: characters are real-analytic functions with singularities. No totally explicit formula for characters. Kashiwara-Schmid i [11] constructed representations of G in H (GC/BC, F), where 5 F is a G-equivariant sheaf on GC/BC. This can be regarded as an analogue of Borel-Weil-Bott theorem. Then Schmid-Vilonen [18] gave analogues of Weil and Kirillov’s character formulas. G – compact: If H ⊂ G is a closed subgroup, .(L2(G/H) ֒→ L2(G Non-compact: If H ⊂ G is a closed non-compact subgroup, .(L2(G/H) 6֒→ L2(G For example, if G = SL(2, R), Γ ⊂ G a discrete subgroup, even then L2(G/Γ) is not known in general. Strategy for understanding representations: In order to under- stand representations of compact groups K, we restricted them to a maximal torus T , and the representation theory for T is trivial. Equivalently, in order to understand finite-dimensional representations of a semisimple Lie algebra k, we restrict them to a Cartan subalgebra h. Now, to understand representations of a real semisimple Lie group G we restrict them to a maximal compact subgroup K, and the representation theory for K is assumed to be understood. (A particular choice of a maximal compact subgroup K ⊂ G does not matter, just like a partic- ular choice of a maximal torus T ⊂ K or a Cartan subalgebra h ⊂ k is not essential.) 6 2 Some Geometry and Examples of Representations 2.1 Complex Projective Line The complex projective line, usually denoted by CP 1 or P1(C), is C2 \ {0} modulo equivalence, where z λz 1 ∼ 1 , ∀λ ∈ C×. z λz 2 2 Note that z z /z z 1 1 ∼ 1 2 if z 6=0, 1 ∼ if z 6=0. z 1 2 z z /z 2 2 2 2 1 z 1 We identify points 1 ∈ CP with z ∈ C, then the comple- ment of C in CP 1 is 1 , and we think of this point as ∞. 0 Thus CP 1 = C ∪ {∞} ≈ S2 (as C∞ manifolds). The group SL(2, C) acts on CP 1 by fractional linear trans- formations: a b z az + bz 1 = 1 2 , c d z cz + dz 2 1 2 a b z az + b az+b = ∼ cz+d . c d 1 cz + d 1 az+b The map z 7→ cz+d from C ∪ {∞} to itself is also called a M¨obius or fractional linear transformation. Note that the center {±Id} ⊂ SL(2, C) acts on CP 1 trivially, so we actually have an action on CP 1 of PGL(2, C)= GL(2, C)/{center} = SL(2, C)/{±Id}. 7 Recall that an automorphism of CP 1 or any complex mani- fold M is a complex analytic map M → M which has an inverse that is also complex analytic. Theorem 1. All automorphisms of CP 1 are of the form az + b a b z 7→ , ∈ SL(2, C). cz + d c d Moreover, two matrices M1, M2 ∈ SL(2, C) produce the same 1 automorphism on CP if and only if M2 = ±M1. Next we turn our attention to the upper half-plane H = {z ∈ C; Im z > 0}. Note that SL(2, R) preserves H: If a,b,c,d ∈ R and Im z > 0, then az + b 1 az + b az¯ + b Im = − cz + d 2i cz + d cz¯ + d 1 (az + b)(cz¯ + d) − (az¯ + b)(cz + d) = 2i |cz + d|2 1 (ad − bc)(z − z¯) Im z = = > 0. 2i |cz + d|2 |cz + d|2 Thus the group SL(2, R) acts on H by automorphisms. Theorem 2. All automorphisms of the upper half-plane H are of the form az + b a b z 7→ , ∈ SL(2, R). cz + d c d Moreover, two matrices M1, M2 ∈ SL(2, R) produce the same automorphism on H if and only if M2 = ±M1. 8 The group PGL(2, R) = SL(2, R)/{±Id} is also the auto- morphism group of the lower half-plane H¯ = {z ∈ C; Im z < 0} and preserves R ∪ {∞}. Note that the Cayley transform z − i z 7→ , z + i which is the fractional linear transformation associated to the 1 −i matrix C = 1 i , takes H to the unit disk D = {z ∈ C; |z| < 1}. Of course, the group of automorphisms of D is obtained from the group of automorphisms of H by conjugating by C: C · PGL(2, R) · C−1 ⊂ PGL(2, C).
Load more

Recommended publications
  • 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).
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [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]
  • Spinors for Everyone Gerrit Coddens
    Spinors for everyone Gerrit Coddens To cite this version: Gerrit Coddens. Spinors for everyone. 2017. cea-01572342 HAL Id: cea-01572342 https://hal-cea.archives-ouvertes.fr/cea-01572342 Submitted on 7 Aug 2017 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. Spinors for everyone Gerrit Coddens Laboratoire des Solides Irradi´es, CEA-DSM-IRAMIS, CNRS UMR 7642, Ecole Polytechnique, 28, Route de Saclay, F-91128-Palaiseau CEDEX, France 5th August 2017 Abstract. It is hard to find intuition for spinors in the literature. We provide this intuition by explaining all the underlying ideas in a way that can be understood by everybody who knows the definition of a group, complex numbers and matrix algebra. We first work out these ideas for the representation SU(2) 3 of the three-dimensional rotation group in R . In a second stage we generalize the approach to rotation n groups in vector spaces R of arbitrary dimension n > 3, endowed with an Euclidean metric. The reader can obtain this way an intuitive understanding of what a spinor is. We discuss the meaning of making linear combinations of spinors.
    [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]
  • Notes on Representations of Finite Groups
    NOTES ON REPRESENTATIONS OF FINITE GROUPS AARON LANDESMAN CONTENTS 1. Introduction 3 1.1. Acknowledgements 3 1.2. A first definition 3 1.3. Examples 4 1.4. Characters 7 1.5. Character Tables and strange coincidences 8 2. Basic Properties of Representations 11 2.1. Irreducible representations 12 2.2. Direct sums 14 3. Desiderata and problems 16 3.1. Desiderata 16 3.2. Applications 17 3.3. Dihedral Groups 17 3.4. The Quaternion group 18 3.5. Representations of A4 18 3.6. Representations of S4 19 3.7. Representations of A5 19 3.8. Groups of order p3 20 3.9. Further Challenge exercises 22 4. Complete Reducibility of Complex Representations 24 5. Schur’s Lemma 30 6. Isotypic Decomposition 32 6.1. Proving uniqueness of isotypic decomposition 32 7. Homs and duals and tensors, Oh My! 35 7.1. Homs of representations 35 7.2. Duals of representations 35 7.3. Tensors of representations 36 7.4. Relations among dual, tensor, and hom 38 8. Orthogonality of Characters 41 8.1. Reducing Theorem 8.1 to Proposition 8.6 41 8.2. Projection operators 43 1 2 AARON LANDESMAN 8.3. Proving Proposition 8.6 44 9. Orthogonality of character tables 46 10. The Sum of Squares Formula 48 10.1. The inner product on characters 48 10.2. The Regular Representation 50 11. The number of irreducible representations 52 11.1. Proving characters are independent 53 11.2. Proving characters form a basis for class functions 54 12. Dimensions of Irreps divide the order of the Group 57 Appendix A.
    [Show full text]
  • Wave Front Sets of Reductive Lie Group Representations Iii 3
    WAVE FRONT SETS OF REDUCTIVE LIE GROUP REPRESENTATIONS III BENJAMIN HARRIS AND TOBIAS WEICH Abstract. Let G be a real, reductive algebraic group, and let X be a ho- mogeneous space for G with a non-zero invariant density. We give an explicit description of a Zariski open, dense subset of the asymptotics of the tempered support of L2(X). Under additional hypotheses, this result remains true for vector bundle valued harmonic analysis on X. These results follow from an upper bound on the wave front set of an induced Lie group representation under a uniformity condition. 1. Introduction Let G be a real, linear algebraic group with Lie algebra g. Denote the col- lection of purely imaginary linear functionals on g by ig∗ := HomR(g,iR). The ∗ Kirillov-Kostant orbit method seeks to associate a coadjoint orbit Oπ ⊂ ig to every irreducible, unitary representation π of G. This program is not possible in full generality; some irreducible, unitary representations do not naturally corre- spond to coadjoint orbits. However, it has been carried out for irreducible, unitary representations occurring in the Plancherel formula for G [Duf82], and there are encouraging signs of success for other important families of representations (see for instance [Vog00]). The passage from Oπ to π is often referred to as quantization. Let X be a homogeneous space for G with a non-zero invariant density. For each x ∈ X, let Gx denote the stabilizer of x in G, and let gx denote the Lie algebra 2 of Gx. Abstract harmonic analysis seeks to decompose L (X) into irreducible, unitary representations of G.
    [Show full text]
  • The Origin of Representation Theory
    THE ORIGIN OF REPRESENTATION THEORY KEITH CONRAD Abstract. Representation theory was created by Frobenius about 100 years ago. We describe the background that led to the problem which motivated Frobenius to define characters of a finite group and show how representation theory solves the problem. The first results about representation theory in characteristic p are also discussed. 1. Introduction Characters of finite abelian groups have been used since Gauss in the beginning of the 19th century, but it was only near the end of that century, in 1896, that Frobenius extended this concept to finite nonabelian groups [21]. This approach of Frobenius to group characters is not the one in common use today, although some of his ideas that were overlooked for a long period have recently been revived [30]. Here we trace the development of the problem whose solution led Frobenius to introduce characters of finite groups, show how this problem can be solved using classical representa- tion theory of finite groups, and indicate some relations between this problem and modular representations. Other surveys on the origins of representation theory are by Curtis [7], Hawkins [24, 25, 26, 27], Lam [32], and Ledermann [35]. While Curtis describes the development of modular representation theory focusing on the work of Brauer, we examine the earlier work in characteristic p of Dickson. 2. Circulants For a positive integer n, consider an n × n matrix where each row is obtained from the previous one by a cyclic shift one step to the right. That is, we look at a matrix of the form 0 1 X0 X1 X2 :::Xn−1 B Xn−1 X0 X1 :::Xn−2 C B C B .
    [Show full text]
  • Covariant Dirac Operators on Quantum Groups
    Covariant Dirac Operators on Quantum Groups Antti J. Harju∗ Abstract We give a construction of a Dirac operator on a quantum group based on any simple Lie alge- bra of classical type. The Dirac operator is an element in the vector space Uq (g) ⊗ clq(g) where the second tensor factor is a q-deformation of the classical Clifford algebra. The tensor space Uq (g) ⊗ clq(g) is given a structure of the adjoint module of the quantum group and the Dirac operator is invariant under this action. The purpose of this approach is to construct equivariant Fredholm modules and K-homology cycles. This work generalizes the operator introduced by Bibikov and Kulish in [1]. MSC: 17B37, 17B10 Keywords: Quantum group; Dirac operator; Clifford algebra 1. The Dirac operator on a simple Lie group G is an element in the noncommutative Weyl algebra U(g) cl(g) where U(g) is the enveloping algebra for the Lie algebra of G. The vector space g generates a Clifford⊗ algebra cl(g) whose structure is determined by the Killing form of g. Since g acts on itself by the adjoint action, U(g) cl(g) is a g-module. The Dirac operator on G spans a one dimensional invariant submodule of U(g)⊗ cl(g) which is of the first order in cl(g) and in U(g). Kostant’s Dirac operator [10] has an additional⊗ cubical term in cl(g) which is constant in U(g). The noncommutative Weyl algebra is given an action on a Hilbert space which is also a g-module.
    [Show full text]
  • 3 Representations of Finite Groups: Basic Results
    3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above, a representation of a group G ! over k is the same thing as a representation of its group algebra k[G]. In this section, we begin a systematic development of representation theory of finite groups. 3.1 Maschke's Theorem Theorem 3.1. (Maschke) Let G be a finite group and k a field whose characteristic does not divide G . Then: j j (i) The algebra k[G] is semisimple. (ii) There is an isomorphism of algebras : k[G] EndV defined by g g , where V ! �i i 7! �i jVi i are the irreducible representations of G. In particular, this is an isomorphism of representations of G (where G acts on both sides by left multiplication). Hence, the regular representation k[G] decomposes into irreducibles as dim(V )V , and one has �i i i G = dim(V )2 : j j i Xi (the “sum of squares formula”). Proof. By Proposition 2.16, (i) implies (ii), and to prove (i), it is sufficient to show that if V is a finite-dimensional representation of G and W V is any subrepresentation, then there exists a → subrepresentation W V such that V = W W as representations. 0 → � 0 Choose any complement Wˆ of W in V . (Thus V = W Wˆ as vector spaces, but not necessarily � as representations.) Let P be the projection along Wˆ onto W , i.e., the operator on V defined by P W = Id and P W^ = 0.
    [Show full text]
  • Introduction to Representation Theory by Pavel Etingof, Oleg Golberg
    Introduction to representation theory by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina with historical interludes by Slava Gerovitch Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Contents Chapter 1. Introduction 1 Chapter 2. Basic notions of representation theory 5 x2.1. What is representation theory? 5 x2.2. Algebras 8 x2.3. Representations 9 x2.4. Ideals 15 x2.5. Quotients 15 x2.6. Algebras defined by generators and relations 16 x2.7. Examples of algebras 17 x2.8. Quivers 19 x2.9. Lie algebras 22 x2.10. Historical interlude: Sophus Lie's trials and transformations 26 x2.11. Tensor products 30 x2.12. The tensor algebra 35 x2.13. Hilbert's third problem 36 x2.14. Tensor products and duals of representations of Lie algebras 36 x2.15. Representations of sl(2) 37 iii Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms iv Contents x2.16. Problems on Lie algebras 39 Chapter 3. General results of representation theory 41 x3.1. Subrepresentations in semisimple representations 41 x3.2. The density theorem 43 x3.3. Representations of direct sums of matrix algebras 44 x3.4. Filtrations 45 x3.5. Finite dimensional algebras 46 x3.6. Characters of representations 48 x3.7. The Jordan-H¨oldertheorem 50 x3.8. The Krull-Schmidt theorem 51 x3.9.
    [Show full text]