DOCSLIB.ORG

Diffeomorphism Groups of Balls and Spheres 3

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Diffeomorphism Groups of Balls and Spheres 3 Diffeomorphism groups of balls and spheres Kathryn Mann Abstract. In this paper we discuss the relationship between groups of diffeomorphisms of spheres and balls. We survey results of a topological nature and then address the relationship as abstract (discrete) groups. We prove that the identity component of the group of smooth diffeomorphisms of an odd dimensional sphere admits no nontrivial homomorphisms to the group of diffeomorphisms of a ball of any dimension. This result generalizes theorems of Ghys and Herman. We also examine finitely generated subgroups of diffeomorphisms of spheres, and produce an example of a finitely generated torsion free group with an action on the circle by smooth diffeomorphisms that does not extend to a C1 action on the disc. Contents 1. Introduction 1 2. Topological sections: known results 3 3. Group-theoretic sections 4 4. Actions of torsion free groups 5 5. Exotic homomorphisms: non-existence 8 References 10 1. Introduction r r Let M be a manifold and let Diff0(M) denote the group of isotopically trivial C -diffeomorphisms of M. If M has boundary @M, there is a natural map r r π : Diff0(M) ! Diff0(@M) given by restricting the domain of a diffeomorphism to the boundary. The map π is surjective, as any isotopically trivial diffeomorphism f of the boundary can be extended to a diffeomorphism F ∼ of M supported on a collar neighborhood N = @M × I of @M by taking a smooth isotopy ft from f to the identity, and defining F to agree with ft on @M × ftg. r r One way to measure the difference between the groups Diff0(M) and Diff0(@M) is to ask whether π admits a section. By section, we mean a map r r φ : Diff0(@M) ! Diff0(M) r such that π ◦ φ is the identity on Diff0(@M). There are several categories in which to ask this, namely i) Topological: Require φ to be continuous, ignoring the group structure. ii) (Purely) group-theoretic: Only require φ to be a group homomorphism, ignoring the r topological structure on Diff0(M). 1991 Mathematics Subject Classification. 57S25, 57S05, 57R50. Key words and phrases. diffeomorphism groups; group actions on manifolds; spheres. 1 2 KATHRYN MANN iii) Extensions of group actions: In the case where no group-theoretic section exists, we ask the following local (in the sense of group theory) question. For which finitely generated groups Γ r r and a homomorphisms ρ :Γ ! Diff0(@M) does there exist a homomorphism φ :Γ ! Diff0(M) such that π ◦ φ = ρ? If such a homomorphism exists, we say that φ extends the action of Γ on @M to a Cr action on M. In this paper, we treat the case of the ball M = Bn+1 with boundary Sn. Note in the category of homeomorphisms rather than diffeomorphisms, there is a natural way to extend homeomorphisms of Sn to homeomorphisms of Bn+1. This is by \coning off” the sphere to the ball and extending each homeomorphism to be constant along rays. The result is a continuous group homomorphism n n+1 φ : Homeo0(S ) ! Homeo0(B ) n+1 n which is also a section of π : Homeo0(B ) ! Homeo0(S ) in the sense above. We will see, however, that the question of sections for groups of diffeomorphisms is much more interesting! Summary of results. Our goal in this work is to paint a relatively complete picture of known and new results for the ball Bn. Here is an outline. Topological sections. In Section 2 we give brief survey of known results on existence and nonexis- tence of topological sections, and the relationship between topological sections and exotic spheres. The reader may skip this section if desired; it stands independent from the rest of this paper. Group-theoretic sections. In contrast with the topological case, it is a theorem of Ghys that no r n r n+1 group theoretic sections φ : Diff0(S ) ! Diff0(B ) exist for any n or r. A close reading of 2n−1 Ghys' work in [Ghy91] produces finitely generated subgroups of Diff0(S ) that fail to extend 2n to Diff0(B ) and we give an explicit presentation of such a group in Section 3. These examples rely heavily on the dynamics of finite order diffeomorphisms. Extending actions of torsion free groups. Building on Ghys' work and using results of Franks and Handel involving distorted elements in finite groups, in Section 4 we explicitly construct a group Γ to prove the following. Theorem 1.1. There exists a finitely generated, torsion-free group Γ and a homomorphism ρ :Γ ! Diff1(S1) that does not extend to a C1 action of Γ on B2. Note that in contrast to Theorem 1.1, any action of Z, of a free group, or any action of any group that is conjugate into the standard action of PSL(2; R) on S1 will extend to an acton by diffeomorphisms on B2. r n+1 r n Exotic homomorphisms. In Section 5, we show that the failure of π : Diff0(B ) ! Diff0(S ) to admit a section is due (at least in the case where n is odd) to a fundamental difference between the algebraic structure of groups of diffeomorphisms of spheres and groups of diffeomorphisms of balls. We prove 1 2k−1 1 m Theorem 1.2. There is no nontrivial group homomorphism Diff0 (S ) ! Diff0(B ) for any m, k ≥ 1. This generalizes a result of M. Herman in [Her]. Theorem 1.2 also stands in contrast to situation with homeomorphisms of balls and spheres { any continuous foliation of Bn+l by n-spheres can be n n+l used to construct a continuous group homomorphism Homeo0(S ) ! Homeo0(B ). DIFFEOMORPHISM GROUPS OF BALLS AND SPHERES 3 Acknowledgements. The author would like to thank Christian Bonatti, Danny Calegari, Benson Farb, John Franks and Amie Wilkinson for helpful conversations and their interest in this project, Kiran Parkhe and Bena Tshishiku for their comments on drafts of this paper, and Igor Belegradek for a correction in the section on exotic spheres. 2. Topological sections: known results In order to contrast our work on group-theoretic sections with the (fundamentally different) question of topological sections, we present a brief summary of known results in the topological case. Let Diff(Bn rel @) denote the group of smooth diffeomorphisms of Bn that restrict to the identity on @Bn = Sn−1. The natural restriction map Diff(Bn) !π Diff(Sn−1) is a fibration with fiber Diff(Bn rel @). Hence, asking for a topological section of π amounts to asking for a section of this fibration. In low dimensions (n ≤ 3), it is known that the fiber Diff(Bn rel @) is contractible, so a topolog- ical section exists. The n = 2 case is a classical theorem of Smale [Sma59], and the n = 3 case a 1 highly non-trivial theorem of Hatcher [Hat83]. Incidentally, Diff0(B rel @) is also contractible and this is quite elementary { an element of Diff(B1 rel @) is a nonincreasing or nondecreasing function of the closed interval, and we can explicitly define a retraction of Diff(B1 rel @) to the identity via r : Diff(B1 rel @) × [0; 1] ! Diff(B1 rel @) r(f; t)(x) = tf(x) + (1 − t)x: Whether Diff(B4 rel @) is contractible is an open question. To the best of the author's knowl- 4 π 3 edge, whether Diff0(B ) ! Diff0(S ) has a section is also open. However, in higher dimensions Diff(Bn rel @) is not always contractible, giving a first obstruction to a section. This is related to the existence of exotic smooth structures on spheres. Exotic spheres. Let f 2 Diff(Bn rel @) be a diffeomorphism. We can extend f by the identity to n n+1 n+1 a homeomorphism of S , and glue two copies of B together using f; producing a sphere Sf n n+1 with a smooth structure. If f lies in the identity component of Diff(B rel @), then Sf will be n+1 n+1 smoothly isotopic to the standard n+1-sphere S . If not, there is no reason that Sf need even be diffeomorphic to Sn+1. In fact, it follows from the pseudoisotopy theorem of Cerf in [Cer70] n that, for n ≥ 5, the induced map from π0(Diff(B rel @)) to the group of exotic n + 1-spheres is injective. Moreover { and more pertinent to our discussion { it follows from Smale's h-cobordism theorem n (proved in [Sma61]) that the map from π0(Diff(B rel @)) to exotic n + 1-spheres is surjective. In n particular, this means that in any dimension n+1 where exotic spheres exist, π0(Diff(B rel @)) 6= 0. Let us now return to the fibration π : Diff(Bn) ! Diff(Sn−1) and look at the tail end of the long exact sequence in homotopy groups. If we consider the restriction of π to the identity components n π n−1 Diff0(B ) ! Diff0(S ) we have n n−1 n ::: ! π1(Diff0(B )) ! π1(Diff0(S )) ! π0(Diff(B rel @)) ! 0 Thus, whenever exotic spheres exist, the connecting homomorphism n−1 n π1(Diff0(S )) ! π0(Diff(B rel @)) is nonzero, and so no section of the bundle exists. Question 2.1. Does this bundle have a section in any dimensions n ≥ 5 where exotic spheres do not exist? 4 KATHRYN MANN We remark that for all n ≥ 5, it is known that Diff(Bn rel @) has some nontrivial higher homotopy groups. In fact the author learned from Allen Hatcher that recent work of Crowey and Schick [CS13] shows that Diff(Bn rel @) has infinitely many nonzero higher homotopy groups whenever n ≥ 7.
Load more

Recommended publications
  • Classification of Finite Abelian Groups
    Math 317 C1 John Sullivan Spring 2003 Classification of Finite Abelian Groups (Notes based on an article by Navarro in the Amer. Math. Monthly, February 2003.) The fundamental theorem of finite abelian groups expresses any such group as a product of cyclic groups: Theorem. Suppose G is a finite abelian group. Then G is (in a unique way) a direct product of cyclic groups of order pk with p prime. Our first step will be a special case of Cauchy’s Theorem, which we will prove later for arbitrary groups: whenever p |G| then G has an element of order p. Theorem (Cauchy). If G is a finite group, and p |G| is a prime, then G has an element of order p (or, equivalently, a subgroup of order p). ∼ Proof when G is abelian. First note that if |G| is prime, then G = Zp and we are done. In general, we work by induction. If G has no nontrivial proper subgroups, it must be a prime cyclic group, the case we’ve already handled. So we can suppose there is a nontrivial subgroup H smaller than G. Either p |H| or p |G/H|. In the first case, by induction, H has an element of order p which is also order p in G so we’re done. In the second case, if ∼ g + H has order p in G/H then |g + H| |g|, so hgi = Zkp for some k, and then kg ∈ G has order p. Note that we write our abelian groups additively. Definition. Given a prime p, a p-group is a group in which every element has order pk for some k.
    [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]
  • The Frattini Module and P -Automorphisms of Free Pro-P Groups
    Publ. RIMS, Kyoto Univ. (), The Frattini module and p!-automorphisms of free pro-p groups. By Darren Semmen ∗ Abstract If a non-trivial subgroup A of the group of continuous automorphisms of a non- cyclic free pro-p group F has finite order, not divisible by p, then the group of fixed points FixF (A) has infinite rank. The semi-direct product F >!A is the universal p-Frattini cover of a finite group G, and so is the projective limit of a sequence of finite groups starting with G, each a canonical group extension of its predecessor by the Frattini module. Examining appearances of the trivial simple module 1 in the Frattini module’s Jordan-H¨older series arose in investigations ([FK97], [BaFr02] and [Sem02]) of modular towers. The number of these appearances prevents FixF (A) from having finite rank. For any group A of automorphisms of a group Γ, the set of fixed points FixΓ(A) := {g ∈ Γ | α(g) = g, ∀α ∈ A} of Γ under the action of A is a subgroup of Γ. Nielsen [N21] and, for the infinite rank case, Schreier [Schr27] showed that any subgroup of a free discrete group will be free. Tate (cf. [Ser02, I.§4.2, Cor. 3a]) extended this to free pro-p groups. In light of this, it is natural to ask for a free group F , what is the rank of FixF (A)? When F is a free discrete group and A is finite, Dyer and Scott [DS75] demonstrated that FixF (A) is a free factor of F , i.e.
    [Show full text]
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [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]
  • Higher Dimensional Conundra
    Higher Dimensional Conundra Steven G. Krantz1 Abstract: In recent years, especially in the subject of harmonic analysis, there has been interest in geometric phenomena of RN as N → +∞. In the present paper we examine several spe- cific geometric phenomena in Euclidean space and calculate the asymptotics as the dimension gets large. 0 Introduction Typically when we do geometry we concentrate on a specific venue in a particular space. Often the context is Euclidean space, and often the work is done in R2 or R3. But in modern work there are many aspects of analysis that are linked to concrete aspects of geometry. And there is often interest in rendering the ideas in Hilbert space or some other infinite dimensional setting. Thus we want to see how the finite-dimensional result in RN changes as N → +∞. In the present paper we study some particular aspects of the geometry of RN and their asymptotic behavior as N →∞. We choose these particular examples because the results are surprising or especially interesting. We may hope that they will lead to further studies. It is a pleasure to thank Richard W. Cottle for a careful reading of an early draft of this paper and for useful comments. 1 Volume in RN Let us begin by calculating the volume of the unit ball in RN and the surface area of its bounding unit sphere. We let ΩN denote the former and ωN−1 denote the latter. In addition, we let Γ(x) be the celebrated Gamma function of L. Euler. It is a helpful intuition (which is literally true when x is an 1We are happy to thank the American Institute of Mathematics for its hospitality and support during this work.
    [Show full text]
  • Dihedral Groups Ii
    DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of Dn, including the normal subgroups. We will also introduce an infinite group that resembles the dihedral groups and has all of them as quotient groups. 1. Abstract characterization of Dn −1 −1 The group Dn has two generators r and s with orders n and 2 such that srs = r . We will show every group with a pair of generators having properties similar to r and s admits a homomorphism onto it from Dn, and is isomorphic to Dn if it has the same size as Dn. Theorem 1.1. Let G be generated by elements x and y where xn = 1 for some n ≥ 3, 2 −1 −1 y = 1, and yxy = x . There is a surjective homomorphism Dn ! G, and if G has order 2n then this homomorphism is an isomorphism. The hypotheses xn = 1 and y2 = 1 do not mean x has order n and y has order 2, but only that their orders divide n and divide 2. For instance, the trivial group has the form hx; yi where xn = 1, y2 = 1, and yxy−1 = x−1 (take x and y to be the identity). Proof. The equation yxy−1 = x−1 implies yxjy−1 = x−j for all j 2 Z (raise both sides to the jth power). Since y2 = 1, we have for all k 2 Z k ykxjy−k = x(−1) j by considering even and odd k separately. Thus k (1.1) ykxj = x(−1) jyk: This shows each product of x's and y's can have all the x's brought to the left and all the y's brought to the right.
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [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]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [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]