DOCSLIB.ORG

Arxiv:0902.0431V1 [Math.DG] 3 Feb 2009 I Lers Called Algebras, Lie Eywnefladitrsigmrcei I Ru Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:0902.0431V1 [Math.DG] 3 Feb 2009 I Lers Called Algebras, Lie Eywnefladitrsigmrcei I Ru Theory Exceptional Lie groups Ichiro Yokota Preface In the end of 19 century, W. Killing and E. Cartan classified the complex simple Lie algebras, called An,Bn, Cn,Dn (classical type) and G2, F4, E6, E7, E8 (exceptional type). These simple Lie algebras and the corresponding compact simple Lie groups have offered many subjects in mathematicians. Especially, exceptional Lie groups are very wonderful and interesting miracle in Lie group theory. Now, in the present book, we describe simply connected compact exceptional simple Lie groups G2, F4, E6, E7, E8, in very elementary way. The contents are given as follows. We first construct all simply connected compact exceptional Lie groups G concretely. Next, we find all involutive automorphisms σ of G, and determine the group structures of the fixed points subgroup Gσ by σ. Note that they correspond to classification of all irreducible compact symmetric spaces G/Gσ of exceptional type, and that they also correspond to classification of all non-compact exceptional simple Lie groups. Finally, we determined the group structures of the maximal subgroups of maximal rank. At any rate, we would like this book to be used in mathematics and physics. The author thanks K. Abe, K. Mituishi, T. Miyasaka, T. Miyashita, T. Sato, O. Shukuzawa, K. Takeuchi and O. Yasukura for their advices and encouragements. Ichiro Yokota arXiv:0902.0431v1 [math.DG] 3 Feb 2009 1 Contents I. Exceptional Lie group G2 1.1. Cayley algebra C 1 · · · 1.2. Compact exceptional Lie group G 2 2 · · · 1.3. Outer automorphism of the Lie algebra d 3 4 · · · 1.4. Lie algebra g of G 8 2 2 · · · 1.5. Lie subalgebra su(3) of g 9 2 · · · 1.6. Simplicity of g C 11 2 · · · 1.7. Killing form of g C 13 2 · · · 1.8. Roots of g C 14 2 · · · 1.9. Automorphism w of order 3 and subgroup SU(3) of G 16 2 · · · 1.10. Involution γ and subgroup (Sp(1) Sp(1))/Z of G 19 × 2 2 · · · 1.11. Center z(G ) of G 21 2 2 · · · 1.12. Complex exceptional Lie group G C 21 2 · · · 1.13. Non-compact exceptional Lie group G of type G 22 2(2) 2 · · · 1.14. Principle of triality in SO(8) 23 · · · 1.15. Spinor group Spin(7) 26 · · · 1.16. Spinor group Spin(8) 28 · · · II. Exceptional Lie group F4 2.1. Exceptional Jordan algebra J 31 · · · 2.2. Compact exceptional Lie group F 33 4 · · · 2.3. Lie algebra f of F 36 4 4 · · · 2.4. Simplicity of f C 41 4 · · · 2.5. Killing form of f C 45 4 · · · 2.6. Roots of f C 47 4 · · · 2.7. Subgroup Spin(9) of F 51 4 · · · 2.8. Connectedness of F 55 4 · · · 2.9. Involution σ and subgroup Spin(9) of F 57 4 · · · 2.10. Center z(F ) of F 58 4 4 · · · 2.11. Involution γ and subgroup (Sp(1) Sp(3))/Z of F 59 × 2 4 · · · 2.12. Automorphism w of order 3 and subgroup (SU(3) SU(3))/Z3 of F × 63 4 · · · 2.13. Complex exceptional Lie group F C 65 4 · · · 2.14. Non-compact exceptional Lie groups F and F of type F 66 4(4) 4(−20) 4 · · · 2 III. Exceptional Lie group E6 3.1. Compact exceptional Lie group E 68 6 · · · 3.2. Lie algebra e of E 68 6 6 · · · 3.3. Simplicity of e C 70 6 · · · 3.4. Element A B of e C 71 ∨ 6 · · · 3.5. Killing form of e C 73 6 · · · 3.6. Roots of e C 75 6 · · · 3.7. Involution τ and subgroup F of E 82 4 6 · · · 3.8. Connectedness of E 82 6 · · · 3.9. Center z(E ) of E 85 6 6 · · · 3.10. Involution σ and subgroup (U(1) Spin(10))/Z of E 86 × 4 6 · · · 3.11. Involution γ and subgroup (Sp(1) SU(6))/Z of E 90 × 2 6 · · · 3.12. Involution τγ and subgroup Sp(4)/Z of E 95 2 6 · · · 3.13. Automorphism w of order 3 and subgroup (SU(3) SU(3) SU(3))/Z of E × × 100 3 6 · · · 3.14. Complex exceptional Lie group E C 105 6 · · · 3.15. Non-compact exceptional Lie groups E6(6), E6(2), E6(−14) and E of type E 105 6(−26) 6 · · · IV. Exceptional Lie group E7 4.1. Freudenthal vector space PC 106 · · · 4.2. Compact exceptional Lie group E 108 7 · · · 4.3. Lie algebra e of E 108 7 7 · · · 4.4. Simplicity of e C 114 7 · · · 4.5. Killing form of e C 116 7 · · · 4.6. Roots of e C 118 7 · · · 4.7. Subgroups E and U(1) of E 124 6 7 · · · 4.8. Connectedness of E 126 7 · · · 4.9. Center z(E ) of E 129 7 7 · · · 4.10. Involution ι and subgroup (U(1) E )/Z of E 130 × 6 3 7 · · · 4.11. Involution σ and subgroup (SU(2) Spin(12))/Z of E 133 × 2 7 · · · 4.12. Involution τγ and subgroup SU(8)/Z of E 142 2 7 · · · 4.13. Automorphism w of order 3 and subgroup (SU(3) SU(6))/Z3 of E × 146 7 · · · 4.14. Complex exceptional Lie group E C 155 7 · · · 4.15. Non-compact exceptional Lie groups E7(7), E7(−5) and E7(−25) of type E 155 7 · · · 3 V. Exceptional Lie group E8 5.1. Lie algebra e C 157 8 · · · 5.2. Simplicity of e C 157 8 · · · 5.3. Killing form of e C 159 8 · · · 5.4. Complex exceptional Lie group E C 160 8 · · · 5.5. Compact exceptional Lie group E 161 8 · · · 5.6. Roots of e C 163 8 · · · 5.7. Involution υ and subgroup (SU(2) E )/Z of E 173 × 7 2 8 · · · 5.8. Involution λγ and subgroup Ss(16) of E 176 8 · · · 5.9. Center z(E8) of E8 184 e · · · 5.10. Automorphism w of order 3 and subgroup(SU(3) E6)/Z3 of E × 184 8 · · · 5.11. Automorphism w of order 3 and subgroup SU(9)/Z of E 186 3 3 8 · · · 5.12. Automorphism z5 of order 5 and subgroup(SU(5) SU(5))/Z5 of E × 192 8 · · · 5.13. Non-compact exceptional Lie groups E and E of E 199 8(8) 8(−24) 8 · · · 4 Notation R, C = R Re , H = R Re Re Re denote the fields of real, complex, ⊕ 1 ⊕ 1 ⊕ 2 ⊕ 3 quaternion numbers, respectively. For R-vector space V , its complexification u + iv u, v V is denoted by V C . { | ∈ } The complex conjugation in V C is denoted by τ: τ(u + iv)= u iv. − RC is briefly denoted by C. For K-vector space V (K = R, C, C), IsoK (V ) denotes all K-linear isomorphisms of V . For a K-linear mapping f of V , V denotes v V f(v)= v . f { ∈ | } For K-vector spaces V, W (K = R, C), HomK (V, W ) denotes all K-homomorph- ism f : V W . Hom (V, V ) is briefly denoted by Hom (V ). → K K Let G be a group and σ an automorphism of G. Then Gσ denotes g G σ(g)= { ∈ | g . For s G, Gs denotes g G sgs−1 = g . } ∈ { ∈ | } For topological spaces X, Y , X Y denotes that X and Y are homeomorphic. ≃ ′ ′ ′ For groups G, G , G ∼= G denotes that G and G are isomorphic as groups. Iso- morphic two groups G, G′ are often identified: G = G′. M(n,K) denotes all n n matrices with entries in K. × E = diag(1, , 1) M(n,K) is the unit matrix. · · · ∈ For A M(n,K), tA denotes the transposed matrix of A and A∗ denotes the ∈ conjugate transposed matrix of A: A∗ = tA. O(n)= A M(n, R) tAA = E (orthogonal group), { ∈ | } SO(n)= A O(n) detA =1 (spcecial orthogonal group), { ∈ | } U(n) = A M(n, C) A∗A = E or A M(n, C) τ(tA)A = E (unitary { ∈ | } { ∈ | } group), SU(n)= A U(n) detA =1 (speccial unitary group), { ∈ | } Sp(n)= A M(n, H) A∗A = E (symplectic group). { ∈ | } For a Lie group G, its Lie algebra is denoted by the correspoding small Germann letter g. For example, su(n) is the Lie algebra of the special unitary group SU(n). Special notations γ, σ, ι, κ, λ, µ, τ, υ, χ, g, w. 5 Exceptional Lie group G2 1.1. Cayley algebra C We denote the division Cayley algebra by C. We now explain this algebra. Con- sider an 8 dimensional R-vector space with basis e =1,e ,e ,e ,e ,e ,e ,e and { 0 1 2 3 4 5 6 7} define a multiplication between them as follows. In the figure below, the multiplication between e1,e2,e3 is defined as e1e2 = e3, e2e3 = e1, e3e1 = e2, and defined similarly on the other lines. For example, e1e6 = e7, e4e7 = e3 etc. We regard that e2,e5,e7 are also collinear, for example, e5e7 = e2. e0 = 1 is the unit of the multiplication and assume e 2 = 1, i =0, e e = e e , i = j, i =0, j =0, i − 6 i j − j i 6 6 6 and the distributive law. Thus C has a multiplication. x1, x R is briefly denoted ∈ by x. In C, the conjugate x, an inner product (x, y), the length x and the real part | | R(x) are defined respectively by e1 e2 e7 e4 e3 e5 e6 7 7 7 7 7 x + x e = x x e , x e , y e = x y , 0 i i 0 − i i i i i i i i i=1 i=1 i=0 i=0 i=0 X X X X7 X x = (x, x), R x + x e = x .
Load more

