DOCSLIB.ORG

An Extended Freudenthal Magic Square in Characteristic 3

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Extended Freudenthal Magic Square in Characteristic 3 An extended Freudenthal Magic Square in characteristic 3 Alberto Elduque Universidad de Zaragoza From Lie Algebras to Quantum Groups Coimbra, 2006 Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 1 / 29 Exceptional Lie algebras G2, F4, E6, E7, E8 G2 = der O (Cartan 1914) F = der H ( ) 4 3 O (Chevalley-Schafer 1950) E6 = str0 H3(O) Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 2 / 29 Exceptional Lie algebras G2, F4, E6, E7, E8 G2 = der O (Cartan 1914) F = der H ( ) 4 3 O (Chevalley-Schafer 1950) E6 = str0 H3(O) Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 2 / 29 Tits construction (1966) C a Hurwitz algebra (unital composition algebra), J a central simple Jordan algebra of degree 3, Then T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J is a Lie algebra (char 6= 3) under a suitable Lie bracket. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 3 / 29 Tits construction (1966) C a Hurwitz algebra (unital composition algebra), J a central simple Jordan algebra of degree 3, Then T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J is a Lie algebra (char 6= 3) under a suitable Lie bracket. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 3 / 29 Tits construction (1966) C a Hurwitz algebra (unital composition algebra), J a central simple Jordan algebra of degree 3, Then T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J is a Lie algebra (char 6= 3) under a suitable Lie bracket. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 3 / 29 Tits construction (1966) C a Hurwitz algebra (unital composition algebra), J a central simple Jordan algebra of degree 3, Then T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J is a Lie algebra (char 6= 3) under a suitable Lie bracket. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 3 / 29 Freudenthal Magic Square T (C, J) H3(k) H3(k × k) H3(Mat2(k)) H3(C(k)) k A1 A2 C3 F4 k × k A2 A2 ⊕ A2 A5 E6 Mat2(k) C3 A5 D6 E7 C(k) F4 E6 E7 E8 Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 4 / 29 Tits construction rearranged 0 3 2 0 J = H3(C ) ' k ⊕ ⊕i=0ιi (C ) , 2 2 0 J0 ' k ⊕ ⊕i=0ιi (C ) , 0 2 0 der J ' tri(C ) ⊕ ⊕i=0ιi (C ) , T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J 2 2 0 0 2 0 ' der C ⊕ (C0 ⊗ k ) ⊕ ⊕i=0C0 ⊗ ιi (C ) ⊕ tri(C ) ⊕ (⊕i=0ιi (C )) 0 2 0 ' tri(C) ⊕ tri(C ) ⊕ ⊕i=0ιi (C ⊗ C ) (Barton-Sudbery, Landsberg-Manivel, Allison-Faulkner) Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 5 / 29 Tits construction rearranged 0 3 2 0 J = H3(C ) ' k ⊕ ⊕i=0ιi (C ) , 2 2 0 J0 ' k ⊕ ⊕i=0ιi (C ) , 0 2 0 der J ' tri(C ) ⊕ ⊕i=0ιi (C ) , T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J 2 2 0 0 2 0 ' der C ⊕ (C0 ⊗ k ) ⊕ ⊕i=0C0 ⊗ ιi (C ) ⊕ tri(C ) ⊕ (⊕i=0ιi (C )) 0 2 0 ' tri(C) ⊕ tri(C ) ⊕ ⊕i=0ιi (C ⊗ C ) (Barton-Sudbery, Landsberg-Manivel, Allison-Faulkner) Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 5 / 29 Tits construction rearranged 0 3 2 0 J = H3(C ) ' k ⊕ ⊕i=0ιi (C ) , 2 2 0 J0 ' k ⊕ ⊕i=0ιi (C ) , 0 2 0 der J ' tri(C ) ⊕ ⊕i=0ιi (C ) , T (C, J) = der C ⊕ (C0 ⊗ J0) ⊕ der J 2 2 0 0 2 0 ' der C ⊕ (C0 ⊗ k ) ⊕ ⊕i=0C0 ⊗ ιi (C ) ⊕ tri(C ) ⊕ (⊕i=0ιi (C )) 0 2 0 ' tri(C) ⊕ tri(C ) ⊕ ⊕i=0ιi (C ⊗ C ) (Barton-Sudbery, Landsberg-Manivel, Allison-Faulkner) Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 5 / 29 Symmetric composition algebras Nicer formulas are obtained if symmetric composition algebras are used, instead of the more classical Hurwitz algebras. (S, ∗, q) ( q(x ∗ y) = q(x)q(y), q(x ∗ y, z) = q(x, y ∗ z). Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 6 / 29 Symmetric composition algebras Nicer formulas are obtained if symmetric composition algebras are used, instead of the more classical Hurwitz algebras. (S, ∗, q) ( q(x ∗ y) = q(x)q(y), q(x ∗ y, z) = q(x, y ∗ z). Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 6 / 29 Symmetric composition algebras: examples Para-Hurwitz algebras: C Hurwitz algebra with norm q and standard involution , but with new multiplication x ∗ y =x ¯y¯. Okubo algebras: In characteristic 6= 3 these are the forms of sl3, ∗, q) with ω − ω2 x ∗ y = ωxy − ω2yx − tr(xy)1, 3 1 q(x) = tr(x2), q(x, y) = tr(xy). 2 (ω a cubic root of 1.) A different definition is needed in characteristic 3. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 7 / 29 Symmetric composition algebras: examples Para-Hurwitz algebras: C Hurwitz algebra with norm q and standard involution , but with new multiplication x ∗ y =x ¯y¯. Okubo algebras: In characteristic 6= 3 these are the forms of sl3, ∗, q) with ω − ω2 x ∗ y = ωxy − ω2yx − tr(xy)1, 3 1 q(x) = tr(x2), q(x, y) = tr(xy). 2 (ω a cubic root of 1.) A different definition is needed in characteristic 3. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 7 / 29 Symmetric composition algebras: classification Theorem (Okubo, Osborn, Myung, P´erez-Izquierdo, E.) With some exceptions in dimension 2, any symmetric composition algebras is either a para-Hurwitz algebra (dimension 1, 2, 4 or 8), or an Okubo algebra (dimension 8). Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 8 / 29 Symmetric composition algebras: classification Theorem (Okubo, Osborn, Myung, P´erez-Izquierdo, E.) With some exceptions in dimension 2, any symmetric composition algebras is either a para-Hurwitz algebra (dimension 1, 2, 4 or 8), or an Okubo algebra (dimension 8). Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 8 / 29 Symmetric composition algebras: classification Theorem (Okubo, Osborn, Myung, P´erez-Izquierdo, E.) With some exceptions in dimension 2, any symmetric composition algebras is either a para-Hurwitz algebra (dimension 1, 2, 4 or 8), or an Okubo algebra (dimension 8). Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 8 / 29 Triality algebra (S, ∗, q) a symmetric composition algebra 3 tri(S) = {(d0, d1, d2) ∈ so(S, q) : d0(x ∗ y) = d1(x) ∗ y + x ∗ d2(y) ∀x, y ∈ S} is the triality Lie algebra of S. 0 if dim S = 1, 2-dim’l abelian if dim S = 2, tri(S) = 3 so(S0, q) if dim S = 4, so(S, q) if dim S = 8. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 9 / 29 Triality algebra (S, ∗, q) a symmetric composition algebra 3 tri(S) = {(d0, d1, d2) ∈ so(S, q) : d0(x ∗ y) = d1(x) ∗ y + x ∗ d2(y) ∀x, y ∈ S} is the triality Lie algebra of S. 0 if dim S = 1, 2-dim’l abelian if dim S = 2, tri(S) = 3 so(S0, q) if dim S = 4, so(S, q) if dim S = 8. Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 9 / 29 The Lie algebra g(S, S 0) Let S and S0 be two symmetric composition algebras. Consider 0 0 2 0 g(S, S ) = tri(S) ⊕ tri(S ) ⊕ ⊕i=0ιi (S ⊗ S ) , 0 0 where ιi (S ⊗ S ) is just a copy of S ⊗ S , with bracket given by: tri(S) ⊕ tri(S0) is a Lie subalgebra of g(S, S0), 0 0 [(d0, d1, d2), ιi (x ⊗ x )] = ιi di (x) ⊗ x , 0 0 0 0 0 0 [(d0, d1, d2), ιi (x ⊗ x )] = ιi x ⊗ di (x ) , 0 0 0 0 [ιi (x ⊗ x ), ιi+1(y ⊗ y )] = ιi+2 (x ∗ y) ⊗ (x ∗ y ) (indices modulo 3), 0 0 0 0 0 i 0i 0 [ιi (x ⊗ x ), ιi (y ⊗ y )] = q (x , y )θ (tx,y ) + q(x, y)θ (tx0,y 0 ), 1 1 where tx,y = q(x,.)y − q(y,.)x, 2 q(x, y)1 − rx ly , 2 q(x, y)1 − lx ry Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 10 / 29 The Lie algebra g(S, S 0) Let S and S0 be two symmetric composition algebras. Consider 0 0 2 0 g(S, S ) = tri(S) ⊕ tri(S ) ⊕ ⊕i=0ιi (S ⊗ S ) , 0 0 where ιi (S ⊗ S ) is just a copy of S ⊗ S , with bracket given by: tri(S) ⊕ tri(S0) is a Lie subalgebra of g(S, S0), 0 0 [(d0, d1, d2), ιi (x ⊗ x )] = ιi di (x) ⊗ x , 0 0 0 0 0 0 [(d0, d1, d2), ιi (x ⊗ x )] = ιi x ⊗ di (x ) , 0 0 0 0 [ιi (x ⊗ x ), ιi+1(y ⊗ y )] = ιi+2 (x ∗ y) ⊗ (x ∗ y ) (indices modulo 3), 0 0 0 0 0 i 0i 0 [ιi (x ⊗ x ), ιi (y ⊗ y )] = q (x , y )θ (tx,y ) + q(x, y)θ (tx0,y 0 ), 1 1 where tx,y = q(x,.)y − q(y,.)x, 2 q(x, y)1 − rx ly , 2 q(x, y)1 − lx ry Alberto Elduque (Universidad de Zaragoza) Freudenthal Magic Supersquare June 30, 2006 10 / 29 The Lie algebra g(S, S 0) Let S and S0 be two symmetric composition algebras.
Load more

