Introduction to Kac-Moody Groups and Lie Algebras

Total Page:16

File Type:pdf, Size:1020Kb

Introduction to Kac-Moody Groups and Lie Algebras Introduction to Kac-Moody groups and Lie algebras N. Perrin November 9, 2015 2 Introduction This text consists of lecture notes for lectures given in Bonn University. The main inspiration for these notes was the book of V. Kac [Ka90]. I stayed very close from this book at least for the begining of the lecture: definition and first properties of Kac-Moody Lie algebras. In particular I have choosen to keep the definition of g(A) the Kac-Moody Lie algebra associated to a generalised Cartan matrix A as the quotient of the Lie algebra g(A) with the obvious commuting relations but the quotient of the maximal ideal with trivial intersection with the Cartan subalgebra instead taking the definition using Serre relations. This has manye advantages when one wants to identity a Lie algebra as a special Kac-Moody Lie algebra in particular in the explicit constructions of finite dimensional simple Lie algebras (Chapter 13) or of twisted and untwisted affine Lie algebras (Chapter 12 and 14). The second source of inspiration was the book of S. Kumar [Ku02]. In particular we took his point of view to define the Weyl group of a Kac-Moody Lie algebra and also to some extend in the presentation of the invariant bilinear form on a Kac-Moody Lie algebra as well as in the presentation of the representation theory of Kac-Moody Lie algebras and the celebrated character formula. Finally the books [Hu90] and [Bo54] where my main sources for the treatment of Coxeter groups in general even if the link with Weyl group of Kac-Moody Lie algebras is inspired from [Ku02]. As a conclusion, I would like to thank the HCM and the University of Bonn for giving me the opportunity to give these lectures. I also thank the students for their patience when I tried to explain the flavour of some tedious computations that may appear in proofs in the subject. I would finally like to thank Manfred Lehn whose lectures on affine Lie algebras in WS2001-2002 in Cologne was my first and inspirating introduction to the subject. Let me briefly review the content of these lecture notes: in the first part I give a quick introduction to semisimple Lie algebras and semisimple groups. This part should serve as a guide to what we want to obtain for Kac-Moody Lie algebras (and Kac-Moody groups that should be treated in a forthcoming third part). The main references are J.E. Humpreys book [Hu72] for Chapter 1 and T.A. Springer’s book [Sp98] for Chapter 2. In a third chapter, we recall some basic facts and definitions on algebras and Lie algebras like free Lie algebras, enveloping algebras an the Poincar´e-Birkhoff-Witt Theorem. We then enter the subject with the defintion and first properties of Kac-Moody Lie algebras in Chapter 4. In Chapter 5 we define the Weyl group of a Kac-Moody Lie algebra and associated geometric representation. In the next Chapter, we review the theory of Coxeter group and end with a proof of the fact that the Weyl group of a Kac-Moody Lie algebra is a cristallographic Coxeter group. At this point we start to study some particular generalised Cartan matrices especially, in Chapter 7, the so called symmetrisable Cartan matrices A for which the Kac-Moody Lie algebra g(A) has an invariant bilinear form. These are the Kac-Moody Lie algebra for which we prove the character formula. In Chapter 8, we give the classification of generalised Cartan matrices in finite, affine and general type. We also give the possible connected Dynkin diagrams in finite and affine case. In Chapter 9, we give a first description of the root system of Kac-Moody Lie algebras. In particular a 3 4 new phenomenon occurs here: not all roots are in the orbit of simple roots, these are the imaginary roots. We then start with the representation theory of Kac-Moody Lie algebras in Chapter 10. We define Verma modules and intergrable highest weight. In Chapter 11, we define the Casimir operator which exists only if the algebra is symmetrisable. We use this operator to prove the character formula for symmetrisable Kac-Moody Lie algebras. We then start to realise explicitly the Kac-Moody Lie algebras of finte and affine type. We start in Chapter 12 with untwisted affine Lie algebras. Then in Chapter 13 we come back to the finite case and explicitly realise simply laced and non simply laced simple Lie algebras. We use this construction in Chapter 14 to construct twisted affine Lie algebras. The explicit construction in particular induce description of the root system and Weyl groups of the affine Lie algebras. Contents I Quick review of semisimple Lie algebras and semisimple groups 11 1 Semisimple Lie algebras 13 1.1 Semisimple Lie algebras and Killing form . ............ 13 1.2 Cartan subalgebras, roots and Weyl group . ............ 14 1.3 Cartan matrices and Dynkin diagrams . .......... 15 1.3.1 Simpleroots ................................... 15 1.3.2 Cartanmatrices ................................ 16 1.3.3 Serre’spresentation . ...... 16 1.3.4 Dynkindiagrams ................................ 17 1.4 Representation theory of semisimple Lie algebras . ................ 17 1.4.1 Weights of a representation . ....... 18 1.4.2 Weightlattice................................. 18 1.4.3 Dominantweights ............................... 19 1.4.4 Vermamodules.................................. 19 1.4.5 Characterformula .............................. 20 2 Semisimple groups 21 2.1 Algebraicgroups ................................. ...... 21 2.1.1 Firstproperties............................... ..... 21 2.1.2 Semisimplegroups .............................. 22 2.2 Some subgroups of G ..................................... 22 2.2.1 Maximaltorusandrootsystems . ...... 22 2.2.2 Borelsubgroups ................................ 23 2.3 Charactersandlinebundles . ......... 23 II Kac-Moody Lie algebras 25 3 Some facts on associative algebras 27 3.1 Freealgebras .................................... ..... 27 3.2 Envelopingalgebras .............................. ....... 27 4 Kac-Moody Lie algebras 29 4.1 Lie algebras associated to a complex square matrix . ............... 29 4.1.1 Realization of a matrix . ..... 29 4.1.2 The Lie algebra g(A)................................. 30 4.1.3 The Lie algebra g(A)................................. 32 4.2 Kac-MoodyLiealgebrase . .. .. .. .. .. .. .. .. ....... 34 5 6 CONTENTS 4.2.1 Generalized Cartan matrices . ....... 34 4.2.2 Isomorphisms of Kac-Moody Lie algebras . ......... 35 4.2.3 Serrerelations ................................ 35 4.2.4 Ideals in the Kac-Moody Lie algebras . ........ 37 5 Weyl group 39 5.1 locally finite and nilpotent elements . ............ 39 5.2 Integrable representations and Weyl group . .............. 42 5.2.1 Integrable representations . ......... 42 5.2.2 Definition of the Weyl group and action on integrable representations . 42 5.3 Using integrable representations to construct groups . .................. 45 6 Coxeter groups 47 6.1 Definition ....................................... 47 6.1.1 Coxetersystems ................................ 47 6.1.2 Lengthfunction................................ 47 6.2 Geometric representation . ......... 48 6.2.1 Rootsystem .................................... 49 6.2.2 Geometric interpretation of length function . ............. 50 6.3 Exchangeconditions .............................. ....... 52 6.3.1 Reflections .................................... 52 6.3.2 Strongexchangecondition. ....... 52 6.4 Weyl groups of Kac-Moody Lie algebras . .......... 53 6.4.1 Equivalentdefinitions . ...... 53 6.5 DominantchambersandTitscone . ........ 55 7 Invariant bilinear form on g(A) 57 7.1 SymmetrisableCartanmatrices . .......... 57 7.2 Invariantbilinearforms . ......... 58 8 Classification of Cartan matrices 63 8.1 Finite,affineandindefinitecase. .......... 63 8.2 Finiteandaffinecases .............................. ...... 66 8.2.1 Firstresults.................................. 66 8.2.2 Examples of finite and affine type matrices . ........ 68 8.2.3 Classification of finite and affine type matrices . ........... 76 9 Real and imaginary roots 79 9.1 Definitionsandfirstproperties . .......... 79 9.1.1 realroots ..................................... 79 9.1.2 Imaginaryroots................................ 80 9.1.3 Isotropicroots ................................ 83 10 The category O 85 10.1 Definition of the category O ................................. 85 10.2 Highestweightmodules . ........ 85 10.3Vermamodules ................................... ..... 86 10.4 Lowestweightmodules. ........ 87 10.5 Integrable highest weight modules . ............ 89 CONTENTS 7 10.6Filtration ..................................... ...... 89 10.7 CharacterformulaforVermamodules . ........... 90 11 Casimir operator and character formula 93 11.1 Casimiroperator ................................ ....... 93 11.1.1 Someformulas ................................. 93 11.1.2 Casimiroperator . .. .. .. .. .. .. .. .. .. ..... 94 11.2 Characterformula ............................... ....... 97 12 Untwisted affine Lie algebras 101 12.1 Someresultsonfiniterootsystems . ........... 101 12.2 UntwistedaffineLiealgebras . ......... 104 12.2.1 Construction of affine Lie algebras . ......... 104 12.2.2 The Lie algebra g isanaffineKac-Moodyalgebra. 105 12.2.3 AffineWeylgroup ................................ 107 12.3 Application: Jacobi tripleb product formula . ................ 109 13 Explicit construction of finite dimensional Lie algebras 111 13.1 Simplylacedcase................................ ....... 111 13.2 Nonsimplylacedcase ............................. ....... 114 13.3 The case A2n ......................................... 120 14 Twisted affine Lie algebras 121
Recommended publications
  • Compactifying M-Theory on a G2 Manifold to Describe/Explain Our World – Predictions for LHC (Gluinos, Winos, Squarks), and Dark Matter
    Compactifying M-theory on a G2 manifold to describe/explain our world – Predictions for LHC (gluinos, winos, squarks), and dark matter Gordy Kane CMS, Fermilab, April 2016 1 OUTLINE • Testing theories in physics – some generalities - Testing 10/11 dimensional string/M-theories as underlying theories of our world requires compactification to four space-time dimensions! • Compactifying M-theory on “G2 manifolds” to describe/ explain our vacuum – underlying theory - fluxless sector! • Moduli – 4D manifestations of extra dimensions – stabilization - supersymmetry breaking – changes cosmology first 16 slides • Technical stuff – 18-33 - quickly • From the Planck scale to EW scale – 34-39 • LHC predictions – gluino about 1.5 TeV – also winos at LHC – but not squarks - 40-47 • Dark matter – in progress – surprising – 48 • (Little hierarchy problem – 49-51) • Final remarks 1-5 2 String/M theory a powerful, very promising framework for constructing an underlying theory that incorporates the Standard Models of particle physics and cosmology and probably addresses all the questions we hope to understand about the physical universe – we hope for such a theory! – probably also a quantum theory of gravity Compactified M-theory generically has gravity; Yang- Mills forces like the SM; chiral fermions like quarks and leptons; softly broken supersymmetry; solutions to hierarchy problems; EWSB and Higgs physics; unification; small EDMs; no flavor changing problems; partially observable superpartner spectrum; hidden sector DM; etc Simultaneously – generically Argue compactified M-theory is by far the best motivated, and most comprehensive, extension of the SM – gets physics relevant to the LHC and Higgs and superpartners right – no ad hoc inputs or free parameters Take it very seriously 4 So have to spend some time explaining derivations, testability of string/M theory Don’t have to be somewhere to test theory there – E.g.
    [Show full text]
  • Orthogonal Symmetric Affine Kac-Moody Algebras
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 367, Number 10, October 2015, Pages 7133–7159 http://dx.doi.org/10.1090/tran/6257 Article electronically published on April 20, 2015 ORTHOGONAL SYMMETRIC AFFINE KAC-MOODY ALGEBRAS WALTER FREYN Abstract. Riemannian symmetric spaces are fundamental objects in finite dimensional differential geometry. An important problem is the construction of symmetric spaces for generalizations of simple Lie groups, especially their closest infinite dimensional analogues, known as affine Kac-Moody groups. We solve this problem and construct affine Kac-Moody symmetric spaces in a series of several papers. This paper focuses on the algebraic side; more precisely, we introduce OSAKAs, the algebraic structures used to describe the connection between affine Kac-Moody symmetric spaces and affine Kac-Moody algebras and describe their classification. 1. Introduction Riemannian symmetric spaces are fundamental objects in finite dimensional dif- ferential geometry displaying numerous connections with Lie theory, physics, and analysis. The search for infinite dimensional symmetric spaces associated to affine Kac-Moody algebras has been an open question for 20 years, since it was first asked by C.-L. Terng in [Ter95]. We present a complete solution to this problem in a series of several papers, dealing successively with the functional analytic, the algebraic and the geometric aspects. In this paper, building on work of E. Heintze and C. Groß in [HG12], we introduce and classify orthogonal symmetric affine Kac- Moody algebras (OSAKAs). OSAKAs are the central objects in the classification of affine Kac-Moody symmetric spaces as they provide the crucial link between the geometric and the algebraic side of the theory.
    [Show full text]
  • S-Duality, the 4D Superconformal Index and 2D Topological QFT
    Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N S-duality, the 4d Superconformal Index and 2d Topological QFT Leonardo Rastelli with A. Gadde, E. Pomoni, S. Razamat and W. Yan arXiv:0910.2225,arXiv:1003.4244, and in progress Yang Institute for Theoretical Physics, Stony Brook Rutgers, November 9 2010 Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Space of complex structures Σ = parameter space of the 4d • theory. Moore-Seiberg groupoid of Σ = (generalized) 4d S-duality • Vast generalization of “ =4 S-duality as modular group of T 2”. N Review of superconformal index = 2 : A generalized quivers = 2: A generalized quivers = 4 index = 1 N 1 N 2 N N A new paradigm for 4d =2 susy gauge theories N (Gaiotto, . ) Compactification of the (2, 0) 6d theory on a 2d surface Σ, with punctures. = =2 superconformal⇒ theories in four dimensions. N Space of complex structures Σ = parameter space of the 4d • theory.
    [Show full text]
  • Deformations of G2-Structures, String Dualities and Flat Higgs Bundles Rodrigo De Menezes Barbosa University of Pennsylvania, [email protected]
    University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations 2019 Deformations Of G2-Structures, String Dualities And Flat Higgs Bundles Rodrigo De Menezes Barbosa University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/edissertations Part of the Mathematics Commons, and the Quantum Physics Commons Recommended Citation Barbosa, Rodrigo De Menezes, "Deformations Of G2-Structures, String Dualities And Flat Higgs Bundles" (2019). Publicly Accessible Penn Dissertations. 3279. https://repository.upenn.edu/edissertations/3279 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/edissertations/3279 For more information, please contact [email protected]. Deformations Of G2-Structures, String Dualities And Flat Higgs Bundles Abstract We study M-theory compactifications on G2-orbifolds and their resolutions given by total spaces of coassociative ALE-fibrations over a compact flat Riemannian 3-manifold Q. The afl tness condition allows an explicit description of the deformation space of closed G2-structures, and hence also the moduli space of supersymmetric vacua: it is modeled by flat sections of a bundle of Brieskorn-Grothendieck resolutions over Q. Moreover, when instanton corrections are neglected, we obtain an explicit description of the moduli space for the dual type IIA string compactification. The two moduli spaces are shown to be isomorphic for an important example involving A1-singularities, and the result is conjectured to hold in generality. We also discuss an interpretation of the IIA moduli space in terms of "flat Higgs bundles" on Q and explain how it suggests a new approach to SYZ mirror symmetry, while also providing a description of G2-structures in terms of B-branes.
    [Show full text]
  • Lie Algebras Associated with Generalized Cartan Matrices
    LIE ALGEBRAS ASSOCIATED WITH GENERALIZED CARTAN MATRICES BY R. V. MOODY1 Communicated by Charles W. Curtis, October 3, 1966 1. Introduction. If 8 is a finite-dimensional split semisimple Lie algebra of rank n over a field $ of characteristic zero, then there is associated with 8 a unique nXn integral matrix (Ay)—its Cartan matrix—which has the properties Ml. An = 2, i = 1, • • • , n, M2. M3. Ay = 0, implies An = 0. These properties do not, however, characterize Cartan matrices. If (Ay) is a Cartan matrix, it is known (see, for example, [4, pp. VI-19-26]) that the corresponding Lie algebra, 8, may be recon­ structed as follows: Let e y fy hy i = l, • • • , n, be any Zn symbols. Then 8 is isomorphic to the Lie algebra 8 ((A y)) over 5 defined by the relations Ml = 0, bifj] = dyhy If or all i and j [eihj] = Ajid [f*,] = ~A„fy\ «<(ad ej)-A>'i+l = 0,1 /,(ad fà-W = (J\ii i 7* j. In this note, we describe some results about the Lie algebras 2((Ay)) when (Ay) is an integral square matrix satisfying Ml, M2, and M3 but is not necessarily a Cartan matrix. In particular, when the further condition of §3 is imposed on the matrix, we obtain a reasonable (but by no means complete) structure theory for 8(04t/)). 2. Preliminaries. In this note, * will always denote a field of char­ acteristic zero. An integral square matrix satisfying Ml, M2, and M3 will be called a generalized Cartan matrix, or g.c.m.
    [Show full text]
  • Arxiv:Hep-Th/0006117V1 16 Jun 2000 Oadmarolf Donald VERSION HYPER - Style
    Preprint typeset in JHEP style. - HYPER VERSION SUGP-00/6-1 hep-th/0006117 Chern-Simons terms and the Three Notions of Charge Donald Marolf Physics Department, Syracuse University, Syracuse, New York 13244 Abstract: In theories with Chern-Simons terms or modified Bianchi identities, it is useful to define three notions of either electric or magnetic charge associated with a given gauge field. A language for discussing these charges is introduced and the proper- ties of each charge are described. ‘Brane source charge’ is gauge invariant and localized but not conserved or quantized, ‘Maxwell charge’ is gauge invariant and conserved but not localized or quantized, while ‘Page charge’ conserved, localized, and quantized but not gauge invariant. This provides a further perspective on the issue of charge quanti- zation recently raised by Bachas, Douglas, and Schweigert. For the Proceedings of the E.S. Fradkin Memorial Conference. Keywords: Supergravity, p–branes, D-branes. arXiv:hep-th/0006117v1 16 Jun 2000 Contents 1. Introduction 1 2. Brane Source Charge and Brane-ending effects 3 3. Maxwell Charge and Asymptotic Conditions 6 4. Page Charge and Kaluza-Klein reduction 7 5. Discussion 9 1. Introduction One of the intriguing properties of supergravity theories is the presence of Abelian Chern-Simons terms and their duals, the modified Bianchi identities, in the dynamics of the gauge fields. Such cases have the unusual feature that the equations of motion for the gauge field are non-linear in the gauge fields even though the associated gauge groups are Abelian. For example, massless type IIA supergravity contains a relation of the form dF˜4 + F2 H3 =0, (1.1) ∧ where F˜4, F2,H3 are gauge invariant field strengths of rank 4, 2, 3 respectively.
    [Show full text]
  • Modular Invariance of Characters of Vertex Operator Algebras
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 9, Number 1, January 1996 MODULAR INVARIANCE OF CHARACTERS OF VERTEX OPERATOR ALGEBRAS YONGCHANG ZHU Introduction In contrast with the finite dimensional case, one of the distinguished features in the theory of infinite dimensional Lie algebras is the modular invariance of the characters of certain representations. It is known [Fr], [KP] that for a given affine Lie algebra, the linear space spanned by the characters of the integrable highest weight modules with a fixed level is invariant under the usual action of the modular group SL2(Z). The similar result for the minimal series of the Virasoro algebra is observed in [Ca] and [IZ]. In both cases one uses the explicit character formulas to prove the modular invariance. The character formula for the affine Lie algebra is computed in [K], and the character formula for the Virasoro algebra is essentially contained in [FF]; see [R] for an explicit computation. This mysterious connection between the infinite dimensional Lie algebras and the modular group can be explained by the two dimensional conformal field theory. The highest weight modules of affine Lie algebras and the Virasoro algebra give rise to conformal field theories. In particular, the conformal field theories associated to the integrable highest modules and minimal series are rational. The characters of these modules are understood to be the holomorphic parts of the partition functions on the torus for the corresponding conformal field theories. From this point of view, the role of the modular group SL2(Z)ismanifest. In the study of conformal field theory, physicists arrived at the notion of chi- ral algebras (see e.g.
    [Show full text]
  • Hyperbolic Weyl Groups and the Four Normed Division Algebras
    Hyperbolic Weyl Groups and the Four Normed Division Algebras Alex Feingold1, Axel Kleinschmidt2, Hermann Nicolai3 1 Department of Mathematical Sciences, State University of New York Binghamton, New York 13902–6000, U.S.A. 2 Physique Theorique´ et Mathematique,´ Universite´ Libre de Bruxelles & International Solvay Institutes, Boulevard du Triomphe, ULB – CP 231, B-1050 Bruxelles, Belgium 3 Max-Planck-Institut fur¨ Gravitationsphysik, Albert-Einstein-Institut Am Muhlenberg¨ 1, D-14476 Potsdam, Germany – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday – p. Introduction Presented at Illinois State University, July 7-11, 2008 Vertex Operator Algebras and Related Areas Conference in Honor of Geoffrey Mason’s 60th Birthday “The mathematical universe is inhabited not only by important species but also by interesting individuals” – C. L. Siegel – p. Introduction (I) In 1983 Feingold and Frenkel studied the rank 3 hyperbolic Kac–Moody algebra = A++ with F 1 y y @ y Dynkin diagram @ 1 0 1 − Weyl Group W ( )= w , w , w wI = 2, wI wJ = mIJ F h 1 2 3 || | | | i 2 1 0 − 2(αI , αJ ) Cartan matrix [AIJ ]= 1 2 2 = − − (αJ , αJ ) 0 2 2 − 2 3 2 Coxeter exponents [mIJ ]= 3 2 ∞ 2 2 ∞ – p. Introduction (II) The simple roots, α 1, α0, α1, span the − 1 Root lattice Λ( )= α = nI αI n 1,n0,n1 Z F − ∈ ( I= 1 ) X− – p.
    [Show full text]
  • Lattices and Vertex Operator Algebras
    My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List Lattices and Vertex Operator Algebras Gerald H¨ohn Kansas State University Vertex Operator Algebras, Number Theory, and Related Topics A conference in Honor of Geoffrey Mason Sacramento, June 2018 Gerald H¨ohn Kansas State University Lattices and Vertex Operator Algebras My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List How all began From gerald Mon Apr 24 18:49:10 1995 To: [email protected] Subject: Santa Cruz / Babymonster twisted sector Dear Prof. Mason, Thank you for your detailed letter from Thursday. It is probably the best choice for me to come to Santa Cruz in the year 95-96. I see some projects which I can do in connection with my thesis. The main project is the classification of all self-dual SVOA`s with rank smaller than 24. The method to do this is developed in my thesis, but not all theorems are proven. So I think it is really a good idea to stay at a place where I can discuss the problems with other people. [...] I must probably first finish my thesis to make an application [to the DFG] and then they need around 4 months to decide the application, so in principle I can come September or October. [...] I have not all of this proven, but probably the methods you have developed are enough. I hope that I have at least really constructed my Babymonster SVOA of rank 23 1/2. (edited for spelling and grammar) Gerald H¨ohn Kansas State University Lattices and Vertex Operator Algebras My collaboration with Geoffrey Schellekens List Three Descriptions of Schellekens List Theorem (H.
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • N = 2 Dualities and 2D TQFT Space of Complex Structures Σ = Parameter Space of the 4D Theory
    Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications = 2 Dualities and 2d TQFT N Abhijit Gadde with L. Rastelli, S. Razamat and W. Yan arXiv:0910.2225 arXiv:1003.4244 arXiv:1104.3850 arXiv:1110:3740 ... California Institute of Technology Indian Israeli String Meeting 2012 Abhijit Gadde N = 2 Dualities and 2d TQFT Space of complex structures Σ = parameter space of the 4d theory. Mapping class group of Σ = (generalized) 4d S-duality Punctures: SU(2) ! SU(N) = Flavor symmetry: Commutant We will focus on "maximal" puncture: with SU(N) flavor symmetry Sphere with 3 punctures = Theories without parameters Free hypermultiplets Strongly coupled fixed points Vast generalization of “N = 4 S-duality as modular group of T 2”. 6=4+2: beautiful and unexpected 4d/2d connections. For ex., Correlators of Liouville/Toda on Σ compute the 4d partition functions (on S4) Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications A new paradigm for 4d = 2 SCFTs [Gaiotto, . ] N Compactify of the 6d (2; 0) AN−1 theory on a 2d surface Σ, with punctures. =)N = 2 superconformal theories in four dimensions. Abhijit Gadde N = 2 Dualities and 2d TQFT We will focus on "maximal" puncture: with SU(N) flavor symmetry Sphere with 3 punctures = Theories without parameters Free hypermultiplets Strongly coupled fixed points Vast generalization of “N = 4 S-duality as modular group of T 2”. 6=4+2: beautiful and unexpected 4d/2d connections. For ex., Correlators of Liouville/Toda on Σ compute the 4d partition functions (on S4) Short review of superconformal index 2d TQFT and orthogonal polynomials Results and Applications A new paradigm for 4d = 2 SCFTs [Gaiotto, .
    [Show full text]
  • Classification of Holomorphic Framed Vertex Operator Algebras of Central Charge 24
    Classification of holomorphic framed vertex operator algebras of central charge 24 Ching Hung Lam, Hiroki Shimakura American Journal of Mathematics, Volume 137, Number 1, February 2015, pp. 111-137 (Article) Published by Johns Hopkins University Press DOI: https://doi.org/10.1353/ajm.2015.0001 For additional information about this article https://muse.jhu.edu/article/570114/summary Access provided by Tsinghua University Library (22 Nov 2018 10:39 GMT) CLASSIFICATION OF HOLOMORPHIC FRAMED VERTEX OPERATOR ALGEBRAS OF CENTRAL CHARGE 24 By CHING HUNG LAM and HIROKI SHIMAKURA Abstract. This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism. 1. Introduction. The classification of holomorphic vertex operator alge- bras (VOAs) of central charge 24 is one of the fundamental problems in vertex operator algebras and mathematical physics. In 1993 Schellekens [Sc93] obtained a partial classification by determining possible Lie algebra structures for the weight one subspaces of holomorphic VOAs of central charge 24. There are 71 cases in his list but only 39 of the 71 cases were known explicitly at that time. It is also an open question if the Lie algebra structure of the weight one subspace will determine the VOA structure uniquely when the central charge is 24.
    [Show full text]