Notes on Spinors
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Representations of Certain Semidirect Product Groups* H
JOURNAL OF FUNCTIONAL ANALYSIS 19, 339-372 (1975) Representations of Certain Semidirect Product Groups* JOSEPH A. WOLF Department of Mathematics, University of California, Berkeley, California 94720 Communicated by the Editovs Received April I, 1974 We study a class of semidirect product groups G = N . U where N is a generalized Heisenberg group and U is a generalized indefinite unitary group. This class contains the Poincare group and the parabolic subgroups of the simple Lie groups of real rank 1. The unitary representations of G and (in the unimodular cases) the Plancherel formula for G are written out. The problem of computing Mackey obstructions is completely avoided by realizing the Fock representations of N on certain U-invariant holomorphic cohomology spaces. 1. INTRODUCTION AND SUMMARY In this paper we write out the irreducible unitary representations for a type of semidirect product group that includes the Poincare group and the parabolic subgroups of simple Lie groups of real rank 1. If F is one of the four finite dimensional real division algebras, the corresponding groups in question are the Np,Q,F . {U(p, 4; F) xF+}, where FP~*: right vector space F”+Q with hermitian form h(x, y) = i xiyi - y xipi ) 1 lJ+1 N p,p,F: Im F + F”q* with (w. , ~o)(w, 4 = (w, + 7.0+ Im h(z, ,4, z. + 4, U(p, Q; F): unitary group of Fp,q, F+: subgroup of the group generated by F-scalar multiplication on Fp>*. * Research partially supported by N.S.F. Grant GP-16651. 339 Copyright 0 1975 by Academic Press, Inc. -
Chapter 1 BASICS of GROUP REPRESENTATIONS
Chapter 1 BASICS OF GROUP REPRESENTATIONS 1.1 Group representations A linear representation of a group G is identi¯ed by a module, that is by a couple (D; V ) ; (1.1.1) where V is a vector space, over a ¯eld that for us will always be R or C, called the carrier space, and D is an homomorphism from G to D(G) GL (V ), where GL(V ) is the space of invertible linear operators on V , see Fig. ??. Thus, we ha½ve a is a map g G D(g) GL(V ) ; (1.1.2) 8 2 7! 2 with the linear operators D(g) : v V D(g)v V (1.1.3) 2 7! 2 satisfying the properties D(g1g2) = D(g1)D(g2) ; D(g¡1 = [D(g)]¡1 ; D(e) = 1 : (1.1.4) The product (and the inverse) on the righ hand sides above are those appropriate for operators: D(g1)D(g2) corresponds to acting by D(g2) after having appplied D(g1). In the last line, 1 is the identity operator. We can consider both ¯nite and in¯nite-dimensional carrier spaces. In in¯nite-dimensional spaces, typically spaces of functions, linear operators will typically be linear di®erential operators. Example Consider the in¯nite-dimensional space of in¯nitely-derivable functions (\functions of class 1") Ã(x) de¯ned on R. Consider the group of translations by real numbers: x x + a, C 7! with a R. This group is evidently isomorphic to R; +. As we discussed in sec ??, these transformations2 induce an action D(a) on the functions Ã(x), de¯ned by the requirement that the transformed function in the translated point x + a equals the old original function in the point x, namely, that D(a)Ã(x) = Ã(x a) : (1.1.5) ¡ 1 Group representations 2 It follows that the translation group admits an in¯nite-dimensional representation over the space V of 1 functions given by the di®erential operators C d d a2 d2 D(a) = exp a = 1 a + + : : : : (1.1.6) ¡ dx ¡ dx 2 dx2 µ ¶ In fact, we have d a2 d2 dà a2 d2à D(a)Ã(x) = 1 a + + : : : Ã(x) = Ã(x) a (x) + (x) + : : : = Ã(x a) : ¡ dx 2 dx2 ¡ dx 2 dx2 ¡ · ¸ (1.1.7) In most of this chapter we will however be concerned with ¯nite-dimensional representations. -
Math 123—Algebra II
Math 123|Algebra II Lectures by Joe Harris Notes by Max Wang Harvard University, Spring 2012 Lecture 1: 1/23/12 . 1 Lecture 19: 3/7/12 . 26 Lecture 2: 1/25/12 . 2 Lecture 21: 3/19/12 . 27 Lecture 3: 1/27/12 . 3 Lecture 22: 3/21/12 . 31 Lecture 4: 1/30/12 . 4 Lecture 23: 3/23/12 . 33 Lecture 5: 2/1/12 . 6 Lecture 24: 3/26/12 . 34 Lecture 6: 2/3/12 . 8 Lecture 25: 3/28/12 . 36 Lecture 7: 2/6/12 . 9 Lecture 26: 3/30/12 . 37 Lecture 8: 2/8/12 . 10 Lecture 27: 4/2/12 . 38 Lecture 9: 2/10/12 . 12 Lecture 28: 4/4/12 . 40 Lecture 10: 2/13/12 . 13 Lecture 29: 4/6/12 . 41 Lecture 11: 2/15/12 . 15 Lecture 30: 4/9/12 . 42 Lecture 12: 2/17/16 . 17 Lecture 31: 4/11/12 . 44 Lecture 13: 2/22/12 . 19 Lecture 14: 2/24/12 . 21 Lecture 32: 4/13/12 . 45 Lecture 15: 2/27/12 . 22 Lecture 33: 4/16/12 . 46 Lecture 17: 3/2/12 . 23 Lecture 34: 4/18/12 . 47 Lecture 18: 3/5/12 . 25 Lecture 35: 4/20/12 . 48 Introduction Math 123 is the second in a two-course undergraduate series on abstract algebra offered at Harvard University. This instance of the course dealt with fields and Galois theory, representation theory of finite groups, and rings and modules. These notes were live-TEXed, then edited for correctness and clarity. -
SUPERSYMMETRY 1. Introduction the Purpose
SUPERSYMMETRY JOSH KANTOR 1. Introduction The purpose of these notes is to give a short and (overly?)simple description of supersymmetry for Mathematicians. Our description is far from complete and should be thought of as a first pass at the ideas that arise from supersymmetry. Fundamental to supersymmetry is the mathematics of Clifford algebras and spin groups. We will describe the mathematical results we are using but we refer the reader to the references for proofs. In particular [4], [1], and [5] all cover spinors nicely. 2. Spin and Clifford Algebras We will first review the definition of spin, spinors, and Clifford algebras. Let V be a vector space over R or C with some nondegenerate quadratic form. The clifford algebra of V , l(V ), is the algebra generated by V and 1, subject to the relations v v = v, vC 1, or equivalently v w + w v = 2 v, w . Note that elements of· l(V ) !can"b·e written as polynomials· in V · and this! giv"es a splitting l(V ) = l(VC )0 l(V )1. Here l(V )0 is the set of elements of l(V ) which can bCe writtenC as a linear⊕ C combinationC of products of even numbers ofCvectors from V , and l(V )1 is the set of elements which can be written as a linear combination of productsC of odd numbers of vectors from V . Note that more succinctly l(V ) is just the quotient of the tensor algebra of V by the ideal generated by v vC v, v 1. -
21 Schur Indicator
21 Schur indicator Complex representation theory gives a good description of the homomorphisms from a group to a special unitary group. The Schur indicator describes when these are orthogonal or quaternionic, so it is also easy to describe all homomor- phisms to the compact orthogonal and symplectic groups (and a little bit of fiddling around with central extensions gives the homomorphisms to compact spin groups). So the homomorphisms to any compact classical group are well understood. However there seems to be no easy way to describe the homomor- phisms of a group to the exceptional compact Lie groups. We have several closely related problems: • Which irreducible representations have symmetric or alternating forms? • Classify the homomorphisms to orthogonal and symplectic groups • Classify the real and quaternionic representations given the complex ones. Suppose we have an irreducible representation V of a compact group G. We study the space of invariant bilinear forms on V . Obviously the bilinear forms correspond to maps from V to its dual, so the space of such forms is at most 1-dimensional, and is non-zero if and only if V is isomorphic to its dual, in other words if and only if the character of V is real. We also want to know when the bilinear form is symmetric or alternating. These two possibilities correspond to the symmetric or alternating square containing the 1-dimensional irreducible representation. So (1, χS2V − χΛ2V ) is 1, 0, or −1 depending on whether V has a symmetric bilinear form, no bilinear form, or an alternating bilinear form. By 2 the formulas for the symmetric and alternating squares this is given by G χg , and is called the Schur indicator. -
Master Thesis Written at the Max Planck Institute of Quantum Optics
Ludwig-Maximilians-Universitat¨ Munchen¨ and Technische Universitat¨ Munchen¨ A time-dependent Gaussian variational description of Lattice Gauge Theories Master thesis written at the Max Planck Institute of Quantum Optics September 2017 Pablo Sala de Torres-Solanot Ludwig-Maximilians-Universitat¨ Munchen¨ Technische Universitat¨ Munchen¨ Max-Planck-Institut fur¨ Quantenoptik A time-dependent Gaussian variational description of Lattice Gauge Theories First reviewer: Prof. Dr. Ignacio Cirac Second reviewer: Dr. Tao Shi Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science within the programme Theoretical and Mathematical Physics Munich, September 2017 Pablo Sala de Torres-Solanot Abstract In this thesis we pursue the novel idea of using Gaussian states for high energy physics and explore some of the first necessary steps towards such a direction, via a time- dependent variational method. While these states have often been applied to con- densed matter systems via Hartree-Fock, BCS or generalized Hartree-Fock theory, this is not the case in high energy physics. Their advantage is the fact that they are completely characterized, via Wick's theorem, by their two-point correlation func- tions (and one-point averages in bosonic systems as well), e.g., all possible pairings between fermionic operators. These are collected in the so-called covariance matrix which then becomes the most relevant object in their description. In order to reach this goal, we set the theory on a lattice by making use of Lat- tice Gauge Theories (LGT). This method, introduced by Kenneth Wilson, has been extensively used for the study of gauge theories in non-perturbative regimes since it allows new analytical methods as for example strong coupling expansions, as well as the use of Monte Carlo simulations and more recently, Tensor Networks techniques as well. -
Algebraic Groups I. Homework 8 1. Let a Be a Central Simple Algebra Over a field K, T a K-Torus in A×
Algebraic Groups I. Homework 8 1. Let A be a central simple algebra over a field k, T a k-torus in A×. (i) Adapt Exercise 5 in HW5 to make an ´etalecommutative k-subalgebra AT ⊆ A such that (AT )ks is × generated by T (ks), and establish a bijection between the sets of maximal k-tori in A and maximal ´etale commutative k-subalgebras of A. Deduce that SL(A) is k-anisotropic if and only if A is a division algebra. (ii) For an ´etalecommutative k-subalgebra C ⊆ A, prove ZA(C) is a semisimple k-algebra with center C. × (iv) If T is maximal as a k-split subtorus of A prove T is the k-group of units in AT and that the (central!) simple factors Bi of BT := ZA(AT ) are division algebras. (v) Fix A ' EndD(V ) for a right module V over a central division algebra D, so V is a left A-module and Q × V = Vi with nonzero left Bi-modules Vi. If T is maximal as a k-split torus in A , prove Vi has rank 1 × × over Bi and D, so Bi ' D. Using D-bases, deduce that all maximal k-split tori in A are A (k)-conjugate. 2. For a torus T over a local field k (allow R, C), prove T is k-anisotropic if and only if T (k) is compact. 3. Let Y be a smooth separated k-scheme locally of finite type, and T a k-torus with a left action on Y . -
Subfields of Central Simple Algebras
The Brauer Group Subfields of Algebras Subfields of Central Simple Algebras Patrick K. McFaddin University of Georgia Feb. 24, 2016 Patrick K. McFaddin University of Georgia Subfields of Central Simple Algebras The Brauer Group Subfields of Algebras Introduction Central simple algebras and the Brauer group have been well studied over the past century and have seen applications to class field theory, algebraic geometry, and physics. Since higher K-theory defined in '72, the theory of algebraic cycles have been utilized to study geometric objects associated to central simple algebras (with involution). This new machinery has provided a functorial viewpoint in which to study questions of arithmetic. Patrick K. McFaddin University of Georgia Subfields of Central Simple Algebras The Brauer Group Subfields of Algebras Central Simple Algebras Let F be a field. An F -algebra A is a ring with identity 1 such that A is an F -vector space and α(ab) = (αa)b = a(αb) for all α 2 F and a; b 2 A. The center of an algebra A is Z(A) = fa 2 A j ab = ba for every b 2 Ag: Definition A central simple algebra over F is an F -algebra whose only two-sided ideals are (0) and (1) and whose center is precisely F . Examples An F -central division algebra, i.e., an algebra in which every element has a multiplicative inverse. A matrix algebra Mn(F ) Patrick K. McFaddin University of Georgia Subfields of Central Simple Algebras The Brauer Group Subfields of Algebras Why Central Simple Algebras? Central simple algebras are a natural generalization of matrix algebras. -
20 Representation Theory
20 Representation theory A representation of a group is an action of a group on something, in other words a homomorphism from the group to the group of automorphisms of something. The most obvious representations are permutation representations: actions of a group on a (discrete) set. For example the group of rotations of a cube has order 24, and has several obvious permutation representations: it can act on faces, edges, vertices, diagonals, pairs of opposite faces, and so on. For another example, the group SL2(R) acts on the real projective line, and on the upper half plane. These sets carry topologies, which we should take into account when defining representations. Let us try to classify all permutation representations of some group G . First of all, if the group G acts on some set X, then we can write X as the disjoint union of the orbits of G on X, and G is transitive on each of these orbits. So this reduces the classification of all permutation representations to that of transitive permutation representations. Next, given a transitive permutation representation of G on a set X, fix a point x ∈ X and write Gx for the subgroup fixing x. Then as a permutation representation, X is isomorphic to the action of G on the set of cosets G/Gx. If we choose a different point y, then Gx is conjugate to Gy (using some element of G taking x to y), so we see that transitive permutation representations up to isomorphism correspond to conjugacy classes of subgroups of G. -
The Unitary Representations of the Poincaré Group in Any Spacetime Dimension Abstract Contents
SciPost Physics Lecture Notes Submission The unitary representations of the Poincar´egroup in any spacetime dimension X. Bekaert1, N. Boulanger2 1 Institut Denis Poisson, Unit´emixte de Recherche 7013, Universit´ede Tours, Universit´e d'Orl´eans,CNRS, Parc de Grandmont, 37200 Tours (France) [email protected] 2 Service de Physique de l'Univers, Champs et Gravitation, Universit´ede Mons, UMONS Research Institute for Complex Systems, Place du Parc 20, 7000 Mons (Belgium) [email protected] December 31, 2020 1 Abstract 2 An extensive group-theoretical treatment of linear relativistic field equations 3 on Minkowski spacetime of arbitrary dimension D > 3 is presented. An exhaus- 4 tive treatment is performed of the two most important classes of unitary irre- 5 ducible representations of the Poincar´egroup, corresponding to massive and 6 massless fundamental particles. Covariant field equations are given for each 7 unitary irreducible representation of the Poincar´egroup with non-negative 8 mass-squared. 9 10 Contents 11 1 Group-theoretical preliminaries 2 12 1.1 Universal covering of the Lorentz group 2 13 1.2 The Poincar´egroup and algebra 3 14 1.3 ABC of unitary representations 4 15 2 Elementary particles as unitary irreducible representations of the isom- 16 etry group 5 17 3 Classification of the unitary representations 7 18 3.1 Induced representations 7 19 3.2 Orbits and stability subgroups 8 20 3.3 Classification 10 21 4 Tensorial representations and Young diagrams 12 22 4.1 Symmetric group 12 23 4.2 General linear -
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. -
Differential Central Simple Algebras and Picard–Vessiot
Differential Central Simple Algebras and Picard–Vessiot Representations Lourdes Juan Department of Mathematics Texas Tech University Lubbock TX 79409 Andy R. Magid Department of Mathematics University of Oklahoma Norman OK 73019 March 7, 2007 Abstract A differential central simple algebra, and in particular a differential matrix algebra, over a differential field K with constants C can be trivial- ized by a Picard–Vessiot (differential Galois) extension E. In the matrix algebra case, there is a correspondence between K algebras trivialized by E and representations of the Galois group of E over K in P GLn(C), which can be interpreted as cocyles equivalent up to coboundaries. 1 Introduction Let K be a differential field with algebraically closed characteristic zero field of constants C and derivation D = DK . By a differential central simple al- gebra (DCSA) over K we mean a pair (A, D) where A is a central simple K algebra and D is a derivation of A extending the derivation D of its center K. Given two such pairs (A1, D1) and (A2, D2), we can form the differential algebra (A1 ⊗ A2, D1 ⊗ D2), where the derivation D1 ⊗ D2 is given by D1 ⊗ 1 + 1 ⊗ D2. Morphisms of DCSA’s over K are K algebra homomorphisms preserving deriva- tions. We denote the isomorphism class of (A, D) by [A, D]. The above tensor product defines a monoid operation on the isomorphism classes (the identity being the class [K, DK ]), and hence we can form the corresponding universal diff group K0 Az(K). (A central simple algebra (CSA) over a field is a special case of Azumaya, or central separable, algebras over rings; Az is an abbre- viation for Azumaya.) The corresponding object for K when derivations are not considered is the familiar K0Az(K) as defined by Bass in [1, Chapter III].