Midterm Exam Problem 1. Let M Be a Smooth Manifold. Suppose V and W Are Smooth N I ∂ Nector fields on M and Ω Is a Smooth One-Form on M

Total Page:16

File Type:pdf, Size:1020Kb

Midterm Exam Problem 1. Let M Be a Smooth Manifold. Suppose V and W Are Smooth N I ∂ Nector fields on M and Ω Is a Smooth One-Form on M Midterm Exam Problem 1. Let M be a smooth manifold. Suppose V and W are smooth n i ∂ nector fields on M and ω is a smooth one-form on M. Let V = Pi=1 V ∂xi and n i ∂ n i W = Pi=1 W ∂xi , and ω = Pi=1 ωidx be the coordinate expressions for V , W and ω in terms of some smooth local coordinates (xi) for M. For a smooth function f ∈ C∞(M), we define (*) LV f = Vf. (i) Show that LV W =[V,W] has the coordinate expression n ∂Wj ∂V j ∂ L W = X (V i − W i ) . V ∂xi ∂xi ∂xj i,j=1 (ii) The one-form LV ω is defined by the product rule LV (ω(W )) = (LV ω)(W )+ω(LV W ), for all smooth vector fields W, in which ω(W ) is simply a smooth function and LV (ω(W )) is defined by (*). Deduce that LV ω has the coordinate expression n ∂ω ∂V i L ω = X (V i j + ω )dxj . V ∂xi i ∂xj i,j=1 k (iii) Let D be a connection on M with the Christoffel symbol Γij . Define the 1-form DV W by the product rule DV (ω(W )) = (DV ω)(W )+ω(DV W ), for all smooth vector fields W. Show that the coordinate expression for DV W is n i i j k DV ω = X(V ∂iωk − V ωjΓik)dx . j=1 . Problem 2. Let M be a smooth manifold. (1) Show that the map L :Γ(TM) × Γ(TM) → Γ(TM), with (X, Y ) 7→ LX Y (the Lie derivative), is not a connection. (2) Show that there is a vector field on R2 that vanishes along the x1-axis, but whose ∂ 1 Lie derivative with respect ∂x1 does not vanish on the x -axis. Problem 3. Prove that the Lie algebra of any abelian Lie group is abelian. Typeset by AMS-TEX 1 2 Problem 4. Notice the following Definition. A vector field W is said to be invariant under a flow θ if (θt)∗Wp = Wθt(p) for all (t, p) in the domain of θ. Let V and W be smooth vector fields on M, with flows θ and ψ, respectively. Show that the following are equivalent: (1) [V,W]=0. (2) LV W =0. (3) LW V =0. (4) W is invariant under the flow of V . (5) V is invariant under the flow of W . (6) θt ◦ ψs = ψs ◦ θt whenever either side is defined. ⇒ (Hint: Show (2) (4) by considering X(t)=(θ−t)∗(Wθt(p)) and deriving that 0 d X (t0)=(θ−t )∗ (θ−s)∗Wθ (θ (p)) =(θ−t )∗(LV W ), making the change of 0 ds s t0 0 s=0 variables t = t0 + s.) Problem 5. Let V1, ··· ,Vk be smooth independent vector fields on an open subset O of a smooth manifold M. Choose a smooth chart (U, (xi)) centered at p. By rearranging the coordinates if necessary, we may assume that the vectors ∂ ∂ (V1 , ··· ,Vk , , ) p p ∂xk+1 ∂xn p p span TpM. Let θi denote the flow of Vi for i =1, ··· ,k. Then there exist ε>0 and a neighborhood W of p such that the composition (θk)tk ◦ (θk−1)tk−1 ◦···◦(θ1)t1 is defined on W and maps W into U whenever |t1|, ···|tk| <ε. Let S = {(uk+1, ··· ,un):(0, ··· , 0,uk+1, ··· ,un) ∈ W }, and define ψ :(−ε, ε)k × S → U by 1 k k+1 n k+1 n ψ(u , ··· ,u ,u , ··· ,u )=(θk)uk ◦···◦(θ1)u1 (0, ··· , 0,u , ··· ,u ). ≤ ≤ ∂ ··· (a) Suppose that [Vi,Vj ]=0for1 i, j k. Show that ψ∗ ∂ui = Vi, for i =1, ,k. (Hint: Use (6) in Problem 4). ∂ ∂ (b) Observe that ψ∗ i = i for i = k +1, ··· ,n. ∂u 0 ∂x p Use this, (1) and the inverse function theorem to show that ψ is a diffeomorphism in a neighborhood of 0 if [Vi,Vj ] = 0 for 1 ≤ i, j ≤ k. (c) Show that the following are equivalent: (1) [Vi,Vj ] ≡ 0, ∀1 ≤ i, j ≤ k,inO. (2) There exist smooth coordinates (u1, ··· ,un) in a neighborhood of each point O ≡ ∂ ··· of such that Vi ∂ui , i =1, ,k. 3 Problem 6. Let D0 and D1 be two connections on a smooth manifold M. 2 (a) Show that the difference between them defines a 1-tensor field A by 1 0 A(X, Y )=DX Y − DX Y, for X, Y ∈ Γ(TM), called the difference tensor. Thus, if D0 is any linear connection on M, the set of all connections is precisely 2 {D0 + A : A is a smooth -tensor}. 1 (b) Show that D0 and D1 determine the same geodesics iff their difference tensor is antisymmetric; i.e. A(X, Y )=−A(Y,X), for X, Y ∈ Γ(TM). (c) Show that D0 and D1 have the same torsion tensor iff their difference tensor are symmetric; i.e. A(X, Y )=A(Y,X), for X, Y ∈ Γ(TM). Problem 7. For any fixed R>0, the following Riemannian manifolds are all mutually isometric. n (1) Hyperbolic Model HR is the “upper sheet” ({τ>0}) of the two-sheeted hyperboloid in Rn+1 defined in coordinates (ξ1, ··· ,ξn,τ) by the equation 2 2 2 1 ∗ n+1 n+1 τ −|ξ| = R , with the metric hR = ı m, where ı : HR ,→ R is inclusion, and m is the Minkowski metric on Rn+1. n n (2) Poincar´eModel BR is the ball of radius R in R , with the metric given in coordinates (u1, ··· ,un)by (du1)2 + ···+(dun)2 h2 =4R4 . R (R2 −|u|2)2 n n (3) Poincar e Half-space Model UR is the upper half-space in R defined in coordinates (x1, ··· ,xn,y)by{y>0}, with the metric (dx1)2 + ···+(dxn−1)2 + dy2 h3 = R2 . R y2 To construct an isometry between the two metrics given in (2) and (3), we first construct an explicit diffeomorphism n n κ : BR → UR. Writing the coordinates on the ball as (u1, ··· ,un−1,v)=(u, v), κ can be written as 2R2u R2 −|u|2 − v2 κ(u, v)=(x, y)= ,R . |u|2 +(v − R)2 |u|2 +(v − R)2 It is straightforward to check that its inverse is 2R2x |x|2 + |y|2 − R2 κ−1(x, y)=(u, v)= ,R . |x|2 +(y + R)2 |x|2 +(y + R)2 Hence κ is a diffeomorphism, called the generalized Cayley transform. ∗ 3 2 Sow that κ hR = hR. 4 Problem 8. Let M(n, R) denote the vector space of n × n matrices with real entries. For a matrix A ∈ M(n, R), let AT be its transpose and let O(n)={A ∈ GL(n, C),AT A =1}, the orthogonal group. SL(n)={A ∈ GL(n, C),AT A =1}, the special linear group. SO(n)={A ∈ O(n) : det A =1}, the special oethogonal group. (1) Let S(n, R) denote the set of symmetric n × n matrices. Define Φ : GL(n, R) → S(n, R)by Φ(A)=AT A. Let A ∈ O(n) be arbitrary. To compute the pushforward Φ∗ : TAGL(n, R) → TΦ(A)S(n, R), we choose arbitrarily n × n matrix B and consider the curve γ(t)=A + tB. 0 0 T T (i) Show that Φ∗B =Φ∗γ (0) = (Φ ◦ γ) (0) = B A + A B. (ii) Show that the identity matrix In is a regular value of Φ; i.e. show that Φ∗ : TAGL(n, R) → TΦ(A)S(n, R) is surjective for each A ∈ O(n). −1 (iii) Show that O(n)=Φ (In) is an embedded submanifold of GL(n, R). (2) Let det : GL(n, R) → R \{0} denote the determinant function. i (i) Using the matrix entries (Xj ) as global coordinates on GL(n, R), show that ∂ −1 i i (det X) = (det X)(X )j . ∂Xj (Hint: Expand det X by minors along the ith column and use Cramer’s rule.) (ii) Show that the differential of the determinant function is −1 d(det)X (B) = (det X)tr(X B) ∼ i for X ∈ GL(n, R) and B ∈ TX GL(n, R) = M(n, R), where trX = Pi Xi is the trace of X. (iii) Show that det : GL(n, R) → R \{0} is a submersion. (Hint: d(det)AA =6 0 for each A ∈ GL(n, R).) (iv) Show that SL(n, R) is an embedded submanifold of GL(n, R). (v) Show that Lie(SL(n, R)) =∼ {A ∈ M(n, R), trA =0}. (3) (i) Show that SO(n, R) is an embedded Lie submanifold of GL(n, R). (ii) Show that Lie(SO(n)) =∼ Lie(O(n)) ∩ Lie(SL)(n, R). 5 Problem 9. Let M(n, C) be the vector space of all the n×n matrices of complex entries. Let GL(n, C) is the Lie group of all complex n×n matrices of nonvanishing determinant. Let A∗ = AT be the conjugate transpose of A and U(n)={A ∈ GL(n, C),A∗A =1}, the unitary group, SU(n)={A ∈ U(n) : det A =1}, the special unitary group, SL(n, C)={A ∈ GL(n, C) : det A =1}, the complex special linear group. (1) Show that Lie(U(n)) =∼{A ∈ M(n, C): A∗ + A =0}, Lie(SL(n, C)) =∼{A ∈ M(n, C), trA =0}, Lie(SU(n)) =∼Lie(U(n)) ∩ Lie(SL)(n, C). (2) (i) Show that the following matrices are a basis for Te of Lie(SU(2)): 1 0 i 1 0 −1 1 i 0 J = ,J= ,J= .
Recommended publications
  • Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds
    Low-dimensional representations of matrix groups and group actions on CAT(0) spaces and manifolds Shengkui Ye National University of Singapore January 8, 2018 Abstract We study low-dimensional representations of matrix groups over gen- eral rings, by considering group actions on CAT(0) spaces, spheres and acyclic manifolds. 1 Introduction Low-dimensional representations are studied by many authors, such as Gural- nick and Tiep [24] (for matrix groups over fields), Potapchik and Rapinchuk [30] (for automorphism group of free group), Dokovi´cand Platonov [18] (for Aut(F2)), Weinberger [35] (for SLn(Z)) and so on. In this article, we study low-dimensional representations of matrix groups over general rings. Let R be an associative ring with identity and En(R) (n ≥ 3) the group generated by ele- mentary matrices (cf. Section 3.1). As motivation, we can consider the following problem. Problem 1. For n ≥ 3, is there any nontrivial group homomorphism En(R) → En−1(R)? arXiv:1207.6747v1 [math.GT] 29 Jul 2012 Although this is a purely algebraic problem, in general it seems hard to give an answer in an algebraic way. In this article, we try to answer Prob- lem 1 negatively from the point of view of geometric group theory. The idea is to find a good geometric object on which En−1(R) acts naturally and non- trivially while En(R) can only act in a special way. We study matrix group actions on CAT(0) spaces, spheres and acyclic manifolds. We prove that for low-dimensional CAT(0) spaces, a matrix group action always has a global fixed point (cf.
    [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]
  • 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]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]
  • 10 Group Theory
    10 Group theory 10.1 What is a group? A group G is a set of elements f, g, h, ... and an operation called multipli- cation such that for all elements f,g, and h in the group G: 1. The product fg is in the group G (closure); 2. f(gh)=(fg)h (associativity); 3. there is an identity element e in the group G such that ge = eg = g; 1 1 1 4. every g in G has an inverse g− in G such that gg− = g− g = e. Physical transformations naturally form groups. The elements of a group might be all physical transformations on a given set of objects that leave invariant a chosen property of the set of objects. For instance, the objects might be the points (x, y) in a plane. The chosen property could be their distances x2 + y2 from the origin. The physical transformations that leave unchanged these distances are the rotations about the origin p x cos ✓ sin ✓ x 0 = . (10.1) y sin ✓ cos ✓ y ✓ 0◆ ✓− ◆✓ ◆ These rotations form the special orthogonal group in 2 dimensions, SO(2). More generally, suppose the transformations T,T0,T00,... change a set of objects in ways that leave invariant a chosen property property of the objects. Suppose the product T 0 T of the transformations T and T 0 represents the action of T followed by the action of T 0 on the objects. Since both T and T 0 leave the chosen property unchanged, so will their product T 0 T . Thus the closure condition is satisfied.
    [Show full text]
  • Mixed States from Diffeomorphism Anomalies Arxiv:1109.5290V1
    SU-4252-919 IMSc/2011/9/10 Quantum Gravity: Mixed States from Diffeomorphism Anomalies A. P. Balachandran∗ Department of Physics, Syracuse University, Syracuse, NY 13244-1130, USA and International Institute of Physics (IIP-UFRN) Av. Odilon Gomes de Lima 1722, 59078-400 Natal, Brazil Amilcar R. de Queirozy Instituto de Fisica, Universidade de Brasilia, Caixa Postal 04455, 70919-970, Brasilia, DF, Brazil October 30, 2018 Abstract In a previous paper, we discussed simple examples like particle on a circle and molecules to argue that mixed states can arise from anoma- lous symmetries. This idea was applied to the breakdown (anomaly) of color SU(3) in the presence of non-abelian monopoles. Such mixed states create entropy as well. arXiv:1109.5290v1 [hep-th] 24 Sep 2011 In this article, we extend these ideas to the topological geons of Friedman and Sorkin in quantum gravity. The \large diffeos” or map- ping class groups can become anomalous in their quantum theory as we show. One way to eliminate these anomalies is to use mixed states, thereby creating entropy. These ideas may have something to do with black hole entropy as we speculate. ∗[email protected] [email protected] 1 1 Introduction Diffeomorphisms of space-time play the role of gauge transformations in grav- itational theories. Just as gauge invariance is basic in gauge theories, so too is diffeomorphism (diffeo) invariance in gravity theories. Diffeos can become anomalous on quantization of gravity models. If that happens, these models cannot serve as descriptions of quantum gravitating systems. There have been several investigations of diffeo anomalies in models of quantum gravity with matter in the past.
    [Show full text]
  • Area-Preserving Diffeomorphisms of the Torus Whose Rotation Sets Have
    Area-preserving diffeomorphisms of the torus whose rotation sets have non-empty interior Salvador Addas-Zanata Instituto de Matem´atica e Estat´ıstica Universidade de S˜ao Paulo Rua do Mat˜ao 1010, Cidade Universit´aria, 05508-090 S˜ao Paulo, SP, Brazil Abstract ǫ In this paper we consider C1+ area-preserving diffeomorphisms of the torus f, either homotopic to the identity or to Dehn twists. We sup- e pose that f has a lift f to the plane such that its rotation set has in- terior and prove, among other things that if zero is an interior point of e e 2 the rotation set, then there exists a hyperbolic f-periodic point Q∈ IR such that W u(Qe) intersects W s(Qe +(a,b)) for all integers (a,b), which u e implies that W (Q) is invariant under integer translations. Moreover, u e s e e u e W (Q) = W (Q) and f restricted to W (Q) is invariant and topologi- u e cally mixing. Each connected component of the complement of W (Q) is a disk with diameter uniformly bounded from above. If f is transitive, u e 2 e then W (Q) =IR and f is topologically mixing in the whole plane. Key words: pseudo-Anosov maps, Pesin theory, periodic disks e-mail: [email protected] 2010 Mathematics Subject Classification: 37E30, 37E45, 37C25, 37C29, 37D25 The author is partially supported by CNPq, grant: 304803/06-5 1 Introduction and main results One of the most well understood chapters of dynamics of surface homeomor- phisms is the case of the torus.
    [Show full text]
  • Right-Angled Artin Groups in the C Diffeomorphism Group of the Real Line
    Right-angled Artin groups in the C∞ diffeomorphism group of the real line HYUNGRYUL BAIK, SANG-HYUN KIM, AND THOMAS KOBERDA Abstract. We prove that every right-angled Artin group embeds into the C∞ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG ∞ group, embeds into the C diffeomorphism group of the real line. 1. Introduction The right-angled Artin group on a finite simplicial graph Γ is the following group presentation: A(Γ) = hV (Γ) | [vi, vj] = 1 if and only if {vi, vj}∈ E(Γ)i. Here, V (Γ) and E(Γ) denote the vertex set and the edge set of Γ, respec- tively. ∞ For a smooth oriented manifold X, we let Diff+ (X) denote the group of orientation preserving C∞ diffeomorphisms on X. A group G is said to embed into another group H if there is an injective group homormophism G → H. Our main result is the following. ∞ R Theorem 1. Every right-angled Artin group embeds into Diff+ ( ). Recall that a finitely generated group G is a limit group (or a fully resid- ually free group) if for each finite set F ⊂ G, there exists a homomorphism φF from G to a nonabelian free group such that φF is an injection when restricted to F . The class of limit groups fits into a larger class of groups, which we call residually RAAG groups. A group G is in this class if for each arXiv:1404.5559v4 [math.GT] 16 Feb 2015 1 6= g ∈ G, there exists a graph Γg and a homomorphism φg : G → A(Γg) such that φg(g) 6= 1.
    [Show full text]
  • Differential Topology: Exercise Sheet 3
    Prof. Dr. M. Wolf WS 2018/19 M. Heinze Sheet 3 Differential Topology: Exercise Sheet 3 Exercises (for Nov. 21th and 22th) 3.1 Smooth maps Prove the following: (a) A map f : M ! N between smooth manifolds (M; A); (N; B) is smooth if and only if for all x 2 M there are pairs (U; φ) 2 A; (V; ) 2 B such that x 2 U, f(U) ⊂ V and ◦ f ◦ φ−1 : φ(U) ! (V ) is smooth. (b) Compositions of smooth maps between subsets of smooth manifolds are smooth. Solution: (a) As the charts of a smooth structure cover the manifold the above property is certainly necessary for smoothness of f : M ! N. To show that it is also sufficient, consider two arbitrary charts U;~ φ~ 2 A and V;~ ~ 2 B. We need to prove that the map ~ ◦ f ◦ φ~−1 : φ~(U~) ! ~(V~ ) is smooth. Therefore consider an arbitrary y 2 φ~(U~) such that there is some x 2 M such that x = φ~−1(y). By assumption there are charts (U; φ) 2 A; (V; ) 2 B such that x 2 U, −1 f(U) ⊂ V and ◦ f ◦ φ : φ(U) ! (V ) is smooth. Now we choose U0;V0 such ~ ~ that x 2 U0 ⊂ U \ U and f(x) 2 V0 ⊂ V \ V and therefore we can write ~ ~−1 ~ −1 −1 ~−1 ◦ f ◦ φ j = ◦ ◦ ◦ f ◦ φ ◦ φ ◦ φ : (1) φ~(U0) As a composition of smooth maps, we showed that ~ ◦ f ◦ φ~−1j is smooth. As φ~(U0) x 2 M was chosen arbitrarily we proved that ~ ◦ f ◦ φ~−1 is a smooth map.
    [Show full text]
  • Matrix Lie Groups and Their Lie Algebras
    Matrix Lie groups and their Lie algebras Alen Alexanderian∗ Abstract We discuss matrix Lie groups and their corresponding Lie algebras. Some common examples are provided for purpose of illustration. 1 Introduction The goal of these brief note is to provide a quick introduction to matrix Lie groups which are a special class of abstract Lie groups. Study of matrix Lie groups is a fruitful endeavor which allows one an entry to theory of Lie groups without requiring knowl- edge of differential topology. After all, most interesting Lie groups turn out to be matrix groups anyway. An abstract Lie group is defined to be a group which is also a smooth manifold, where the group operations of multiplication and inversion are also smooth. We provide a much simple definition for a matrix Lie group in Section 4. Showing that a matrix Lie group is in fact a Lie group is discussed in standard texts such as [2]. We also discuss Lie algebras [1], and the computation of the Lie algebra of a Lie group in Section 5. We will compute the Lie algebras of several well known Lie groups in that section for the purpose of illustration. 2 Notation Let V be a vector space. We denote by gl(V) the space of all linear transformations on V. If V is a finite-dimensional vector space we may put an arbitrary basis on V and identify elements of gl(V) with their matrix representation. The following define various classes of matrices on Rn: ∗The University of Texas at Austin, USA. E-mail: [email protected] Last revised: July 12, 2013 Matrix Lie groups gl(n) : the space of n
    [Show full text]
  • Classification of Partially Hyperbolic Diffeomorphisms Under Some Rigid
    Classification of partially hyperbolic diffeomorphisms under some rigid conditions Pablo D. Carrasco ∗1, Enrique Pujals y2, and Federico Rodriguez-Hertz z3 1ICEx-UFMG, Avda. Presidente Antonio Carlos 6627, Belo Horizonte-MG, BR31270-90 2CUNY Graduate Center, 365 Fifth Avenue, Room 4208, New York, NY10016 3Penn State, 227 McAllister Building, University Park, State College, PA16802 June 30, 2020 Abstract Consider a three dimensional partially hyperbolic diffeomorphism. It is proved that under some rigid hypothesis on the tangent bundle dynamics, the map is (modulo finite covers and iterates) either an Anosov diffeomorphism, a (gener- alized) skew-product or the time-one map of an Anosov flow, thus recovering a well known classification conjecture of the second author to this restricted setting. 1 Introduction and Main Results Let M be a manifold. One of the central tasks in global analysis is to understand the structure of Diffr(M), the group of diffeomorphisms of M. This is of course a very com- plicated matter, so to be able to make progress it is necessary to impose some reduc- tions. Typically, as we do in this article, the reduction consists of studying meaningful subsets in Diffr(M), and try to classify or characterize elements on them. We will consider partially hyperbolic diffeomorphisms acting on three manifolds. We choose to do so due to their flexibility (linking naturally algebraic, geometric and dynamical aspects), and because of the large amount of activity that this particular research topic has nowadays. Let us spell the precise definition that we adopt here, and refer the reader to [CRHRHU17, HP16] for recent surveys.
    [Show full text]