Hidden Symmetries in the Vicinity of a Cosmological Singularity

Total Page:16

File Type:pdf, Size:1020Kb

Hidden Symmetries in the Vicinity of a Cosmological Singularity EXAMENSARBETE INOM TEKNISK FYSIK, AVANCERAD NIVÅ, 30 HP STOCKHOLM, SVERIGE 2020 Hidden symmetries in the vicinity of a cosmological singularity CARIN JAKOBSSON KTH SKOLAN FÖR TEKNIKVETENSKAP Master of Science Thesis Hidden symmetries in the vicinity of a cosmological singularity Carin Jakobsson Supervisor: Martin Cederwall Mathematical Physics, Department of Theoretical Physics School of Engineering Sciences Royal Institute of Technology, SE-106 91 Stockholm, Sweden Stockholm, Sweden 2020 Typeset in LATEX Akademisk avhandling f¨oravl¨aggandeav teknologie masterexamen inom ¨amnesomr˚adet teoretisk fysik. Scientific thesis for the degree of Master of Engineering in the subject area of Theoretical physics. Cover illustration: Weyl chambers of the hyperbolic Kac-Moody `` algebra A1 . Taken from Ref. [28] TRITA-SCI-GRU 2020:036 c Carin Jakobsson, Mars 2020 Abstract Recent studies in relativistic cosmology implies that general cosmological systems hide symmetries rooted in the so called Belinskii-Khalatnikov- Lifshitz (BKL) phenomenon. Such symmetries would provide a frame- work for describing how spatial gradients in the general case are encoded in infinite-dimensional algebras, namely hyperbolic Kac-Moody (KM) al- gebras, from which a new formulation of relativistic cosmology and grav- itation would be possible. This thesis provides a description of the origin of the BKL phenomenon as well as of its connection to hyperbolic KM algebras. Starting from the gravitational field equations for pure gravity in four spacetime-dimensions, the reader is guided through a series of assumptions, including a gener- alized version of the homogeneous particular solution of Kasner (to the field equations), and a hand-waving, heuristic argumentation that the BKL phenomenon, applicable to an inhomogeneous space, can in fact be obtained by studies of homogeneous models of so called Bianchi type (the BKL conjecture). The link between the BKL phenomenon and hy- perbolic KM algebras is obtained by a reparameterization of the metric, such that when inserted into the Lagrangian, a three-dimensional space with Lorentzian signature is constructed. The BKL phenomenon causes motion in the three-dimensional space, which follows the trajectory of a moving ball on a billiard table shaped as the fundamental Weyl chamber of a hyperbolic KM algebra (the billiard picture). A section with focus on Lie algebras, KM algebras, roots and Weyl chambers is provided for the reader who is not yet familiar with the algebraic framework. In the last part of the thesis, the BKL phenomenon and its correspondence with hy- perbolic KM algebras is generalized to higher spacetime-dimensions and to systems including dilatons and Einstein p-form fields. The significance of hyperbolic KM algebras in dimensional reduction of general relativistic systems (where hidden symmetries arise) and extended geometry is dis- cussed, for this reason the reader can also find some theory on Lie groups and symmetries. i Abstrakt Senare studier i relativistisk kosmologi visar p˚aatt allm¨annarelativistiska system d¨oljersymmetrier rotade i det s˚akallade Belinskii-Khalatnikov- Lifshitz (BKL) fenomenet. S˚adanasymmetrier skulle tillhandah˚allaett ramverk f¨oratt beskriva hur rumsliga derivator i det generella fallet kan kodas i o¨andlig-dimensionellaalgebror, n¨amligenhyperboliska Kac-Moody (KM) algebror, utifr˚anvilka man i s˚afall skulle kunna hitta en ny formu- lering av relativistisk kosmologi, och av gravitation. I den h¨aruppsatsen beskrivs uppkomsten av BKL fenomenet och dess kop- pling till hyperboliska KM algebror. Med utg˚angspunkti f¨alt-ekvationerna f¨orren gravitation i fyra rumtids-dimensioner, blir l¨asarenv¨agleddgenom en serie antaganden, bland annat en generaliserad version av Kasners homogena l¨osning till f¨alt-ekvationerna, och en hand-viftande heuristisk argumentation f¨oratt BKL fenomenet, som skall g¨allaf¨oren inhomogen metrik, faktiskt kan h¨arledasutifr˚anstudier av homogena modeller av s˚a kallad Bianchi typ (BKL konjekturen). L¨anken mellan BKL fenomenet och hyperboliska KM algebror erh˚allsgenom en omparametrisering av metriken, som insatt i Lagrangianen definierar ett tre-dimensionellt rum med Lorentzisk signatur. BKL fenomenet ger upphov till en r¨orelsei det tre-dimensionella rummet som f¨oljerbanan hos en biljardboll p˚aett biljardbord format som den fundamentala Weyl kammaren f¨oren hyper- bolisk KM algebra. En del av uppsatsen ¨ardedikerad till det algebraiska ramverket, d¨arbland annat Lie algebror, KM algebror och Weylkammare definieras och diskuteras. I uppsatsens sista del generaliseras l¨anken mel- lan BKL fenomenet och den hyperboliska KM algebran till h¨ogrerumtids- dimensioner, och till system som innefattar dilatoner och Einstein p-form f¨alt. Relevansen av den hyperboliska algebran i dimensionell reduktion av allm¨annarelativistiska system (d¨arg¨omdasymmetrier uppst˚ar)och i utvidgad geometri diskuteras, av denna anledning kan l¨asaren¨aven hitta en del teori om Lie grupper och symmetrier. ii Contents Abstract i Abstrakt (sve) ii 1 Introduction 1 1.1 Historical perspective . .1 1.2 Aim and outline . .1 2 The BKL phenomenon 3 2.1 The gravitational field equations . .3 2.2 Gauge conditions . .3 2.3 Gravitational singularities . .4 2.3.1 True and fictitious singularities . .4 2.3.2 Space-like and time-like singularities . .5 2.4 The Kasner solutions . .5 2.4.1 Kasner's particular solution . .6 2.4.2 Kasner's generalized solution . .7 2.5 The BKL phenomenon . 11 2.5.1 The BKL conjecture . 11 2.5.2 Derivation of oscillatory behaviour . 12 2.5.3 Discussion on oscillatory behaviour . 14 3 Algebraic framework 16 3.1 Groups . 16 3.2 Lie Groups . 16 3.2.1 Symmetries, Lie groups and Lie algebras . 17 3.3 Lie algebras . 17 3.3.1 Notation and classification . 18 3.3.2 Rigorous definition of a Lie algebra . 18 3.4 Kac-Moody algebras . 18 3.4.1 Cartan matrix and Dynkin diagram . 18 3.4.2 Generators . 20 3.4.3 Examples . 21 3.4.4 Roots . 22 3.4.5 The bilinear form . 23 3.4.6 Fundamental weights . 24 3.4.7 Examples . 24 4 The billiard picture 29 4.1 Iwasawa decomposition of metric . 29 4.2 System potential . 30 4.3 The limit t Ñ 0............................ 31 4.3.1 Potential . 31 4.3.2 Interpretation of potential . 32 iii 4.3.3 Spatial decoupling . 32 `` 4.4 Relation to hyperbolic Kac-Moody algebra A1 ......... 33 5 Generalizations and symmetries 35 5.1 The general case . 35 5.2 Pure gravity of higher dimension . 37 5.3 11D SUGRA and other systems of interest . 39 5.4 Dualities, hidden symmetries, dimensional reduction and extended geometries . 40 6 Conclusion 42 A Derivation of gravitational field equations on normal form 43 B Derivation of Kretschmann scalar for Kasner's particular solu- tion 46 C Homogeneous spaces 48 C.1 Structure constants of homogeneous spaces . 48 C.2 Classification of homogeneous spaces . 49 D Derivation of metric in β-space for Kasner's particular solution 51 E Classification of Lie algebras 53 Acknowledgements 56 References 57 iv Carin Jakobsson Introduction 1 Introduction 1.1 Historical perspective The motivation for studies of the BKL phenomenon, discovered in 1970 by Be- linskii, Khalatnikov and Lifshitz (BKL), has shifted, from the urge to find a more general solution to the gravitational field equations, towards establishing symmetries within the gravitational theory in terms of Lie algebras. Whilst Friedmann's solutions, proposed in 1922, assumed homogeneity and isotropy of space, BKL asked themselves whether there was a more general solution, where homogeneity and isotropy was not a presumption. Their in- vestigation resulted in the discovery of an intricate oscillatory behaviour in the vicinity of a singularity in four spacetime dimension [4]. Generalization to higher spacetime dimensions showed that the BKL phenomenon persisted for pure gravity up to ten dimensions, but dissolves to a monotonic non-oscillatory behaviour for dimensions ¥ 11. It was later on discovered, by Damour in 2000, that the oscillatory BKL behaviour could in fact be associated to billiard motion and the fundamental Weyl chamber of a hyperbolic Kac-Moody (KM) algebra [18], [20]. Damour further demonstrated that pure gravity in any spacetime dimension D “ d ` 1 ¥ 4 is associated with algebras AEd and that pure gravity systems of dimension D ¥ 11 which don't exhibit BKL oscillations correspond to an algebra AEd which are not of the hyperbolic type [21]. The relation to hy- perbolic algebras has been established not only for cases of pure gravity, but for superstring models (I, II, HO, HE) of ten dimensions [20] as well as for Einstein- dilaton-p-form systems of arbitrary dimension ¥ 4 [22] including the case of eleven-dimensional supergravity (the low energy limit of M-theory) [26]. The association of gravitational systems and hyperbolic KM algebras in the vicinity of a space-like singularity have turned out to be somewhat frequent and seems to persist for more general cases, such as eleven-dimensional supergravity (11D SUGRA). In the context of dimensional reduction and extended geometry, the BKL phenomenon and the association with hyperbolic KM algebras is of extra importance because the BKL-phenomenon in some ways resembles dimensional reduction and because hyperbolic algebras are large enough to encode symme- tries generated by reduction of 11D SUGRA to one dimension. Dimensional reduction of gravitational systems to lower dimensions gives rise to so called hidden symmetry groups, and lately it has been speculated that hyperbolic KM algebras could be regarded extensions of the hidden symmetries. 1.2 Aim and outline The aim of this thesis is to introduce the reader to the BKL phenomenon and its association with hyperbolic KM algebras and to provide motivation for the relevance of this theory. The association with hyperbolic KM algebras appear already in the case of pure gravity in four dimensions, which is the focus of the thesis. 1 Carin Jakobsson Introduction An investigation of how the BKL phenomenon occurs in four-dimensional pure gravity according to the original BKL article from 1970 is provided in section 2.
Recommended publications
  • 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]
  • 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]
  • Semisimple Q-Algebras in Algebraic Combinatorics
    Semisimple Q-algebras in algebraic combinatorics Allen Herman (Regina) Group Ring Day, ICTS Bangalore October 21, 2019 I.1 Coherent Algebras and Association Schemes Definition 1 (D. Higman 1987). A coherent algebra (CA) is a subalgebra CB of Mn(C) defined by a special basis B, which is a collection of non-overlapping 01-matrices that (1) is a closed set under the transpose, (2) sums to J, the n × n all 1's matrix, and (3) contains a subset ∆ of diagonal matrices summing I , the identity matrix. The standard basis B of a CA in Mn(C) is precisely the set of adjacency matrices of a coherent configuration (CC) of order n and rank r = jBj. > B = B =) CB is semisimple. When ∆ = fI g, B is the set of adjacency matrices of an association scheme (AS). Allen Herman (Regina) Semisimple Q-algebras in Algebraic Combinatorics I.2 Example: Basic matrix of an AS An AS or CC can be illustrated by its basic matrix. Here we give the basic matrix of an AS with standard basis B = fb0; b1; :::; b7g: 2 012344556677 3 6 103244556677 7 6 7 6 230166774455 7 6 7 6 321066774455 7 6 7 6 447701665523 7 6 7 d 6 7 X 6 447710665532 7 ibi = 6 7 6 556677012344 7 i=0 6 7 6 556677103244 7 6 7 6 774455230166 7 6 7 6 774455321066 7 6 7 4 665523447701 5 665532447710 Allen Herman (Regina) Semisimple Q-algebras in Algebraic Combinatorics I.3 Example: Basic matrix of a CC of order 10 and j∆j = 2 2 0 123232323 3 6 1 032323232 7 6 7 6 4567878787 7 6 7 6 5476787878 7 d 6 7 X 6 4587678787 7 ibi = 6 7 6 5478767878 7 i=0 6 7 6 4587876787 7 6 7 6 5478787678 7 6 7 4 4587878767 5 5478787876 ∆ = fb0; b6g, δ(b0) = δ(b6) = 1 Diagonal block valencies: δ(b1) = 1, δ(b7) = 4, δ(b8) = 3; Off diagonal block valencies: row valencies: δr (b2) = δr (b3) = 4, δr (b4) = δr (b5) = 1 column valencies: δc (b2) = δc (b3) = 1, δc (b4) = δc (b5) = 4.
    [Show full text]
  • Completely Integrable Gradient Flows
    Commun. Math. Phys. 147, 57-74 (1992) Communications in Maltlematical Physics Springer-Verlag 1992 Completely Integrable Gradient Flows Anthony M. Bloch 1'*, Roger W. Brockett 2'** and Tudor S. Ratiu 3'*** 1 Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA z Division of Applied Sciences, Harvard University, Cambridge, MA 02138, USA 3 Department of Mathematics, University of California, Santa Cruz, CA 95064, USA Received December 6, 1990, in revised form July 11, 1991 Abstract. In this paper we exhibit the Toda lattice equations in a double bracket form which shows they are gradient flow equations (on their isospectral set) on an adjoint orbit of a compact Lie group. Representations for the flows are given and a convexity result associated with a momentum map is proved. Some general properties of the double bracket equations are demonstrated, including a discussion of their invariant subspaces, and their function as a Lie algebraic sorter. O. Introduction In this paper we present details of the proofs and applications of the results on the generalized Toda lattice equations announced in [7]. One of our key results is exhibiting the Toda equations in a double bracket form which shows directly that they are gradient flow equations (on their isospectral set) on an adjoint orbit of a compact Lie group. This system, which is gradient with respect to the normal metric on the orbit, is quite different from the repre- sentation of the Toda flow as a gradient system on N" in Moser's fundamental paper [27]. In our representation the same set of equations is thus Hamiltonian and a gradient flow on the isospectral set.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • Geometries, the Principle of Duality, and Algebraic Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Expo. Math. 24 (2006) 195–234 www.elsevier.de/exmath Geometries, the principle of duality, and algebraic groups Skip Garibaldi∗, Michael Carr Department of Mathematics & Computer Science, Emory University, Atlanta, GA 30322, USA Received 3 June 2005; received in revised form 8 September 2005 Abstract J. Tits gave a general recipe for producing an abstract geometry from a semisimple algebraic group. This expository paper describes a uniform method for giving a concrete realization of Tits’s geometry and works through several examples. We also give a criterion for recognizing the auto- morphism of the geometry induced by an automorphism of the group. The E6 geometry is studied in depth. ᭧ 2005 Elsevier GmbH. All rights reserved. MSC 2000: Primary 22E47; secondary 20E42, 20G15 Contents 1. Tits’s geometry P ........................................................................197 2. A concrete geometry V , part I..............................................................198 3. A concrete geometry V , part II .............................................................199 4. Example: type A (projective geometry) .......................................................203 5. Strategy .................................................................................203 6. Example: type D (orthogonal geometry) ......................................................205 7. Example: type E6 .........................................................................208
    [Show full text]
  • Symmetries, Fields and Particles. Examples 1
    Michaelmas Term 2016, Mathematical Tripos Part III Prof. N. Dorey Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n × n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n × n complex matrices U satisfying U†U = I. Check similarly that U(n) is a group. Verify that O(n) and SO(n) are the subgroups of real matrices in, respectively, U(n) and SU(n). By considering how U(n) matrices act on vectors in Cn, and identifying Cn with R2n, show that U(n) is a subgroup of SO(2n). 2. Show that for matrices M ∈ O(n), the first column of M is an arbitrary unit vector, the second is a unit vector orthogonal to the first, ..., the kth column is a unit vector orthogonal to the span of the previous ones, etc. Deduce the dimension of O(n). By similar reasoning, determine the dimension of U(n). Show that any column of a unitary matrix U is not in the (complex) linear span of the remaining columns. 3. Consider the real 3 × 3 matrix, R(n,θ)ij = cos θδij + (1 − cos θ)ninj − sin θǫijknk 3 where n = (n1, n2, n3) is a unit vector in R . Verify that n is an eigenvector of R(n,θ) with eigenvalue one. Now choose an orthonormal basis for R3 with basis vectors {n, m, m˜ } satisfying, m · m = 1, m · n = 0, m˜ = n × m. By considering the action of R(n,θ) on these basis vectors show that this matrix corre- sponds to a rotation through an angle θ about an axis parallel to n and check that it is an element of SO(3).
    [Show full text]
  • On Dynkin Diagrams, Cartan Matrices
    Physics 220, Lecture 16 ? Reference: Georgi chapters 8-9, a bit of 20. • Continue with Dynkin diagrams and the Cartan matrix, αi · αj Aji ≡ 2 2 : αi The j-th row give the qi − pi = −pi values of the simple root αi's SU(2)i generators acting on the root αj. Again, we always have αi · µ 2 2 = qi − pi; (1) αi where pi and qi are the number of times that the weight µ can be raised by Eαi , or lowered by E−αi , respectively, before getting zero. Applied to µ = αj, we know that qi = 0, since E−αj jαii = 0, since αi − αj is not a root for i 6= j. 0 2 Again, we then have AjiAij = pp = 4 cos θij, which must equal 0,1,2, or 3; these correspond to θij = π=2, 2π=3, 3π=4, and 5π=6, respectively. The Dynkin diagram has a node for each simple root (so the number of nodes is 2 2 r =rank(G)), and nodes i and j are connected by AjiAij lines. When αi 6= αj , sometimes it's useful to darken the node for the smaller root. 2 2 • Another example: constructing the roots for C3, starting from α1 = α2 = 1, and 2 α3 = 2, i.e. the Cartan matrix 0 2 −1 0 1 @ −1 2 −1 A : 0 −2 2 Find 9 positive roots. • Classify all simple, compact Lie algebras from their Aji. Require 3 properties: (1) det A 6= 0 (since the simple roots are linearly independent); (2) Aji < 0 for i 6= j; (3) AijAji = 0,1, 2, 3.
    [Show full text]
  • Semi-Simple Lie Algebras and Their Representations
    i Semi-Simple Lie Algebras and Their Representations Robert N. Cahn Lawrence Berkeley Laboratory University of California Berkeley, California 1984 THE BENJAMIN/CUMMINGS PUBLISHING COMPANY Advanced Book Program Menlo Park, California Reading, Massachusetts ·London Amsterdam Don Mills, Ontario Sydney · · · · ii Preface iii Preface Particle physics has been revolutionized by the development of a new “paradigm”, that of gauge theories. The SU(2) x U(1) theory of electroweak in- teractions and the color SU(3) theory of strong interactions provide the present explanation of three of the four previously distinct forces. For nearly ten years physicists have sought to unify the SU(3) x SU(2) x U(1) theory into a single group. This has led to studies of the representations of SU(5), O(10), and E6. Efforts to understand the replication of fermions in generations have prompted discussions of even larger groups. The present volume is intended to meet the need of particle physicists for a book which is accessible to non-mathematicians. The focus is on the semi-simple Lie algebras, and especially on their representations since it is they, and not just the algebras themselves, which are of greatest interest to the physicist. If the gauge theory paradigm is eventually successful in describing the fundamental particles, then some representation will encompass all those particles. The sources of this book are the classical exposition of Jacobson in his Lie Algebras and three great papers of E.B. Dynkin. A listing of the references is given in the Bibliography. In addition, at the end of each chapter, references iv Preface are given, with the authors’ names in capital letters corresponding to the listing in the bibliography.
    [Show full text]
  • Algebraic Groups of Type D4, Triality and Composition Algebras
    1 Algebraic groups of type D4, triality and composition algebras V. Chernousov1, A. Elduque2, M.-A. Knus, J.-P. Tignol3 Abstract. Conjugacy classes of outer automorphisms of order 3 of simple algebraic groups of classical type D4 are classified over arbitrary fields. There are two main types of conjugacy classes. For one type the fixed algebraic groups are simple of type G2; for the other type they are simple of type A2 when the characteristic is different from 3 and are not smooth when the characteristic is 3. A large part of the paper is dedicated to the exceptional case of characteristic 3. A key ingredient of the classification of conjugacy classes of trialitarian automorphisms is the fact that the fixed groups are automorphism groups of certain composition algebras. 2010 Mathematics Subject Classification: 20G15, 11E57, 17A75, 14L10. Keywords and Phrases: Algebraic group of type D4, triality, outer au- tomorphism of order 3, composition algebra, symmetric composition, octonions, Okubo algebra. 1Partially supported by the Canada Research Chairs Program and an NSERC research grant. 2Supported by the Spanish Ministerio de Econom´ıa y Competitividad and FEDER (MTM2010-18370-C04-02) and by the Diputaci´onGeneral de Arag´on|Fondo Social Europeo (Grupo de Investigaci´on de Algebra).´ 3Supported by the F.R.S.{FNRS (Belgium). J.-P. Tignol gratefully acknowledges the hospitality of the Zukunftskolleg of the Universit¨atKonstanz, where he was in residence as a Senior Fellow while this work was developing. 2 Chernousov, Elduque, Knus, Tignol 1. Introduction The projective linear algebraic group PGLn admits two types of conjugacy classes of outer automorphisms of order two.
    [Show full text]
  • Contents 1 Root Systems
    Stefan Dawydiak February 19, 2021 Marginalia about roots These notes are an attempt to maintain a overview collection of facts about and relationships between some situations in which root systems and root data appear. They also serve to track some common identifications and choices. The references include some helpful lecture notes with more examples. The author of these notes learned this material from courses taught by Zinovy Reichstein, Joel Kam- nitzer, James Arthur, and Florian Herzig, as well as many student talks, and lecture notes by Ivan Loseu. These notes are simply collected marginalia for those references. Any errors introduced, especially of viewpoint, are the author's own. The author of these notes would be grateful for their communication to [email protected]. Contents 1 Root systems 1 1.1 Root space decomposition . .2 1.2 Roots, coroots, and reflections . .3 1.2.1 Abstract root systems . .7 1.2.2 Coroots, fundamental weights and Cartan matrices . .7 1.2.3 Roots vs weights . .9 1.2.4 Roots at the group level . .9 1.3 The Weyl group . 10 1.3.1 Weyl Chambers . 11 1.3.2 The Weyl group as a subquotient for compact Lie groups . 13 1.3.3 The Weyl group as a subquotient for noncompact Lie groups . 13 2 Root data 16 2.1 Root data . 16 2.2 The Langlands dual group . 17 2.3 The flag variety . 18 2.3.1 Bruhat decomposition revisited . 18 2.3.2 Schubert cells . 19 3 Adelic groups 20 3.1 Weyl sets . 20 References 21 1 Root systems The following examples are taken mostly from [8] where they are stated without most of the calculations.
    [Show full text]
  • Special Unitary Group - Wikipedia
    Special unitary group - Wikipedia https://en.wikipedia.org/wiki/Special_unitary_group Special unitary group In mathematics, the special unitary group of degree n, denoted SU( n), is the Lie group of n×n unitary matrices with determinant 1. (More general unitary matrices may have complex determinants with absolute value 1, rather than real 1 in the special case.) The group operation is matrix multiplication. The special unitary group is a subgroup of the unitary group U( n), consisting of all n×n unitary matrices. As a compact classical group, U( n) is the group that preserves the standard inner product on Cn.[nb 1] It is itself a subgroup of the general linear group, SU( n) ⊂ U( n) ⊂ GL( n, C). The SU( n) groups find wide application in the Standard Model of particle physics, especially SU(2) in the electroweak interaction and SU(3) in quantum chromodynamics.[1] The simplest case, SU(1) , is the trivial group, having only a single element. The group SU(2) is isomorphic to the group of quaternions of norm 1, and is thus diffeomorphic to the 3-sphere. Since unit quaternions can be used to represent rotations in 3-dimensional space (up to sign), there is a surjective homomorphism from SU(2) to the rotation group SO(3) whose kernel is {+ I, − I}. [nb 2] SU(2) is also identical to one of the symmetry groups of spinors, Spin(3), that enables a spinor presentation of rotations. Contents Properties Lie algebra Fundamental representation Adjoint representation The group SU(2) Diffeomorphism with S 3 Isomorphism with unit quaternions Lie Algebra The group SU(3) Topology Representation theory Lie algebra Lie algebra structure Generalized special unitary group Example Important subgroups See also 1 of 10 2/22/2018, 8:54 PM Special unitary group - Wikipedia https://en.wikipedia.org/wiki/Special_unitary_group Remarks Notes References Properties The special unitary group SU( n) is a real Lie group (though not a complex Lie group).
    [Show full text]