Lie Groups, Lie Algebras, and Representations an Elementary Introduction Second Edition Graduate Texts in Mathematics 222 Graduate Texts in Mathematics

Total Page:16

File Type:pdf, Size:1020Kb

Lie Groups, Lie Algebras, and Representations an Elementary Introduction Second Edition Graduate Texts in Mathematics 222 Graduate Texts in Mathematics Graduate Texts in Mathematics Brian Hall Lie Groups, Lie Algebras, and Representations An Elementary Introduction Second Edition Graduate Texts in Mathematics 222 Graduate Texts in Mathematics Series Editors: Sheldon Axler San Francisco State University, San Francisco, CA, USA Kenneth Ribet University of California, Berkeley, CA, USA Advisory Board: Alejandro Adem, University of British Columbia David Jerison, University of California Berkeley & MSRI Irene M. Gamba, The University of Texas at Austin Jeffrey C. Lagarias, University of Michigan Ken Ono, Emory University Jeremy Quastel, University of Toronto Fadil Santosa, University of Minnesota Barry Simon, California Institute of Technology Graduate Texts in Mathematics bridge the gap between passive study and creative understanding, offering graduate-level introductions to advanced topics in mathematics. The volumes are carefully written as teaching aids and highlight characteristic features of the theory. Although these books are frequently used as textbooks in graduate courses, they are also suitable for individual study. More information about this series at http://www.springer.com/series/136 Brian Hall Lie Groups, Lie Algebras, and Representations An Elementary Introduction Second Edition 123 Brian Hall Department of Mathematics University of Notre Dame Notre Dame, IN, USA ISSN 0072-5285 ISSN 2197-5612 (electronic) Graduate Texts in Mathematics ISBN 978-3-319-13466-6 ISBN 978-3-319-13467-3 (eBook) DOI 10.1007/978-3-319-13467-3 Library of Congress Control Number: 2015935277 Springer Cham Heidelberg New York Dordrecht London © Springer International Publishing Switzerland 2003, 2015 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. Printed on acid-free paper Springer International Publishing AG Switzerland is part of Springer Science+Business Media (www. springer.com) For Carla Contents Part I General Theory 1 Matrix Lie Groups.......................................................... 3 1.1 Definitions ............................................................ 3 1.2 Examples ............................................................. 5 1.3 Topological Properties ............................................... 16 1.4 Homomorphisms ..................................................... 21 1.5 Lie Groups ............................................................ 25 1.6 Exercises .............................................................. 26 2 The Matrix Exponential ................................................... 31 2.1 The Exponential of a Matrix ......................................... 31 2.2 Computing the Exponential .......................................... 34 2.3 The Matrix Logarithm ............................................... 36 2.4 Further Properties of the Exponential ............................... 40 2.5 The Polar Decomposition ............................................ 42 2.6 Exercises .............................................................. 46 3 Lie Algebras ................................................................. 49 3.1 Definitions and First Examples ...................................... 49 3.2 Simple, Solvable, and Nilpotent Lie Algebras ...................... 53 3.3 The Lie Algebra of a Matrix Lie Group ............................. 55 3.4 Examples ............................................................. 57 3.5 Lie Group and Lie Algebra Homomorphisms ...................... 60 3.6 The Complexification of a Real Lie Algebra ....................... 65 3.7 The Exponential Map ................................................ 67 3.8 Consequences of Theorem 3.42 ..................................... 70 3.9 Exercises .............................................................. 73 4 Basic Representation Theory .............................................. 77 4.1 Representations....................................................... 77 4.2 Examples of Representations ........................................ 81 4.3 New Representations from Old ...................................... 84 vii viii Contents 4.4 Complete Reducibility ............................................... 90 4.5 Schur’s Lemma ....................................................... 94 4.6 Representations of sl.2I C/ .......................................... 96 4.7 Group Versus Lie Algebra Representations ......................... 101 4.8 A Nonmatrix Lie Group.............................................. 103 4.9 Exercises .............................................................. 105 5 The Baker–Campbell–Hausdorff Formula and Its Consequences .... 109 5.1 The “Hard” Questions................................................ 109 5.2 An Illustrative Example .............................................. 110 5.3 The Baker–Campbell–Hausdorff Formula .......................... 113 5.4 The Derivative of the Exponential Map ............................. 114 5.5 Proof of the BCH Formula........................................... 117 5.6 The Series Form of the BCH Formula .............................. 118 5.7 Group Versus Lie Algebra Homomorphisms ....................... 119 5.8 Universal Covers ..................................................... 126 5.9 Subgroups and Subalgebras.......................................... 128 5.10 Lie’s Third Theorem ................................................. 135 5.11 Exercises .............................................................. 135 Part II Semisimple Lie Algebras 6 The Representations of sl.3I C/ ........................................... 141 6.1 Preliminaries.......................................................... 141 6.2 Weights and Roots ................................................... 142 6.3 The Theorem of the Highest Weight ................................ 146 6.4 Proof of the Theorem ................................................ 148 6.5 An Example: Highest Weight .1; 1/ ................................. 153 6.6 The Weyl Group ...................................................... 154 6.7 Weight Diagrams ..................................................... 158 6.8 Further Properties of the Representations ........................... 159 6.9 Exercises .............................................................. 165 7 Semisimple Lie Algebras................................................... 169 7.1 Semisimple and Reductive Lie Algebras............................ 169 7.2 Cartan Subalgebras ................................................... 174 7.3 Roots and Root Spaces ............................................... 176 7.4 The Weyl Group ...................................................... 182 7.5 Root Systems ......................................................... 183 7.6 Simple Lie Algebras ................................................. 185 7.7 The Root Systems of the Classical Lie Algebras ................... 188 7.8 Exercises .............................................................. 193 8 Root Systems ................................................................ 197 8.1 Abstract Root Systems ............................................... 197 8.2 Examples in Rank Two............................................... 201 8.3 Duality ................................................................ 204 Contents ix 8.4 Bases and Weyl Chambers ........................................... 206 8.5 Weyl Chambers and the Weyl Group ................................ 212 8.6 Dynkin Diagrams..................................................... 216 8.7 Integral and Dominant Integral Elements ........................... 218 8.8 The Partial Ordering ................................................. 221 8.9 Examples in Rank Three ............................................. 228 8.10 The Classical Root Systems ......................................... 232 8.11 The Classification .................................................... 236 8.12 Exercises .............................................................. 238 9 Representations of Semisimple Lie Algebras ............................ 241 9.1 Weights of Representations .......................................... 241 9.2 Introduction to Verma Modules...................................... 244 9.3 Universal Enveloping Algebras...................................... 246 9.4 Proof of the PBW Theorem .......................................... 250 9.5 Construction of Verma Modules ..................................... 254 9.6 Irreducible Quotient Modules ....................................... 257 9.7 Finite-Dimensional
Recommended publications
  • Lie Groups, Lie Algebras, Representations and the Eightfold Way
    Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques Universitat de Barcelona Lie Groups, Lie Algebras, Representations and the Eightfold Way Autor: Martí Rosselló Gómez Director: Ricardo García López Realitzat a: Departament d’Àlgebra i Geometria Barcelona, 27 de juny 2016 Abstract Lie groups and Lie algebras are the basic objects of study of this work. Lie studied them as continuous transformations of partial differential equations, emulating Galois work with polynomial equations. The theory went much further thanks to Killing, Cartan and Weyl and now the wealth of properties of Lie groups makes them a central topic in modern mathematics. This richness comes from the merging of two initially unrelated mathemat- ical structures such as the group structure and the smooth structure of a manifold, which turns out to impose many restrictions. For instance, a closed subgroup of a Lie group is automatically an embedded submanifold of the Lie group. Symmetries are related to groups, in particular continuous symmetries are related to Lie groups and whence, by Noether’s theorem, its importance in modern physics. In this work, we focus on the Lie group - Lie algebra relationship and on the represen- tation theory of Lie groups through the representations of Lie algebras. Especially, we analyze the complex representations of Lie algebras related to compact simply connected Lie groups. With this purpose, we first study the theory of covering spaces and differential forms on Lie groups. Finally, an application to particle physics is presented which shows the role played by the representation theory of SU(3) on flavour symmetry and the theory of quarks.
    [Show full text]
  • An Introduction to Tensors and Group Theory for Physicists
    Nadir Jeevanjee An Introduction to Tensors and Group Theory for Physicists Nadir Jeevanjee Department of Physics University of California 366 LeConte Hall MC 7300 Berkeley, CA 94720 USA [email protected] ISBN 978-0-8176-4714-8 e-ISBN 978-0-8176-4715-5 DOI 10.1007/978-0-8176-4715-5 Springer New York Dordrecht Heidelberg London Library of Congress Control Number: 2011935949 Mathematics Subject Classification (2010): 15Axx, 20Cxx, 22Exx, 81Rxx © Springer Science+Business Media, LLC 2011 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.birkhauser-science.com) To My Parents Preface This book is composed of two parts: Part I (Chaps. 1 through 3) is an introduction to tensors and their physical applications, and Part II (Chaps. 4 through 6) introduces group theory and intertwines it with the earlier material. Both parts are written at the advanced-undergraduate/beginning-graduate level, although in the course of Part II the sophistication level rises somewhat.
    [Show full text]
  • Subriemannian Geodesics and Cubics for Efficient Quantum Circuits
    SubRiemannian geodesics and cubics for efficient quantum circuits Michael Swaddle School of Physics Supervisors Lyle Noakes School of Mathematics and Statistics Jingbo Wang School of Physics September 6, 2017 This thesis is presented for the requirements of the degree of Master of Philosophy of the University of Western Australia. Acknowledgements We would like to thank Harry Smallbone, Kooper de Lacy, and Liam Salter for valuable thoughts and discussion. This research was supported by an Australian Government Research Training Program (RTP) Scholarship. i ii Abstract Nielsen et al [1]–[5] first argued that efficient quantum circuits can be obtained from special curves called geodesics. Previous work focused mainly on computing geodesics in Riemannian manifolds equipped with a penalty metric where the penalty was taken to infinity [1]–[6]. Taking such limits seems problematic, because it is not clear that all extremals of a limiting optimal control problem can be arrived at as limits of solutions. To rectify this, we examine subRiemannian geodesics, using the Pontryagin Maximum Principle on the special unitary group SU(2n) to obtain equations for the normal subRiemannian geodesics. The normal subRiemannian geodesics were found to coincide with the infinite penalty limit. However, the infinite penalty limit does give all the subRiemannian geodesics. There are potentially abnormal geodesics. These abnormal geodesics, which do not satisfy the normal differential equations. Potentially the abnormal geodesics may have lower energy, and hence generate a more efficient quantum circuit. Sometimes abnormals can be ruled out via contradiction. However in other cases it is possible to construct new equations for abnormals. In SU(8), the space of operations on three qubits, we allow subRiemannian geodesics to move tangent to directions corresponding to one and two qubit operations.
    [Show full text]
  • Algebraic Geometry
    Applied Mathematical Sciences Volume 169 Editors S.S. Antman J.E. Marsden L. Sirovich Advisors J. Hale P. Holmes J. Keener J. Keller R. Laubenbacher B.J. Matkowsky A. Mielke C.S. Peskin K.R. Sreenivasan A. Stevens For further volumes: http://www.springer.com/series/34 This page intentionally left blank David L. Elliott Bilinear Control Systems Matrices in Action 123 Prof. David Elliott University of Maryland Inst. Systems Research College Park MD 20742 USA Editors: S.S. Antman J.E. Marsden Department of Mathematics Control and Dynamical and Systems, 107-81 Institute for Physical California Institute of Science and Technology Technology University of Maryland Pasadena, CA 91125 College Park, MD 20742-4015 USA USA [email protected] [email protected] L. Sirovich Laboratory of Applied Mathematics Department of Biomathematical Sciences Mount Sinai School of Medicine New York, NY 10029-6574 [email protected] ISSN 0066-5452 ISBN 978-1-4020-9612-9 e-ISBN 978-1-4020-9613-6 DOI 10.1007/978-1-4020-9613-6 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2009920095 Mathematics Subject Classification (2000): 93B05, 1502, 57R27, 22E99, 37C10 c Springer Science+Business Media B.V. 2009 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
    [Show full text]
  • Quantum Mechanics for Probabilists Contents
    Quantum mechanics for probabilists Sabine Jansen January 15, 2021 Abstract Many topics of modern probability have counterparts in mathemat- ical physics and quantum mechanics. For example, the study of the parabolic Anderson model is related to Anderson localization; interacting particle systems and spin systems are related to quantum spin systems and quantum many-body theory; and the Gaussian free field as well as Malliavin calculus connect to Euclidean quantum field theory. The aim of these notes is to give an introduction to quantum mechanics for math- ematicians with a probability background, providing basic intuition and a dictionary facilitating access to the mathematical physics literature. The focus is on connections with probability, notably Markov processes, rather than partial differential equations and spectral theory. Contents 1 Waves and particles 3 1.1 Particles . 3 1.2 Waves................................ 4 1.3 Wave packet . 5 1.4 Wave-particle duality . 6 2 Quantum mechanics 9 2.1 Wave function . 9 2.2 Uncertainty principle . 10 2.3 Observables as operators . 11 2.4 Hilbert space . 13 2.5 Time evolution: Schr¨odingerpicture . 15 2.6 Time evolution: Heisenberg picture . 16 2.7 Commutation relations . 17 1 Contents 3 Path integrals 21 3.1 Laplacian, Brownian motion, Wiener measure . 21 3.2 Feynman-Kac formula . 22 3.3 Discrete Laplacian. Continuous-time random walk . 23 3.4 Lie-Trotter product formula . 24 3.5 Perron-Frobenius theorem. Ground states . 26 3.6 Harmonic oscillator and Ornstein-Uhlenbeck process . 28 3.7 Action functional . 31 4 Harmonic oscillator 33 4.1 Hermite polynomials, Hermite functions . 33 4.2 Creation and annihilation operators .
    [Show full text]
  • UNIVERSITY of CALIFORNIA RIVERSIDE Generalized Quantum Theory and Mathematical Foundations of Quantum Field Theory a Dissertatio
    UNIVERSITY OF CALIFORNIA RIVERSIDE Generalized Quantum Theory and Mathematical Foundations of Quantum Field Theory A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Physics by Michael Anthony Maroun June 2013 Dissertation Committee: Dr. Michel L. Lapidus, Chairperson Dr. Ernest Ma Dr. Shan-wen Tsai Copyright by Michael Anthony Maroun 2013 The Dissertation of Michael Anthony Maroun is approved: Committee Chairperson University of California, Riverside Acknowledgements First and foremost, I would like to thank every one of the very few people in the subset of all people I’ve come across in my life, that beheld a person with a modicum of potential and chose to encourage and help me in lieu of fear or envy. Above all, I would like to thank the following people. I thank my friends and former roommates, Dr. John Huerta and Dr. Jonathan Sarhad, for their kind patience when none was left and for sharing with me, some of their great mathematical talents. There are facts today that I am subconsciously aware of that were undoubtedly influenced by the both of you independently, though which my conscience may never actively realize. I am indebted to the few academic siblings of mine that I have been lucky enough to work with and/or discuss mathematics at length, Dr. John Quinn, Dr. John Rock, Dr. Nishu Lal, Dr. Vicente Alvarez, and Dr. Erin Pearse. I have undoubtedly benefited from these interactions and only hope to be half as good mathematicians as yourselves. Likewise, I am pleased to thank Dr.
    [Show full text]