Recommended publications
  • Hermitian Jordan Triple Systems, the Standard Model Plus Gravity, And
    THEP-93-3 Feb. 1993 Hermitian Jordan Triple Systems, the Standard Model plus Gravity, and αE =1/137.03608 Frank D. (Tony) Smith, Jr. Department of Physics Georgia Institute of Technology Atlanta, Georgia 30332 Abstract A physical interpretation is given for some Hermitian Jordan triple systems (HJTS) that were recently discussed by G¨unaydin [4]. hep-th/9302030 9 Feb 1993 The quadratic Jordan algebras derived from HJTS provide a formulation of quantum mechanics (G¨unaydin[3]) that is a natural framework within which exceptional structures are identified with physically realistic struc- tures of a quantum field theory that includes both the standard model and MacDowell-Mansouri [14] gravity. The structures allow the calculation of the relative strengths of the four forces, including αE =1/137.03608. c 1993 Frank D. (Tony) Smith, Jr., 341 Blanton Road, Atlanta, Georgia 30342 USA P. O. Box for snail-mail: P. O. Box 430, Cartersville, Georgia 30120 USA e-mail: [email protected] and [email protected] 1 Introduction 1.1 Overview Since the purpose of this paper is to give a physical quantum field theoreti- cal interpretation of the algebraic structures (Jordan algebras, Lie algebras, symmetric spaces, bounded homogeneous domains, etc.) the field over which the structures are defined is the field C of the complex numbers. In particular, the initial fundamental Lie algebras will be complexifica- tions GC of real Lie algebras G. Real structures, such as spacetime, will emerge in the physical interpre- tation by such mechanisms as by taking the Silov boundary of a bounded complex homogeneous domain.
    [Show full text]
  • Geometry of the Shilov Boundary of a Bounded Symmetric Domain Jean-Louis Clerc
    Geometry of the Shilov Boundary of a Bounded Symmetric Domain Jean-Louis Clerc To cite this version: Jean-Louis Clerc. Geometry of the Shilov Boundary of a Bounded Symmetric Domain. journal of geometry and symmetry in physics, 2009, Vol. 13, pp. 25-74. hal-00381665 HAL Id: hal-00381665 https://hal.archives-ouvertes.fr/hal-00381665 Submitted on 6 May 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Geometry of the Shilov Boundary of a Bounded Symmetric Domain Jean-Louis Clerc today Abstract In the first part, the theory of bounded symmetric domains is pre- sented along two main approaches : as special cases of Riemannian symmetric spaces of the noncompact type on one hand, as unit balls in positive Hermitian Jordan triple systems on the other hand. In the second part, an invariant for triples in the Shilov boundary of such a domain is constructed. It generalizes an invariant constructed by E. Cartan for the unit sphere in C2 and also the triple Maslov index on the Lagrangian manifold. 1 Introduction The present paper is an outgrowth of the cycle of conferences delivred by the author at the Tenth International Conference on Geometry, Integrability and Quantization, held in Varna in June 2008.
    [Show full text]
  • Arxiv:1106.4415V1 [Math.DG] 22 Jun 2011 R,Rno Udai Form
    JORDAN STRUCTURES IN MATHEMATICS AND PHYSICS Radu IORDANESCU˘ 1 Institute of Mathematics of the Romanian Academy P.O.Box 1-764 014700 Bucharest, Romania E-mail: [email protected] FOREWORD The aim of this paper is to offer an overview of the most important applications of Jordan structures inside mathematics and also to physics, up- dated references being included. For a more detailed treatment of this topic see - especially - the recent book Iord˘anescu [364w], where sugestions for further developments are given through many open problems, comments and remarks pointed out throughout the text. Nowadays, mathematics becomes more and more nonassociative (see 1 § below), and my prediction is that in few years nonassociativity will govern mathematics and applied sciences. MSC 2010: 16T25, 17B60, 17C40, 17C50, 17C65, 17C90, 17D92, 35Q51, 35Q53, 44A12, 51A35, 51C05, 53C35, 81T05, 81T30, 92D10. Keywords: Jordan algebra, Jordan triple system, Jordan pair, JB-, ∗ ∗ ∗ arXiv:1106.4415v1 [math.DG] 22 Jun 2011 JB -, JBW-, JBW -, JH -algebra, Ricatti equation, Riemann space, symmet- ric space, R-space, octonion plane, projective plane, Barbilian space, Tzitzeica equation, quantum group, B¨acklund-Darboux transformation, Hopf algebra, Yang-Baxter equation, KP equation, Sato Grassmann manifold, genetic alge- bra, random quadratic form. 1The author was partially supported from the contract PN-II-ID-PCE 1188 517/2009. 2 CONTENTS 1. Jordan structures ................................. ....................2 § 2. Algebraic varieties (or manifolds) defined by Jordan pairs ............11 § 3. Jordan structures in analysis ....................... ..................19 § 4. Jordan structures in differential geometry . ...............39 § 5. Jordan algebras in ring geometries . ................59 § 6. Jordan algebras in mathematical biology and mathematical statistics .66 § 7.
    [Show full text]
  • UC Berkeley UC Berkeley Electronic Theses and Dissertations
    UC Berkeley UC Berkeley Electronic Theses and Dissertations Title On Freudenthal Duality and Gauge Theories Permalink https://escholarship.org/uc/item/2217p9m4 Author Tagliaferro, Anthony Joseph Publication Date 2012 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California On Freudenthal Duality and Gauge Theories by Anthony Joseph Tagliaferro A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Physics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Bruno Zumino, Chair Professor Ori Ganor Professor Michael Hutchings Fall 2012 On Freudenthal Duality and Gauge Theories Copyright 2012 by Anthony Joseph Tagliaferro 1 Abstract On Freudenthal Duality and Gauge Theories by Anthony Joseph Tagliaferro Doctor of Philosophy in Physics University of California, Berkeley Professor Bruno Zumino, Chair In this thesis, I write down a Lagrangian for an exotic gauge theory defined using Freudenthal Triple Systems (FTS). FTSs are algebraic systems that arise in the context of Lie algebras and have have been found useful in D=4 Supergravity. These systems come with a sym- metry known as Freudenthal Duality (or F-duality) which preserves a certain degree four polynomials ∆(x). The Lagrangian I write down is invariant under both the exotic gauge theory defined by the FTS and Freudenthal Duality. In prepration for discussing these top- ics, I review FTS and touch on their relationship to Lie algebras. I then discuss F-duality and present a novel proof that only depends on the axioms of the FTS on not on a direct calculation of any particular realization.
    [Show full text]
  • Conformal and Quasiconformal Realizations of Exceptional Lie Groups
    AEI-2000-043 hep-th/0008063 CERN-TH/2000-230 Conformal and Quasiconformal Realizations of Exceptional Lie Groups∗ M. Gunaydin¨ ‡ CERN, Theory Division 1211 Geneva 23, Switzerland E-mail: [email protected] K. Koepsell, H. Nicolai Max-Planck-Institut f¨ur Gravitationsphysik, Albert-Einstein-Institut, M¨uhlenberg 1, D-14476 Potsdam, Germany E-mail: [email protected], [email protected] Abstract We present a nonlinear realization of E8(8) on a space of 57 dimensions, which is quasiconformal in the sense that it leaves invariant a suitably defined “light cone” in R57. This realization, which is related to the Freudenthal triple system associated with the unique exceptional Jordan algebra over the split octonions, contains previous conformal realizations of the lower rank exceptional Lie groups on generalized space times, and in particular a con- 27 formal realization of E7(7) on R which we exhibit explicitly. Possible ap- plications of our results to supergravity and M-Theory are briefly mentioned. AUGUST 2000 ∗This work was supported in part by the NATO collaborative research grant CRG. 960188. zWork supported in part by the National Science Foundation under grant number PHY-9802510. Permanent address: Physics Department, Penn State University, University Park, PA 16802, USA. 1 Introduction It is an old idea to define generalized space-times by association with Jordan alge- bras J, in such a way that the space-time is coordinatized by the elements of J,and that its rotation, Lorentz, and conformal group can be identified with the automor- phism, reduced structure, and the linear fractional group of J, respectively [6, 7, 8].
    [Show full text]
  • Non-Associative Algebras and Quantum Physics
    Manfred Liebmann, Horst R¨uhaak, Bernd Henschenmacher Non-Associative Algebras and Quantum Physics A Historical Perspective September 11, 2019 arXiv:1909.04027v1 [math-ph] 7 Sep 2019 Contents 1 Pascual Jordan’s attempts to generalize Quantum Mechanics .............. 3 2 The 1930ies: Jordan algebras and some early speculations concerning a “fundamental length” ................................................... .. 5 3 The 1950ies: Non-distributive “algebras” .................................. 17 4 The late 1960ies: Giving up power-associativity and a new idea about measurements ................................................... .......... 33 5 Horst R¨uhaak’s PhD-thesis: Matrix algebras over the octonions ........... 41 6 The Fundamental length algebra and Jordan’s final ideas .................. 47 7 Lawrence Biedenharn’s work on non-associative quantum mechanics ....... 57 8 Recent developments ................................................... ... 63 9 Acknowledgements ................................................... ..... 67 10 References ................................................... .............. 69 Contents 1 Summary. We review attempts by Pascual Jordan and other researchers, most notably Lawrence Biedenharn to generalize quantum mechanics by passing from associative matrix or operator algebras to non-associative algebras. We start with Jordan’s work from the early 1930ies leading to Jordan algebras and the first attempt to incorporate the alternative ring of octonions into physics. Jordan’s work on the octonions from 1932
    [Show full text]
  • Lie Algebras and Triple Systems
    Alma Mater Studiorum · Universita` di Bologna Scuola di Scienze Corso di Laurea Magistrale in Matematica Lie algebras and triple systems Tesi di Laurea in Algebra Relatore: Presentata da: Chiar.ma Prof.ssa Antonio Ricciardo Nicoletta Cantarini III Sessione Anno accademico 2013/2014 A chi non c'`epi`u... Introduction Jordan algebras first appeared in a 1933 paper by P. Jordan on the foun- dations of quantum mechanics. The classification of simple finite-dimensional Jordan algebras over an algebraically closed field of characteristic different from two was obtained by Albert, [1], in 1947 but a much easier proof of this clas- sification was given in the 60's, thanks to the discovery of the Tits-Kantor- Koecher (TKK) construction, [10][5][7]. This is based on the observation that if g = g−1 ⊕ g0 ⊕ g1 is a Lie algebra with a short Z-grading and f lies in g1, then the formula a • b = [[a; f]; b] defines a structure of a Jordan algebra on g−1. This leads to a bijective corre- spondence between simple unital Jordan algebras and simple Lie algebras with an sl2-triple ff; h; eg whose semisimple element h, with eigenvalues 0; −1; 1; defines a short grading of g. Over the years the TKK construction has revealed more and more relevant, due to its many generalizations. The first natural generalization is to Jordan triple systems, whose algebraic study was initiated by K. Meyberg in 1969. A Jordan triple system is a 3-algebra whose product f · ; · ; · g satisfies the following identities: fx; y; zg = fz; y; xg fu; v; fx; y; zgg = ffu; v; xg; y; zg − fx; fv; u; yg; zg + [x; y; [u; v; z]] Another natural generalization is to superalgebras: using the TKK construc- tion V.
    [Show full text]
  • DERIVATIONS: an Introduction to Associative Algebras
    DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART III|MODULES AND DERIVATIONS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT OF MATHEMATICS MATHEMATICS COLLOQUIUM FEBRUARY 28, 2012 HISTORY OF THESE LECTURES PART I ALGEBRAS FEBRUARY 8, 2011 PART II TRIPLE SYSTEMS JULY 21, 2011 PART III MODULES AND DERIVATIONS FEBRUARY 28, 2012 PART IV COHOMOLOGY JULY 26, 2012 OUTLINE OF TODAY'S TALK 1. REVIEW OF PART I ALGEBRAS (FEBRUARY 8, 2011) 2. REVIEW OF PART II TRIPLE SYSTEMS (JULY 21, 2011) 3. MODULES 4. DERIVATIONS INTO A MODULE PRE-HISTORY OF THESE LECTURES THE RIEMANN HYPOTHESIS PART I PRIME NUMBER THEOREM JULY 29, 2010 PART II THE RIEMANN HYPOTHESIS SEPTEMBER 14, 2010 WHAT IS A MODULE? The American Heritage Dictionary of the English Language, Fourth Edition 2009. HAS 8 DEFINITIONS 1. A standard or unit of measurement. 2. Architecture The dimensions of a struc- tural component, such as the base of a column, used as a unit of measurement or standard for determining the proportions of the rest of the construction. 3. Visual Arts/Furniture A standardized, of- ten interchangeable component of a sys- tem or construction that is designed for easy assembly or flexible use: a sofa con- sisting of two end modules. 4. Electronics A self-contained assembly of electronic components and circuitry, such as a stage in a computer, that is installed as a unit. 5. Computer Science A portion of a pro- gram that carries out a specific function and may be used alone or combined with other modules of the same program.
    [Show full text]
  • Jordan Triples and Riemannian Symmetric Spaces
    ARTICLE IN PRESS YAIMA:3107 JID:YAIMA AID:3107 /FLA [m1+; v 1.95; Prn:27/08/2008; 10:14] P.1 (1-29) Advances in Mathematics ••• (••••) •••–••• www.elsevier.com/locate/aim Jordan triples and Riemannian symmetric spaces Cho-Ho Chu School of Mathematical Sciences, Queen Mary, University of London, London E1 4NS, UK Received 12 October 2007; accepted 4 August 2008 Communicated by Gang Tian Abstract We introduce a class of real Jordan triple systems, called JH-triples, and show, via the Tits–Kantor– Koecher construction of Lie algebras, that they correspond to a class of Riemannian symmetric spaces including the Hermitian symmetric spaces and the symmetric R-spaces. © 2008 Elsevier Inc. All rights reserved. MSC: 17C65; 53C35; 58B25; 17B70; 32M15 Keywords: Jordan triple system; Tits–Kantor–Koecher construction; Orthogonal involutive Lie algebra; Riemannian symmetric space 1. Introduction It is well known that Jordan algebras and Jordan triple systems can be used to give an algebraic description of a large class of symmetric manifolds and thereby one can apply Jordan theory in the study of these manifolds. In finite dimensions, the symmetric R-spaces are known to be in one–one correspondence with the isomorphism classes of real Jordan triple systems equipped with a positive definite trace form, called compact Jordan triples [27]. In any dimension, the simply connected Hermitian symmetric spaces are in one–one correspondence with the complex Hilbert triples called JH*-triples [18] and hence these manifolds can be classified by JH*-triples. The one–one correspondence between bounded symmetric domains in complex Banach spaces and JB*-triples was established in [17].
    [Show full text]
  • 2012-433-462.Pdf
    Serdica Math. J. 38 (2012), 433–462 UNIVERSAL ENVELOPING ALGEBRAS OF NONASSOCIATIVE STRUCTURES Marina Tvalavadze Communicated by M. Kochetov Dedicated to Yuri Bahturin on his 65th birthday Abstract. This is a survey paper to summarize the latest results on the universal enveloping algebras of Malcev algebras, triple systems and Leibniz n-ary algebras. 1. Introduction. Nonassociative algebras are very rich in algebraic structure. They have important applications not only in many branches of math- ematics but also in physics. Perhaps, a Lie algebra is the most known example of a nonassociative algebra. In the classical theory of Lie algebras, the famous Poincar´e-Birkhoff-Witt (PBW) theorem (Poincar´e(1900), G. D. Birkhoff (1937), 2010 Mathematics Subject Classification: Primary 17D15. Secondary 17D05, 17B35, 17A99. Key words: Malcev algebras, Leibniz algebras, triple systems, universal enveloping algebras, PBW-bases. 434 Marina Tvalavadze Witt (1937))[40, 4, 53] establishes a fundamental connection between Lie and as- sociative algebras by relating the universal associative enveloping algebra to any Lie algebra L. Let L be a Lie algebra over a field F. Then the universal associative enveloping algebra of L is a pair (U(L), ε) such that 1. U(L) is a unital associative algebra over F. 2. ε : L → U(L)− is a Lie algebra homomorphism. 3. If (A, ψ) is another such pair, then there exists a unique homomorphism θ : U(L) → A such that θ ◦ ε = ψ. The Poincar´e-Birkhoff-Witt theorem describes the structure of a linear basis of U(L): Theorem 1. Let L be a Lie algebra over a field F, and (U(L), ε) its universal enveloping algebra.
    [Show full text]
  • Basics on Hermitian Symmetric Spaces
    Diploma-Thesis Basics on Hermitian Symmetric Spaces Tobias Strubel Advisor: Prof. Dr. Marc Burger ETH ZÄurich, Wintersemester 2006/2007 2 Contents 0 Introduction 3 1 Basics 5 1.1 Basics in Riemannian Geometry . 5 1.2 Riemannian Symmetric Spaces . 13 1.3 Involutive Lie Algebras . 19 1.4 Hermitian Symmetric Spaces . 26 2 Some Topics on Symmetric Spaces 31 2.1 Complexi¯cation and Cartan Decomposition . 31 2.2 Totally Geodesic Submanifolds . 32 2.3 Rank . 34 2.4 Bounded Symmetric Domains . 35 2.5 Embedding . 36 2.5.1 The Borel Embedding . 36 2.5.2 The Harish-Chandra Embedding . 41 2.6 Filtrations, Gradations and Hodge Structures . 46 2.7 Symmetric Cones and Jordan Algebras . 50 2.7.1 Cones . 50 2.7.2 Jordan Algebras . 52 2.7.3 Correspondence between Cones and Jordan Algebras . 52 A Appendix 54 A.1 Riemannian geometry . 54 A.2 Roots . 56 A.3 Algebraic groups . 57 A.4 Details . 59 3 0 Introduction Consider a space on which we have a notion of length and curvature. When should one call it symmetric? Heuristically a straight line is more symmetric than the graph of x5 ¡ x4 ¡ 9x3 ¡ 3x2 ¡ 2x + 7, a circle is more symmetric than an ellipse and a ball is more symmetric than an egg. Why? Assume we have a ball and an egg, both with blue surface without pattern. If you close your eyes and I rotate the ball, you can't reconstruct the rotation. But if I rotate the egg, you can reconstruct at least the rotations along two axes.
    [Show full text]
  • Tits Construction of the Exceptional Simple Lie Algebras
    Pure and Applied Mathematics Quarterly Volume 7, Number 3 (Special Issue: In honor of Jacques Tits) 559|586, 2011 Tits Construction of The Exceptional Simple Lie Algebras Alberto Elduque¤ Dedicated to Professor Jacques Tits on the occasion of his eightieth birthday Abstract: The classical Tits construction of the exceptional simple Lie algebras has been extended in a couple of directions by using either Jordan superalgebras or composition superalgebras. These extensions are reviewed here. The outcome has been the discovery of some new simple modular Lie superalgebras. Keywords: Tits construction, Lie algebra, exceptional, simple, Jordan, composition 1. Introduction In 1966, Tits provided a beautiful uni¯ed construction of the exceptional simple Lie algebras F4, E6, E7 and E8 over ¯elds of characteristic 6= 2; 3 [Tits66]. This construction depends on two algebras: an alternative algebra of degree 2 and a Jordan algebra of degree 3. The most interesting cases appear when semisimple alternative algebras and central simple Jordan algebras are considered in this construction. Then the alternative algebra becomes a composition algebra, and hence its dimension is restricted to 1, 2, 4 or 8, while the Jordan algebra becomes Received November 3, 2008. 2000 Mathematics Subject Classi¯cation. Primary: 17B60. Secondary: 17B50, 17B25, 17C50, 17A75. ¤Supported by the Spanish Ministerio de Educaci¶ony Ciencia and FEDER (MTM 2007- 67884-C04-02) and by the Diputaci¶onGeneral de Arag¶on(Grupo de Investigaci¶onde Algebra).¶ 560 Alberto Elduque a form of the Jordan algebra of hermitian 3£3 matrices over a second composition algebra. Freudenthal's Magic Square ([Fre64]) is obtained with these ingredients.
    [Show full text]