DOCSLIB.ORG

MILNOR's CONSTRUCTION of EXOTIC 7-SPHERES Contents 1. Motivation 1 2. Hopf Fibrations 2 2.1. the Complex Hopf Fibration 2 2.2

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
MILNOR's CONSTRUCTION of EXOTIC 7-SPHERES Contents 1. Motivation 1 2. Hopf Fibrations 2 2.1. the Complex Hopf Fibration 2 2.2 MILNOR'S CONSTRUCTION OF EXOTIC 7-SPHERES RACHEL MCENROE Abstract. In this paper, I will provide a detailed explanation of Milnor's construction of exotic 7-spheres. 3 4 The candidate manifolds will be constructed as total spaces of S bundles over S , denoted Mh;l. The subset of these candidates satisfying the condition h + l = ±1 will be shown to be topological spheres by Morse Theory. A subset of these that do not satisfy (h−l)2 ≡ 1 (mod 7) will be shown to not be differential spheres, by the Hirzebruch Signature Theorem and some other results from the theory of characteristic classes. Finally, I will discuss some interesting applications of exotic smooth structure throughout mathematics. Contents 1. Motivation 1 2. Hopf Fibrations 2 2.1. The Complex Hopf fibration 2 2.2. The Quaternionic Hopf fibration 2 3. S3 bundles over S4 3 4. The exotic sphere is a topological 7-sphere 5 4.1. Morse Theory 5 4.2. Reeb's Theorem 6 4.3. Proof that Mh;l is a topological sphere if h + l = −1 6 5. Characteristic Classes 8 5.1. Euler Class 8 5.2. Chern Class 8 5.3. Pontryagin Class 9 6. Mh;l is not Diffeomorphic to the 7-sphere 9 6.1. Calculating p1(ξh;l) 9 6.2. Calculating the first Pontryagin class of Kh;l 12 6.3. Applying the Hirzebruch Signature Theorem 13 7. Conclusion 14 8. Further discussion of Exotic Structure 14 Acknowledgments 15 References 15 1. Motivation The existence of exotic smooth structure is a sign of the limits of human intuition. Geometric intuition is based on generalization of everyday objects. Surfaces, or 2-manifolds, are a class of such objects. One of the most `natural' spaces is a sphere. We can give several different `natural' definitions of spheres. A selection follow. Definition 1.1. A standard sphere is a hypersurface cut out by an equation of the form n X 2 (1.2) xi = 1 i=1 where the xi are all real numbers. Date: DEADLINES: Draft AUGUST 17 and Final version AUGUST 28, 2015. 1 2 RACHEL MCENROE Definition 1.3. A homotopy sphere is a topological manifold M of dimension n with H0(M; Z) = n ∗ H (M; Z) = Z, H (M; Z) = 0 otherwise and π1(M) = 0. Definition 1.4. A topological sphere is a topological manifold that is homeomorphic to a standard sphere. The intuition behind the definition of a topological sphere is that a topological sphere can be continuously deformed into a standard sphere. Definition 1.5. A differential sphere is a smooth manifold that is diffeomorphic to a standard sphere. In other words, a differential sphere can be `smoothly deformed' into a standard sphere or, equivalently, the calculus done on a differential sphere is equivalent to the calculus done on a standard sphere. For the case of surfaces, homotopy spheres, topological spheres, and differential spheres are all equivalent. Therefore, it seems obvious that all of these topological equivalences will hold in higher dimensions. In fact, by the Poincare Conjecture, homotopy spheres and topological spheres are equivalent in all dimensions. On the other hand, topological spheres and differential spheres are not. The simplest known example of a smooth manifold that is a topological sphere, but is not a differential sphere, occurs in 7 dimensions. In this paper, we will construct this example. 2. Hopf Fibrations In this section, we will discuss Hopf fibrations, which are fiber bundles in which the base space, the fibers, and the total space are all spheres. 2.1. The Complex Hopf fibration. We will start with the classical Hopf fibration, which can be realized in 3 dimensions. This is the fiber bundle with fibers homeomorphic to S1 and base space S2. The total space of this fiber bundle is a 3-sphere. So, we represent this fiber bundle with the following diagram: S1 S3 S2 The 1-sphere S1 is just the set of complex numbers with norm 1, and the 3-sphere is the set of ordered pairs of complex numbers with norm 1. The 2-sphere is the one point compactification of the complex plane, 1 which is the complex projective line CP . We can explicitly write down the projection map in the complex Hopf fibration as π :(z1; z2) 7! [z1; z2]. 1 2 For example, note that the preimage of [1; 0] 2 CP under the projection map π is fz1 2 C kz1k = 1g, which is a copy of S1, and therefore is a fiber embedded in the total space. Note that every two fibers are linked with linking number one in the total space. This is a qualitative difference from the relationship between the fibers in the fiber bundle whose fibers and base space are copies of S1 and whose total space is a torus. In that case, the linking number of any two fibers is zero. 2.2. The Quaternionic Hopf fibration. There are in fact only four Hopf fibrations, which correspond to the four division algebras, which is a result of Adams. The four division algebras are R, C, H, and O. The quaternions are denoted H, and they have non-commutative multiplication. Formally, Definition 2.1. H is the set of numbers of the form a + bi + cj + dk, where ij = k = −ji and addition is component-wise. The octonions are a division algebra with non-associative multiplication. So, as the `size' of the division algebra increases, the division algebra has fewer basic properties like commutativity. The quaternionic Hopf fibration is formed exactly analogously to the complex, or classical, Hopf fibration. So it has the following diagram: S3 S7 S4 MILNOR'S CONSTRUCTION OF EXOTIC 7-SPHERES 3 where S3 is the set of unit quaternions and S7 is the set of pairs of quaternions with unit norm. The maps are also analogous to the complex case: π :(z1; z2) 7! [z1; z2]. The preimage of the point [1; 0] under the 2 projection map is fz1 2 H kz1k = 1g, which is a 3-sphere embedded in the total space. The only difference is in the definition of projective space. Projective space is defined by putting an equivalence relation on any two points that are on the same line through the origin. That is: (2.2) (z1; z2) ∼ (λz1; λz2) Since multiplication in the quaternions is not commutative, the definition of quaternionic projective spaces includes a choice of default multiplication. We choose left-multiplication. This is a degree of freedom that did not occur in the complex Hopf fibration and is the reason why the simplest known example of exotic smooth structure occurs in seven dimensions, instead of three dimensions. 3. S3 bundles over S4 To construct the exotic 7-sphere, we want to look at different ways of constructing sphere bundles of S3 over S4. We will need some tools from algebraic topology to do this, which will be developed in this section. We will construct this family explicitly and show that each element of the family corresponds to an element of the group Z ⊕ Z. We will show that this is π3(SO(4)). First, we note that S4 can be covered by an atlas with only two charts, just like any other topological sphere. An R4 bundle over each chart is trivial since the charts are contractible, so the only way to get a non-trivial bundle is to have some `twisting' in the gluing maps between the fibers. We want to construct a family of such gluing maps that give a variety of total spaces. 4 We will choose the two charts to be all of S except the south pole, which will be denoted U1 and all of 4 4 S except the north pole, which will be denoted U2. Now I define a map that takes each chart to R , which I can identify with the quaternions. I will write this correspondence in the following diagrams to emphasize to the reader the importance of this correspondence for this construction. The maps are called φ1 and φ2 respectively. 4 (3.1) φ1 : U1 ! R = H (3.2) [z; 1] 7! z 4 (3.3) φ2 : U2 ! R = H (3.4) [1; w] 7! w Note that the transition map is: −1 (3.5) φ2 ◦ φ1 : H − f0g ! H − f0g 1 (3.6) z 7! z which is exactly what we expect. We will start with the simplest example, which is that of the standard quaternionic Hopf fibration of an S3 bundle over S4. The total space of this fiber bundle is given by 2 1 (3.7) f (x; y); [z; w] xw = zy; z; w 6= 0g ⊂ H × HP The projection from the total space to S4 is denoted π. We want to construct the local trivializations of the fiber bundle. These need to be done on each chart of the base space and then matched. First, we will consider the preimage of the the first chart of the base space in the total space. −1 (3.8) π (U1) = f((x; y); [z; 1]) j x = λz; y = λ for some λ 2 Hg For the first chart, the local trivialization is: −1 (3.9) ρ1 : π (U1) ! φ1(U1) × H ((x; y); [z; 1]) 7! (z; y)(3.10) Similarly the preimage of U2 in the total space of the Hopf fibration is: −1 (3.11) π (U2) = f((x; y); [1; w]) j x = λ, y = λw for some λ 2 Hg 4 RACHEL MCENROE The local trivialization is: −1 (3.12) ρ2 : π (U2) ! φ2(U2) × H ((x; y); [1; w]) 7! (w; x)(3.13) Now we want to compute the transition map of the trivializations −1 (3.14) ρ2 ◦ ρ1 : φ1(U1 \ U2) × H ! φ2(U1 \ U2) × H ! 1 (3.15) (z; y) 7! ; yz z 1 So what we are doing is gluing (z; y) to ( z ; yz).
Load more

