DOCSLIB.ORG

Riemannian Geometry – Lecture 17

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Riemannian Geometry – Lecture 17 Riemannian Geometry – Lecture 17 Lie Groups Dr. Emma Carberry September 21, 2015 Lie groups Definition 17.1 A Lie group is a manifold which is also a group and is such that the group operations of 1 group multiplication G × G ! G :(g; h) 7! gh and 2 taking inverses G × G : g 7! g−1 are both smooth. Example 17.2 Rn is a Lie group under addition. Lie groups Let Mn(R) denote the space of n × n matrices with real entries. Example 17.3 The general linear group GL(n; R) = fA 2 Mn(R) j det A 6= 0g 2 is an open subspace of Rn and hence a manifold of dimension n2. It is easy to verify that the group operations (g; h) 7! gh and g 7! g−1 are smooth. More intrinsically, GL(n; R) is the space of invertible linear transformations Rn ! Rn. Example 17.4 The positive general linear group + GL (n; R) = fA 2 Mn(R) j det A > 0g is a Lie subgroup (i.e. a subgroup and a submanifold) of the general linear group and has the same dimension n2 since it is an open subset. Exercise 17.5 + GL (n; R) is the group of linear transformations Rn ! Rn which preserve orientation. Recall: Definition 17.6 An orientation of an n-dimensional vector space V is a choice of one of the two possible equivalence classes of ordered basis for V under the equivalence relation ∼ defined by: (X1;:::; Xn) ∼ (Y1;:::; Yn) for ordered bases (X1;:::; Xn) and (Y1;:::; Yn) of V if the n × n matrix A defined by (Y1;:::; Yn) = (X1;:::; Xn)A has positive determinant. Example 17.7 The set of symmetric matrices t Sym(n) = fA 2 Mn(R) j A = Ag is not a Lie group under multiplication since it contains the zero matrix, and so is not a group. It is however a manifold since taking the diagonal and upper triangular entries defines a global diffeomorphism to Rk , where n(n + 1) k = 1 + 2 + ··· + n = : 2 Exercise 17.8 A matrix is symmetric if and only if n hAx; yi = hx; Ayi for all x; y 2 R : Example 17.9 The orthogonal group is defined by t O(n) = fG 2 Mn(R) j AA = Ig: Note that this forces the determinant of A to be either 1 or −1. In fact the group O(n) consists of two connected components. Exercise 17.10 Prove that O(n) is the group of linear transformations Rn ! Rn which preserve the Euclidean inner product in the sense that n A 2 O(n) , hAx; Ayi = hx; yi for all x; y 2 R : Example 17.11 Consider the special orthogonal group t SO(n) = fA 2 Mn(R) j det A = 1 and AA = Ig: Exercise 17.12 Prove that SO(n) is precisely the group of linear transformations Rn ! Rn which preserve the Euclidean inner product and orientation. Example 17.11 (Continued) Moreover defining + f : GL (n; R) ! Sym(n) A 7! t AA − I; we have SO(n) = f −1(0). The map f is smooth, and furthermore it is a submersion. Definition 17.13 A smooth map f : Mn+m ! Nn between smooth manifolds is a submersion at p 2 M if dfp has (maximal) rank n. The map is a submersion if it is is a submersion at every point in its domain. Equivalently, dfp is surjective. Example 17.11 (Continued) In our example we have + n2 ∼ n(n+1)=2 f : GL (n; R) ⊂ R ! Sym(n) = R open and f being a submersion tells us that it satisfies the criteria of the implicit function theorem. Recall Theorem 17.14 (Implicit Function Theorem) Suppose + F : W ⊂ Rm n = Rm × Rn ! Rn 1 n (x1;:::; xm; y1;:::; yn) 7! (F (x; y);:::; F (x; y)) is a smooth map, and that for (a; b) 2 W, 0 1 1 1 1 F1 (a; b) F2 (a; b) ··· Fn (a; b) B F 2(a; b) F 2(a; b) ··· F 2(a; b) C B 1 2 n C B . C @ . A n n n F1 (a; b) F2 (a; b) ··· Fn (a; b) i is invertible, where F i = @F . Write c = F(a; b). Then there are j @yj open neighbourhoods U ⊂ Rm of a and V ⊂ Rn of b and a smooth map g : U ! V so that for (x; y) 2 U × V, F(x; y) = c , y = g(x): Example 17.11 (Continued) The implicit function theorem tells us then that SO(n) = f −1(0) is a manifold of dimension n(n + 1) 2n2 − n2 − n n(n − 1) n2 − = = : 2 2 2 The group operations (multiplication and taking inverses) are smooth and hence SO(n) is a Lie group. Example 17.15 Similarly, applying the same argument to f : GL(n; R) ! Sym(n) A 7! t AA − I; we recognise O(n) as f −1(0) and hence see that O(n) is a Lie n(n−1) group of dimension 2 . As stated above, O(n) has two connected components, one of which is SO(n). Example 17.16 The unitary group U(n) ⊂ GL(n; C) is the subgroup of the complex general linear group consisting of matrices satisfying t AA¯ = I. The special unitary group SU(n) consists of those unitary matrices which additionally satisfy det A = 1. Exercise 17.17 Prove that U(n) is the group of linear transformations Cn ! Cn which preserve the Hermitian inner product (z; w) = z1w1 + ··· znwn in the sense that n A 2 U(n) , (Az; Aw) = (z; w) for all z; w 2 C : The space of Hermitian symmetric matrices t HermSym(n) = fA 2 Mn(C) j A = Ag consists of matrices of the form 0 1 x1 z12 z13 ··· z1n B z x z ··· z C B 12 2 23 2n C B . C B z z .. C B 13 23 C B . C B . xn−1 zn−1;n C @ A . z1n . zn−1;n xn where zij 2 C; xi 2 R and hence is a manifold diffeomorphic to ( − )+ 2 Rn n 1 n = Rn . Exercise 17.18 Show that A 2 HermSym if and only if for all z; w 2 Cn, (Az; w) = (z; Aw): Active Learning Question 17.19 By an analogous argument to that used for SO(n), prove that U(n) is a real smooth manifold of dimension n2. Note that a unitary matrix satisfies det A det A = 1 and hence det A 2 S1. We may characterise SU(n) as the pre-image of 1 under the map det : U(n) ! S1: Again det is a submersion and so the implicit function theorem tells us that SU(n) is a smooth real manifold of dimension n2 − 1. Definition 17.21 a Lie group G acts on a manifold M if there is a map G × M ! M (g; p) 7! g · p such that e · p = p for all p 2 M and (gh) · p = g · (h · p) for all g; h 2 G; p 2 M: (these force the action of each element to be a bijection) Definition 17.21 (continued) if for every g 2 G, g : M ! M p 7! g · p is smooth then we say that G acts smoothly the isotropy subgroup Gp of G at p is the subgroup fixing p G acts transitively on M if for every p; q 2 M there exists g 2 G such that q = g · p Definition 17.22 A homogeneous space is a manifold M together with a smooth transitive action by a Lie group G. Informally, a homogeneous space “looks the same” at every point. Since the action is transitive, the isotropy groups are all conjugate −1 Gg·p = gGpg and for any p 2 M we can identify the points of M with the quotient space G=Gp. Definition 17.23 A Lie subgroup H of a Lie group G is a subset of G such that the natural inclusion is an immersion and a group homomorphism (i.e. H is simultaneously a subgroup and submanifold). Since the the group action on a homogeneous space is in particular continuous, the isotropy subgroups are closed in the topology of G. Theorem 17.24 (Lie-Cartan) A closed subgroup of a Lie group G is a Lie subgroup of G. Corollary 17.25 An isotropy subgroup Gp of a Lie group G is a Lie subgroup of G. Theorem 17.26 If G is a Lie group and H a Lie subgroup then the quotient space G=H has a unique smooth structure such that the map G × G=H ! G=H (g; kH) 7! gkH is smooth. We omit the proof; it is given for example in Warner, “Foundations of Differentiable Manifolds and Lie Groups”, pp 120–124. Corollary 17.27 A homogeneous space M acted upon by the Lie group G with isotropy subgroup Gp is diffeomorphic to the quotient manifold G=Gp where the latter is given the unique smooth structure of the previous theorem..
Load more

