DOCSLIB.ORG

Representations of SU(N)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Representations of SU(N) CHAPTER VII Representations of GL(n, C) and its continuous subgroups integer n 2 ≥ VII.1 Low-dimensional irreducible representations of GL(n, C) VII.1.1 Representations of dimension 1 ::::::::VII.1.1 a ::::::::::::::::::::::Trivial representation As always, the mapping which maps an arbitrary element M GL(n, C) to the complex number 2 1 constitutes the trivial representation of the group GL(n, C), denoted 1. ::::::::VII.1.1 b:::::::::::::::::::::::::::::Determinant representation Another representation of dimension 1 consists of the mapping which maps an given element M GL(n, C) to its determinant det M C 0 . 2 2 \{ } In the case of the subgroups of GL(n, C) consisting of matrices with determinant 1, like SL(n, C), SL(n, R),SU(n) or SO(n), the determinant representations obviously coincides with the trivial representation. VII.1.2 Vector representation Definition VII.1. The defining representation of GL(n, C), i.e. the automorphism of GL(n, C) which maps every matrix M GL(n, C) to itself, is called vector representation and denoted n. 2 The latter notation corresponds to the dimension of the representation, which comes from the fact that the matrices of GL(n, C) operate on complex vectors of dimension n, i.e. on the vector space Cn. Since there is no proper subspace of Cn which is invariant under all elements of GL(n, C), the vector representation is irreducible. VII.1.3 Complex conjugate representation Theorem & Definition VII.2. The mapping which to every matrix M GL(n, C) associates the 2 matrix M GL(n, C) whose entries are complex conjugate to those of M is a faithful irreducible ⇤ 2 representation of GL(n, C) of dimension n,calledthecomplex conjugate representation of the vector representation and denoted n¯. In the case of the subgroups of GL(n, C) consisting of real matrices, i.e. of GL(n, R) and its subgroups, the complex conjugate representation n¯ coincides with the vector representation n. 92 Representations of GL(n) and its continuous subgroups VII.1.4 Dual representation Theorem & Definition VII.3. The mapping which to every matrix M GL(n, C) associates the 2 matrix (M 1)T GL(n, C) is a faithful irreducible representation of GL(n, C) of dimension n, − 2 called the dual or contragredient representation of the vector representation and denoted n⇤. Considering that the matrix M represents a regular linear map V W in given bases, where 1 ! V and W are n-dimensional complex vector spaces, then M − represents a map W V,and 1 T ! (M − ) amapV ⇤ W ⇤, where V ⇤ and W ⇤ are the dual spaces to V and W,respectively. ! Property VII.4. In the case of the unitary group U(n) and its subgroups SU(n),O(n),SO(n)..., the dual representation coincides with the complex conjugate representation. 1 T T AunitarymatrixU U(n) obeys UU† = U †U = 1 ,i.e.(U − ) =(U †) = U ⇤. 2 n 2 Eventually, yet another irreducible representation of dimension n of the group GL(n, C) is the dual of the complex conjugate, denoted n¯⇤, which maps M GL(n, C) to the Hermitian conjugate 1 2 of its inverse, (M − )†. VII.2 Tensor representations of GL(n, C) In this section... VII.2.1 Tensor products of the vector representation In Sec. VII.1.2, we introduced the vector representation n of GL(n, C): the corresponding n n- ⇥ matrices operate on the vector space Cn according to n n x C x0 = Mx C , (VII.5a) 2 ! 2 i.e. component-wise n i i i j x x0 = M x i 1,...,n , (VII.5b) ! j 8 2{ } Xj=1 i i i where the x resp. x are the components of x resp. x0 and M the entries of the matrix M, { } { 0 } j where as usual the left resp. right index stands for the line resp. column of the matrix. Starting from the vector space Cn, one constructs for every p N the tensor-product space 2 ⇤ n p n n (C )⌦ C C , ⌘ ⌦···⌦ p copies whose elements are tensors of order p, hereafter| generically{z denoted} T, with components (in a given basis) traditionally characterized by p indices: T i1i2...ip with i ,i ,...,i 1,...,n . 1 2 p 2{ } Generalizing Eq. (VII.5), one defines the operation of M GL(n, C) on such tensors: 2 Theorem & Definition VII.6. The mapping from GL(n, C) into the group of regular linear applica- n p i tions of the tensor-product space (C )⌦ into itself which associates to a matrix M with entries M j p the linear operator M ⌦ such that p M ⌦ : T T0 =(M M)T, (VII.6a) ! ⌦···⌦ p copies corresponding in terms of components to | {z } VII.2 Tensor representations of GL(n, C) 93 n n i1i2...ip i1i2...ip i1 i2 ip j1j2...jp T T 0 = M M M T , (VII.6b) ! ··· j1 j2 ··· jp jX1=1 jXp=1 is a representation of GL(n, C) of dimension np, called the tensor-product representation n n. (VII.6c) ⌦···⌦ p copies This representation is generally reducible when| p>{z 1.} VII.2.2 Operations on the indices of a tensor ::::::::VII.2.2 a ::::::::::::::::::::::::::::::::::::::::Operation of a permutation on a tensor Definition VII.7. Let σ Sp be a permutation of p elements. One associates with it an operator σˆ 2 n p acting on the tensor-product space (C )⌦ such that for every tensor T of order p, the tensor σˆ(T) has the components i i ...i σT 1 2 p = T iσ(1)iσ(2)...iσ(p) . (VII.7) That is, the permutation acts on the tensor indices. n p Remark: One can actually show that this definition is independent of the choice of basis in (C )⌦ . Example VII.8. Letting p =2and considering the transposition ⌧ = (1 2) S , the associated 12 2 2 operator ⌧ˆ12 is such that for every second-order tensor T, the tensor ⌧ˆ12(T) has the components ij ⌧ T = T ji for all i, j 1,...,n . (VII.8) 12 2{ } Property VII.9. The operator σˆ associated to a permutation σ S is linear. 2 p Theorem VII.10. For every permutation σ Sp and every matrix M GL(n, C),thelinear p 2 n p 2 operators σˆ and M ⌦ on the tensor-product space (C )⌦ commute. That is, denoting the image by p M ⌦ with a 0 as in Eq. (VII.6a),onehas σˆ(T0)= σˆ(T) 0 (VII.10) for every tensor T of order p. ::::::::VII.2.2 b::::::::::::::::::Young operators n p Any linear combination of linear operators on the tensor-product space (C )⌦ is again a linear operator. Accordingly, one can associate such operators to the elements of the group algebra CSp in the same manner as in definition VII.7. In particular, to each Young element Y introduced in n p § III.5.1 b corresponds a linear operator Yˆ on (C )⌦ , generically called Young operators . For instance, one associates to the symmetrizer (III.55a) and to the antisymmetrizer (III.55b) for p elements the operators 1 Sˆ σˆ (VII.11a) ⌘ p! σ Sp X2 1 Aˆ "(σ)ˆσ, (VII.11b) ⌘ p! σ Sp X2 where we recall that "(σ) denotes the signature of the permutation σ. Invoking Eq. (VII.7), their respective actions on a tensor T (Cn) p of order p read 2 ⌦ 94 Representations of GL(n) and its continuous subgroups i i ...i 1 S T 1 2 p = T iσ(1)iσ(2)...iσ(p) (VII.12a) p! σ Sp X2 i i ...i 1 A T 1 2 p = "(σ)T iσ(1)iσ(2)...iσ(p) (VII.12b) p! σ Sp X2 for every p-tuple (i1,i2,...ip). The tensor Sˆ(T) resp. Aˆ(T) is then symmetric resp. antisymmetric under the exchange of any two indices. In the case of order-2 tensors, these expressions become ij 1 ij 1 S T = T ij + T ji and A T = T ij T ji (VII.13) 2 2 − for every i, j 1,...,n . 2{ } Remark: While the operators σˆ associated to permutations are regular, this is no longer the case of those associated to Young elements. For instance, the operation of the antisymmetrizer (VII.11b) (40) n p on any fully symmetric tensor — i.e. on an element of the image of (C )⌦ by Sˆ — is the zero tensor. VII.2.3 Irreducible representations built from the vector representation ::::::::VII.2.3 a ::::::::::::::::::::::::::::::::::::::::::::::::::Irreducible representations and Young operators The theorem (VII.10) extends to the Young operators Yˆ, which all commute with every operator on (Cn) p of the form M p with M GL(n, C): ⌦ ⌦ 2 n p p p for every T (C )⌦ , Yˆ M ⌦ (T) = M ⌦ Yˆ(T) . 2 One deduces thereof at once that the image of every Young operator Yˆ is a subspace of the n p p tensor-product space (C )⌦ which is invariant under all operators M ⌦ of the tensor-product representation n n. ⌦···⌦ n p Consider T im Yˆ:thereexistsS (C )⌦ such that T = Yˆ(S). Then for any M GL(n, C) 2 2 2 one may write p p p M ⌦ (T)=M ⌦ Yˆ(S) = Yˆ M ⌦ (S) , p which shows that M ⌦ (T) im Yˆ. 2 2 Accordingly, the tensors of order p belonging to the image of any Young operator Yˆ span n p p a subspace of (C )⌦ on which the restrictions of the linear operators M ⌦ constitute a linear representation of GL(n, C).
Load more