Recommended publications
  • 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]
  • Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education)
    Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education) Roberto Soldati February 23, 2019 Contents 0.1 Prologue ............................ 4 1 Basics in Group Theory 8 1.1 Groups and Group Representations . 8 1.1.1 Definitions ....................... 8 1.1.2 Theorems ........................ 12 1.1.3 Direct Products of Group Representations . 14 1.2 Continuous Groups and Lie Groups . 16 1.2.1 The Continuous Groups . 16 1.2.2 The Lie Groups .................... 18 1.2.3 An Example : the Rotations Group . 19 1.2.4 The Infinitesimal Operators . 21 1.2.5 Lie Algebra ....................... 23 1.2.6 The Exponential Representation . 24 1.2.7 The Special Unitary Groups . 27 1.3 The Non-Homogeneous Lorentz Group . 34 1.3.1 The Lorentz Group . 34 1.3.2 Semi-Simple Groups . 43 1.3.3 The Poincar´eGroup . 49 2 The Action Functional 57 2.1 The Classical Relativistic Wave Fields . 57 2.1.1 Field Variations .................... 58 2.1.2 The Scalar and Vector Fields . 62 2.1.3 The Spinor Fields ................... 65 2.2 The Action Principle ................... 76 2.3 The N¨otherTheorem ................... 79 2.3.1 Problems ........................ 87 1 3 The Scalar Field 94 3.1 General Features ...................... 94 3.2 Normal Modes Expansion . 101 3.3 Klein-Gordon Quantum Field . 106 3.4 The Fock Space .......................112 3.4.1 The Many-Particle States . 112 3.4.2 The Lorentz Covariance Properties . 116 3.5 Special Distributions . 129 3.5.1 Euclidean Formulation . 133 3.6 Problems ............................137 4 The Spinor Field 151 4.1 The Dirac Equation .
    [Show full text]
  • Unitary Group - Wikipedia
    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
    [Show full text]
  • Math 412. Simple Groups
    Math 412. Simple Groups DEFINITION: A group G is simple if its only normal subgroups are feg and G. Simple groups are rare among all groups in the same way that prime numbers are rare among all integers. The smallest non-abelian group is A5, which has order 60. THEOREM 8.25: A abelian group is simple if and only if it is finite of prime order. THEOREM: The Alternating Groups An where n ≥ 5 are simple. The simple groups are the building blocks of all groups, in a sense similar to how all integers are built from the prime numbers. One of the greatest mathematical achievements of the Twentieth Century was a classification of all the finite simple groups. These are recorded in the Atlas of Simple Groups. The mathematician who discovered the last-to-be-discovered finite simple group is right here in our own department: Professor Bob Greiss. This simple group is called the monster group because its order is so big—approximately 8 × 1053. Because we have classified all the finite simple groups, and we know how to put them together to form arbitrary groups, we essentially understand the structure of every finite group. It is difficult, in general, to tell whether a given group G is simple or not. Just like determining whether a given (large) integer is prime, there is an algorithm to check but it may take an unreasonable amount of time to run. A. WARM UP. Find proper non-trivial normal subgroups of the following groups: Z, Z35, GL5(Q), S17, D100.
    [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]
  • Supersymmetric Nonlinear Sigma Models
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server OU-HET 348 TIT/HET-448 hep-th/0006025 June 2000 Supersymmetric Nonlinear Sigma Models a b Kiyoshi Higashijima ∗ and Muneto Nitta † aDepartment of Physics, Graduate School of Science, Osaka University, Toyonaka, Osaka 560-0043, Japan bDepartment of Physics, Tokyo Institute of Technology, Oh-okayama, Meguro, Tokyo 152-8551, Japan Abstract Supersymmetric nonlinear sigma models are formulated as gauge theo- ries. Auxiliary chiral superfields are introduced to impose supersymmetric constraints of F-type. Target manifolds defined by F-type constraints are al- ways non-compact. In order to obtain nonlinear sigma models on compact manifolds, we have to introduce gauge symmetry to eliminate the degrees of freedom in non-compact directions. All supersymmetric nonlinear sigma models defined on the hermitian symmetric spaces are successfully formulated as gauge theories. 1Talk given at the International Symposium on \Quantum Chromodynamics and Color Con- finement" (Confinement 2000) , 7-10 March 2000, RCNP, Osaka, Japan. ∗e-mail: [email protected]. †e-mail: [email protected] 1 Introduction Two dimensional (2D) nonlinear sigma models and four dimensional non-abelian gauge theories have several similarities. Both of them enjoy the property of the asymptotic freedom. They are both massless in the perturbation theory, whereas they acquire the mass gap or the string tension in the non-perturbative treatment. Although it is difficult to solve QCD in analytical way, 2D nonlinear sigma models can be solved by the large N expansion and helps us to understand various non- perturbative phenomena in four dimensional gauge theories.
    [Show full text]
  • The Classical Groups and Domains 1. the Disk, Upper Half-Plane, SL 2(R
    (June 8, 2018) The Classical Groups and Domains Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ The complex unit disk D = fz 2 C : jzj < 1g has four families of generalizations to bounded open subsets in Cn with groups acting transitively upon them. Such domains, defined more precisely below, are bounded symmetric domains. First, we recall some standard facts about the unit disk, the upper half-plane, the ambient complex projective line, and corresponding groups acting by linear fractional (M¨obius)transformations. Happily, many of the higher- dimensional bounded symmetric domains behave in a manner that is a simple extension of this simplest case. 1. The disk, upper half-plane, SL2(R), and U(1; 1) 2. Classical groups over C and over R 3. The four families of self-adjoint cones 4. The four families of classical domains 5. Harish-Chandra's and Borel's realization of domains 1. The disk, upper half-plane, SL2(R), and U(1; 1) The group a b GL ( ) = f : a; b; c; d 2 ; ad − bc 6= 0g 2 C c d C acts on the extended complex plane C [ 1 by linear fractional transformations a b az + b (z) = c d cz + d with the traditional natural convention about arithmetic with 1. But we can be more precise, in a form helpful for higher-dimensional cases: introduce homogeneous coordinates for the complex projective line P1, by defining P1 to be a set of cosets u 1 = f : not both u; v are 0g= × = 2 − f0g = × P v C C C where C× acts by scalar multiplication.
    [Show full text]
  • E 8 in N= 8$$\Mathcal {N}= 8$$ Supergravity in Four Dimensions
    Published for SISSA by Springer Received: November 30, 2017 Accepted: December 23, 2017 Published: January 8, 2018 JHEP01(2018)024 E8 in N = 8 supergravity in four dimensions Sudarshan Ananth,a Lars Brinkb,c and Sucheta Majumdara aIndian Institute of Science Education and Research, Pune 411008, India bDepartment of Physics, Chalmers University of Technology, S-41296 G¨oteborg, Sweden cDivision of Physics and Applied Physics, School of Physical and Mathematical Sciences, Nanyang Technological University, 637371, Singapore E-mail: [email protected], [email protected], [email protected] Abstract: We argue that = 8 supergravity in four dimensions exhibits an exceptional N E8(8) symmetry, enhanced from the known E7(7) invariance. Our procedure to demonstrate this involves dimensional reduction of the = 8 theory to d = 3, a field redefinition to N render the E8(8) invariance manifest, followed by dimensional oxidation back to d = 4. Keywords: Supergravity Models, Superspaces, Field Theories in Lower Dimensions ArXiv ePrint: 1711.09110 Open Access, c The Authors. https://doi.org/10.1007/JHEP01(2018)024 Article funded by SCOAP3. Contents 1 Introduction 1 2 (N = 8, d = 4) supergravity in light-cone superspace 2 2.1 E7(7) symmetry 4 3 Maximal supergravity in d = 3 — version I 5 JHEP01(2018)024 4 Maximal supergravity in d = 3 — version II 5 4.1 E8(8) symmetry 6 5 Relating the two different versions of three-dimensional maximal super- gravity 7 5.1 The field redefinition 7 5.2 SO(16) symmetry revisited 7 6 Oxidation back to d = 4 preserving the E8(8) symmetry 8 7 Conclusions 9 A Verification of field redefinition 10 B SO(16)-invariance of the new Lagrangian 11 C E8 invariance 12 1 Introduction Gravity with maximal supersymmetry in four dimensions, = 8 supergravity, exhibits N both = 8 supersymmetry and the exceptional E symmetry [1].
    [Show full text]