The Super-Poincaré Algebra Via Pure Spinors and the Interaction

Total Page:16

File Type:pdf, Size:1020Kb

The Super-Poincaré Algebra Via Pure Spinors and the Interaction 1138 Brazilian Journal of Physics, vol. 35, no. 4B, December, 2005 The Super-Poincare´ Algebra Via Pure Spinors and the Interaction Principle in 3D Euclidean Space R. da Rocha IFGW, Universidade Estadual de Campinas, CP 6165, 13083-970 Campinas, SP, Brazil (Received on 12 September, 2005) The Poincare´ superalgebra is introduced from a generalization of the Cartan’s triality principle based on the extension of Chevalley product, between semispinor spaces and even subspaces of the extended exterior algebra over Euclidean space R3. The pure spinor formalism and the framework of Clifford algebras are used, in order to provide the necessary tools to introduce the Poincare´ superalgebra where all the operators in space and superspace are constructed via pure spinors in R3 and the interaction principle, that generalizes the SO(8) triality principle. I. INTRODUCTION A totally symmetric trilinear tensor is defined as φ φ φ The seminal paper of Wess and Zumino [1] treating the 4- T( 1; 2; 3) = h(u1;x2v3) + h(u1;x3v2) + h(u2;x3v1) dimensional super-Poincare´ algebra, has boosted new investi- + h(u2;x1v3) + h(u3;x2v1) + h(u3;x1v2): gations on supersymmetry in Lagrangian field theory and in particle physics. On the other hand, Cartan’s triality principle, It is possible to endow the vector space E with an asso- based on the group SO(8) and its double covering Spin(8), ciative and non-commutative product M: E £ E ! E, called has been applied in recent physical theories, like supergravity the Chevalley product, that is implicitly defined by [2, 4] and superstrings. Only in dimension 8, bosons and fermions T(φ1;φ2;φ3) = B˘(φ1 M φ2;φ3). It is immediate to see that have the same number of degrees of freedom. This general- x M u = xu and x M v = xv [2]. ized supersymmetry comes from the triality principle, which I Proposition 1: The inclusions V M S+ ⊆ S¡; S+ M asserts that bosons and fermions are equivalent under the trial- S¡ ⊆ V; S¡ M V ⊆ S+ hold. J ity map [2–4], based on the Chevalley product [4]. This paper Hereon x;u and v are respectively denoted elements of is presented as follows: in Section 2 the main results involv- V, S+ and S¡. The spinor representation ρ of the Clifford ing the structure of the Chevalley product, giving rise to the product in S§ and the vector (adjoint) representation χ in V triality principle, are presented [2], and we briefly revisit the naturally induce a irreducible representation Y in E. Given pure spinor formalism. In Section 3 the Poincare´ superalgebra s 2 Γ+, that denotes the Clifford group of elements of unit is introduced in R3, via orthosymplectic graded Lie algebras norm, such representation is defined by Y(s)(x + u + v) = and via the interaction principle, which generalizes the cyclic χ(s)x + ρ(s)u + ρ(s)v. property of the Chevalley product. This work was supported The representation Y(s) is shown to be orthogonal in rela- by CAPES. tion to the metric on B˘ [2]. In addition, it can be shown that, if 2 2 x0 2 V is such that x0 = 1, then Y (x0) = 1. Now consider a + spinor u0 2 S of unitary norm, i.e., h(u0;u0) = 1. A homo- + II. TRIALITY PRINCIPLE AND PURE SPINORS morphism τ : S ! V is defined is such a way that τ(u0)(x) = x M u0. The map τ(u0) is clearly orthogonal and is uniquely ¡ ¡ Consider a vector space V endowed with metric g. The extended to an order two automorphism in V ©S . If v 2 S is τ τ spinor space S can be written as the direct sum S = S+ © S¡, such that v = (u0)x for a unique x 2V, defining (u0)(v) = x, τ + where S§ denotes semispinor spaces that carry, each one, a and besides, the map (u0) is defined in S as a reflection, + τ non-equivalent irreducible representation of the even subalge- given a fixed spinor u0 2 S , as (u0)(u) = 2h(u;u0)u0 ¡ u. bra C`+(V;g). Define the space E = V © S+ © S¡. In order In order to define an order-three automorphism, that permutes + ¡ to find a vector space V such that the semispinor space S§ of cyclically the vector spaces S ;S and V, we can verify that τ τ τ V has the same dimension n of V, the condition n = 8 must (u0)Y(x0) (u0) = Y(x0) (u0)Y(x0), and then the triality op- Θ Θ τ hold. We consider hereon V ' R8;0 [5]. The space E is there- erator is defined as (x0;u0) = Y(x0) (u0), which is an Θ3 fore 24-dimensional and its elements are hereon denoted by order three automorphism, since (x0;u0) = 1. + ¡ φ = x + u + v, where x 2 V, u 2 S+ and v 2 S¡. The spinor I Proposition 2: The subspaces V, S and S of E are cycli- Θ Θ metric h : S§ £ S§ ! R is defined as cally permuted by (x0;u0), in such way that (x0;u0):V ½ + + ¡ ¡ S ; Θ(x0;u0):S ½ S ; Θ(x0;u0):S ½ V. J χ h(u;xv) = h(xu;v) = (xu) v (1) Now pure spinor formalism is briefly reviewed. For more details, see e.g. [2–4, 6–8]. Given the complex C2n vector where ( ¢ )χ is a dual operator from S§ to (S§)¤. A metric space and its corresponding Clifford algebra C`(2n;C) with B˘ : E £ E ! R is defined from the spinor metric h and the generators xa, a spinor u is a vector of the 2n-dimensional rep- metric g: resentation space of C`(2n;C) = End S, defined by the Car- tan’s equation zu = 0. For u 6= 0, z 2 C2n may only be null. B˘(φ1;φ2) = g(x1;x2) + h(u1;u2) + h(v1;v2): (2) Defining the volume element z, Weyl spinors u§ are defined R. da Rocha 1139 by z(1§x2n+1)u§ = 0, and are elements of the representation space of the even subalgebra C`+(2n;C). Each Weyl spinor n¡1 u§ spans a 2 -dimensional spinor space, and the expres- 2ξ0 = e1 + e˚3; 2ξ1 = e2 + e˚1; 2ξ2 = ie3 + e˚1; sion z(1 § x2n+1)u§ = 0 defines d-dimensional totally null ξ ξ ξ § 2 3 = e1 ¡ e˚3; 2 4 = e2 ¡ e˚1; 2 5 = ie3 ¡ e˚1 (4) planes Td(u§). It may be shown that every u§ 2 S , where C`+(2n;C) = End S§ define such planes. For d = n, that is, where 2g(ξ ;ξ ) = 1 = ξ ξ + ξ ξ ; 0 · i · 2 [6]. for maximal dimension of the totally null planes T (u ) := i 3+i i 3+i 3+i i n § Choosing the subspace of the exterior algebra, the underlying M(u ), the corresponding Weyl spinor u is named simple or § § vector space of the Clifford algebra, as pure and, as shown by Cartan, M(u§) and §u§ are isomor- phic (mod Z2). All Weyl spinors are simple or pure for n · 3. Λ2 3 3 Λ6 3 3 A = C(R © R ) © C(R © R ); (5) III. POINCARE´ SUPERALGEBRA IN R3 in particular the following products can be obtained: In four dimensions the (translational) super-Poincare´ alge- ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ ξ bra [1] is given by 3 4 5 M 1 4 = 2 5 3; 3 4 5 M 2 3 5 = ¡2 5 3; ξ ξ ξ M ξ ξ ξ = 2ξ ξ ; ξ ξ ξ M ξ ξ = 2ξ ξ : (6) µ 1 2 3 1 4 5 1 3 1 2 3 3 4 2 3 fQ ;Q g = 2σ P ; [P ;Pν] = 0; a b ab˙ µ µ From the properties fvξ ξ ξ ;wξ ξ ξ g = ¡(vξ ξ ξ ) M fQa;Qbg = fQa˙;Qb˙ g = [Pµ;Qa] = [Pν;Qb˙ ] = 0: (3) 3 4 5 3 4 5 3 4 5 (wξ3ξ4ξ5); fvξ3ξ4ξ5;wξ3ξ4ξ5g = fvξ3ξ4ξ5;wξ3ξ4ξ5g = § The operators Pµ;Qa can be written, in terms of the superspace 0; [ψ;φ] = 0; where v;w 2 A , ψ;φ = ξAei or ξAe˚i, and using coordinates, as Pµ = i∂µ, and the results in [6], if we define µ b˙ b µ Q = ∂θa ¡ iσ θ ∂ ; Q = ¡∂θa˙ + iθ σ ∂ a ab˙ µ a˙ ba˙ µ Qµ Qµ˙ Pµ µ = 0 ξ ξ ξ + ξ ξ ξ ξ ξ ξ ξ + ξ ξ ξ ξ ξ ξ + ξ ξ M ξ ξ We now extend the results in [6], where the Poincare´ super- 1 4 3 0 3 4 0 2 4 5 3 4 5 2 4 5 0 1 2 3 µ = 1 ξ2ξ4ξ5 ¡ ξ1ξ3ξ5 ¡ξ2ξ3ξ4 ¡ ξ1ξ2ξ5 ξ1ξ0ξ5 + ξ3ξ4 M ξ1ξ2ξ5 algebra is extended by generalizing Prop.1. Instead of con- µ = 2 ξ3ξ4ξ5 + ξ1ξ3ξ4 ¡ξ3ξ4ξ5 + ξ1ξ2 ξ3ξ4 M ξ1ξ3ξ4ξ5 ¡ ξ4 sidering a vector space V, it is possible to consider any sub- µ = 3 ξ0ξ4ξ5 ¡ ξ3ξ4ξ5 ξ3ξ4ξ5 + ξ0ξ2ξ5 ξ2ξ3ξ5 M ξ5 ¡ ξ0ξ3ξ5 space A of the Clifford algebra C`(V;g). Denoting A§ ⊆ C`§(V;g), where C`¡(V;g) denotes the subspace of multivec- tors of C`(V;g) written as the Clifford product of an odd num- ber of vectors in V, the proposed generalization in [6] allows it can be shown that such operators satisfy eqs.(3), where the two possibilities: a) If dim(V) = n is such that n=2 is odd, we super-Poincare´ algebra is derived from a generalization of the have: A+ M S+ ⊆ S+ S+ M S¡ ⊆ A+; S¡ M A+ ⊆ S¡; b) Chevalley product, between even subspaces of a Clifford alge- If dim(V) = n is such that n=2 is even, it follows that bra, pure spinor formalism.
Recommended publications
  • The J-Invariant, Tits Algebras and Triality
    The J-invariant, Tits algebras and triality A. Qu´eguiner-Mathieu, N. Semenov, K. Zainoulline Abstract In the present paper we set up a connection between the indices of the Tits algebras of a semisimple linear algebraic group G and the degree one indices of its motivic J-invariant. Our main technical tools are the second Chern class map and Grothendieck's γ-filtration. As an application we provide lower and upper bounds for the degree one indices of the J-invariant of an algebra A with orthogonal involution σ and describe all possible values of the J-invariant in the trialitarian case, i.e., when degree of A equals 8. Moreover, we establish several relations between the J-invariant of (A; σ) and the J-invariant of the corresponding quadratic form over the function field of the Severi-Brauer variety of A. MSC: Primary 20G15, 14C25; Secondary 16W10, 11E04. Keywords: linear algebraic group, torsor, Tits algebra, triality, algebra with involution, Chow motive. Introduction The notion of a Tits algebra was introduced by Jacques Tits in his celebrated paper on irreducible representations [Ti71]. This invariant of a linear algebraic group G plays a crucial role in the computation of the K-theory of twisted flag varieties by Panin [Pa94] and in the index reduction formulas by Merkurjev, Panin and Wadsworth [MPW96]. It has important applications to the classifi- cation of linear algebraic groups, and to the study of the associated homogeneous varieties. Another invariant of a linear algebraic group, the J-invariant, has been recently defined in [PSZ08]. It extends the J-invariant of a quadratic form which was studied during the last decade, notably by Karpenko, Merkurjev, Rost and Vishik.
    [Show full text]
  • Pure Spinor Helicity Methods
    Pure Spinor Helicity Methods Rutger Boels Niels Bohr International Academy, Copenhagen R.B., arXiv:0908.0738 [hep-th] Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 1 / 25 in books? Why you should pay attention, an experiment The greatest common denominator of the audience? Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 2 / 25 Why you should pay attention, an experiment The greatest common denominator of the audience in books? Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 2 / 25 Why you should pay attention, an experiment The greatest common denominator of the audience in books: Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 2 / 25 Why you should pay attention, an experiment The greatest common denominator of the audience in science books? Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 2 / 25 for all legs simultaneously pure spinor helicity methods: precise control over Poincaré and Susy quantum numbers Why you should pay attention subject: calculation of scattering amplitudes in D > 4 with many legs Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 3 / 25 for all legs simultaneously Why you should pay attention subject: calculation of scattering amplitudes in D > 4 with many legs pure spinor helicity methods: precise control over Poincaré and Susy quantum numbers Rutger Boels (NBIA) Pure Spinor Helicity Methods 15th String Workshop, Zürich 3 / 25 Why you
    [Show full text]
  • Clifford Algebras and Spinors∗
    Bulg. J. Phys. 38 (2011) 3–28 This paper is dedicated to the memory of Matey Mateev, a missing friend Clifford Algebras and Spinors∗ I. Todorov1,2, 1Institute for Nuclear Research and Nuclear Energy, Tsarigradsko Chaussee 72, BG-1784 Sofia, Bulgaria (permanent address) 2Theory Group, Physics Department, CERN, CH-1211 Geneva 23, Switzerland Received 9 March 2011 Abstract. Expository notes on Clifford algebras and spinors with a detailed discussion of Majorana, Weyl, and Dirac spinors. The paper is meant as a re- view of background material, needed, in particular, in now fashionable theoret- ical speculations on neutrino masses. It has a more mathematical flavour than the over twenty-six-year-old Introduction to Majorana masses [1] and includes historical notes and biographical data on past participants in the story. PACS codes: 03.65.Fd, 04.20.Gz 1 Quaternions, Grassmann and Clifford Algebras Clifford’s1 paper [2] on “geometric algebra” (published a year before his death) had two sources: Grassmann’s2 algebra and Hamilton’s3 quaternions whose ∗Lectures presented at the University of Sofia in October-November, 2010. Lecture notes pre- pared together with Dimitar Nedanovski (e-mail: [email protected]) and completed dur- ing the stay of the author at the ICTP, Trieste and at CERN, Geneva. 1William Kingdon Clifford (1845-1879) early appreciated the work of Lobachevsky and Rie- mann; he was the first to translate into English Riemann’s inaugural lecture On the hypotheses which lie at the bases of geometry. His view of the physical world as variation of curvature of space antici- pated Einstein’s general theory of relativity.
    [Show full text]
  • Hidden Exceptional Symmetry in the Pure Spinor Superstring
    PHYSICAL REVIEW D 101, 026006 (2020) Hidden exceptional symmetry in the pure spinor superstring † R. Eager,1,* G. Lockhart,2, and E. Sharpe 3 1Kishine Koen, Yokohama 222-0034, Japan 2Institute for Theoretical Physics, University of Amsterdam, 1098 XH Amsterdam, The Netherlands 3Department of Physics, Virginia Tech, Blacksburg, Virginia 24061, USA (Received 12 November 2019; published 6 January 2020) The pure spinor formulation of superstring theory includes an interacting sector of central charge cλ ¼ 22, which can be realized as a curved βγ system on the cone over the orthogonal Grassmannian þ OG ð5; 10Þ. We find that the spectrum of the βγ system organizes into representations of the g ¼ e6 affine algebra at level −3, whose soð10Þ−3 ⊕ uð1Þ−4 subalgebra encodes the rotational and ghost symmetries of the system. As a consequence, the pure spinor partition function decomposes as a sum of affine e6 characters. We interpret this as an instance of a more general pattern of enhancements in curved βγ systems, which also includes the cases g ¼ soð8Þ and e7, corresponding to target spaces that are cones over the complex Grassmannian Grð2; 4Þ and the complex Cayley plane OP2. We identify these curved βγ systems with the chiral algebras of certain two-dimensional (2D) (0,2) conformal field theories arising from twisted compactification of 4D N ¼ 2 superconformal field theories on S2. DOI: 10.1103/PhysRevD.101.026006 I. INTRODUCTION Nevertheless, we find that the ghost sector partition function [2] can be expressed as a linear combination of The pure spinor formalism [1] is a reformulation of ðeˆ6Þ affine characters, superstring theory which has the virtue that it can be −3 ðˆ Þ ðˆ Þ quantized while preserving manifest covariance with Z ¼ χˆ e6 −3 − χˆ e6 −3 : ð2Þ respect to ten-dimensional super-Poincar´e symmetry.
    [Show full text]
  • [Math.RA] 22 Apr 2002 Lsia Rus Hscetsadsicinbtentecascll Classical the Between the Distinction for a Available Only Creates Are This Which Groups, Groups
    28 February 2002 MAGIC SQUARES AND MATRIX MODELS OF LIE ALGEBRAS C. H. BARTON AND A. SUDBERY Abstract. This paper is concerned with the description of excep- tional simple Lie algebras as octonionic analogues of the classical matrix Lie algebras. We review the Tits-Freudenthal construction of the magic square, which includes the exceptional Lie algebras as the octonionic case of a construction in terms of a Jordan alge- bra of hermitian 3 3 matrices (Tits) or various plane and other geometries (Freudenthal).× We present alternative constructions of the magic square which explain its symmetry, and show explicitly how the use of split composition algebras leads to analogues of the matrix Lie algebras su(3), sl(3) and sp(6). We adapt the magic square construction to include analogues of su(2), sl(2) and sp(4) for all real division algebras. Contents 1. Introduction 1 2. Algebras: Notation 3 3. The Tits construction 8 4. Symmetrical constructions of the n =3magicsquare 12 4.1. The triality algebra Tri K and Der H3(K) 12 4.2. The Vinberg construction 19 4.3. The triality construction 21 5. The rows of the magic square 22 6. Magic squares of n n matrices 26 × arXiv:math/0203010v2 [math.RA] 22 Apr 2002 6.1. The Santander-Herranz construction 27 7. Maximal compact subalgebras 28 8. The n =2magicsquare 34 Appendix A. Matrix identities 40 References 43 1. Introduction Semisimple Lie groups and Lie algebras are normally discussed in terms of their root systems, which makes possible a unified treatment and emphasises the common features of their underlying structures.
    [Show full text]
  • Groups, Triality, and Hyperquasigroups
    GROUPS, TRIALITY, AND HYPERQUASIGROUPS JONATHAN D. H. SMITH Abstract. Hyperquasigroups were recently introduced to provide a more symmetrical approach to quasigroups, and a far-reaching implementation of triality (S3-action). In the current paper, various connections between hyper- quasigroups and groups are examined, on the basis of established connections between quasigroups and groups. A new graph-theoretical characterization of hyperquasigroups is exhibited. Torsors are recognized as hyperquasigroups, and group representations are shown to be equivalent to linear hyperquasi- groups. The concept of orthant structure is introduced, as a tool for recovering classical information from a hyperquasigroup. 1. Introduction This paper is concerned with the recently introduced algebraic structures known as hyperquasigroups, which are intended as refinements of quasigroups. A quasi- group (Q; ·) was first understood as a set Q with a binary multiplication, denoted by · or mere juxtaposition, such that in the equation x · y = z ; knowledge of any two of x; y; z specifies the third uniquely. To make a distinction with subsequent concepts, it is convenient to describe a quasigroup in this original sense as a combinatorial quasigroup (Q; ·). A loop (Q; ·; e) is a combinatorial quasi- group (Q; ·) with an identity element e such that e·x = x = x·e for all x in Q. The body of the multiplication table of a combinatorial quasigroup of finite order n is a Latin square of order n, an n × n square array in which each row and each column contains each element of an n-element set exactly once. Conversely, each Latin square becomes the body of the multiplication table of a combinatorial quasigroup if distinct labels from the square are attached to the rows and columns of the square.
    [Show full text]
  • Twistors, Generalizations and Exceptional Structures
    Twistors, Generalizations and Exceptional Structures Rold˜ao da Rocha∗ Jayme Vaz, Jr.† Abstract This paper is intended to describe twistors via the paravector model of Clifford algebras and to relate such description to conformal maps in the Clifford algebra over R4,1, besides pointing out some applications of the pure spinor formalism. We construct twistors in Minkowski spacetime as algebraic spinors associated with the Dirac-Clifford algebra C ⊗ Cℓ1,3 using one lower spacetime dimension than standard Clifford algebra formulations, since for this purpose the Clifford algebra over R4,1 is also used to describe conformal maps, instead of R2,4. It is possible to identify, via the pure spinor formalism, the twistor fiber in four, six and eight dimensions, respectively, with the coset 1 3 spaces SO(4)/(SU(2) × U(1)/Z2) ≃ CP , SO(6)/(SU(3) × U(1)/Z2) ≃ CP and SO(8)/(Spin(6) × Spin(2)/Z2). The last homogeneous space is closely re- lated to the SO(8) spinor decomposition preserving SO(8) symmetry in type IIB superstring theory. Indeed, aside the IIB superstring theory, there is no SO(8) spinor decomposition preserving SO(8) symmetry and, in this case, one can introduce distinct coordinates and conjugate momenta only if the Spin(8) symmetry is broken by a Spin(6)× Spin(2) subgroup of Spin(8). Also, it is re- viewed how to generalize the Penrose flagpole, illustrating the use of the pure arXiv:math-ph/0412037v2 25 Feb 2005 spinor formalism to construct a flagpole that is more general than the Pen- rose one, which arises when a defined parameter goes to zero.
    [Show full text]
  • Triality and Algebraic Groups of Type $^ 3D 4$
    3 TRIALITY AND ALGEBRAIC GROUPS OF TYPE D4 MAX-ALBERT KNUS AND JEAN-PIERRE TIGNOL 3 Abstract. We determine which simple algebraic groups of type D4 over arbitrary fields of characteristic different from 2 admit outer automorphisms of order 3, and classify these automorphisms up to conjugation. The criterion is formulated in terms of a representation of the group by automorphisms of a trialitarian algebra: outer automorphisms of order 3 exist if and only if the algebra is the endomorphism algebra of an induced cyclic composition; their conjugacy classes are in one-to-one correspondence with isomorphism classes of symmetric compositions from which the induced cyclic composition stems. 1. Introduction Let G0 be an adjoint Chevalley group of type D4 over a field F . Since the auto- morphism group of the Dynkin diagram of type D4 is isomorphic to the symmetric group S3, there is a split exact sequence of algebraic groups / Int / π / / (1) 1 G0 Aut(G0) S3 1. Thus, Aut(G0) =∼ G0 ⋊ S3; in particular G0 admits outer automorphisms of order 3, which we call trialitarian automorphisms. Adjoint algebraic groups of type D4 1 over F are classified by the Galois cohomology set H (F, G0 ⋊ S3) and the map induced by π in cohomology 1 1 π∗ : H (F, G0 ⋊ S3) → H (F, S3) associates to any group G of type D4 the isomorphism class of a cubic ´etale F - 1 2 algebra L. The group G is said to be of type D4 if L is split, of type D4 if L =∼ F ×∆ 3 for some quadratic separable field extension ∆/F , of type D4 if L is a cyclic field 6 extension of F and of type D4 if L is a non-cyclic field extension.
    [Show full text]
  • Super Yang-Mills, Division Algebras and Triality
    Imperial/TP/2013/mjd/02 Super Yang-Mills, division algebras and triality A. Anastasiou, L. Borsten, M. J. Duff, L. J. Hughes and S. Nagy Theoretical Physics, Blackett Laboratory, Imperial College London, London SW7 2AZ, United Kingdom [email protected] [email protected] [email protected] [email protected] [email protected] ABSTRACT We give a unified division algebraic description of (D = 3, N = 1; 2; 4; 8), (D = 4, N = 1; 2; 4), (D = 6, N = 1; 2) and (D = 10, N = 1) super Yang-Mills theories. A given (D = n + 2; N ) theory is completely specified by selecting a pair (An; AnN ) of division algebras, An ⊆ AnN = R; C; H; O, where the subscripts denote the dimension of the algebras. We present a master Lagrangian, defined over AnN -valued fields, which encapsulates all cases. Each possibility is obtained from the unique (O; O)(D = 10, N = 1) theory by a combination of Cayley-Dickson halving, which amounts to dimensional reduction, and removing points, lines and quadrangles of the Fano plane, which amounts to consistent truncation. The so-called triality algebras associated with the division algebras allow for a novel formula for the overall (spacetime plus internal) symmetries of the on-shell degrees of freedom of the theories. We use imaginary AnN -valued auxiliary fields to close the non-maximal supersymmetry algebra off-shell. The failure to close for maximally supersymmetric theories is attributed directly to arXiv:1309.0546v3 [hep-th] 6 Sep 2014 the non-associativity of the octonions.
    [Show full text]
  • Octonions, Simple Moufang Loops and Triality Contents
    Quasigroups and Related Systems 10 (2003), 65 ¡ 94 Octonions, simple Moufang loops and triality Gábor P. Nagy and Petr Vojt¥chovský Abstract Nonassociative nite simple Moufang loops are exactly the loops constructed by Paige from Zorn vector matrix algebras. We prove this result anew, using geometric loop theory. In order to make the paper accessible to a broader audience, we carefully discuss the connections between composition algebras, simple Moufang loops, simple Moufang 3- nets, S-simple groups and groups with triality. Related results on multiplication groups, automorphisms groups and generators of Paige loops are provided. Contents 1 Introduction 66 2 Loops and nets 67 2.1 Quasigroups and loops . 67 2.2 Isotopisms versus isomorphisms . 68 2.3 Loops and 3-nets . 69 3 Composition algebras 72 3.1 The Cayley-Dickson process . 73 3.2 Split octonion algebras . 73 4 A class of classical simple Moufang loops 74 4.1 Paige loops . 74 4.2 Orthogonal groups . 75 2000 Mathematics Subject Classication: 20N05, 20D05 Keywords: simple Moufang loop, Paige loop, octonion, composition algebra, classical group, group with triality, net The rst author was supported by the FKFP grant 0063=2001 of the Hungarian Min- istry for Education and the OTKA grants nos. F042959 and T043758. The second author partially supported by the Grant Agency of Charles University, grant number 269=2001=B-MAT/MFF. 66 G. P. Nagy and P. Vojt¥chovský 4.3 Multiplication groups of Paige loops . 76 5 Groups with triality 80 5.1 Triality . 80 5.2 Triality of Moufang nets . 81 5.3 Triality collineations in coordinates .
    [Show full text]
  • A Binary Encoding of Spinors and Applications Received April 22, 2020; Accepted July 27, 2020
    Complex Manifolds 2020; 7:162–193 Communication Open Access Gerardo Arizmendi and Rafael Herrera* A binary encoding of spinors and applications https://doi.org/10.1515/coma-2020-0100 Received April 22, 2020; accepted July 27, 2020 Abstract: We present a binary code for spinors and Cliord multiplication using non-negative integers and their binary expressions, which can be easily implemented in computer programs for explicit calculations. As applications, we present explicit descriptions of the triality automorphism of Spin(8), explicit represen- tations of the Lie algebras spin(8), spin(7) and g2, etc. Keywords: Spin representation, Cliord algebras, Spinor representation, octonions, triality MSC: 15A66 15A69 53C27 17B10 17B25 20G41 1 Introduction Spinors were rst discovered by Cartan in 1913 [10], and have been of great relevance in Mathematics and Physics ever since. In this note, we introduce a binary code for spinors by using a suitable basis and setting up a correspondence between its elements and non-negative integers via their binary decompositions. Such a basis consists of weight vectors of the Spin representation as presented by Friedrich and Sulanke in 1979 [11] and which were originally described in a rather dierent and implicit manner by Brauer and Weyl in 1935 [6]. This basis is known to physiscits as a Fock basis [8]. The careful reader will notice that our (integer) en- coding uses half the number of bits used by any other binary code of Cliord algebras [7, 18], thus making it computationally more ecient. Furthermore, Cliord multiplication of vectors with spinors (using the termi-p nology of [12]) becomes a matter of ipping bits in binary expressions and keeping track of powers of −1.
    [Show full text]
  • Generalized Reduction and Pure Spinors
    Instituto Nacional de Matem´aticaPura e Aplicada Generalized reduction and pure spinors. Author: Thiago L. Drummond Rio de Janeiro 2010 2 Agradecimentos. Agrade¸co`aminha fam´ıliao apoio incondicional `aminha longa jornada longe de Bras´ılia,sem eles nada seria poss´ıvel. A` Francyne, por estar ao meu lado nos ´ultimos3 anos, per´ıodo mais cr´ıtico no doutorado. Ela foi meu porto seguro nas muitas idas e vindas ao mundo das id´eias. Aos meus amigos novos e antigos, sempre me proporcionando momentos de alegria. Principalmente, `aJu, Renatinha, Caio, Andr´e,Arthur, Marcus Vin´ıcius, Alvarenga e Bruno. Aos meus colegas de faculdade, Santiago, Lu- cas e Mauro. Eles tiveram uma influ^enciaenorme na minha forma¸c~aocomo matem´atico.Ao Professor Celius Magalh~aes,t~aodecisivo na minha entrada no mundo da pesquisa como tutor do PET. Aos meus amigos do IMPA, Thiago Fassarela, Luiz Gustavo, Rener, Andr´e Contiero. Aos professores do IMPA, Carlos Isnard, Marcelo Viana, Jorge Vit´orio. Agrade¸comuito aos meus colegas Cristi`anOrtiz, Alejandro Cabrera e Fer- nando del Carpio, pelas muitas conversas, palestras e troca de id´eiasque me ajudaram enormemente `aconcluir essa tese. A` meu orientador Henrique Bursztyn por sua confian¸cae enorme generosi- dade. Seu constante apoio e disponibilidade para conversar sobre minhas id´eias foram fundamentais para a conclus~aoda tese. Finalmente, ao CNPq e ao MCT pelo aux´ıliofinanceiro 1 2 Contents 1 Introduction. 5 1.1 Generalized geometry. 5 1.2 Generalized reduction. 8 1.3 The pure spinor point of view. 9 1.4 Contents. 11 2 Reduction on the linear algebra setting 15 2.1 Extensions of finite-dimensional vector spaces.
    [Show full text]