https://cp4space.hatsya.com/2020/10/28/the-exceptional-jordan-algebra/ Complex Projective 4-Space Where exciting things happen [jordan-940x198] Skip to content * Home * About * Cipher solvers + Season IV o Solved cipher 71 + Season III o Solved cipher 70 o Solved cipher 69 o Solved cipher 68 o Solved cipher 67 o Solved cipher 66 o Solved cipher 65 o Solved cipher 64 o Solved cipher 63 o Solved cipher 62 o Solved cipher 61 o Solved cipher 60 o Solved cipher 59 o Solved cipher 58 o Solved cipher 57 o Solved cipher 56 o Solved cipher 55 o Solved cipher 54 o Solved cipher 53 o Solved cipher 52 o Solved cipher 51 + Season II o Solved cipher 50 o Solved cipher 49 o Solved cipher 48 o Solved cipher 47 o Solved cipher 46 o Solved cipher 45 o Solved cipher 44 o Solved cipher 43 o Solved cipher 42 o Solved cipher 41 o Solved cipher 40 o Solved cipher 39 o Solved cipher 38 o Solved cipher 37 o Solved cipher 36 o Solved cipher 35 o Solved cipher 34 o Solved cipher 33 o Solved cipher 32 o Solved cipher 31 + Season I o Solved cipher 30 o Solved cipher 29 o Solved cipher 28 o Solved cipher 27 o Solved cipher 26 o Solved cipher 25 o Solved cipher 24 o Solved cipher 23 o Solved cipher 22 o Solved cipher 21 o Solved cipher 20 o Solved cipher 19 o Solved cipher 18 o Solved cipher 17 o Solved cipher 16 o Solved cipher 15 o Solved cipher 14 o Solved cipher 13 o Solved cipher 12 o Solved cipher 11 o Solved cipher 10 o Solved cipher 9 o Solved cipher 8 o Solved cipher 7 o Solved cipher 6 o Solved cipher 5 o Solved cipher 4 * Contact * Publications * Revision + IA revision + IB revision * Skydive - Closed-form numbers An attempt to understand the Monster group - The exceptional Jordan algebra Posted on October 28, 2020 by apgoucher In the early 1930s, Pascual Jordan attempted to formalise the algebraic properties of Hermitian matrices. In particular: * Hermitian matrices form a real vector space: we can add and subtract Hermitian matrices, and multiply them by real scalars. That is to say, if \lambda, \mu \in \mathbb{R} and A, B are Hermitian matrices, then so is the linear combination \lambda A + \mu B. * We cannot multiply Hermitian matrices and obtain a Hermitian result, unless the matrices commute. So the matrix product AB is not necessarily Hermitian, but the 'symmetrised' product A \circ B = \frac{1}{2}(AB + BA) is Hermitian, and coincides with ordinary multiplication whenever the matrices commute. Now, this symmetrised product A \circ B is commutative by definition, and is also (bi)linear: (\lambda A + \mu B) \circ C = \lambda (A \ circ C) + \mu (B \circ C). What other algebraic properties must this product satisfy? The important ones are: * Power-associativity: the expression A^n = A \circ \cdots \circ A does not depend on the parenthesisation. * Formal reality: a sum of squares is zero if and only if all of the summands are zero. The second of these conditions means that we can say that an element of the Jordan algebra is 'nonnegative' if it can be expressed as a sum of squares. (In the familiar context of real symmetric matrices, this coincides with the property of the matrix being positive-semidefinite.) The nonnegative elements form a 'cone' closed under multiplication by positive real scalars and addition. Jordan, von Neumann, and Wigner proceeded to classify all of the finite-dimensional algebras of this form (known as formally real Jordan algebras). They showed that every such algebra is a direct sum of 'simple' algebras, each of which is isomorphic to [at least] one of the following: * the real symmetric matrices of dimension n (for any positive integer n) with the aforementioned symmetrised product; * the complex Hermitian matrices of dimension n; * the quaternionic Hermitian matrices of dimension n; * the octonionic Hermitian matrices of dimension n (where n <= 3); * the algebras \mathbb{R}^n \oplus \mathbb{R} with the product (x, t) \circ (x', t') = (t'x + tx', \langle x, x' \rangle + tt'), known as 'spin factors'. As John Baez mentions, these can be identified with Minkowski space, and the nonnegative elements are exactly the 'future cone' of the origin. The qualification 'at least' is because there are some isomorphisms here: [jordan] Simple formally real Jordan algebras, showing the four infinite families and the exceptional Jordan algebra Exactly one of these simple formally real Jordan algebras fails to fit into any of the four infinite families. This exceptional Jordan algebra is \mathfrak{h}_3(\mathbb{O}), the 3-by-3 self-adjoint octonionic matrices endowed with the symmetrised product. Viewed as a real vector space, it is 27-dimensional: an arbitrary element can be described uniquely by specifying the three diagonal elements (which must be real) and three lower off-diagonal elements (which can be arbitrary octonions); the three upper off-diagonal elements are then determined. Projective spaces from Jordan algebras Given a formally real Jordan algebra, we can consider the idempotent elements satisfying A \circ A = A. For the Jordan algebras built from n-by-n real, complex, or quaternionic matrices, these are the matrices with eigenvalues 0 and 1. We get a partial order on these 'projection' matrices: A 'contains' B if and only if A \circ B = B. This partially-ordered set can be identified with the stratified collection of subspaces in the (n-1) -dimensional projective space over the base field: * the zero matrix corresponds to the empty space; * the rank-1 projection matrices correspond to points; * the rank-2 projection matrices correspond to lines; * ... * the rank-(n-1) projection matrices correspond to hyperplanes; * the identity matrix corresponds to the full projective space itself. The exceptional Jordan algebra gives us the octonionic projective plane, discovered by Ruth Moufang. We can't get any higher-dimensional octonionic projective spaces because Desargues' theorem is false in the octonionic projective plane, whereas it's true in any plane that can be embedded in a 3-dimensional projective space. We mentioned this seven years ago. This hints at why 4-by-4 and higher octonionic matrices have no hope of forming a formally real Jordan algebra: we'd be able to define an octonionic projective 3-space, which is impossible. What about the spin factors? The idempotents in \mathbb{R}^n \oplus \ mathbb{R} are: * the zero element (0, 0), corresponding to the 'empty space'; * the identity element (0, 1), corresponding to the 'full space'; * the points (x, 1/2) where x is an arbitrary vector of length 1/2. In other words, these correspond to spheres! Recall that the real, complex, quaternionic, and octonionic projective lines are (as topological manifolds) just the 1-, 2-, 4-, and 8-spheres, respectively; we can think of the spin factors as 'projective lines' built from arbitrary-dimensional spheres. As for non-simple formally real Jordan algebras, the corresponding 'projective spaces' are just Cartesian products of the 'projective spaces' corresponding to the direct summands. An exotic spacetime In August of this year, Blake Stacey posted the following comment on John Baez's essay: [stacey] Now for some context: it is possible to define the determinant of a 3-by-3 octonionic Hermitian matrix, and the group of linear operators (viewing \mathfrak{h}_3(\mathbb{O}) as a 27-dimensional real vector space) that preserves the determinant is a noncompact real form of the Lie group E6. This group E6 is transitive on the positive-definite matrices of determinant 1. The subgroup fixing any one of these (without loss of generality, the identity matrix) is the compact real Lie group F4, which also preserves the Jordan product. This means that it maps idempotents to idempotents, so can be seen as acting on the octonionic projective plane as its group of projective transformations. This group F4 is transitive on the rank-1 idempotent matrices, and the subgroup fixing any one of these is Spin(9). (As a result, we can describe the octonionic projective plane as the quotient F4 / Spin (9). Elie Cartan proved that all compact Riemannian symmetric spaces are quotients of compact Lie groups.) What's the analogy for familiar (3+1)-dimensional Minkowski spacetime? * the full group (analogous to E6) is the proper orthochronous Lorentz group; * the subgroup fixing a timelike vector (analogous to F4) is the rotation group SO(3); * the subgroup additionally fixing a lightlike vector (analogous to Spin(9)) is the rotation group SO(2); * the symmetric space (analogous to the octonionic projective plane) is the quotient SO(3) / SO(2), which is just the familiar 2-sphere. A lattice in this exotic spacetime It is natural to consider the 'integer points' in this spacetime, namely the octonionic Hermitian matrices where the off-diagonal elements are Cayley integers and the diagonal elements are ordinary integers. John Baez mentions that this is the unique integral unimodular lattice in (26+1)-dimensional spacetime, and it can be seen as the direct sum II_{25,1} \oplus \mathbb{Z} of the exceptional Lorentzian lattice with a copy of the integers. This lattice was thoroughly investigated in a marvellous paper by Noam Elkies and Benedict Gross. Possibly the most surprising discovery in this paper is that whilst E6 acts transitively on the positive-definite matrices of determinant 1, this no longer holds when you 'discretise'! More precisely, the positive-definite 'integer points' of determinant 1 form two distinct orbits under the discrete subgroup of E6 that preserves the lattice. One of these orbits contains the identity matrix; the other contains the circulant matrix with elements {2, e, e*} where \eta = \dfrac{-1 + \sqrt{-7}}{2}. [Note: there's a 6-dimensional sphere of octonionic square-roots of -7. You'll need to choose one that results in e being a Cayley integer.] If you use this other matrix E as your quadratic form instead of the identity matrix I, this leads to a very natural construction of the Leech lattice. Specifically, as shown in the Elkies-Gross paper, triples of Cayley integers with the norm \langle x | E | x \rangle form an isometric copy of the Leech lattice! By contrast, the usual inner product \ langle x | I | x \rangle using the identity matrix as the quadratic form gives the direct sum E_8 \oplus E_8 \oplus E_8 -- again an even unimodular lattice in 24 dimensions, but not as exceptional or beautiful or efficient as the Leech lattice. Further reading To get a full understanding of the octonions, Cayley integers, and exceptional Jordan algebra, I recommend reading all of the following: * John Baez's articles on integral octonions; * On Quaternions and Octonions, by Conway and Smith; * The Exceptional Cone and the Leech Lattice, by Elkies and Gross. Robert Wilson has also constructed the Leech lattice from the integral octonions (see here and here). Wilson's construction also involves \eta = \dfrac{-1 + \sqrt{-7}}{2}, so it may be possible to show reasonably directly that it's equivalent to the Elkies-Gross construction. Share this: * Twitter * Facebook * Like this: Like Loading... This entry was posted in Uncategorized. Bookmark the permalink. - Closed-form numbers An attempt to understand the Monster group - 2 Responses to The exceptional Jordan algebra 1. Pingback: The exceptional Jordan algebra (2020) by gone35 - HackTech.info 2. Pingback: Hacker News Jin Ri TOP 20| 2025-03-17 - Chu Hai Jue Jin ,Wu Xian Ke Neng . Wei Du Li Kai Fa Zhe , Kua Jing Dian Shang Cong Ye Zhe , Hai Wai Zi Mei Ti Ti Gong Zui Xin Chu Hai Zi Xun He Zi Yuan - Chu Hai Jue Jin ,Wu Xian Ke Neng . Wei Du Li Kai Fa Zhe , Kua Jing Dian Shang Cong Ye Zhe , Hai Wai Zi Mei Ti Leave a ReplyCancel reply * Search for: [ ] [Search] * Recent Posts + The minimal infinite threeld + Every finite phoenix has period 2 + Miscellaneous discoveries + Aperiodic monotile + The Osmiumlocks Prime * Subscribe to Complex Projective 4-Space Enter your email address to subscribe to this blog and receive notifications of new posts by email. Email Address [ ] Subscribe Join 2,981 other subscribers * Archives + July 2024 + January 2024 + July 2023 + March 2023 + February 2023 + January 2023 + October 2022 + September 2022 + July 2022 + June 2022 + May 2022 + January 2022 + December 2021 + September 2021 + July 2021 + June 2021 + May 2021 + February 2021 + January 2021 + December 2020 + November 2020 + October 2020 + September 2020 + August 2020 + July 2020 + June 2020 + May 2020 + June 2019 + May 2019 + March 2019 + November 2018 + September 2018 + July 2018 + June 2018 + May 2018 + April 2018 + March 2018 + February 2018 + November 2017 + October 2017 + November 2016 + May 2016 + March 2016 + February 2016 + December 2015 + September 2015 + March 2015 + February 2015 + January 2015 + December 2014 + November 2014 + October 2014 + September 2014 + August 2014 + July 2014 + June 2014 + May 2014 + April 2014 + March 2014 + February 2014 + January 2014 + December 2013 + November 2013 + October 2013 + September 2013 + August 2013 + July 2013 + June 2013 + May 2013 + April 2013 + March 2013 + February 2013 + January 2013 + December 2012 + November 2012 + October 2012 + September 2012 + August 2012 * Recent Comments + Hacker News Jin Ri TOP 20| 2025-03-17 - Chu Hai Jue Jin ,Wu Xian Ke Neng . Wei Du Li Kai Fa Zhe , Kua Jing Dian Shang Cong Ye Zhe , Hai Wai Zi Mei Ti Ti Gong Zui Xin Chu Hai Zi Xun He Zi Yuan -Chu Hai Jue Jin ,Wu Xian Ke Neng . Wei Du Li Kai Fa Zhe , Kua Jing Dian Shang Cong Ye Zhe , Hai Wai Zi Mei Ti on The exceptional Jordan algebra + The exceptional Jordan algebra | Complex Projective 4-Space on Pappian and Desarguesian planes + The Unique Jordan Algebra | Complex Projective 4-Space - Top4All on Pappian and Desarguesian planes + The exceptional Jordan algebra (2020) by gone35 - HackTech.info on The exceptional Jordan algebra + Evin on 27 lines on a cubic Complex Projective 4-Space Proudly powered by WordPress. %d bloggers like this: