DOCSLIB.ORG

6 Representation Theory of the Special Unitary Group SU(N)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
6 Representation Theory of the Special Unitary Group SU(N) 6 Representation theory of the special unitary group SU(N) 6.1 Schur-Weyl duality | an overview The Schur-Weyl duality is a powerful tool in representation theory that allows one to put the irreducible representations of the general linear group GL(N) c.f. Definition 6.1) a vector space ⊗n V with dim V = N into 1-to1 correspondence to the irreducible representations of the group Sn on V ⊗n. In particular, it turns out that V ⊗n decomposes as V ⊗n = V S ; λ n ; (6.1) λ ⊗ λ ` Mλ ⊗n where Vλ are the irreducible submodules of GL(N) on V , and Sλ are the so-called Specht modules, which describe the irreducible representations of Sn (c.f., e.g., [4] and other standard ⊗n textbooks). The underlying reason for this is that the actions of GL(N) and Sn on V commute and, even more, the elements of GL(N) are a complete set of actions that commute with those of Sn and vice In these lectures, we will go through the main points of the Schur-Weyl duality, paying particular attention to the role the Young projection operators play in the representation theory of GL(N). We will begin be defining the general linear group GL( N) in section 6.2. • We will then define what we mean by an invariant of GL (N), and show that these invariants are • given by the elements of Sn, section 6.3. In fact, Sn spans the algebra of invariants of GL(N). An important ingredient to seeing this the double commutant theorem, c.f. section 6.3.1. Let v V ⊗n be arbitrary. We will show that, for every Θ , the subspace • 2 2 Yn YΘv (6.2) is invariant and irreducible under the action of Sn. Hence, YΘv is an irreducible C[Sn]- ⊗n submodule and therefore corresponds to an irreducible representation of Sn on V , c.f. section 6.4. Thereafter, we will show that, for every Θ , the subspace • 2 Yn ⊗n YΘV (6.3) is invariant and irreducible under the action of GL( N) | the main ingredient to showing ⊗n this is the fact that Sn spans the algebra of invariants of GL(N ) on V . This shows that the Young projection operators YΘ generate the irreducible ideals (and hence the irreducible representations) of GL(N) on V ⊗n, section 6.5. Finally, in section 6.6, we will argue that the irreducible representations of GL( N) on V ⊗n • are precicely those of the special unitary group SU(N) on V ⊗n. In other words, the Young projection operators on V ⊗n give rise to all the irreducible ideals of SU(N ) on V ⊗n. We will end with an example, constructing the irreducible representations of GL (N) (hence • ⊗n also SU( N)) and Sn on V for n = N = 3, in section 6.7. 58 6.2 Basic definitions Definition 6.1 { General linear group GL(V ) (or GL(N)): Let V be a vector space of dimension N (N not necessarily finite). Consider the subset of End(V ) of all invertible endomorphisms of V . This set forms a group called the general linear group on V , and we denote this group by GL(V ) or sometimes only GL(N) if the vector space V is clear and we want to make the dimension of V explicit. Definition 6.2 { Defining/fundamental representation of GL(V ): Let GL(V ) be the general linear group acting on a vector space V . We can define a representation γ as γ : GL(V ) End(V ) ! (6.6) γ(g) g 7! since there is a well-defined action of GL(V ) on V . The representation γ is referred to as the defining representation of GL(V ) and has dimension dim V = N. 6.3 Invariants of GL(N) Through the defining representation γ of GL(V ) on V , we can define a representation of GL(V ) on V ⊗n via g (v v v ) := γ(g)v γ(g)v γ(g)v = gv gv gv (6.7a) 1 ⊗ 2 ⊗ · · · ⊗ n 1 ⊗ 2 ⊗ · · · ⊗ n 1 ⊗ 2 ⊗ · · · ⊗ n 59 Let be the symmetric group Sn, and let be the general linear group GL(N). Both these groups A B ⊗n have a well-defined action on the vector space V (with dim V = N), and therefore both Sn and GL(N) are subgroups of End (V ⊗n). Furthermore, we have seen in the beginning of section 6.3 that ⊗n the actions of Sn and GL(N) commute on V , such that = S (GL(N))0 = 0 and = GL(N) S0 = 0 A n ⊂ B B ⊂ n A 0 and 0 : (6.18) ) A ⊂ B B ⊂ A ⊗n It follows directly from Maschke's Theorem 3.1 that V is a completely reducible Sn-module. That V ⊗n is also a completely reducible GL(N)-module follows from the Peter-Weyl Theorem [16] (which we will state without proof): Note 6.1: Peter-Weyl Theorem As we will explain in Note 6.2, GL(N) is a Lie group, which means that, in particular, it is a differentiable manifold. A manifold is said to be compact if it is compact as a topological space, that is every open cover has a finite subcover, c.f., e.g., [17]. (Very losely speaking, you may think of a cover of a manifold M as another manifold M 0 enclosing it. The requirement that every subcover is finite can be thought of that every submanifold N 0 M 0 that is also ⊂ a cover for M is finite, implying that M was finite to start off with. As an example, the unit sphere is a compact manifold, but an infinite plane would not be.) It turns out that the representations of such compact Lie groups are completely reducible: Theorem 6.2 { Reducible carrier spaces of compact groups (Peter-Weyl [16]): Let ' be a unitary representation of a compact group G on a complex Hilbert space H. Then H splits into an orthogonal direct sum of irreducible finite-dimensional unitary representations of G. Now, the group GL(N) is not compact (as a manifold). However, as we will see in the later section 6.6, its subgroup SU(N) is compact. Furthermore, as we will argue in section section 6.6, the irreducible representations of GL(N) are precicely those of SU(N) and vice versa (c.f. Theorem 6.5) by means of the so-called unitarian trick, it follows that the Peter- Weyl Theorem 6.2 does indeed apply to the group GL(N) as well. If all the things said in this note do not quite make sense to you yet, try re-reading this note after you have read section 6.6 | this should clear things up for you. ⊗n Therefore V is completely reducible as an Sn-module, as well as as a GL(N)-module. Therefore, the Double commutant theorem 6.1 asserts that = S = 00 and = GL(N) = 00 A n A B B = 00 and = 00 : (6.19) )A A B B 62 6.6 The unitarian trick: irreducible representations of SU(N) from GL(N) Having established the connection between the irreducible representations of Sn and the irreducible representations of GL(N) on V ⊗n, Definition 6.4 { Special unitary group SU(N): Let GL(N) be the general linear group on a vector space V with dim(V ) = N. We define SU(N) to be the subset of matrices in GL(N) that are unitary (with respect to the canonical scalar product on V ) and have determinant 1, SU(N) = U GL(N) UU y = 1 and det U = 1 : (6.41) 2 n o It can be shown that SU( N) is in fact a group ( c.f. ) and we call it the special unitary group on V . (The term special refers to the fact that the elements of SU (N) are unimodular, i.e. have determi- nant 1, and unitary referes to the property that UU y = 1 for every U SU(N).) 2 The following intermediate result will turn out to be quite useful when establishing the correspon- dence between the irreducible representations of GL( N) and the irreducible representations of SU(N) on V ⊗n: Proposition 6.3 { Square matrix decomposition: Let M n×n be the space of all n n matrices with entries in C, and let Hn×n and An×n be the spaces × of all Hermitian, respectively, anti-Hermitian n n matrices with entries in C. Then, × M n×n = Hn×n An×n : (6.44) ⊕ Proof of Proposition 6.3. It is clear that Hn×n + An×n M n×n since a sum of a Hermitian and ⊂ an anti-Hermtitian n n matrix will still yield an n n matrix. Conversely, let m M n×n. Then, × × 2 we can write 1 1 m = (m + my) + (m my) ; (6.45) 2 2 − =:m+ =:m − | {z } | {z } 66 y where m is the Hermitian conjugate of m. Notice that m+ is Hermitian and m− is anti-Hermitian. Thus, we also hace that M n×n Hn×n + An×n, implying that ⊂ M n×n = Hn×n + An×n (6.46) It remains to show that Hn×n An×n = 0 to obtain the desired result: Let m Hn×n An×n. Since \ f g 2 \ m Hn×n, m is Hermitian. Furthermore, since also m An×n, m is anti-Hermitian. Therefore, 2 2 2 n n 2 n n m =======m H × my =======m A × m m = m : (6.47) − ) − However, since all entries in m are elements of C, m = m only holds for m being the zero matrix.
Load more

Recommended publications
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • On the Left Ideal in the Universal Enveloping
    proceedings of the american mathematical society Volume 121, Number 4, August 1994 ON THE LEFT IDEAL IN THE UNIVERSALENVELOPING ALGEBRA OF A LIE GROUP GENERATED BY A COMPLEX LIE SUBALGEBRA JUAN TIRAO (Communicated by Roe W. Goodman) Abstract. Let Go be a connected Lie group with Lie algebra go and 'et n be a Lie subalgebra of the complexification g of go . Let C°°(Go)* be the annihilator of h in C°°(Go) and let s/ =^{Ccc(G0)h) be the annihilator of C00(Go)A in the universal enveloping algebra %(g) of g. If h is the complexification of the Lie algebra ho of a Lie subgroup Ho of Go then sf = %({g)h whenever Ho is closed, is a known result, and the point of this paper is to prove the converse assertion. The paper has two distinct parts, one for C°° , the other for holomorphic functions. In the first part the Lie algebra ho of the closure of Ha is characterized as the annihilator in go of C°°(Go)h , and it is proved that ho is an ideal in /i0 and that ho = ho © v where v is an abelian subalgebra of Ao . In the second part we consider a complexification G of Go and assume that h is the Lie algebra of a closed connected subgroup H of G. Then we establish that s/{cf(G)h) = %?(g)h if and only if G/H has many holomorphic functions. This is the case if G/H is a quasi-affine variety. From this we get that if H is a unipotent subgroup of G or if G and H are reductive groups then s/(C°°(G0)A) = iY(g)h .
    [Show full text]
  • Lie Groups and Lie Algebras
    2 LIE GROUPS AND LIE ALGEBRAS 2.1 Lie groups The most general definition of a Lie group G is, that it is a differentiable manifold with group structure, such that the multiplication map G G G, (g,h) gh, and the inversion map G G, g g−1, are differentiable.× → But we shall7→ not need this concept in full generality.→ 7→ In order to avoid more elaborate differential geometry, we will restrict attention to matrix groups. Consider the set of all invertible n n matrices with entries in F, where F stands either for the real (R) or complex× (C) numbers. It is easily verified to form a group which we denote by GL(n, F), called the general linear group in n dimensions over the number field F. The space of all n n matrices, including non- invertible ones, with entries in F is denoted by M(n,×F). It is an n2-dimensional 2 vector space over F, isomorphic to Fn . The determinant is a continuous function det : M(n, F) F and GL(n, F) = det−1(F 0 ), since a matrix is invertible → −{ } 2 iff its determinant is non zero. Hence GL(n, F) is an open subset of Fn . Group multiplication and inversion are just given by the corresponding familiar matrix 2 2 2 2 2 operations, which are differentiable functions Fn Fn Fn and Fn Fn respectively. × → → 2.1.1 Examples of Lie groups GL(n, F) is our main example of a (matrix) Lie group. Any Lie group that we encounter will be a subgroups of some GL(n, F).
    [Show full text]
  • Introduction to Representations Theory of Lie Groups
    Introduction to Representations Theory of Lie Groups Raul Gomez October 14, 2009 Introduction The purpose of this notes is twofold. The first goal is to give a quick answer to the question \What is representation theory about?" To answer this, we will show by examples what are the most important results of this theory, and the problems that it is trying to solve. To make the answer short we will not develop all the formal details of the theory and we will give preference to examples over proofs. Few results will be proved, and in the ones were a proof is given, we will skip the technical details. We hope that the examples and arguments presented here will be enough to give the reader and intuitive but concise idea of the covered material. The second goal of the notes is to be a guide to the reader interested in starting a serious study of representation theory. Sometimes, when starting the study of a new subject, it's hard to understand the underlying motivation of all the abstract definitions and technical lemmas. It's also hard to know what is the ultimate goal of the subject and to identify the important results in the sea of technical lemmas. We hope that after reading this notes, the interested reader could start a serious study of representation theory with a clear idea of its goals and philosophy. Lets talk now about the material covered on this notes. In the first section we will state the celebrated Peter-Weyl theorem, which can be considered as a generalization of the theory of Fourier analysis on the circle S1.
    [Show full text]
  • 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 .
    [Show full text]
  • Kac-Moody Algebras and Applications
    Kac-Moody Algebras and Applications Owen Barrett December 24, 2014 Abstract This article is an introduction to the theory of Kac-Moody algebras: their genesis, their con- struction, basic theorems concerning them, and some of their applications. We first record some of the classical theory, since the Kac-Moody construction generalizes the theory of simple finite-dimensional Lie algebras in a closely analogous way. We then introduce the construction and properties of Kac-Moody algebras with an eye to drawing natural connec- tions to the classical theory. Last, we discuss some physical applications of Kac-Moody alge- bras,includingtheSugawaraandVirosorocosetconstructions,whicharebasictoconformal field theory. Contents 1 Introduction2 2 Finite-dimensional Lie algebras3 2.1 Nilpotency.....................................3 2.2 Solvability.....................................4 2.3 Semisimplicity...................................4 2.4 Root systems....................................5 2.4.1 Symmetries................................5 2.4.2 The Weyl group..............................6 2.4.3 Bases...................................6 2.4.4 The Cartan matrix.............................7 2.4.5 Irreducibility...............................7 2.4.6 Complex root systems...........................7 2.5 The structure of semisimple Lie algebras.....................7 2.5.1 Cartan subalgebras............................8 2.5.2 Decomposition of g ............................8 2.5.3 Existence and uniqueness.........................8 2.6 Linear representations of complex semisimple Lie algebras...........9 2.6.1 Weights and primitive elements.....................9 2.7 Irreducible modules with a highest weight....................9 2.8 Finite-dimensional modules............................ 10 3 Kac-Moody algebras 10 3.1 Basic definitions.................................. 10 3.1.1 Construction of the auxiliary Lie algebra................. 11 3.1.2 Construction of the Kac-Moody algebra................. 12 3.1.3 Root space of the Kac-Moody algebra g(A) ..............
    [Show full text]
  • 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.
    [Show full text]
  • Lie Groups and Lie Algebras
    Lie groups and Lie algebras Jonny Evans March 10, 2016 1 Lecture 1: Introduction To the students, past, present and future, who have/are/will taken/taking/take this course and to those interested parties who just read the notes and gave me feedback: thank you for providing the background level of enthusiasm, pedantry and general con- fusion needed to force me to improve these notes. All comments and corrections are very welcome. 1.1 What is a representation? Definition 1.1. A representation ρ of a group G on an n-dimensional vector space V over a field k is an assignment of a k-linear map ρ(g): V ! V to each group element g such that • ρ(gh) = ρ(g)ρ(h) • ρ(1G) = 1V . Here are some equivalent definitions. A representation is... 1. ...an assignment of an n-by-n matrix ρ(g) to each group element g such that ρ(gh) = ρ(g)ρ(h) (i.e. the matrices multiply together like the group elements they represent). This is clearly the same as the previous definition once you have picked a basis of V to identify linear maps with matrices; 2. ...a homomorphism ρ: G ! GL(V ). The multiplicativity condition is now hiding in the definition of homomorphism, which requires ρ(gh) = ρ(g)ρ(h); 3. ...an action of G on V by linear maps. In other words an action ρ~: G × V ! V such that, for each g 2 G, the map ρ(g): V ! V defined by ρ(g)(v) =ρ ~(g; v) is linear.
    [Show full text]
  • Why Do We Do Representation Theory?
    Why do we do representation theory? V. S. Varadarajan University of California, Los Angeles, CA, USA Bologna, September 2008 Abstract Years ago representation theory was a very specialized field, and very few non-specialists had much interest in it. This situation has changed profoundly in recent times. Due to the efforts of people like Gel’fand, Harish-Chandra, Lang- lands, Witten, and others, it has come to occupy a cen- tral place in contemporary mathematics and theoretical physics. This talk takes a brief look at the myriad ways that rep- resentations of groups enters mathematics and physics. It turns out that the evolution of this subject is tied up with the evolution of the concept of space itself and the classifi- cation of the groups of symmetries of space. Classical projective geometry • The projective group G = PGL(n + 1) operates on complex projective space CPn and hence on algebraic varieties imbedded in CPn. Classical geometry was concerned with the invariants of these varieties under the projective action. Main problems over C • To study the ring of invariants of the action of G on the graded ring of polynomials on Cn+1. The basic question is: • Is the invariant ring finitely generated? • The spectrum of the ring of invariants is a first ap- proximation to a moduli space for the action. Solutions over C • (Hilbert-Weyl) The ring of invariants is finitely gener- ated if G is a complex semi simple group. This is based on • (Weyl) All representations of a complex semi simple grup are completely reducible. • (Nagata) Finite generation of invariants is not always true if G is not semi simple.
    [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]
  • Geometric Representation Theory of SL2(R)
    Geometric representation theory of SL2(R) Justin Campbell April 20, 2015 1 Introduction The representation theory of SL2(R) is of interest to number theorists and physicists, notably through its connection to the theory of modular forms. The importance of the discrete series representations where these modular forms live was recogized classically, but a full classification of the irreducible admissible representations was only accomplished by Bargmann in 1947. The goal of this note is to give an algebro- geometric account of the classification using the theory of D-modules. Notations: GR = SL2(R) G = SL2(C) g = sl2(C) U(g) = the universal enveloping algebra of g Z(g) = the center of U(g) ∼ 1 KR = SO2(R) = S ∼ K = SO2(C) = Gm 2 Harish-Chandra modules We are interested a priori in representations of GR acting on certain topological vector spaces (e.g. Hilbert, Banach, and Fr´echet spaces), but this involves functional analysis. If we na¨ıvely attempted to classify irreducible admissible representations up to isomorphism, we would find that many representations which are defined by the same formulas and therefore \the same" representation-theoretically are non-isomorphic for topological reasons. Example 2.1. Consider the adjoint action of G on 1 =∼ S1. This is induces an action of G on the Hilbert R PR R space L2(S1), the Banach spaces Lp(S1) for all p, the Frechet space C1(S1), etc. For this reason we will formulate the notion of infinitesimal equivalence, which is insensitive to these analytic subtleties. This leads naturally to the consideration of Harish-Chandra modules.
    [Show full text]