Gauged supergravity and E 10


 Leo Riley
 1 years ago
 Views:
Transcription
1 Gauged supergravity and E 10 Jakob Palmkvist AlbertEinsteinInstitut in collaboration with Eric Bergshoeff, Olaf Hohm, Axel Kleinschmidt, Hermann Nicolai and Teake Nutma arxiv: JHEP01(2009)020
2 Threedimensional maximal supergravity is globally invariant under E 8 (Julia 1983)
3 Threedimensional maximal supergravity is globally invariant under E 8 and SL(2, R). (Julia 1983)
4 Threedimensional maximal supergravity is globally invariant under E 8 and SL(2, R). Can we unify these symmetries into E 10? (Julia 1983) (Damour, Henneaux, Nicolai 2002)
5 Threedimensional maximal supergravity is globally invariant under E 8 and SL(2, R). Can we unify these symmetries into E 10? What if we promote a subgroup of E 8 to a local symmetry? (Julia 1983) (Damour, Henneaux, Nicolai 2002)
6 Outline
7 Outline Gauged maximal supergravity in three dimensions
8 Outline Gauged maximal supergravity in three dimensions The E 10 /K(E 10 ) coset model
9 Outline Gauged maximal supergravity in three dimensions The E 10 /K(E 10 ) coset model Comparison between the two theories
10 Consider the bosonic sector of maximal (N = 16) supergravity in three dimensions:
11 Consider the bosonic sector of maximal (N = 16) supergravity in three dimensions: Pure gravity does not propagate
12 Consider the bosonic sector of maximal (N = 16) supergravity in three dimensions: Pure gravity does not propagate Vectors are dual to scalars
13 Consider the bosonic sector of maximal (N = 16) supergravity in three dimensions: Pure gravity does not propagate Vectors are dual to scalars All propagating degrees of freedom of supergravity are scalars.
14 Consider the bosonic sector of maximal (N = 16) supergravity in three dimensions: L = 1 4 er ηαβ η AB P α A P β B α, β = 0, 1, 2 A, B = 1, 2,..., 248
15 The MaurerCartan form of the gravity sector decomposes into its symmetric and antisymmetric parts: (e 1 µ e) αβ = P µ(αβ) + Q µ[αβ]
16 The MaurerCartan form of the gravity sector decomposes into its symmetric and antisymmetric parts: (e 1 µ e) αβ = P µ(αβ) + Q µ[αβ] The MaurerCartan form of the scalar sector decomposes into a spinor and the adjoint of SO(16): (E 1 µ E) A P µ A, Q µ IJ
17 The MaurerCartan form of the scalar sector decomposes into a spinor and the adjoint of SO(16): (E 1 µ E) A P µ A, Q µ IJ
18 The MaurerCartan form of the scalar sector decomposes into a spinor and the adjoint of SO(16): (E 1 µ E) A P µ A, Q µ IJ
19 The MaurerCartan form of the scalar sector decomposes into a spinor and the adjoint of SO(16): (E 1 µ E) A P µ A, Q µ IJ A, B,... = 1, 2,..., 248 A, B,... = 1, 2,..., 128 I, J,... = 1, 2,..., 16
20 The scalar sector is described by an element E of the coset E 8 /SO(16), and is invariant under the transformations E(x) ge(x)h(x) g E 8 h(x) SO(16)
21 Gauging the theory: Promote a subgroup G E 8 to a local symmetry E(x) g(x)e(x)h(x) g(x) G E 8 h(x) SO(16)
22 Gauging the theory: Promote a subgroup G E 8 to a local symmetry E(x) g(x)e(x)h(x) g(x) G E 8 h(x) SO(16) This is done by dualizing the scalars to vectors A µ A.
23 Gauging the theory: Replace partial derivatives with gauge covariant ones P µ A = (E 1 µ E) A (E 1 D µ E) A
24 Gauging the theory: Replace partial derivatives with gauge covariant ones P µ A = (E 1 µ E) A (E 1 D µ E) A Add a potential term L V
25 Gauging the theory: Replace partial derivatives with gauge covariant ones P µ A = (E 1 µ E) A (E 1 D µ E) A Add a potential term L V Add a ChernSimons term L CS
26 We can keep an E 8 covariant notation by using the embedding tensor Θ MN, the projection of the Killing form η MN onto the gauge group G E 8.
27 We can keep an E 8 covariant notation by using the embedding tensor Θ MN, the projection of the Killing form η MN onto the gauge group G E 8. Thus it has two symmetric E 8 indices.
28 We can keep an E 8 covariant notation by using the embedding tensor Θ MN, the projection of the Killing form η MN onto the gauge group G E 8. Thus it has two symmetric E 8 indices. The symmetric product of two adjoint E 8 representations:
29 We can keep an E 8 covariant notation by using the embedding tensor Θ MN, the projection of the Killing form η MN onto the gauge group G E 8. Thus it has two symmetric E 8 indices. The symmetric product of two adjoint E 8 representations: ( ) + =
30 We can keep an E 8 covariant notation by using the embedding tensor Θ MN, the projection of the Killing form η MN onto the gauge group G E 8. Thus it has two symmetric E 8 indices. The condition for supersymmetry: Θ MN (Nicolai, Samtleben 2001)
31 Θ MN
32 We divide the embedding tensor into its irreducible parts: Θ MN Θ MN = η MN θ + Θ MN
33 We divide the embedding tensor into its irreducible parts: θ Θ MN
34 We divide the embedding tensor into its irreducible parts: θ 1 Θ MN 3875
35 We divide the embedding tensor into its irreducible parts: θ 1 Θ MN 3875
36 We divide the embedding tensor into its irreducible parts: θ 1 Θ MN 3875 The embedding tensor in flat indices: T AB (x) = E A M (x)e B N (x) Θ MN
37 L V = eg2 112 (3 T AB TAB + T A IJ TA IJ T IJ KL TIJ KL ) + 2eg 2 θ 2
38 L V = eg2 112 (3 T AB TAB + T A IJ TA IJ T IJ KL TIJ KL ) + 2eg 2 θ 2 L CS = g 4 εµνρ Θ MN A µ M ν A ρ N g2 12 εµνρ Θ MN Θ PQ f MP RA µ N A ν Q A ρ R
39 L V = eg2 112 (3 T AB TAB + T A IJ TA IJ T IJ KL TIJ KL ) + 2eg 2 θ 2 L CS = g 4 εµνρ Θ MN A µ M ν A ρ N g2 12 εµνρ Θ MN Θ PQ f MP RA µ N A ν Q A ρ R E 1 D µ E = E 1 µ E + ga µ M Θ MN (E 1 t N E)
40 To compare with the E 10 model, we must choose...
41 To compare with the E 10 model, we must choose... An ADMlike split of the dreibein: N 0 0 e µ α = 0 0 e m a
42 To compare with the E 10 model, we must choose... An ADMlike split of the dreibein: N 0 0 e µ α = 0 0 e m a A temporal gauge for the vector fields: A t M = 0
43 The Lie algebra of SL(2, R): [h, e] = 2e [h, f] = 2f [e, f] = h
44 The Lie algebra of SL(2, R): [h, e] = 2e [h, f] = 2f [e, f] = h Matrix realization: e = ( ) f = ( ) h = ( )
45 A KacMoody algebra g of rank r is generated by r copies of SL(2, R), modulo the ChevalleySerre relations:
46 A KacMoody algebra g of rank r is generated by r copies of SL(2, R), modulo the ChevalleySerre relations:
47 A KacMoody algebra g of rank r is generated by r copies of SL(2, R), modulo the ChevalleySerre relations: i j i j
48 A KacMoody algebra g of rank r is generated by r copies of SL(2, R), modulo the ChevalleySerre relations: i j i j [h i, e j ] = e j [h i, f j ] = f j [e i, e j ] 0 [f i, f j ] 0 [h i, e j ] = 0 [h i, f j ] = 0 [e i, e j ] = 0 [f i, f j ] = 0 [h i, h j ] = [e i, f j ] = 0
49 A KacMoody algebra g of rank r is generated by r copies of SL(2, R), modulo the ChevalleySerre relations: i j i j [h i, e j ] = e j [h i, f j ] = f j [[e i, e j ], e j ] = 0 [[f i, f j ], f j ] = 0 [h i, e j ] = 0 [h i, f j ] = 0 [e i, e j ] = 0 [f i, f j ] = 0 [h i, h j ] = [e i, f j ] = 0
50 The KacMoody algebra g is spanned by all multiple (k 1) commutators [ [[e i1, e i2 ], e i3 ],..., e ik ] [ [[f i1, f i2 ], f i3 ],..., f ik ] together with the r Cartan elements h i.
51 For any i = 1, 2,..., r, we can write g = + g 1 + g 0 + g 1 + where each subspace g l is spanned by all multiple commutators at level l = number of e i number of f i.
52 For any i = 1, 2,..., r, we can write g = + g 1 + g 0 + g 1 + where each subspace g l is spanned by all multiple commutators at level l = number of e i number of f i. This gives a grading: [g m, g n ] g m+n
53 For any i = 1, 2,..., r, we can write g = + g 1 + g 0 + g 1 + where each subspace g l is spanned by all multiple commutators at level l = number of e i number of f i. This gives a grading: [g m, g n ] g m+n The adjoint representation of g decomposes into representations of g 0.
54 The maximal compact subalgebra K(g) of a KacMoody algebra g is invariant under the Chevalley involution
55 The maximal compact subalgebra K(g) of a KacMoody algebra g is invariant under the Chevalley involution ω(e i ) = f i ω(f i ) = e i ω(h i ) = h i
56 The maximal compact subalgebra K(g) of a KacMoody algebra g is invariant under the Chevalley involution ω(e i ) = f i ω(f i ) = e i ω(h i ) = h i It is generated by all elements e i f i modulo the ChevalleySerre relations.
57 Consider the E 10 /K(E 10 ) coset model L = n(t) 1 P(t) P(t) where Q K(E 10 ) and P Q = 0.
58 Consider the E 10 /K(E 10 ) coset model L = n(t) 1 P(t) P(t) where Q K(E 10 ) and P Q = 0. The local K(E 10 ) invariance makes it possible to choose the Borel gauge:
59 Consider the E 10 /K(E 10 ) coset model L = n(t) 1 P(t) P(t) where Q K(E 10 ) and P Q = 0. The local K(E 10 ) invariance makes it possible to choose the Borel gauge: P + Q g 0 + g 1 + g 2 +
60 Level decomposition of E 10 under SL(2, R) E 8 up to level l = 2:
61 Level decomposition of E 10 under SL(2, R) E 8 up to level l = 2: Level SL(2, R) E 8 Components l representation of P + Q 0 (1 3, 1) P ab, Q ab (1, 248) P A, Q IJ 1 (2, 248) P a A 2 (1, 1) P (1, 3875) P AB (3, 248) P ab A
62 Level decomposition of E 10 under SL(2, R) E 8 up to level l = 2: Level SL(2, R) E 8 Components l representation of P + Q 0 (1 3, 1) P ab, Q ab (1, 248) P A, Q IJ 1 (2, 248) P a A 2 (1, 1) P (1, 3875) P AB
63 P ab P A P a A Q ab Q IJ P P AB
64 P ab P A Q ab Q IJ P a A P a IJ P P AB
65 P ab P A Q ab Q IJ P a A P a IJ P P AB
66 The dictionary of the E 10 /supergravity correspondence: P ab (t) P ab (t, x 0 ) Q ab (t) Q ab (t, x 0 ) P A (t) P t A (t, x 0 ) Q IJ (t) Q t IJ (t, x 0 ) P a A (t) Nε ab P b A (t, x 0 ) P a IJ (t) Nε ab Q b IJ (t, x 0 ) P (t) Ngθ(t, x 0 ) P AB (t) 1 28 Ng T AB (t, x 0 )
67 With this identification, the equations of motion coincide, up to...
68 With this identification, the equations of motion coincide, up to... The gauge choices on both sides
69 With this identification, the equations of motion coincide, up to... The gauge choices on both sides Higher order spatial derivatives
70 With this identification, the equations of motion coincide, up to... The gauge choices on both sides Higher order spatial derivatives Higher levels in the decomposition
71 With this identification, the equations of motion coincide, up to... The gauge choices on both sides Higher order spatial derivatives Higher levels in the decomposition Some other mismatches...
72 Open questions:
73 Open questions: No interpretation of P ab A
74 Open questions: No interpretation of P ab A Second order spatial gradient? Trombone gauging?
75 Open questions: No interpretation of P ab A Second order spatial gradient? Trombone gauging? What about the higher levels?
76 Open questions: No interpretation of P ab A Second order spatial gradient? Trombone gauging? What about the higher levels? How the reconcile the Killing form with the indefinite potential?
77 Open questions: No interpretation of P ab A Second order spatial gradient? Trombone gauging? What about the higher levels? How the reconcile the Killing form with the indefinite potential? To be continued...
78 Thank you!
SemiSimple Lie Algebras and Their Representations
i SemiSimple Lie Algebras and Their Representations Robert N. Cahn Lawrence Berkeley Laboratory University of California Berkeley, California 1984 THE BENJAMIN/CUMMINGS PUBLISHING COMPANY Advanced Book
More informationChapter 9 Unitary Groups and SU(N)
Chapter 9 Unitary Groups and SU(N) The irreducible representations of SO(3) are appropriate for describing the degeneracies of states of quantum mechanical systems which have rotational symmetry in three
More information(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.
11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order
More informationSome notes on group theory.
Some notes on group theory. Eef van Beveren Departamento de Física Faculdade de Ciências e Tecnologia P COIMBRA (Portugal) February Contents Some intuitive notions of groups.. What is a group?..............................
More informationQUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES
QUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES A. BEILINSON AND V. DRINFELD 1991 Mathematics Subject Classification. Subject classes here. This research was partially supported by INTAS
More informationMODULES OVER A PID KEITH CONRAD
MODULES OVER A PID KEITH CONRAD Every vector space over a field K that has a finite spanning set has a finite basis: it is isomorphic to K n for some n 0. When we replace the scalar field K with a commutative
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationG = G 0 > G 1 > > G k = {e}
Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same
More information8430 HANDOUT 3: ELEMENTARY THEORY OF QUADRATIC FORMS
8430 HANDOUT 3: ELEMENTARY THEORY OF QUADRATIC FORMS PETE L. CLARK 1. Basic definitions An integral binary quadratic form is just a polynomial f = ax 2 + bxy + cy 2 with a, b, c Z. We define the discriminant
More informationA Modern Course on Curves and Surfaces. Richard S. Palais
A Modern Course on Curves and Surfaces Richard S. Palais Contents Lecture 1. Introduction 1 Lecture 2. What is Geometry 4 Lecture 3. Geometry of InnerProduct Spaces 7 Lecture 4. Linear Maps and the Euclidean
More informationMEP Y9 Practice Book A
1 Base Arithmetic 1.1 Binary Numbers We normally work with numbers in base 10. In this section we consider numbers in base 2, often called binary numbers. In base 10 we use the digits 0, 1, 2, 3, 4, 5,
More informationThe Singular Value Decomposition in Symmetric (Löwdin) Orthogonalization and Data Compression
The Singular Value Decomposition in Symmetric (Löwdin) Orthogonalization and Data Compression The SVD is the most generally applicable of the orthogonaldiagonalorthogonal type matrix decompositions Every
More informationWHICH SCORING RULE MAXIMIZES CONDORCET EFFICIENCY? 1. Introduction
WHICH SCORING RULE MAXIMIZES CONDORCET EFFICIENCY? DAVIDE P. CERVONE, WILLIAM V. GEHRLEIN, AND WILLIAM S. ZWICKER Abstract. Consider an election in which each of the n voters casts a vote consisting of
More informationSome Basic Techniques of Group Theory
Chapter 5 Some Basic Techniques of Group Theory 5.1 Groups Acting on Sets In this chapter we are going to analyze and classify groups, and, if possible, break down complicated groups into simpler components.
More informationPerformance Assessment Task Which Shape? Grade 3. Common Core State Standards Math  Content Standards
Performance Assessment Task Which Shape? Grade 3 This task challenges a student to use knowledge of geometrical attributes (such as angle size, number of angles, number of sides, and parallel sides) to
More informationONEDIMENSIONAL RANDOM WALKS 1. SIMPLE RANDOM WALK
ONEDIMENSIONAL RANDOM WALKS 1. SIMPLE RANDOM WALK Definition 1. A random walk on the integers with step distribution F and initial state x is a sequence S n of random variables whose increments are independent,
More informationChapter 10 Electronic Wavefunctions Must Also Possess Proper Symmetry. These Include Angular Momentum and Point Group Symmetries
Chapter 10 Electronic Wavefunctions Must Also Possess Proper Symmetry. These Include Angular Momentum and Point Group Symmetries I. Angular Momentum Symmetry and Strategies for Angular Momentum Coupling
More informationLectures on Symplectic Geometry
Lectures on Symplectic Geometry Ana Cannas da Silva 1 revised January 2006 Published by SpringerVerlag as number 1764 of the series Lecture Notes in Mathematics. The original publication is available
More informationAn untitled book project about symmetric spectra
An untitled book project about symmetric spectra This document is a preliminary and incomplete version of what may one day become a book about symmetric spectra. It probably contains an embarrassing number
More informationINTRODUCTION TO THE THEORY OF BLACK HOLES
ITPUU09/11 SPIN09/11 INTRODUCTION TO THE THEORY OF BLACK HOLES internet: Gerard t Hooft Institute for Theoretical Physics Utrecht University and Spinoza Institute Postbox 80.195 3508 TD Utrecht, the
More informationFourier Theoretic Probabilistic Inference over Permutations
Journal of Machine Learning Research 10 (2009) 9971070 Submitted 5/08; Revised 3/09; Published 5/09 Fourier Theoretic Probabilistic Inference over Permutations Jonathan Huang Robotics Institute Carnegie
More informationYou know from calculus that functions play a fundamental role in mathematics.
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
More informationElliptic Modular Forms and Their Applications
Elliptic Modular Forms and Their Applications Don Zagier MaxPlanckInstitut für Mathematik, Vivatsgasse 7, 53111 Bonn, Germany Email: zagier@mpimbonn.mpg.de Foreword These notes give a brief introduction
More informationOrthogonal Bases and the QR Algorithm
Orthogonal Bases and the QR Algorithm Orthogonal Bases by Peter J Olver University of Minnesota Throughout, we work in the Euclidean vector space V = R n, the space of column vectors with n real entries
More informationCritical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.
Lecture 0: Convexity and Optimization We say that if f is a once continuously differentiable function on an interval I, and x is a point in the interior of I that x is a critical point of f if f (x) =
More informationSubspace Pursuit for Compressive Sensing: Closing the Gap Between Performance and Complexity
Subspace Pursuit for Compressive Sensing: Closing the Gap Between Performance and Complexity Wei Dai and Olgica Milenkovic Department of Electrical and Computer Engineering University of Illinois at UrbanaChampaign
More informationAnisotropic Distributions on Manifolds: Template Estimation and Most Probable Paths
Anisotropic Distributions on Manifolds: Template Estimation and Most Probable Paths Stefan Sommer DIKU, University of Copenhagen, Denmark, sommer@diku.dk Abstract. We use anisotropic diffusion processes
More informationGeneralized Compact Knapsacks are Collision Resistant
Generalized Compact Knapsacks are Collision Resistant Vadim Lyubashevsky Daniele Micciancio University of California, San Diego 9500 Gilman Drive, La Jolla, CA 920930404, USA {vlyubash,daniele}@cs.ucsd.edu
More information2 Polynomials over a field
2 Polynomials over a field A polynomial over a field F is a sequence (a 0, a 1, a 2,, a n, ) where a i F i with a i = 0 from some point on a i is called the i th coefficient of f We define three special
More informationModules and Cohomology over Group Algebras: One Commutative Algebraist s Perspective
Trends in Commutative Algebra MSRI Publications Volume 51, 2004 Modules and Cohomology over Group Algebras: One Commutative Algebraist s Perspective SRIKANTH IYENGAR Abstract. This article explains basic
More information