SL2(R) Dynamics and Harmonic Analysis

Total Page:16

File Type:pdf, Size:1020Kb

SL2(R) Dynamics and Harmonic Analysis SL2(R) Dynamics and Harmonic Analysis Livio Flaminio [email protected] Institut de Mathématiques Université de Lille Nantes, 2-7 juillet 2017 R { g 1 0 The largest normal subgroup of SL2( ) is its centre Z = I , I = [ 0 1 ]. Hence the quotient group PSL2(R) := SL2(R)={I g has trivial centre. Remarquable one-parameter subgroups n [ ] o n [ ] o n o cos θ − sin θ a 0 1 u K = ; A = −1 : a > 0 ; N = [ 0 1 ] ; sin θ cos θ θ2R 0 a u2R n [ ] o n o ? cosh θ sinh θ 1 0 A = sinh θ cosh θ ; N = [ v 1 ] ; θ2R v2R Introduction to SL2(R) Topology via remarkable actions The group SL2(R) and some subgroups Definition The group SL2(R) is the group of 2 × 2 real matrices of determinant 1: {[ ] } R a b 2 R − SL2( ) = c d : a; b; c; d ; ad bc = 1 : L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 2 33 Remarquable one-parameter subgroups n [ ] o n [ ] o n o cos θ − sin θ a 0 1 u K = ; A = −1 : a > 0 ; N = [ 0 1 ] ; sin θ cos θ θ2R 0 a u2R n [ ] o n o ? cosh θ sinh θ 1 0 A = sinh θ cosh θ ; N = [ v 1 ] ; θ2R v2R Introduction to SL2(R) Topology via remarkable actions The group SL2(R) and some subgroups Definition The group SL2(R) is the group of 2 × 2 real matrices of determinant 1: {[ ] } R a b 2 R − SL2( ) = c d : a; b; c; d ; ad bc = 1 : R { g 1 0 The largest normal subgroup of SL2( ) is its centre Z = I , I = [ 0 1 ]. Hence the quotient group PSL2(R) := SL2(R)={I g has trivial centre. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 2 33 Introduction to SL2(R) Topology via remarkable actions The group SL2(R) and some subgroups Definition The group SL2(R) is the group of 2 × 2 real matrices of determinant 1: {[ ] } R a b 2 R − SL2( ) = c d : a; b; c; d ; ad bc = 1 : R { g 1 0 The largest normal subgroup of SL2( ) is its centre Z = I , I = [ 0 1 ]. Hence the quotient group PSL2(R) := SL2(R)={I g has trivial centre. Remarquable one-parameter subgroups n [ ] o n [ ] o n o cos θ − sin θ a 0 1 u K = ; A = −1 : a > 0 ; N = [ 0 1 ] ; sin θ cos θ θ2R 0 a u2R n [ ] o n o ? cosh θ sinh θ 1 0 A = sinh θ cosh θ ; N = [ v 1 ] ; θ2R v2R L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 2 33 • not compact (e.g. since N ≈ R is properly embedded); • connected; • not simply connected: in fact π1(G) = Z; • a simple Lie group. Properties SL2(R) is Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 • not compact (e.g. since N ≈ R is properly embedded); • connected; • not simply connected: in fact π1(G) = Z; • a simple Lie group. Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 • connected; • not simply connected: in fact π1(G) = Z; • a simple Lie group. Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is • not compact (e.g. since N ≈ R is properly embedded); L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 • not simply connected: in fact π1(G) = Z; • a simple Lie group. Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is • not compact (e.g. since N ≈ R is properly embedded); • connected; L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 • a simple Lie group. Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is • not compact (e.g. since N ≈ R is properly embedded); • connected; • not simply connected: in fact π1(G) = Z; L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is • not compact (e.g. since N ≈ R is properly embedded); • connected; • not simply connected: in fact π1(G) = Z; • a simple Lie group. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) 4 The group SL2(R) as a sub-manifold of R inherits the differentiable structure and topology from R4. Properties SL2(R) is • not compact (e.g. since N ≈ R is properly embedded); • connected; • not simply connected: in fact π1(G) = Z; • a simple Lie group. Next we introduce some fundamental actions of SL2(R) which will be further exploited later on. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 3 33 Consequence As R2 n f0g and N are connected, G is connected. Remark (for the wine cellar) The linear action of G on R2 preserves the Lebesgue measure on R2 and induces a linear action on the full tensor algebra of R2. The orbits are: f0g and R2 n f0g. The stabiliser of the point (1; 0) is the group N. Hence we have 2 R n f0g = G:(1; 0) ≈ G= StabG [(1; 0)] = G=N: Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) Connectness G acts linearly on R2: [ ] a b c d :(x; y) = (ax + by; cx + dy) L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 4 33 Consequence As R2 n f0g and N are connected, G is connected. Remark (for the wine cellar) The linear action of G on R2 preserves the Lebesgue measure on R2 and induces a linear action on the full tensor algebra of R2. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) Connectness G acts linearly on R2: [ ] a b c d :(x; y) = (ax + by; cx + dy) The orbits are: f0g and R2 n f0g. The stabiliser of the point (1; 0) is the group N. Hence we have 2 R n f0g = G:(1; 0) ≈ G= StabG [(1; 0)] = G=N: L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 4 33 Remark (for the wine cellar) The linear action of G on R2 preserves the Lebesgue measure on R2 and induces a linear action on the full tensor algebra of R2. Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) Connectness G acts linearly on R2: [ ] a b c d :(x; y) = (ax + by; cx + dy) The orbits are: f0g and R2 n f0g. The stabiliser of the point (1; 0) is the group N. Hence we have 2 R n f0g = G:(1; 0) ≈ G= StabG [(1; 0)] = G=N: Consequence As R2 n f0g and N are connected, G is connected. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 4 33 Introduction to SL2(R) Topology via remarkable actions Topology of G = SL2(R) Connectness G acts linearly on R2: [ ] a b c d :(x; y) = (ax + by; cx + dy) The orbits are: f0g and R2 n f0g. The stabiliser of the point (1; 0) is the group N. Hence we have 2 R n f0g = G:(1; 0) ≈ G= StabG [(1; 0)] = G=N: Consequence As R2 n f0g and N are connected, G is connected. Remark (for the wine cellar) The linear action of G on R2 preserves the Lebesgue measure on R2 and induces a linear action on the full tensor algebra of R2. L. Flaminio (Université de Lille) SL2(R) Nantes, 2-7 juillet 2017 4 33 Consequence Since StabG [−I ] = K and since the sheet S is contractible from the fibration K ! G ! G=K ≈ S we get that K injects its π1 in G: π1(G) = π1(K) ≈ Z. Consequence Isomorphism PSL2(R) ≈ SO(1; 2)0.
Recommended publications
  • Quotient Groups §7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I
    Math 371 Lecture #33 x7.7 (Ed.2), 8.3 (Ed.2): Quotient Groups x7.8 (Ed.2), 8.4 (Ed.2): Quotient Groups and Homomorphisms, Part I Recall that to make the set of right cosets of a subgroup K in a group G into a group under the binary operation (or product) (Ka)(Kb) = K(ab) requires that K be a normal subgroup of G. For a normal subgroup N of a group G, we denote the set of right cosets of N in G by G=N (read G mod N). Theorem 8.12. For a normal subgroup N of a group G, the product (Na)(Nb) = N(ab) on G=N is well-defined. We saw the proof of this before. Theorem 8.13. For a normal subgroup N of a group G, we have (1) G=N is a group under the product (Na)(Nb) = N(ab), (2) when jGj < 1 that jG=Nj = jGj=jNj, and (3) when G is abelian, so is G=N. Proof. (1) We know that the product is well-defined. The identity element of G=N is Ne because for all a 2 G we have (Ne)(Na) = N(ae) = Na; (Na)(Ne) = N(ae) = Na: The inverse of Na is Na−1 because (Na)(Na−1) = N(aa−1) = Ne; (Na−1)(Na) = N(a−1a) = Ne: Associativity of the product in G=N follows from the associativity in G: [(Na)(Nb)](Nc) = (N(ab))(Nc) = N((ab)c) = N(a(bc)) = (N(a))(N(bc)) = (N(a))[(N(b))(N(c))]: This establishes G=N as a group.
    [Show full text]
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Functional Analysis 194, 347–409 (2002) doi:10.1006/jfan.2002.3942 Lie Group Structures on Quotient Groups and Universal Complexifications for Infinite-Dimensional Lie Groups Helge Glo¨ ckner1 Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803-4918 E-mail: [email protected] Communicated by L. Gross Received September 4, 2001; revised November 15, 2001; accepted December 16, 2001 We characterize the existence of Lie group structures on quotient groups and the existence of universal complexifications for the class of Baker–Campbell–Hausdorff (BCH–) Lie groups, which subsumes all Banach–Lie groups and ‘‘linear’’ direct limit r r Lie groups, as well as the mapping groups CK ðM; GÞ :¼fg 2 C ðM; GÞ : gjM=K ¼ 1g; for every BCH–Lie group G; second countable finite-dimensional smooth manifold M; compact subset SK of M; and 04r41: Also the corresponding test function r r # groups D ðM; GÞ¼ K CK ðM; GÞ are BCH–Lie groups. 2002 Elsevier Science (USA) 0. INTRODUCTION It is a well-known fact in the theory of Banach–Lie groups that the topological quotient group G=N of a real Banach–Lie group G by a closed normal Lie subgroup N is a Banach–Lie group provided LðNÞ is complemented in LðGÞ as a topological vector space [7, 30]. Only recently, it was observed that the hypothesis that LðNÞ be complemented can be omitted [17, Theorem II.2]. This strengthened result is then used in [17] to characterize those real Banach–Lie groups which possess a universal complexification in the category of complex Banach–Lie groups.
    [Show full text]
  • The Category of Generalized Lie Groups 283
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 199, 1974 THE CATEGORYOF GENERALIZEDLIE GROUPS BY SU-SHING CHEN AND RICHARD W. YOH ABSTRACT. We consider the category r of generalized Lie groups. A generalized Lie group is a topological group G such that the set LG = Hom(R, G) of continuous homomorphisms from the reals R into G has certain Lie algebra and locally convex topological vector space structures. The full subcategory rr of f-bounded (r positive real number) generalized Lie groups is shown to be left complete. The class of locally compact groups is contained in T. Various prop- erties of generalized Lie groups G and their locally convex topological Lie algebras LG = Horn (R, G) are investigated. 1. Introduction. The category FT of finite dimensional Lie groups does not admit arbitrary Cartesian products. Therefore we shall enlarge the category £r to the category T of generalized Lie groups introduced by K. Hofmann in [ll]^1) The category T contains well-known subcategories, such as the category of compact groups [11], the category of locally compact groups (see §5) and the category of finite dimensional De groups. The Lie algebra LG = Horn (R, G) of a generalized Lie group G is a vital and important device just as in the case of finite dimensional Lie groups. Thus we consider the category SI of locally convex topological Lie algebras (§2). The full subcategory Í2r of /--bounded locally convex topological Lie algebras of £2 is roughly speaking the family of all objects on whose open semiballs of radius r the Campbell-Hausdorff formula holds.
    [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]
  • Material on Algebraic and Lie Groups
    2 Lie groups and algebraic groups. 2.1 Basic Definitions. In this subsection we will introduce the class of groups to be studied. We first recall that a Lie group is a group that is also a differentiable manifold 1 and multiplication (x, y xy) and inverse (x x ) are C1 maps. An algebraic group is a group7! that is also an algebraic7! variety such that multi- plication and inverse are morphisms. Before we can introduce our main characters we first consider GL(n, C) as an affi ne algebraic group. Here Mn(C) denotes the space of n n matrices and GL(n, C) = g Mn(C) det(g) =) . Now Mn(C) is given the structure nf2 2 j 6 g of affi ne space C with the coordinates xij for X = [xij] . This implies that GL(n, C) is Z-open and as a variety is isomorphic with the affi ne variety 1 Mn(C) det . This implies that (GL(n, C)) = C[xij, det ]. f g O Lemma 1 If G is an algebraic group over an algebraically closed field, F , then every point in G is smooth. Proof. Let Lg : G G be given by Lgx = gx. Then Lg is an isomorphism ! 1 1 of G as an algebraic variety (Lg = Lg ). Since isomorphisms preserve the set of smooth points we see that if x G is smooth so is every element of Gx = G. 2 Proposition 2 If G is an algebraic group over an algebraically closed field F then the Z-connected components Proof.
    [Show full text]
  • Orders on Computable Torsion-Free Abelian Groups
    Orders on Computable Torsion-Free Abelian Groups Asher M. Kach (Joint Work with Karen Lange and Reed Solomon) University of Chicago 12th Asian Logic Conference Victoria University of Wellington December 2011 Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 1 / 24 Outline 1 Classical Algebra Background 2 Computing a Basis 3 Computing an Order With A Basis Without A Basis 4 Open Questions Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 2 / 24 Torsion-Free Abelian Groups Remark Disclaimer: Hereout, the word group will always refer to a countable torsion-free abelian group. The words computable group will always refer to a (fixed) computable presentation. Definition A group G = (G : +; 0) is torsion-free if non-zero multiples of non-zero elements are non-zero, i.e., if (8x 2 G)(8n 2 !)[x 6= 0 ^ n 6= 0 =) nx 6= 0] : Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 3 / 24 Rank Theorem A countable abelian group is torsion-free if and only if it is a subgroup ! of Q . Definition The rank of a countable torsion-free abelian group G is the least κ cardinal κ such that G is a subgroup of Q . Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 4 / 24 Example The subgroup H of Q ⊕ Q (viewed as having generators b1 and b2) b1+b2 generated by b1, b2, and 2 b1+b2 So elements of H look like β1b1 + β2b2 + α 2 for β1; β2; α 2 Z.
    [Show full text]
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
    [Show full text]
  • Generalized Quaternions
    GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q8 is one of the two non-abelian groups of size 8 (up to isomor- phism). The other one, D4, can be constructed as a semi-direct product: ∼ ∼ × ∼ D4 = Aff(Z=(4)) = Z=(4) o (Z=(4)) = Z=(4) o Z=(2); where the elements of Z=(2) act on Z=(4) as the identity and negation. While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section2 and then jazz up the construction in Section3 to make an infinite family of similar groups with Q8 as the simplest member. In Section4 we will compare this family with the dihedral groups and see how it fits into a bigger picture. 2. The quaternion group from a semi-direct product The group Q8 is built out of its subgroups hii and hji with the overlapping condition i2 = j2 = −1 and the conjugacy relation jij−1 = −i = i−1. More generally, for odd a we have jaij−a = −i = i−1, while for even a we have jaij−a = i. We can combine these into the single formula a (2.1) jaij−a = i(−1) for all a 2 Z. These relations suggest the following way to construct the group Q8. Theorem 2.1. Let H = Z=(4) o Z=(4), where (a; b)(c; d) = (a + (−1)bc; b + d); ∼ The element (2; 2) in H has order 2, lies in the center, and H=h(2; 2)i = Q8.
    [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]
  • 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]
  • The Classical Groups and Domains 1. the Disk, Upper Half-Plane, SL 2(R
    (June 8, 2018) The Classical Groups and Domains Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ The complex unit disk D = fz 2 C : jzj < 1g has four families of generalizations to bounded open subsets in Cn with groups acting transitively upon them. Such domains, defined more precisely below, are bounded symmetric domains. First, we recall some standard facts about the unit disk, the upper half-plane, the ambient complex projective line, and corresponding groups acting by linear fractional (M¨obius)transformations. Happily, many of the higher- dimensional bounded symmetric domains behave in a manner that is a simple extension of this simplest case. 1. The disk, upper half-plane, SL2(R), and U(1; 1) 2. Classical groups over C and over R 3. The four families of self-adjoint cones 4. The four families of classical domains 5. Harish-Chandra's and Borel's realization of domains 1. The disk, upper half-plane, SL2(R), and U(1; 1) The group a b GL ( ) = f : a; b; c; d 2 ; ad − bc 6= 0g 2 C c d C acts on the extended complex plane C [ 1 by linear fractional transformations a b az + b (z) = c d cz + d with the traditional natural convention about arithmetic with 1. But we can be more precise, in a form helpful for higher-dimensional cases: introduce homogeneous coordinates for the complex projective line P1, by defining P1 to be a set of cosets u 1 = f : not both u; v are 0g= × = 2 − f0g = × P v C C C where C× acts by scalar multiplication.
    [Show full text]