Recommended publications
  • Notes on Representations of Finite Groups
    NOTES ON REPRESENTATIONS OF FINITE GROUPS AARON LANDESMAN CONTENTS 1. Introduction 3 1.1. Acknowledgements 3 1.2. A first definition 3 1.3. Examples 4 1.4. Characters 7 1.5. Character Tables and strange coincidences 8 2. Basic Properties of Representations 11 2.1. Irreducible representations 12 2.2. Direct sums 14 3. Desiderata and problems 16 3.1. Desiderata 16 3.2. Applications 17 3.3. Dihedral Groups 17 3.4. The Quaternion group 18 3.5. Representations of A4 18 3.6. Representations of S4 19 3.7. Representations of A5 19 3.8. Groups of order p3 20 3.9. Further Challenge exercises 22 4. Complete Reducibility of Complex Representations 24 5. Schur’s Lemma 30 6. Isotypic Decomposition 32 6.1. Proving uniqueness of isotypic decomposition 32 7. Homs and duals and tensors, Oh My! 35 7.1. Homs of representations 35 7.2. Duals of representations 35 7.3. Tensors of representations 36 7.4. Relations among dual, tensor, and hom 38 8. Orthogonality of Characters 41 8.1. Reducing Theorem 8.1 to Proposition 8.6 41 8.2. Projection operators 43 1 2 AARON LANDESMAN 8.3. Proving Proposition 8.6 44 9. Orthogonality of character tables 46 10. The Sum of Squares Formula 48 10.1. The inner product on characters 48 10.2. The Regular Representation 50 11. The number of irreducible representations 52 11.1. Proving characters are independent 53 11.2. Proving characters form a basis for class functions 54 12. Dimensions of Irreps divide the order of the Group 57 Appendix A.
    [Show full text]
  • Covariant Dirac Operators on Quantum Groups
    Covariant Dirac Operators on Quantum Groups Antti J. Harju∗ Abstract We give a construction of a Dirac operator on a quantum group based on any simple Lie alge- bra of classical type. The Dirac operator is an element in the vector space Uq (g) ⊗ clq(g) where the second tensor factor is a q-deformation of the classical Clifford algebra. The tensor space Uq (g) ⊗ clq(g) is given a structure of the adjoint module of the quantum group and the Dirac operator is invariant under this action. The purpose of this approach is to construct equivariant Fredholm modules and K-homology cycles. This work generalizes the operator introduced by Bibikov and Kulish in [1]. MSC: 17B37, 17B10 Keywords: Quantum group; Dirac operator; Clifford algebra 1. The Dirac operator on a simple Lie group G is an element in the noncommutative Weyl algebra U(g) cl(g) where U(g) is the enveloping algebra for the Lie algebra of G. The vector space g generates a Clifford⊗ algebra cl(g) whose structure is determined by the Killing form of g. Since g acts on itself by the adjoint action, U(g) cl(g) is a g-module. The Dirac operator on G spans a one dimensional invariant submodule of U(g)⊗ cl(g) which is of the first order in cl(g) and in U(g). Kostant’s Dirac operator [10] has an additional⊗ cubical term in cl(g) which is constant in U(g). The noncommutative Weyl algebra is given an action on a Hilbert space which is also a g-module.
    [Show full text]
  • 3 Representations of Finite Groups: Basic Results
    3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above, a representation of a group G ! over k is the same thing as a representation of its group algebra k[G]. In this section, we begin a systematic development of representation theory of finite groups. 3.1 Maschke's Theorem Theorem 3.1. (Maschke) Let G be a finite group and k a field whose characteristic does not divide G . Then: j j (i) The algebra k[G] is semisimple. (ii) There is an isomorphism of algebras : k[G] EndV defined by g g , where V ! �i i 7! �i jVi i are the irreducible representations of G. In particular, this is an isomorphism of representations of G (where G acts on both sides by left multiplication). Hence, the regular representation k[G] decomposes into irreducibles as dim(V )V , and one has �i i i G = dim(V )2 : j j i Xi (the “sum of squares formula”). Proof. By Proposition 2.16, (i) implies (ii), and to prove (i), it is sufficient to show that if V is a finite-dimensional representation of G and W V is any subrepresentation, then there exists a → subrepresentation W V such that V = W W as representations. 0 → � 0 Choose any complement Wˆ of W in V . (Thus V = W Wˆ as vector spaces, but not necessarily � as representations.) Let P be the projection along Wˆ onto W , i.e., the operator on V defined by P W = Id and P W^ = 0.
    [Show full text]
  • Introduction to Representation Theory by Pavel Etingof, Oleg Golberg
    Introduction to representation theory by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina with historical interludes by Slava Gerovitch Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Contents Chapter 1. Introduction 1 Chapter 2. Basic notions of representation theory 5 x2.1. What is representation theory? 5 x2.2. Algebras 8 x2.3. Representations 9 x2.4. Ideals 15 x2.5. Quotients 15 x2.6. Algebras defined by generators and relations 16 x2.7. Examples of algebras 17 x2.8. Quivers 19 x2.9. Lie algebras 22 x2.10. Historical interlude: Sophus Lie's trials and transformations 26 x2.11. Tensor products 30 x2.12. The tensor algebra 35 x2.13. Hilbert's third problem 36 x2.14. Tensor products and duals of representations of Lie algebras 36 x2.15. Representations of sl(2) 37 iii Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms iv Contents x2.16. Problems on Lie algebras 39 Chapter 3. General results of representation theory 41 x3.1. Subrepresentations in semisimple representations 41 x3.2. The density theorem 43 x3.3. Representations of direct sums of matrix algebras 44 x3.4. Filtrations 45 x3.5. Finite dimensional algebras 46 x3.6. Characters of representations 48 x3.7. The Jordan-H¨oldertheorem 50 x3.8. The Krull-Schmidt theorem 51 x3.9.
    [Show full text]
  • Duality in Representation Theory
    Ulam Quarterly Volume Numb er Duality in Repre s entation Theory W H Klink Department of Phys ics and Astronomy Department of Mathematics The Univers ity of Iowa Iowa City Iowa Tuong TonThat Department of Mathematics The Univers ity of Iowa Iowa City Iowa Ab stract The SchurWeyl Duality Theorem motivate s the general denition of dual repre s entations Such repre s entations ar i s e in a very large class of groups including all compact nilp otent and s emidirect pro duct groups as well as the complementary groups in the phys ics literature and the re ductive dual pairs in the mathematics literature Several applications of the notion of duality are given including the determination of p olynomials and op erator invar iants and the di scovery of unusual dual algebras Intro duction In I Schur prove d a theorem Sc that was later expande d by Weyl in a form We that i s now calle d the SchurWeyl Duality Theorem Thi s theorem which i s br iey reviewe d in the next s ection relate s the repre s en tation theory of two groups the general linear group and the symmetr ic or p ermutation group It i s the rst theorem as f ar as we know that clas s ie s up to i somorphi sm all irre ducible repre s entations of one group in terms of all irre ducible rational repre s entations of the other As we shall show such a phenomenon in which repre s entations of pairs of groups are relate d tur ns out to b e quite general It include s the complementary pairs of groups intro duce d in the phys ics literature by Moshinsky and Que sne MQ and the re ductive
    [Show full text]
  • Representations of Lie Algebras, with Applications to Particle Physics
    REPRESENTATIONS OF LIE ALGEBRAS, WITH APPLICATIONS TO PARTICLE PHYSICS JAMES MARRONE UNIVERSITY OF CHICAGO MATHEMATICS REU, AUGUST 2007 Abstract. The structure of Lie groups and the classication of their representations are subjects undertaken by many an author of mathematics textbooks; Lie algebras are always considered as an indispensable component of such a study. Yet every author approaches Lie algebras dierently - some begin axiomatically, some derive the algebra from prior principles, and some barely connect them to Lie groups at all. The ensuing problem for the student is that the importance of the Lie algebra can only be deduced by reading between the lines, so to speak; the relationship between a Lie algebra and a Lie group is not always illuminated (in fact, there isn't always a relationship in the rst place) and so considering the representations of Lie algebras may appear redundant or at best cloudy. The approach to Lie algebras in this paper should clarify such problems. Lie algebras are historically a consequence of Lie groups (namely, they are the tangent space of a Lie group at the identity) which may be axiomatized so that they stand alone as an algebraic concept. The important correspondence between representations of Lie algebras and Lie groups, however, makes Lie algebras indispensable to the study of Lie groups; one example of this is the Eight-Fold Way of particle physics, which is actually just an 8-dimensional representation of but which has the enlightening property of sl3(C) corresponding to the strong nuclear interaction, giving a physical manifestation of the action of a representation and showing just one of the many interesting ramications of mathematics on science within the past 50 years.
    [Show full text]
  • MPI-Pht/99-51 DUALITY INDUCED REFLECTIONS AND
    MPI-PhT/99-51 DUALITY INDUCED REFLECTIONS AND CPT Heinrich Saller1 Max-Planck-Institut f¨ur Physik and Astrophysik Werner-Heisenberg-Institut f¨ur Physik M¨unchen Abstract The linear particle-antiparticle conjugation C and position space reflection P as well as the antilinear time reflection T are shown to be inducable by the selfduality of representations for the operation groups SU(2), SL(IC2)andIR for spin, Lorentz transformations and time translations resp. The definition of a colour compatible linear CP-reflection for quarks as selfduality induced is impossible since triplet and antitriplet SU(3)-representations are not linearly equivalent. [email protected] Contents 1 Reflections 1 1.1Reflections.............................. 1 1.2Mirrors................................ 1 1.3 Reflections in Orthogonal Groups . ............... 2 2 Reflections for Spinors 4 2.1ThePauliSpinorReflection.................... 4 2.2 Reflections C and P forWeylSpinors............... 5 3 Time Reflection 6 3.1 Reflection T ofTimeTranslations................. 6 3.2LorentzDualityversusTimeDuality............... 7 3.3 The Cooperation of C, P, T intheLorentzGroup......... 8 4 Spinor Induced Reflections 9 4.1SpinorInducedReflectionofPositionSpace........... 9 4.2InducedReflectionsofSpinRepresentationSpaces........ 9 4.3 Induced Reflections of Lorentz Group Representation Spaces . 11 4.4ReflectionsofSpacetimeFields.................. 11 5 The Standard Model Breakdown of P and CP 12 5.1 Standard Model Breakdown of P .................. 13 5.2 GP-InvarianceintheStandardModelofLeptons........
    [Show full text]
  • Math 210C. Representations of Sl2 1. Introduction in This Handout, We
    Math 210C. Representations of sl2 1. Introduction In this handout, we work out the finite-dimensional k-linear representation theory of sl2(k) for any field k of characteristic 0. (There are also infinite-dimensional irreducible k-linear representations, but here we focus on the finite-dimensional case.) This is an introduction to ideas that are relevant in the general classification of finite-dimensional representations of \semisimple" Lie algebras over fields of characteristic 0, and is a crucial technical tool for our later work on the structure of general connected compact Lie groups (especially to explain the ubiquitous role of SU(2) in the general structure theory). When k is fixed during a discussion, we write sl2 to denote the Lie algebra sl2(k) of traceless 2×2 matrices over k (equipped with its usual Lie algebra structure via the commutator inside − + the associative k-algebra Mat2(k)). Recall the standard k-basis fX ; H; X g of sl2 given by 0 0 1 0 0 1 X− = ;H = ;X+ = ; 1 0 0 −1 0 0 satisfying the commutation relations [H; X±] = ±2X±; [X+;X−] = H: For an sl2-module V over k (i.e., k-vector space V equipped with a map of Lie algebras sl2 ! Endk(V )), we say it is irreducible if V 6= 0 and there is no nonzero proper sl2- submodule. We say that V is absolutely irreducible (over k) if for any extension field K=k the scalar extension VK is irreducible as a K-linear representation of the Lie algebra sl2(K) = K ⊗k sl2 over K.
    [Show full text]
  • The Bgg Resolution and the Weyl Character Formula
    THE BGG RESOLUTION AND THE WEYL CHARACTER FORMULA Fan Zhou Summer 2020 [email protected] In this expository paper we will give1 the classical proof of the Bernstein-Gelfand-Gelfand (BGG) resolution, following the original paper of BGG, and use it to prove the celebrated Weyl character formula (in some sense the BGG resolution is a categorification of the Weyl character formula). I have tried my best to flesh out details which BGG omitted in their original paper, as well as organize the proof and the flow of logic in a manner which I find most motivated and easily understood. Structurally we will tend to assume facts and prove goals, proving the facts later, i.e., logically this exposition should be read backwards; for example we will begin by proving Weyl assuming BGG. We do this for the sake of clarity and motivation. More specifically, we will prove BGG in this order: we will first show how Three Lemmas imply BGG; then we will show how Weak BGG2 implies Three Lemmas; then we will prove Weak BGG. Along the way we will assume some theorems not to be proven in this exposition; these facts are enumerated in Section 1. Some notes about labelling: we will label theorems by their names when appropriate, and we will label statements from BGG by just their number, e.g. writing [10.5] rather than [BGG10.5]. When we need to refer to facts from e.g. Kirillov or Humphreys3, we will for example say [K8.27] or [H4.2]. Contents 1. A Short Introduction2 2.
    [Show full text]
  • Introduction to Representations of Real Semisimple Lie Groups
    Introduction to Representations of Real Semisimple Lie Groups Matvei Libine September 13, 2021 Abstract These are lecture notes for a one semester introductory course I gave at Indiana University. The goal was to make this exposition as clear and elementary as possible. A particular emphasis is given on examples involving SU(1, 1). These notes are in part based on lectures given by my graduate advisor Wilfried Schmid at Harvard University and PQR2003 Euroschool in Brussels [17] as well as other sources, such as [10, 13, 14, 23, 25, 27]. The text is formated for convenient viewing from iPad and other tablets. Contents 1 Introduction 4 2 Some Geometry and Examples of Representa- tions 7 2.1 ComplexProjectiveLine. 7 arXiv:1212.2578v3 [math.RT] 9 Sep 2021 2.2 ExamplesofRepresentations . 10 3 The Universal Enveloping Algebra 14 3.1 TheDefinition .................. 14 3.2 Some Properties of the Universal Enveloping Al- gebra....................... 16 3.3 Geometric Realization of U(g).......... 20 1 4 Irreducible Representations of sl(2, R) 21 4.1 Preliminaries . 21 4.2 Classification of Irreducible sl(2, C)-Modules . 27 5 The Complexification, the Cartan Decomposi- tion and Maximal Compact Subgroups 36 5.1 AssumptionsonGroups . 36 5.2 ComplexificationsandRealForms. 38 5.3 TheCartanDecomposition . 40 5.4 MaximalCompactSubgroups . 44 6 Definition of a Representation 48 6.1 A Few Words on Topological Vector Spaces . 48 6.2 TheDefinition .................. 52 6.3 AdmissibleRepresentations . 56 7 Harish-ChandraModules 57 ∞ 7.1 KR-finite and C Vectors ............ 57 7.2 ProofofTheorem61. 59 7.3 Harish-ChandraModules . 67 7.4 InfinitesimalEquivalence. 73 7.5 AFewWordsaboutGlobalization.
    [Show full text]
  • Arxiv:1203.0944V2 [Hep-Th] 13 Jun 2012
    IHES/P/12/03 Algebras for Amplitudes N. E. J. Bjerrum-Bohr,1, 2 Poul H. Damgaard,1 Ricardo Monteiro,1 and Donal O'Connell1 1Niels Bohr International Academy and Discovery Center, Niels Bohr Institute, University of Copenhagen, Blegdamsvej 17, DK-2100 Copenhagen, Denmark 2Institut des Hautes Etudes´ Scientifiques, 91440, Bures-sur-Yvette, France (Dated: June 14, 2012) Abstract Tree-level amplitudes of gauge theories are expressed in a basis of auxiliary amplitudes with only cubic vertices. The vertices in this formalism are explicitly factorized in color and kinematics, clarifying the color-kinematics duality in gauge theory amplitudes. The basis is constructed making use of the KK and BCJ relations, thereby showing precisely how these relations underlie the color- kinematics duality. We express gravity amplitudes in terms of a related basis of color-dressed gauge theory amplitudes, with basis coefficients which are permutation symmetric. arXiv:1203.0944v2 [hep-th] 13 Jun 2012 1 I. INTRODUCTION In recent years, our knowledge and understanding of scattering amplitudes in our most cherished theories has been revolutionised. Of course, the present interest in scattering amplitudes was spurred by our need to compute cross-sections at the LHC. But there has been much progress in areas of research which are not obviously related to the LHC. The topic of this article is one such area; namely, the correspondence between scattering amplitudes in gauge theory and in gravity. Indeed, one of the promises of our recent advances is that the fascinating connection be- tween gauge theory and gravity amplitudes may be illuminated. The intricate KLT relations between tree-level scattering amplitudes in Yang-Mills theory and gravity were outlined long ago [1].
    [Show full text]
  • Real, Complex, and Quarternionic Representations
    Real, Complex, and Quarternionic Representations JWR 10 March 2006 1 Group Representations 1. Throughout R denotes the real numbers, C denotes the complex numbers, H denotes the quaternions, and G denotes a compact group. A real represen- tation of G is a group homomorphism G → AutR(U) from G into the group of R-linear automorphisms of a real vector space U.A complex representation of G is a group homomorphism G → AutC(V ) from G into the group of C-linear automorphisms of a complex vector space V .A quaternionic representa- tion of G is a group homomorphism G → AutH(W ) from G into the group of H-linear automorphisms of a quaternionic vector space W . 2. We define some functors. The dual space of a complex vector space V is the complex vector space ∗ V := HomC(V, C). The complexification of a real vector space U is the complex vector space C ⊗R U, i(z ⊗ u) = (iz) ⊗ u. The quarternionification of a complex vector space V is the quarternionic vector space H ⊗C V, p(q ⊗ v) = (qp) ⊗ v, p, q ∈ H, v ∈ V where C acts on H from the right in the tensor product so that z(q ⊗v) = q ⊗zv for z ∈ C. For a complex vector space V we denote by VR the real vector space obtained by restricting the scalars to R ⊂ C. For a quarternionic vector space W we denote by WC the complex vector space obtained by restricting the scalars to C ⊂ H. Each of these operations is functorial. and hence yields new representations from old.
    [Show full text]