Recommended publications
  • Commentary on the Kervaire–Milnor Correspondence 1958–1961
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 4, October 2015, Pages 603–609 http://dx.doi.org/10.1090/bull/1508 Article electronically published on July 1, 2015 COMMENTARY ON THE KERVAIRE–MILNOR CORRESPONDENCE 1958–1961 ANDREW RANICKI AND CLAUDE WEBER Abstract. The extant letters exchanged between Kervaire and Milnor during their collaboration from 1958–1961 concerned their work on the classification of exotic spheres, culminating in their 1963 Annals of Mathematics paper. Michel Kervaire died in 2007; for an account of his life, see the obituary by Shalom Eliahou, Pierre de la Harpe, Jean-Claude Hausmann, and Claude We- ber in the September 2008 issue of the Notices of the American Mathematical Society. The letters were made public at the 2009 Kervaire Memorial Confer- ence in Geneva. Their publication in this issue of the Bulletin of the American Mathematical Society is preceded by our commentary on these letters, provid- ing some historical background. Letter 1. From Milnor, 22 August 1958 Kervaire and Milnor both attended the International Congress of Mathemati- cians held in Edinburgh, 14–21 August 1958. Milnor gave an invited half-hour talk on Bernoulli numbers, homotopy groups, and a theorem of Rohlin,andKer- vaire gave a talk in the short communications section on Non-parallelizability of the n-sphere for n>7 (see [2]). In this letter written immediately after the Congress, Milnor invites Kervaire to join him in writing up the lecture he gave at the Con- gress. The joint paper appeared in the Proceedings of the ICM as [10]. Milnor’s name is listed first (contrary to the tradition in mathematics) since it was he who was invited to deliver a talk.
    [Show full text]
  • Arxiv:1303.6028V2 [Math.DG] 29 Dec 2014 B Ahrglrlvlhprufc Scle an Called Is Hypersurface Level Regular Each E Scle the Called Is Set E.[T3 )
    ISOPARAMETRIC FUNCTIONS ON EXOTIC SPHERES CHAO QIAN AND ZIZHOU TANG Abstract. This paper extends widely the work in [GT13]. Existence and non-existence results of isoparametric functions on exotic spheres and Eells-Kuiper projective planes are established. In particular, every homotopy n-sphere (n > 4) carries an isoparametric function (with certain metric) with 2 points as the focal set, in strong contrast to the classification of cohomogeneity one actions on homotopy spheres [St96] ( only exotic Kervaire spheres admit cohomogeneity one actions besides the standard spheres ). As an application, we improve a beautiful result of B´erard-Bergery [BB77] ( see also pp.234-235 of [Be78] ). 1. Introduction Let N be a connected complete Riemannian manifold. A non-constant smooth function f on N is called transnormal, if there exists a smooth function b : R R such that f 2 = → |∇ | b( f ), where f is the gradient of f . If in addition, there exists a continuous function a : ∇ R R so that f = a( f ), where f is the Laplacian of f , then f is called isoparametric. → △ △ Each regular level hypersurface is called an isoparametric hypersurface and the singular level set is called the focal set. The two equations of the function f mean that the regular level hypersurfaces of f are parallel and have constant mean curvatures, which may be regarded as a geometric generalization of cohomogeneity one actions in the theory of transformation groups ( ref. [GT13] ). Owing to E. Cartan and H. F. M¨unzner [M¨u80], the classification of isoparametric hy- persurfaces in a unit sphere has been one of the most challenging problems in submanifold geometry.
    [Show full text]
  • EXOTIC SPHERES and CURVATURE 1. Introduction Exotic
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 45, Number 4, October 2008, Pages 595–616 S 0273-0979(08)01213-5 Article electronically published on July 1, 2008 EXOTIC SPHERES AND CURVATURE M. JOACHIM AND D. J. WRAITH Abstract. Since their discovery by Milnor in 1956, exotic spheres have pro- vided a fascinating object of study for geometers. In this article we survey what is known about the curvature of exotic spheres. 1. Introduction Exotic spheres are manifolds which are homeomorphic but not diffeomorphic to a standard sphere. In this introduction our aims are twofold: First, to give a brief account of the discovery of exotic spheres and to make some general remarks about the structure of these objects as smooth manifolds. Second, to outline the basics of curvature for Riemannian manifolds which we will need later on. In subsequent sections, we will explore the interaction between topology and geometry for exotic spheres. We will use the term differentiable to mean differentiable of class C∞,and all diffeomorphisms will be assumed to be smooth. As every graduate student knows, a smooth manifold is a topological manifold that is equipped with a smooth (differentiable) structure, that is, a smooth maximal atlas. Recall that an atlas is a collection of charts (homeomorphisms from open neighbourhoods in the manifold onto open subsets of some Euclidean space), the domains of which cover the manifold. Where the chart domains overlap, we impose a smooth compatibility condition for the charts [doC, chapter 0] if we wish our manifold to be smooth. Such an atlas can then be extended to a maximal smooth atlas by including all possible charts which satisfy the compatibility condition with the original maps.
    [Show full text]
  • Nominations for President
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society September 2013 Volume 60, Number 8 The Calculus Concept Inventory— Measurement of the Effect of Teaching Methodology in Mathematics page 1018 DML-CZ: The Experience of a Medium- Sized Digital Mathematics Library page 1028 Fingerprint Databases for Theorems page 1034 A History of the Arf-Kervaire Invariant Problem page 1040 About the cover: 63 years since ENIAC broke the ice (see page 1113) Solve the differential equation. Solve the differential equation. t ln t dr + r = 7tet dt t ln t dr + r = 7tet dt 7et + C r = 7et + C ln t ✓r = ln t ✓ WHO HAS THE #1 HOMEWORK SYSTEM FOR CALCULUS? THE ANSWER IS IN THE QUESTIONS. When it comes to online calculus, you need a solution that can grade the toughest open-ended questions. And for that there is one answer: WebAssign. WebAssign’s patent pending grading engine can recognize multiple correct answers to the same complex question. Competitive systems, on the other hand, are forced to use multiple choice answers because, well they have no choice. And speaking of choice, only WebAssign supports every major textbook from every major publisher. With new interactive tutorials and videos offered to every student, it’s not hard to see why WebAssign is the perfect answer to your online homework needs. It’s all part of the WebAssign commitment to excellence in education. Learn all about it now at webassign.net/math. 800.955.8275 webassign.net/math WA Calculus Question ad Notices.indd 1 11/29/12 1:06 PM Notices 1051 of the American Mathematical Society September 2013 Communications 1048 WHAT IS…the p-adic Mandelbrot Set? Joseph H.
    [Show full text]
  • And Free Cyclic Group Actions on Homotopy Spheres
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 220, 1976 DECOMPOSABILITYOF HOMOTOPYLENS SPACES ANDFREE CYCLICGROUP ACTIONS ON HOMOTOPYSPHERES BY KAI WANG ABSTRACT. Let p be a linear Zn action on C and let p also denote the induced Z„ action on S2p~l x D2q, D2p x S2q~l and S2p~l x S2q~l " 1m_1 where p = [m/2] and q = m —p. A free differentiable Zn action (£ , ju) on a homotopy sphere is p-decomposable if there is an equivariant diffeomor- phism <t>of (S2p~l x S2q~l, p) such that (S2m_1, ju) is equivalent to (£(*), ¿(*)) where S(*) = S2p_1 x D2q U^, D2p x S2q~l and A(<P) is a uniquely determined action on S(*) such that i4(*)IS p~l XD q = p and A(Q)\D p X S = p. A homotopy lens space is p-decomposable if it is the orbit space of a p-decomposable free Zn action on a homotopy sphere. In this paper, we will study the decomposabilities of homotopy lens spaces. We will also prove that for each lens space L , there exist infinitely many inequivalent free Zn actions on S m such that the orbit spaces are simple homotopy equiva- lent to L 0. Introduction. Let A be the antipodal map and let $ be an equivariant diffeomorphism of (Sp x Sp, A) where A(x, y) = (-x, -y). Then there is a uniquely determined free involution A($) on 2(4>) where 2(4») = Sp x Dp+1 U<¡,Dp+l x Sp such that the inclusions S" x Dp+l —+ 2(d>), Dp+1 x Sp —*■2(4>) are equi- variant.
    [Show full text]
  • A Topologist's View of Symmetric and Quadratic
    1 A TOPOLOGIST'S VIEW OF SYMMETRIC AND QUADRATIC FORMS Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/eaar Patterson 60++, G¨ottingen,27 July 2009 2 The mathematical ancestors of S.J.Patterson Augustus Edward Hough Love Eidgenössische Technische Hochschule Zürich G. H. (Godfrey Harold) Hardy University of Cambridge Mary Lucy Cartwright University of Oxford (1930) Walter Kurt Hayman Alan Frank Beardon Samuel James Patterson University of Cambridge (1975) 3 The 35 students and 11 grandstudents of S.J.Patterson Schubert, Volcker (Vlotho) Do Stünkel, Matthias (Göttingen) Di Möhring, Leonhard (Hannover) Di,Do Bruns, Hans-Jürgen (Oldenburg?) Di Bauer, Friedrich Wolfgang (Frankfurt) Di,Do Hopf, Christof () Di Cromm, Oliver ( ) Di Klose, Joachim (Bonn) Do Talom, Fossi (Montreal) Do Kellner, Berndt (Göttingen) Di Martial Hille (St. Andrews) Do Matthews, Charles (Cambridge) Do (JWS Casels) Stratmann, Bernd O. (St. Andrews) Di,Do Falk, Kurt (Maynooth ) Di Kern, Thomas () M.Sc. (USA) Mirgel, Christa (Frankfurt?) Di Thirase, Jan (Göttingen) Di,Do Autenrieth, Michael (Hannover) Di, Do Karaschewski, Horst (Hamburg) Do Wellhausen, Gunther (Hannover) Di,Do Giovannopolous, Fotios (Göttingen) Do (ongoing) S.J.Patterson Mandouvalos, Nikolaos (Thessaloniki) Do Thiel, Björn (Göttingen(?)) Di,Do Louvel, Benoit (Lausanne) Di (Rennes), Do Wright, David (Oklahoma State) Do (B. Mazur) Widera, Manuela (Hannover) Di Krämer, Stefan (Göttingen) Di (Burmann) Hill, Richard (UC London) Do Monnerjahn, Thomas ( ) St.Ex. (Kriete) Propach, Ralf ( ) Di Beyerstedt, Bernd
    [Show full text]
  • Homotopy Is Not Isotopy for Homeomorphisms of 3-Manifolds
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector KMC-9383,86 13.00+ .CO C 1986 Rrgamon Res Ltd. HOMOTOPY IS NOT ISOTOPY FOR HOMEOMORPHISMS OF 3-MANIFOLDS JOHN L. FRIEDMAN? and DONALD M. WIT-I (Received in reuised form 7 May 1985) IXl-RODUCTION THE existence of a homeomorphism that is homotopic but not isotopic to the identity has remained an open question for closed 3-manifolds [I, 23. We consider here homeotopy groups:: of spherical spaces, finding as a by-product of our work an example of such a homeomorphism for a closed 3-manifold whose prime factors include certain spherical spaces. The homeotopy groups of a composite 3-manifold have as subgroups the disk-fixing or point-fixing homeotopy groups of each prime factor [3,4]. In the work reported here our primary aim has been to calculate, for spherical spaces the corresponding 0th homeotopy groups, the groups of path connected components of the spaces of disk-fixing and point- fixing homeomorphisms. Homeomorphism groups of spherical spaces have been considered recently by Rubinstein et al. [S-7]. Asano [8], Bonahon [9] and Ivanov [lo]. Their results are consistent with Hatcher’s conjecture [ 1 l] that for each spherical space the group of homeomorphisms has the same homotopy type as the group of isometries. Homotopy classes of the groups HO and XX of homeomorphisms that fix respectively a disk and a point do not generally have this character (for spherical spaces): in particular, nonzero elements of ~,,(&‘a) and rr,, (XX) are commonly not represented by isometries.
    [Show full text]
  • Metrics of Positive Ricci Curvature on Connected Sums: Projective Spaces, Products, and Plumbings
    METRICS OF POSITIVE RICCI CURVATURE ON CONNECTED SUMS: PROJECTIVE SPACES, PRODUCTS, AND PLUMBINGS by BRADLEY LEWIS BURDICK ADISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment of the requirements for the degree of Doctor of Philosophy June 2019 DISSERTATION APPROVAL PAGE Student: Bradley Lewis Burdick Title: Metrics of Positive Ricci Curvature on Connected Sums: Projective Spaces, Products, and Plumbings This dissertation has been accepted and approved in partial fulfillment of the requirements for the Doctor of Philosophy degree in the Department of Mathematics by: Boris Botvinnik Chair NicholasProudfoot CoreMember Robert Lipshitz Core Member Micah Warren Core Member Graham Kribs Institutional Representative and Janet Woodru↵-Borden Vice Provost & Dean of the Graduate School Original approval signatures are on file with the University of Oregon Graduate School. Degree awarded June 2019 ii c 2019 Bradley Lewis Burdick This work is licensed under a Creative Commons Attribution 4.0 International License iii DISSERTATION ABSTRACT Bradley Lewis Burdick Doctor of Philosophy Department of Mathematics June 2019 Title: Metrics of Positive Ricci Curvature on Connected Sums: Projective Spaces, Products, and Plumbings The classification of simply connected manifolds admitting metrics of positive scalar curvature of initiated by Gromov-Lawson, at its core, relies on a careful geometric construction that preserves positive scalar curvature under surgery and, in particular, under connected sum. For simply connected manifolds admitting metrics of positive Ricci curvature, it is conjectured that a similar classification should be possible, and, in particular, there is no suspected obstruction to preserving positive Ricci curvature under connected sum.
    [Show full text]
  • Milnor, John W. Groups of Homotopy Spheres
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 4, October 2015, Pages 699–710 http://dx.doi.org/10.1090/bull/1506 Article electronically published on June 12, 2015 SELECTED MATHEMATICAL REVIEWS related to the paper in the previous section by JOHN MILNOR MR0148075 (26 #5584) 57.10 Kervaire, Michel A.; Milnor, John W. Groups of homotopy spheres. I. Annals of Mathematics. Second Series 77 (1963), 504–537. The authors aim to study the set of h-cobordism classes of smooth homotopy n-spheres; they call this set Θn. They remark that for n =3 , 4thesetΘn can also be described as the set of diffeomorphism classes of differentiable structures on Sn; but this observation rests on the “higher-dimensional Poincar´e conjecture” plus work of Smale [Amer. J. Math. 84 (1962), 387–399], and it does not really form part of the logical structure of the paper. The authors show (Theorem 1.1) that Θn is an abelian group under the connected sum operation. (In § 2, the authors give a careful treatment of the connected sum and of the lemmas necessary to prove Theorem 1.1.) The main task of the present paper, Part I, is to set up methods for use in Part II, and to prove that for n = 3 the group Θn is finite (Theorem 1.2). (For n =3the authors’ methods break down; but the Poincar´e conjecture for n =3wouldimply that Θ3 = 0.) We are promised more detailed information about the groups Θn in Part II. The authors’ method depends on introducing a subgroup bPn+1 ⊂ Θn;asmooth homotopy n-sphere qualifies for bPn+1 if it is the boundary of a parallelizable man- ifold.
    [Show full text]
  • Quantitative Algebraic Topology and Lipschitz Homotopy
    Quantitative algebraic topology and Lipschitz homotopy Steven Ferry ∗, and Shmuel Weinberger y ∗Rutgers University, Piscataway, NJ 08854, USA, and yUniversity of Chicago, Chicago, IL 60737, USA Submitted to Proceedings of the National Academy of Sciences of the United States of America We consider when it is possible to bound the Lipschitz constant a its one point compactification E(ξN # Gr(N; m + N))^, the priori in a homotopy between Lipschitz maps. If one wants uniform Thom space of the universal bundle. Let us call this map bounds, this is essentially a finiteness condition on homotopy. This contrasts strongly with the question of whether one can homotop m+N N the maps through Lipschitz maps. We also give an application to ΦM : S ! E(ξ # Gr(N; m + N))^ cobordism and discuss analogous isotopy questions. Thom shows, among other things, that: Lipschitz homotopy j amenable group j uniformly finite homology 1. M bounds iff ΦM is homotopic to a constant map. If M is the boundary of W , one embeds W in Dm+N+1, extending Introduction the embedding of M into Sm+N . Extending Thom's construc- he classical paradigm of geometric topology, exempli- tion over this disk gives a nullhomotopy of ΦM . Conversely, Tfied by, at least, immersion theory, cobordism, smooth- one uses the nullhomotopy and takes the transverse inverse of ing and triangulation, surgery, and embedding theory is that Gr(N, m+N) under a good smooth approximation to the ho- of reduction to algebraic topology (and perhaps some addi- motopy to the constant map 1 to produce the nullcobordism.
    [Show full text]
  • The Generalized Poincaré Conjecture in Higher Dimensions
    THE GENERALIZED POINCARÉ CONJECTURE IN HIGHER DIMENSIONS BY STEPHEN SMALE1 Communicated by Edwin Moise, May 20, 1960 The Poincaré conjecture says that every simply connected closed 3-manifold is homeomorphic to the 3-sphere S3. This has never been proved or disproved. The problem of showing whether every closed simply connected w-manifold which has the homology groups of 5W, or equivalently is a homotopy sphere, is homeomorphic to 5n, has been called the generalized Poincaré conjecture. We prove the following theorem. n 00 THEOREM A. If M is a closed differentiable (C ) manifold which is a homotopy sphere, and if n^Z, 4, then Mn is homeomorphic to Sn. We would expect that our methods will yield Theorem A for com­ binatorial manifolds as well, but this has not been done. The complete proof will be given elsewhere. Here we give an out­ line of the proof and mention other related and more general results. The first step in the proof is the construction of a nice cellular type structure on any closed C00 manifold M. More precisely, define a real valued ƒ on M to be a nice function if it possesses only nonde- generate critical points and for each critical point /3, jT(/3) =X(/3), the index of /3. THEOREM B. On every closed C°° manifold there exist nice functions. The proof of Theorem B is begun in our article [3]. In the termi­ nology of [3], it is proved that a gradient system can be C1 approxi­ mated by a system with stable and unstable manifolds having normal intersection with each other.
    [Show full text]
  • Homeomorphisms Between Homotopy Manifolds and Their Resolutions
    Inventiones math. 10, 239- 250 (1970) by Springer-Verlag 1970 Homeomorphisms between Homotopy Manifolds and Their Resolutions MARSHALL M. COHEN* (Ithaca) w 1. Introduction A homotopy n-manifold without boundary is a polyhedron M (i. e., a topological space along with a family of compatible triangulations by locally finite simplicial complexes) such that, for any triangulation in the piecewise linear (p. I.) structure of M, the link of each/-simplex (0 < i < n) has the homotopy type of the sphere S"-i-1. More generally, a homotopy n-manifold is a polyhedron such that the link of each /-simplex in any triangulation is homotopically an (n - i- 1) sphere or ball, and in which 0M - the union of all simplexes with links which are homotopically balls - is itself a homotopy (n- 1)-manifold without boundary. We note that ifM is a homotopy manifold then 0M is a well-defined subpolyhedron of M. Also, the question of whether a polyhedron M is a homotopy manifold is completely determined by a single triangulation of M (by Lemma LK 5 of [8]). Our main purpose is to prove Theorem 1. Assume that M 1 and M 2 are connected homotopy n-mani- folds where n>6 or where n=5 and t~M1 =OM2= ~. Let f: MI~M 2 be a proper p.I. mapping such that all point-inverses of f and of (f[OM 0 are contractible. Let d be a fixed metric on M 2 and e: MI--*R 1 a positive continuous function. 7hen there is a homeomorphism h: M 1--, M 2 such that d(h(x), f(x)) < e(x) for all x in M 1.
    [Show full text]