Recommended publications
  • Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education)
    Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education) Roberto Soldati February 23, 2019 Contents 0.1 Prologue ............................ 4 1 Basics in Group Theory 8 1.1 Groups and Group Representations . 8 1.1.1 Definitions ....................... 8 1.1.2 Theorems ........................ 12 1.1.3 Direct Products of Group Representations . 14 1.2 Continuous Groups and Lie Groups . 16 1.2.1 The Continuous Groups . 16 1.2.2 The Lie Groups .................... 18 1.2.3 An Example : the Rotations Group . 19 1.2.4 The Infinitesimal Operators . 21 1.2.5 Lie Algebra ....................... 23 1.2.6 The Exponential Representation . 24 1.2.7 The Special Unitary Groups . 27 1.3 The Non-Homogeneous Lorentz Group . 34 1.3.1 The Lorentz Group . 34 1.3.2 Semi-Simple Groups . 43 1.3.3 The Poincar´eGroup . 49 2 The Action Functional 57 2.1 The Classical Relativistic Wave Fields . 57 2.1.1 Field Variations .................... 58 2.1.2 The Scalar and Vector Fields . 62 2.1.3 The Spinor Fields ................... 65 2.2 The Action Principle ................... 76 2.3 The N¨otherTheorem ................... 79 2.3.1 Problems ........................ 87 1 3 The Scalar Field 94 3.1 General Features ...................... 94 3.2 Normal Modes Expansion . 101 3.3 Klein-Gordon Quantum Field . 106 3.4 The Fock Space .......................112 3.4.1 The Many-Particle States . 112 3.4.2 The Lorentz Covariance Properties . 116 3.5 Special Distributions . 129 3.5.1 Euclidean Formulation . 133 3.6 Problems ............................137 4 The Spinor Field 151 4.1 The Dirac Equation .
    [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]
  • 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]
  • 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]
  • Arxiv:1507.08163V2 [Math.DG] 10 Nov 2015 Ainld C´Ordoba)
    GEOMETRIC FLOWS AND THEIR SOLITONS ON HOMOGENEOUS SPACES JORGE LAURET Dedicated to Sergio. Abstract. We develop a general approach to study geometric flows on homogeneous spaces. Our main tool will be a dynamical system defined on the variety of Lie algebras called the bracket flow, which coincides with the original geometric flow after a natural change of variables. The advantage of using this method relies on the fact that the possible pointed (or Cheeger-Gromov) limits of solutions, as well as self-similar solutions or soliton structures, can be much better visualized. The approach has already been worked out in the Ricci flow case and for general curvature flows of almost-hermitian structures on Lie groups. This paper is intended as an attempt to motivate the use of the method on homogeneous spaces for any flow of geometric structures under minimal natural assumptions. As a novel application, we find a closed G2-structure on a nilpotent Lie group which is an expanding soliton for the Laplacian flow and is not an eigenvector. Contents 1. Introduction 2 1.1. Geometric flows on homogeneous spaces 2 1.2. Bracket flow 3 1.3. Solitons 4 2. Some linear algebra related to geometric structures 5 3. The space of homogeneous spaces 8 3.1. Varying Lie brackets viewpoint 8 3.2. Invariant geometric structures 9 3.3. Degenerations and pinching conditions 11 3.4. Convergence 12 4. Geometric flows 13 arXiv:1507.08163v2 [math.DG] 10 Nov 2015 4.1. Bracket flow 14 4.2. Evolution of the bracket norm 18 4.3.
    [Show full text]
  • Topics on the Geometry of Homogeneous Spaces
    TOPICS ON THE GEOMETRY OF HOMOGENEOUS SPACES LAURENT MANIVEL Abstract. This is a survey paper about a selection of results in complex algebraic geometry that appeared in the recent and less recent litterature, and in which rational homogeneous spaces play a prominent r^ole.This selection is largely arbitrary and mainly reflects the interests of the author. Rational homogeneous varieties are very special projective varieties, which ap- pear in a variety of circumstances as exhibiting extremal behavior. In the quite re- cent years, a series of very interesting examples of pairs (sometimes called Fourier- Mukai partners) of derived equivalent, but not isomorphic, and even non bira- tionally equivalent manifolds have been discovered by several authors, starting from the special geometry of certain homogeneous spaces. We will not discuss derived categories and will not describe these derived equivalences: this would require more sophisticated tools and much ampler discussions. Neither will we say much about Homological Projective Duality, which can be considered as the unifying thread of all these apparently disparate examples. Our much more modest goal will be to describe their geometry, starting from the ambient homogeneous spaces. In order to do so, we will have to explain how one can approach homogeneous spaces just playing with Dynkin diagram, without knowing much about Lie the- ory. In particular we will explain how to describe the VMRT (variety of minimal rational tangents) of a generalized Grassmannian. This will show us how to com- pute the index of these varieties, remind us of their importance in the classification problem of Fano manifolds, in rigidity questions, and also, will explain their close relationships with prehomogeneous vector spaces.
    [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]
  • 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]
  • 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]