Lecture Notes in Lie Groups

Total Page:16

File Type:pdf, Size:1020Kb

Lecture Notes in Lie Groups Lecture Notes in Lie Groups Vladimir G. Ivancevic∗ Tijana T. Ivancevic† Abstract These lecture notes in Lie Groups are designed for a 1–semester third year or graduate course in mathematics, physics, engineering, chemistry or biology. This landmark theory of the 20th Century mathematics and physics gives a rigorous foundation to modern dynamics, as well as field and gauge theories in physics, engineering and biomechanics. We give both physical and medical examples of Lie groups. The only necessary background for comprehensive reading of these notes are advanced calculus and linear algebra. Contents 1 Preliminaries: Sets, Maps and Diagrams 3 1.1 Sets .................................... 3 1.2 Maps.................................... 4 1.3 CommutativeDiagrams ......................... 5 2 Groups 6 3 Manifolds 8 3.1 DefinitionofaManifold . .. .. .. .. .. .. .. 11 3.2 Formal Definition of a Smooth Manifold . 12 arXiv:1104.1106v2 [math.DG] 7 Apr 2011 3.3 Smooth Maps Between Smooth Manifolds . 13 3.4 Tangent Bundle and Lagrangian Dynamics . 14 3.5 Cotangent Bundle and Hamiltonian Dynamics . 17 ∗Land Operations Division, Defence Science & Technology Organisation, P.O. Box 1500, Edin- burgh SA 5111, Australia (e-mail: [email protected]) †Tesla Science Evolution Institute & QLIWW IP Pty Ltd., Adelaide, Australia (e-mail: [email protected]) 1 4 Lie Groups 18 4.1 DefinitionofaLieGroup ........................ 21 4.2 LieAlgebra ................................ 22 4.3 One-ParameterSubgroup . 24 4.4 ExponentialMap ............................. 24 4.5 AdjointRepresentation. 25 4.6 Actions of Lie Groups on Smooth Manifolds . 26 4.7 Basic Tables of Lie Groups and Their Lie Algebras . 28 4.8 RepresentationsofLiegroups . 31 4.9 RootSystemsandDynkinDiagrams . 32 4.9.1 Definitions ............................ 32 4.9.2 Classification ........................... 33 4.9.3 DynkinDiagrams......................... 34 4.9.4 IrreducibleRootSystems . 36 4.10 Simple and Semisimple Lie Groups and Algebras . 37 5 Some Classical Examples of Lie Groups 38 5.1 GalileiGroup ............................... 38 5.2 GeneralLinearGroup .......................... 39 5.3 Rotational Lie Groups in Human/Humanoid Biomechanics . 40 5.3.1 Uniaxial Group of Joint Rotations . 41 5.3.2 Three–Axial Group of Joint Rotations . 43 5.3.3 TheHeavyTop.......................... 45 5.4 Euclidean Groups of Rigid Body Motion . 45 5.4.1 Special Euclidean Group SE(2) in the Plane . 46 5.4.2 Special Euclidean Group SE(3) in the 3D Space . 47 5.5 BasicMechanicalExamples . 50 5.5.1 SE(2) Hovercraft ........................ 50 − 5.5.2 SO(3) Satellite ......................... 51 − 5.5.3 SE(3) Submarine ........................ 52 − 5.6 Newton–Euler SE(3) Dynamics .................... 52 − 5.6.1 SO(3) : Euler Equations of Rigid Rotations . 52 5.6.2 SE(3) : Coupled Newton–Euler Equations . 53 5.7 Symplectic Group in Hamiltonian Mechanics . 56 6 Medical Applications: Prediction of Injuries 57 6.1 General Theory of Musculo–Skeletal Injury Mechanics . ...... 57 6.2 Analytical Mechanics of Traumatic Brain Injury (TBI) . ...... 63 6.2.1 The SE(3) jolt:thecauseofTBI . 63 − 6.2.2 SE(3) group of brain’s micro–motions within the CSF . 64 − 2 6.2.3 Brain’s natural SE(3) dynamics................ 65 − 6.2.4 Brain’s traumatic dynamics: the SE(3) jolt ......... 68 − 6.2.5 Brain’s dislocations and disclinations caused by the SE(3) jolt 69 − 1 Preliminaries: Sets, Maps and Diagrams 1.1 Sets Given a map (or, a function) f : A B, the set A is called the domain of f, and → denoted Dom f. The set B is called the codomain of f, and denoted Cod f. The codomain is not to be confused with the range of f(A), which is in general only a subset of B (see [8, 9]). A map f : X Y is called injective, or 1–1, or an injection, iff for every y in the → codomain Y there is at most one x in the domain X with f(x)= y. Put another way, given x and x′ in X, if f(x)= f(x′), then it follows that x = x′. A map f : X Y → is called surjective, or onto, or a surjection, iff for every y in the codomain Cod f there is at least one x in the domain X with f(x)= y. Put another way, the range f(X) is equal to the codomain Y . A map is bijective iff it is both injective and surjective. Injective functions are called monomorphisms, and surjective functions are called epimorphisms in the category of sets (see below). Bijective functions are called isomorphisms. A relation is any subset of a Cartesian product (see below). By definition, an equivalence relation α on a set X is a relation which is reflexive, symmetrical and transitive, i.e., relation that satisfies the following three conditions: 1. Reflexivity: each element x X is equivalent to itself, i.e., xαx; ∈ 2. Symmetry: for any two elements a, b X, aαb implies bαa; and ∈ 3. Transitivity: aαb and bαc implies aαc. Similarly, a relation defines a partial order on a set S if it has the following ≤ properties: 1. Reflexivity: a a for all a S; ≤ ∈ 2. Antisymmetry: a b and b a implies a = b; and ≤ ≤ 3. Transitivity: a b and b c implies a c. ≤ ≤ ≤ A partially ordered set (or poset) is a set taken together with a partial order on it. Formally, a partially ordered set is defined as an ordered pair P = (X, ), where ≤ X is called the ground set of P and is the partial order of P . ≤ 3 1.2 Maps Let f and g be maps with domains A and B. Then the maps f + g, f g, fg, and − f/g are defined as follows (see [8, 9]): (f + g)(x) = f(x)+ g(x) domain = A B, ∩ (f g)(x) = f(x) g(x) domain = A B, − − ∩ (fg)(x) = f(x) g(x) domain = A B, ∩ f f(x) (x) = domain = x A B : g(x) = 0 . g g(x) { ∈ ∩ 6 } Given two maps f and g, the composite map f g, called the composition of f ◦ and g, is defined by (f g)(x)= f(g(x)). ◦ The (f g) machine is composed of the g machine (first) and then the f machine, ◦ − − − x [[g]] g(x) [[f]] f(g(x)). → → → → For example, suppose that y = f(u) = √u and u = g(x) = x2 + 1. Since y is a function of u and u is a function of x, it follows that y is ultimately a function of x. We calculate this by substitution y = f(u)= f g = f(g(x)) = f(x2 +1) = x2 + 1. ◦ If f and g are both differentiable (or smooth, i.e., C∞)p maps and h = f g is the ◦ composite map defined by h(x)= f(g(x)), then h is differentiable and h′ is given by the product: h′(x)= f ′(g(x)) g′(x). In Leibniz notation, if y = f(u) and u = g(x) are both differentiable maps, then dy dy du = . dx du dx The reason for the name chain rule becomes clear if we add another link to the chain. Suppose that we have one more differentiable map x = h(t). Then, to calculate the derivative of y with respect to t, we use the chain rule twice, dy dy du dx = . dt du dx dt 0 ∂(x,...) Given a 1–1 continuous (i.e., C ) map F with a nonzero Jacobian ∂(u,...) that maps a region S onto a region R, we have the following substitution formulas: 4 1. For a single integral, ∂x f(x) dx = f(x(u)) du; ∂u ZR ZS 2. For a double integral, ∂(x,y) f(x,y) dA = f(x(u, v),y(u, v)) dudv; ∂(u, v) ZZR ZZS 3. For a triple integral, ∂(x,y,z) f(x,y,z) dV = f(x(u, v, w),y(u, v, w), z(u, v, w)) dudvdw; ∂(u, v, w) ZZZR ZZZS 4. Generalization to n tuple integrals is obvious. − 1.3 Commutative Diagrams Many properties of mathematical systems can be unified and simplified by a presen- tation with commutative diagrams of arrows. Each arrow f : X Y represents a → function (i.e., a map, transformation, operator); that is, a source (domain) set X, a target (codomain) set Y , and a rule x f(x) which assigns to each element x X 7→ ∈ an element f(x) Y . A typical diagram of sets and functions is (see [8, 9]): ∈ f f X✲ Y X✲ f(X) ❅ ❅ h❅ g or h❅ g ❅ ❅ ❅❘ ❄ ❅❘ ❄ Z g(f(X)) This diagram is commutative iff h = g f, where g f is the usual composite function ◦ ◦ g f : X Z, defined by x g(f(x)). ◦ → 7→ Less formally, composing maps is like following directed paths from one object to another (e.g., from set to set). In general, a diagram is commutative iff any two paths along arrows that start at the same point and finish at the same point yield the same ‘homomorphism’ via compositions along successive arrows. Commutativity of the whole diagram follows from commutativity of its triangular components. Study of commutative diagrams is popularly called ‘diagram chasing’, and provides a powerful tool for mathematical thought. Many properties of mathematical constructions may be represented by universal properties of diagrams. Consider the Cartesian product X Y of two sets, consisting × as usual of all ordered pairs x,y of elements x X and y Y . The projections h i ∈ ∈ 5 x,y x, x,y y of the product on its ‘axes’ X and Y are functions p : h i 7→ h i 7→ X Y X, q : X Y Y . Any function h : W X Y from a third set W × → × → → × is uniquely determined by its composites p h and q h.
Recommended publications
  • Representation Theory and Quantum Mechanics Tutorial a Little Lie Theory
    Representation theory and quantum mechanics tutorial A little Lie theory Justin Campbell July 6, 2017 1 Groups 1.1 The colloquial usage of the words \symmetry" and \symmetrical" is imprecise: we say, for example, that a regular pentagon is symmetrical, but what does that mean? In the mathematical parlance, a symmetry (or more technically automorphism) of the pentagon is a (distance- and angle-preserving) transformation which leaves it unchanged. It has ten such symmetries: 2π 4π 6π 8π rotations through 0, 5 , 5 , 5 , and 5 radians, as well as reflection over any of the five lines passing through a vertex and the center of the pentagon. These ten symmetries form a set D5, called the dihedral group of order 10. Any two elements of D5 can be composed to obtain a third. This operation of composition has some important formal properties, summarized as follows. Definition 1.1.1. A group is a set G together with an operation G × G ! G; denoted by (x; y) 7! xy, satisfying: (i) there exists e 2 G, called the identity, such that ex = xe = g for all x 2 G, (ii) any x 2 G has an inverse x−1 2 G satisfying xx−1 = x−1x = e, (iii) for any x; y; z 2 G the associativity law (xy)z = x(yz) holds. To any mathematical (geometric, algebraic, etc.) object one can attach its automorphism group consisting of structure-preserving invertible maps from the object to itself. For example, the automorphism group of a regular pentagon is the dihedral group D5.
    [Show full text]
  • The Unitary Representations of the Poincaré Group in Any Spacetime
    The unitary representations of the Poincar´e group in any spacetime dimension Xavier Bekaert a and Nicolas Boulanger b a Institut Denis Poisson, Unit´emixte de Recherche 7013, Universit´ede Tours, Universit´ed’Orl´eans, CNRS, Parc de Grandmont, 37200 Tours (France) [email protected] b Service de Physique de l’Univers, Champs et Gravitation Universit´ede Mons – UMONS, Place du Parc 20, 7000 Mons (Belgium) [email protected] An extensive group-theoretical treatment of linear relativistic field equa- tions on Minkowski spacetime of arbitrary dimension D > 2 is presented in these lecture notes. To start with, the one-to-one correspondence be- tween linear relativistic field equations and unitary representations of the isometry group is reviewed. In turn, the method of induced representa- tions reduces the problem of classifying the representations of the Poincar´e group ISO(D 1, 1) to the classification of the representations of the sta- − bility subgroups only. Therefore, an exhaustive treatment of the two most important classes of unitary irreducible representations, corresponding to massive and massless particles (the latter class decomposing in turn into the “helicity” and the “infinite-spin” representations) may be performed via the well-known representation theory of the orthogonal groups O(n) (with D 4 <n<D ). Finally, covariant field equations are given for each − unitary irreducible representation of the Poincar´egroup with non-negative arXiv:hep-th/0611263v2 13 Jun 2021 mass-squared. Tachyonic representations are also examined. All these steps are covered in many details and with examples. The present notes also include a self-contained review of the representation theory of the general linear and (in)homogeneous orthogonal groups in terms of Young diagrams.
    [Show full text]
  • Homotopy Theory and Circle Actions on Symplectic Manifolds
    HOMOTOPY AND GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 45 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1998 HOMOTOPY THEORY AND CIRCLE ACTIONS ON SYMPLECTIC MANIFOLDS JOHNOPREA Department of Mathematics, Cleveland State University Cleveland, Ohio 44115, U.S.A. E-mail: [email protected] Introduction. Traditionally, soft techniques of algebraic topology have found much use in the world of hard geometry. In recent years, in particular, the subject of symplectic topology (see [McS]) has arisen from important and interesting connections between sym- plectic geometry and algebraic topology. In this paper, we will consider one application of homotopical methods to symplectic geometry. Namely, we shall discuss some aspects of the homotopy theory of circle actions on symplectic manifolds. Because this paper is meant to be accessible to both geometers and topologists, we shall try to review relevant ideas in homotopy theory and symplectic geometry as we go along. We also present some new results (e.g. see Theorem 2.12 and x5) which extend the methods reviewed earlier. This paper then serves two roles: as an exposition and survey of the homotopical ap- proach to symplectic circle actions and as a first step to extending the approach beyond the symplectic world. 1. Review of symplectic geometry. A manifold M 2n is symplectic if it possesses a nondegenerate 2-form ! which is closed (i.e. d! = 0). The nondegeneracy condition is equivalent to saying that !n is a true volume form (i.e. nonzero at each point) on M. Furthermore, the nondegeneracy of ! sets up an isomorphism between 1-forms and vector fields on M by assigning to a vector field X the 1-form iX ! = !(X; −).
    [Show full text]
  • Group Theory
    Appendix A Group Theory This appendix is a survey of only those topics in group theory that are needed to understand the composition of symmetry transformations and its consequences for fundamental physics. It is intended to be self-contained and covers those topics that are needed to follow the main text. Although in the end this appendix became quite long, a thorough understanding of group theory is possible only by consulting the appropriate literature in addition to this appendix. In order that this book not become too lengthy, proofs of theorems were largely omitted; again I refer to other monographs. From its very title, the book by H. Georgi [211] is the most appropriate if particle physics is the primary focus of interest. The book by G. Costa and G. Fogli [102] is written in the same spirit. Both books also cover the necessary group theory for grand unification ideas. A very comprehensive but also rather dense treatment is given by [428]. Still a classic is [254]; it contains more about the treatment of dynamical symmetries in quantum mechanics. A.1 Basics A.1.1 Definitions: Algebraic Structures From the structureless notion of a set, one can successively generate more and more algebraic structures. Those that play a prominent role in physics are defined in the following. Group A group G is a set with elements gi and an operation ◦ (called group multiplication) with the properties that (i) the operation is closed: gi ◦ g j ∈ G, (ii) a neutral element g0 ∈ G exists such that gi ◦ g0 = g0 ◦ gi = gi , (iii) for every gi exists an −1 ∈ ◦ −1 = = −1 ◦ inverse element gi G such that gi gi g0 gi gi , (iv) the operation is associative: gi ◦ (g j ◦ gk) = (gi ◦ g j ) ◦ gk.
    [Show full text]
  • Unitary Group - Wikipedia
    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
    [Show full text]
  • Molecular Symmetry
    Molecular Symmetry Symmetry helps us understand molecular structure, some chemical properties, and characteristics of physical properties (spectroscopy) – used with group theory to predict vibrational spectra for the identification of molecular shape, and as a tool for understanding electronic structure and bonding. Symmetrical : implies the species possesses a number of indistinguishable configurations. 1 Group Theory : mathematical treatment of symmetry. symmetry operation – an operation performed on an object which leaves it in a configuration that is indistinguishable from, and superimposable on, the original configuration. symmetry elements – the points, lines, or planes to which a symmetry operation is carried out. Element Operation Symbol Identity Identity E Symmetry plane Reflection in the plane σ Inversion center Inversion of a point x,y,z to -x,-y,-z i Proper axis Rotation by (360/n)° Cn 1. Rotation by (360/n)° Improper axis S 2. Reflection in plane perpendicular to rotation axis n Proper axes of rotation (C n) Rotation with respect to a line (axis of rotation). •Cn is a rotation of (360/n)°. •C2 = 180° rotation, C 3 = 120° rotation, C 4 = 90° rotation, C 5 = 72° rotation, C 6 = 60° rotation… •Each rotation brings you to an indistinguishable state from the original. However, rotation by 90° about the same axis does not give back the identical molecule. XeF 4 is square planar. Therefore H 2O does NOT possess It has four different C 2 axes. a C 4 symmetry axis. A C 4 axis out of the page is called the principle axis because it has the largest n . By convention, the principle axis is in the z-direction 2 3 Reflection through a planes of symmetry (mirror plane) If reflection of all parts of a molecule through a plane produced an indistinguishable configuration, the symmetry element is called a mirror plane or plane of symmetry .
    [Show full text]
  • Two-Dimensional Rotational Kinematics Rigid Bodies
    Rigid Bodies A rigid body is an extended object in which the Two-Dimensional Rotational distance between any two points in the object is Kinematics constant in time. Springs or human bodies are non-rigid bodies. 8.01 W10D1 Rotation and Translation Recall: Translational Motion of of Rigid Body the Center of Mass Demonstration: Motion of a thrown baton • Total momentum of system of particles sys total pV= m cm • External force and acceleration of center of mass Translational motion: external force of gravity acts on center of mass sys totaldp totaldVcm total FAext==mm = cm Rotational Motion: object rotates about center of dt dt mass 1 Main Idea: Rotation of Rigid Two-Dimensional Rotation Body Torque produces angular acceleration about center of • Fixed axis rotation: mass Disc is rotating about axis τ total = I α passing through the cm cm cm center of the disc and is perpendicular to the I plane of the disc. cm is the moment of inertial about the center of mass • Plane of motion is fixed: α is the angular acceleration about center of mass cm For straight line motion, bicycle wheel rotates about fixed direction and center of mass is translating Rotational Kinematics Fixed Axis Rotation: Angular for Fixed Axis Rotation Velocity Angle variable θ A point like particle undergoing circular motion at a non-constant speed has SI unit: [rad] dθ ω ≡≡ω kkˆˆ (1)An angular velocity vector Angular velocity dt SI unit: −1 ⎣⎡rad⋅ s ⎦⎤ (2) an angular acceleration vector dθ Vector: ω ≡ Component dt dθ ω ≡ magnitude dt ω >+0, direction kˆ direction ω < 0, direction − kˆ 2 Fixed Axis Rotation: Angular Concept Question: Angular Acceleration Speed 2 ˆˆd θ Object A sits at the outer edge (rim) of a merry-go-round, and Angular acceleration: α ≡≡α kk2 object B sits halfway between the rim and the axis of rotation.
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • Characterized Subgroups of the Circle Group
    Characterized subgroups of the circle group Characterized subgroups of the circle group Anna Giordano Bruno (University of Udine) 31st Summer Conference on Topology and its Applications Leicester - August 2nd, 2016 (Topological Methods in Algebra and Analysis) Characterized subgroups of the circle group Introduction p-torsion and torsion subgroup Introduction Let G be an abelian group and p a prime. The p-torsion subgroup of G is n tp(G) = fx 2 G : p x = 0 for some n 2 Ng: The torsion subgroup of G is t(G) = fx 2 G : nx = 0 for some n 2 N+g: The circle group is T = R=Z written additively (T; +); for r 2 R, we denoter ¯ = r + Z 2 T. We consider on T the quotient topology of the topology of R and µ is the (unique) Haar measure on T. 1 tp(T) = Z(p ). t(T) = Q=Z. Characterized subgroups of the circle group Introduction Topologically p-torsion and topologically torsion subgroup Let now G be a topological abelian group. [Bracconier 1948, Vilenkin 1945, Robertson 1967, Armacost 1981]: The topologically p-torsion subgroup of G is n tp(G) = fx 2 G : p x ! 0g: The topologically torsion subgroup of G is G! = fx 2 G : n!x ! 0g: Clearly, tp(G) ⊆ tp(G) and t(G) ⊆ G!. [Armacost 1981]: 1 tp(T) = tp(T) = Z(p ); e¯ 2 T!, bute ¯ 62 t(T) = Q=Z. Problem: describe T!. Characterized subgroups of the circle group Introduction Topologically p-torsion and topologically torsion subgroup [Borel 1991; Dikranjan-Prodanov-Stoyanov 1990; D-Di Santo 2004]: + For every x 2 [0; 1) there exists a unique (cn)n 2 NN such that 1 X cn x = ; (n + 1)! n=1 cn < n + 1 for every n 2 N+ and cn < n for infinitely many n 2 N+.
    [Show full text]
  • LECTURE 12: LIE GROUPS and THEIR LIE ALGEBRAS 1. Lie
    LECTURE 12: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups Definition 1.1. A Lie group G is a smooth manifold equipped with a group structure so that the group multiplication µ : G × G ! G; (g1; g2) 7! g1 · g2 is a smooth map. Example. Here are some basic examples: • Rn, considered as a group under addition. • R∗ = R − f0g, considered as a group under multiplication. • S1, Considered as a group under multiplication. • Linear Lie groups GL(n; R), SL(n; R), O(n) etc. • If M and N are Lie groups, so is their product M × N. Remarks. (1) (Hilbert's 5th problem, [Gleason and Montgomery-Zippin, 1950's]) Any topological group whose underlying space is a topological manifold is a Lie group. (2) Not every smooth manifold admits a Lie group structure. For example, the only spheres that admit a Lie group structure are S0, S1 and S3; among all the compact 2 dimensional surfaces the only one that admits a Lie group structure is T 2 = S1 × S1. (3) Here are two simple topological constraints for a manifold to be a Lie group: • If G is a Lie group, then TG is a trivial bundle. n { Proof: We identify TeG = R . The vector bundle isomorphism is given by φ : G × TeG ! T G; φ(x; ξ) = (x; dLx(ξ)) • If G is a Lie group, then π1(G) is an abelian group. { Proof: Suppose α1, α2 2 π1(G). Define α : [0; 1] × [0; 1] ! G by α(t1; t2) = α1(t1) · α2(t2). Then along the bottom edge followed by the right edge we have the composition α1 ◦ α2, where ◦ is the product of loops in the fundamental group, while along the left edge followed by the top edge we get α2 ◦ α1.
    [Show full text]
  • 1.2 Rules for Translations
    1.2. Rules for Translations www.ck12.org 1.2 Rules for Translations Here you will learn the different notation used for translations. The figure below shows a pattern of a floor tile. Write the mapping rule for the translation of the two blue floor tiles. Watch This First watch this video to learn about writing rules for translations. MEDIA Click image to the left for more content. CK-12 FoundationChapter10RulesforTranslationsA Then watch this video to see some examples. MEDIA Click image to the left for more content. CK-12 FoundationChapter10RulesforTranslationsB 18 www.ck12.org Chapter 1. Unit 1: Transformations, Congruence and Similarity Guidance In geometry, a transformation is an operation that moves, flips, or changes a shape (called the preimage) to create a new shape (called the image). A translation is a type of transformation that moves each point in a figure the same distance in the same direction. Translations are often referred to as slides. You can describe a translation using words like "moved up 3 and over 5 to the left" or with notation. There are two types of notation to know. T x y 1. One notation looks like (3, 5). This notation tells you to add 3 to the values and add 5 to the values. 2. The second notation is a mapping rule of the form (x,y) → (x−7,y+5). This notation tells you that the x and y coordinates are translated to x − 7 and y + 5. The mapping rule notation is the most common. Example A Sarah describes a translation as point P moving from P(−2,2) to P(1,−1).
    [Show full text]
  • Solutions to Exercises for Mathematics 205A
    SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A | Part 6 Fall 2008 APPENDICES Appendix A : Topological groups (Munkres, Supplementary exercises following $ 22; see also course notes, Appendix D) Problems from Munkres, x 30, pp. 194 − 195 Munkres, x 26, pp. 170{172: 12, 13 Munkres, x 30, pp. 194{195: 18 Munkres, x 31, pp. 199{200: 8 Munkres, x 33, pp. 212{214: 10 Solutions for these problems will not be given. Additional exercises Notation. Let F be the real or complex numbers. Within the matrix group GL(n; F) there are certain subgroups of particular importance. One such subgroup is the special linear group SL(n; F) of all matrices of determinant 1. 0. Prove that the group SL(2; C) has no nontrivial proper normal subgroups except for the subgroup { Ig. [Hint: If N is a normal subgroup, show first that if A 2 N then N contains all matrices that are similar to A. Therefore the proof reduces to considering normal subgroups containing a Jordan form matrix of one of the following two types: α 0 " 1 ; 0 α−1 0 " Here α is a complex number not equal to 0 or 1 and " = 1. The idea is to show that if N contains one of these Jordan forms then it contains all such forms, and this is done by computing sufficiently many matrix products. Trial and error is a good way to approach this aspect of the problem.] SOLUTION. We shall follow the steps indicated in the hint. If N is a normal subgroup of SL(2; C) and A 2 N then N contains all matrices that are similar to A.
    [Show full text]