DOCSLIB.ORG

Arxiv:2007.15062V2 [Math.AT] 23 Nov 2020 Where Theorem

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2007.15062V2 [Math.AT] 23 Nov 2020 Where Theorem AN HP2-BUNDLE OVER S4 WITH NONTRIVIAL A-GENUSˆ MANUEL KRANNICH, ALEXANDER KUPERS, AND OSCAR RANDAL-WILLIAMS Abstract. We explain the existence of a smooth H% 2-bundle over (4 whose total space has nontrivial ˆ-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian metrics of positive sectional curvature on a closed manifold can have nontrivial higher rational homotopy groups. In view of applications to spaces of Riemannian metrics with positive curvature, there has been recent interest in constructing smooth fibre bundles over spheres whose total space has nontrivial ˆ-genus. In their work on the space of positive scalar curvature metrics, Hanke–Schick–Steimle [HSS14, Corollary 1.6] showed that such bundles exist for every dimension of the base sphere. However, as noted on page 337 loc. cit., their method does not yield bundles with an explicit description of the fibre, though they are able to show that the fibre may be chosen to carry a metric of positive scalar curvature using a theorem of Stolz. For applications to spaces of metrics with positive sectional or Ricci curvature it is desirable to have examples with fibre carrying such a metric. In [BEW20,p.3999](seealso[Sch14, Section 9]) it is said that this “seems to be a very difficult problem”: we offer the following solution. Theorem. There exists a smooth oriented fibre bundle H%2 → 12 → (4 with ˆ() ≠ 0. Remark. The argument we give also shows that this fibre bundle may be assumed to have a section with trivial normal bundle (see Remark 2), and provides analogous H%=-bundles over (4 for all even = ≥ 2 (see Remark 3). It can certainly be extended further. 2 The standard Riemannian metric 6st on H% has positive sectional curvature, so pulling back 6st along orientation-preserving diffeomorphisms yields a map ∗ 2 sec>0 2 Ric>0 2 scal>0 2 (−) 6st : Diff(H% ) −→ R (H% ) ⊂ R (H% ) ⊂ R (H% ) from the group of diffeomorphisms of H%2 in the smooth topology to the spaces of Rie- mannian metrics on H%2 having positive sectional, Ricci, or scalar curvature. By an argu- ment of Hitchin [Hit74] (see for instance [BEW20, p.3999] for an explanation of this), the theorem has the following corollary, which answers a question of Schick [OWL17, p.30] and provides an example as asked for in [BEW20, Remark2.2]. Corollary. The induced map > arXiv:2007.15062v2 [math.AT] 23 Nov 2020 ∗ 2 scal 0 2 c3 ((−) 6st)⊗ Q: c3 (Diff (H% ); id)⊗ Q −→ c3 (R (H% );6st)⊗ Q sec>0 2 Ric>0 2 is nontrivial, so in particular c3 (R (H% );6st)⊗Q ≠ 0 and c3 (R (H% );6st)⊗Q ≠ 0. Proof of the Theorem. Smooth H%2-bundles over (4 (together with an identification of 2 2 the fibre over the basepoint with H% ) are classified by c4 (BDiff (H% )), so our task is to ˆ 2 2 4 show that the morphism : c4 (BDiff (H% )) → Q assigning an H% -bundle → ( the ˆ-genus of the total space is nontrivial. This morphism admits a factorisation of the form ˆ 2 2 (1) c4 (BDiff(H% )) −→ c4 (BDiff (H% )) −→ Q, g where Diff (H%2) is the block diffeomorphism group of H%2 and thefirst mapisinducedby g the canonical comparison map Diff (H%2) → Diff (H%2). This factorisation follows for in- stance from [ERW14, Theorem 1], but there is alsog a more direct argument: via the canoni- 2 2 ˆ 2 cal isomorphism c4 (BDiff (H% )) c3 (Diff (H% ); id), the morphism : c4 (BDiff (H% ) → 1 2 MANUEL KRANNICH, ALEXANDER KUPERS, AND OSCAR RANDAL-WILLIAMS Q is given by mapping a diffeomorphism q : 3 × H%2 → 3 × H%2 that is the identity on the boundary and commutes with the projection to (3 to the ˆ-genus of the glued 4 2 4 2 manifold × H% ∪q∪id × H% . This description of the morphism makes clear that it 2 3 2 2 factors through the map c3 (Diff (H% ); id) → c0 (Diff m ( × H% )) c3 (Diff (H% ); id) that only remembers the underlying isotopy class of q. g We thus have to show nontriviality of the composition (1). It suffices to checkthis after rationalisation, which makes the first map surjective: 2 2 Lemma. The map c4 (BDiff (H% )) ⊗ Q −→ c4 (BDiff (H% )) ⊗ Q surjective. g Proof. Choosing an embedded disc 8 ⊂ H%2, we consider the commutative square 8 2 BDiff m ( ) BDiff (H% ) 8 2 BDiff m ( ) BDiff (H% ) g g whose horizontal maps are induced by extending (block) diffeomorphisms of 8 that are the identity on the boundary to H%2 by the identity. The claim follows by showing that the third rational homotopy group of the right vertical homotopy fibre vanishes for which we note that, since H%2 is 3-connected, the square is 4-cartesian by Morlet’s lemma of disjunc- tion [BLR75, Corollary 3.2, p.29], so it suffices to show that the third rational homotopy 2= 2=+8−1 group of the left vertical map is trivial. Since c8 (BDiff m ( )) c0Diff m ( ) Θ2=+8 g vanishes rationally as the group Θ2=+8 of homotopy (2= + 8)-spheres is finite, the claim 8 follows from c3 (BDiff m ( )) ⊗ Q = 0 which holds by [RW17, Theorem 4.1]. ˆ 2 Given the lemma, we are left to show that the map : c4 (BDiff (H% )) → Q is non- trivial, which we shall do after precomposition with the map g 2 2 2 c4 (hAut(H% )/Diff(H% ); id) −→ c4 (BDiff (H% )) g g induced by the inclusion of the homotopy fibre of the comparison map BDiff (H%2) → BhAut(H%2), where hAut(H%2) is the topological monoid of homotopy automorphismsg of H%2. Considering this homotopy fibre is advantageous since the ℎ-cobordism theorem provides an isomorphism 2 2 4 2 c4 (hAut(H% )/Diff (H% )) Sm ( × H% ) g to the structure group of 4 × H%2 relative to m4 × H%2 in the sense of surgery theory (see [Wal99] for background on surgery theory, especially Chapter 10), which in turn fits into the surgery exact sequence of abelian groups m 4 2 [ 4 2 f 0 = !13 (Z) −→ Sm ( × H% ) −→ Nm ( × H% ) −→ !12 (Z) Z 4 2 featuring the surgery obstruction map f from the normal invariants Nm ( × H% ) to the 4 2 !-group !12 (Z) Z. The standard smooth structure on ×H% provides an isomorphism 4 2 4 2 Nm ( × H% ) [( ∧ H%+, G/O], where [−, −] stands for based homotopy classes and G/O is thehomotopy fibre of themap BO → BG classifying the underlying stable spherical fibration of a stable vector bundle. As BG has trivial rational homotopy groups, the map 4 2 4 2 0 4 2 [( ∧ H%+, G/O] −→ [( ∧ H%+, BO] = $ (( ∧ H%+) g is rationally an isomorphism. Furthermore the Pontrjagin character gives an isomorphism = 0 4 2 48 4 2 = 3 ph(−) ch(− ⊗R C) : $ (( ∧ H%+)⊗ Q −→ É ≥ (( ∧ H%+; Q) D · Q[I]/(I ), g 8 0 e where D ∈ 4 ((4; Q) denotes the cohomological fundamental class, and I ∈ 4 (H%2; Q) is the usuale generator. Therefore for any triple (, ,) ∈ Q3 there exists a nonzero _ ∈ Z AN HP2-BUNDLE OVER S4 WITH NONTRIVIAL A-GENUSˆ 3 4 2 and a normal invariant = ∈ Nm ( × H% ) whose underlying stable vector bundle b has 2 4 2 ph(b) = _ · D · ( + I + I ). Since ( ∧ H%+ has no nontrivial cup-products among = 8+1 elements of positive degree, we have ph8 (b) (−1) /(28 − 1)! · ?8 (b) and hence 2 (2) ?1 (b) = _ · D ?2 (b) = −6_ · D · I ?3 (b) = 120_ · D · I . To evaluate the surgery obstruction map f, recall that a normal invariant = with un- derlying stable vector bundle b is represented by a degree 1 normal map 5ˆ a" a4×H% 2 ⊕ b (3) 5 "12 4 × H%2, 4 2 where m" = m ×H% and 5 and 5ˆrestrict to the identity maps on the boundary. Herea (−) denotes the stable normal bundle of a manifold. The surgery obstruction is unchanged by gluing into " and 4 ×H%2 acopy of 4 ×H%2 along the identification of their boundaries with m4 × H%2, and extending 5 and 5ˆ trivially, giving rise to a degree 1 normal map to 5 ′ : " ′ → (4 × H%2. The surgery obstruction may then be expressed in terms of the signatures of these manifolds, as = 1 ′ 4 2 f (=) 8 sign(" )− sign(( × H% ). The signature of (4 × H%2 is trivial, and that of " ′ may be computed in terms of the ( ′) ′ Hirzebruch signature theorem as the evaluation ∫"′ ! )" of the !-class. As 5 has ′ degree 1 and pulls back a(4×H% 2 ⊕ b to the stable inverse of )" , we have ( ′) = ( ′) = ( 4)· ( 2)· (− ) (4) sign " ∫"′ ! )" ∫(4×H% 2 ! )( ! ) H% ! b . The first terms of the total !-class are given as 7·? −?2 62·? −13·? ? +2·?3 = ?1 2 1 3 1 2 1 ! 1 + 3 + 45 + 945 +··· , which we combine with ?() H%2) = 1 + 2I + 7I2 from [Hir53, Satz 1] to compute !()(4) = 1 2 = 2 2 !() H% ) 1 + 3 · I + I = 1 14 496 2 !(−b) 1 + _(− 3 · D + 15 ·(D · I)− 63 ·(D · I )) and thus = ′ = 1 28 496 8f (=) sign(" ) _(− 3 + 45 − 63 ). 3 1 28 496 = It follows that for each triple (, ,) ∈ Q satisfying 3 − 45 + 63 0 there exists a non-zero _ ∈ Z andadegree1 normalmapasin (3) with 5 a homotopy equivalence and with b having Pontrjagin classes as in (2). This gives a smoothblock H%2-bundle structure on the composition 5 ′ c " ′ −→ (4 × H%2 −−→1 (4 2 ′ giving rise to a class in c4 (BDiff(H% ), so it remains to evaluate ˆ(" ).
Load more

Recommended publications
  • Surgery on Compact Manifolds, Second Edition, 1999 68 David A
    http://dx.doi.org/10.1090/surv/069 Selected Titles in This Series 69 C. T. C. Wall (A. A. Ranicki, Editor), Surgery on compact manifolds, Second Edition, 1999 68 David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, 1999 67 A. Borel and N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, Second Edition, 1999 66 Yu. Ilyashenko and Weigu Li, Nonlocal bifurcations, 1999 65 Carl Faith, Rings and things and a fine array of twentieth century associative algebra, 1999 64 Rene A. Carmona and Boris Rozovskii, Editors, Stochastic partial differential equations: Six perspectives, 1999 63 Mark Hovey, Model categories, 1999 62 Vladimir I. Bogachev, Gaussian measures, 1998 61 W. Norrie Everitt and Lawrence Markus, Boundary value problems and symplectic algebra for ordinary differential and quasi-differential operators, 1999 60 Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace C*-algebras, 1998 59 Paul Howard and Jean E. Rubin, Consequences of the axiom of choice, 1998 58 Pavel I. Etingof, Igor B. Frenkel, and Alexander A. Kirillov, Jr., Lectures on representation theory and Knizhnik-Zamolodchikov equations, 1998 57 Marc Levine, Mixed motives, 1998 56 Leonid I. Korogodski and Yan S. Soibelman, Algebras of functions on quantum groups: Part I, 1998 55 J. Scott Carter and Masahico Saito, Knotted surfaces and their diagrams, 1998 54 Casper Goffman, Togo Nishiura, and Daniel Waterman, Homeomorphisms in analysis, 1997 53 Andreas Kriegl and Peter W. Michor, The convenient setting of global analysis, 1997 52 V. A. Kozlov, V. G. Maz'ya> and J. Rossmann, Elliptic boundary value problems in domains with point singularities, 1997 51 Jan Maly and William P.
    [Show full text]
  • A Composition Formula for Manifold Structures
    1 A COMPOSITION FORMULA FOR MANIFOLD STRUCTURES Andrew Ranicki (Edinburgh) Paper: http://www.maths.ed.ac.uk/eaar/papers/compo.pdf Slides: http://www.maths.ed.ac.uk/eaar/slides/bonn.pdf Bonn, 4th December, 2007 2 Homotopy equivalences and homeomorphisms I Every homotopy equivalence of 2-dimensional manifolds is homotopic to a homeomorphism. I For n > 3 a homotopy equivalence of n-dimensional manifolds f : N ! M is not in general homotopic to a homeomorphism, e.g. lens spaces for n = 3. I There are surgery obstructions to making the normal maps f j : f −1(L) ! L normal bordant to homotopy equivalences for every submanifold L ⊂ M. For n > 5 f is homotopic to a homeomorphism if and only if there exist such normal bordisms which are compatible with each other. I Novikov (1964) used surgery to construct homotopy p q equivalences f : N ! M = S × S for certain p; q > 2, which are not homotopic to homeomorphisms. 3 The topological structure set STOP (M) TOP I The structure set S (M) of an n-dimensional topological manifold M is the pointed set of equivalence classes of pairs (N; f ) with N an n-dimensional topological manifold and f : N ! M a homotopy equivalence. 0 0 −1 0 0 I (N; f ) ∼ (N ; f ) if (f )f : N ! N is homotopic to a homeomorphism. TOP I Base point (M; 1) 2 S (M). TOP n I Poincar´econjecture S (S ) = {∗}. TOP I Borel conjecture If M is aspherical then S (M) = {∗}. TOP I For n > 5 surgery theory expresses S (M) in terms of topological K-theory of the homotopy type of M and TOP algebraic L-theory of Z[π1(M)].
    [Show full text]
  • Surgery Obstructions on Closed Manifolds and the Inertia Subgroup
    Forum Math. 24 (2012), 911–929 Forum Mathematicum DOI 10.1515/FORM.2011.090 © de Gruyter 2012 Surgery obstructions on closed manifolds and the inertia subgroup Ian Hambleton Communicated by Andrew Ranicki Abstract. The Wall surgery obstruction groups have two interesting geometrically de- fined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group In 1.; w/ and the closed manifold sub- C group Cn 1.; w/ are equal in dimensions n 1 6, for any finitely-presented group and any orientationC character w Z=2. ThisC answers a question raised in 1980. W ! Keywords. Surgery obstructions, Wall groups, assembly maps. 2010 Mathematics Subject Classification. 57R67, 57R75. 1 Introduction Let be a finitely-presented group, and let Ln.Z; w/ denote Wall’s surgery ob- struction group for oriented surgery problems up to simple homotopy equivalence, where w Z=2 is an orientation character (see [36, Chap. 5–6]). We work W ! with topological (rather than smooth) manifolds throughout, so rely on the work of Kirby–Siebenmann [18] for the extension of surgery theory to the topological category. Let X n be a closed, topological n-manifold, n 5, and let c X B denote W ! the classifying map of its universal covering, so that c 1.X; x0/ is a given 1 W ! isomorphism. The orientation class w1.X/ H .X Z=2/ induces an orientation 2 I character w Z=2. The surgery exact sequence W ! n 1.X/ Œ†.X/; G=TOP C Ln 1.Z; w/ S .X/ ! C ! n.X/ ŒX; G=TOP Ln.Z; w/ ! ! Research partially supported by NSERC Discovery Grant A4000.
    [Show full text]
  • Manifolds and Poincaré Complexes
    MANIFOLDS AND POINCARE´ COMPLEXES JAMES F. DAVIS AND NANSEN PETROSYAN Abstract. This article contains extended notes of the lectures pre- sented by the first author during the conference "Geometry, Topology and Their Interactions" in Morelia, Mexico on January 8th - 13th, 2007. The article discusses the three types of manifolds: smooth, piecewise- linear, and topological, as well as a homotopy analogue of a manifold, a Poincar´ecomplex. In each case, examples are given of a manifold which does not admit the next strongest structure, and of two distinct manifolds which become isomorphic after weakening the structure. Contents 1. Introduction 1 2. Manifolds, Poincar´eComplexes, and Bundles 1 2.1. Spivak Normal Fibration 7 3. Smoothing Theory 9 4. Smoothing Homotopy Equivalences 17 5. Presurgery 21 5.1. Pontrjagin-Thom Construction 23 6. Surgery 24 6.1. Surgery up to the Middle Dimension 25 6.2. Surgery Exact Sequence 26 6.3. Examples and Applications 30 References 33 1. Introduction 2. Manifolds, Poincare´ Complexes, and Bundles We will draw distinctions between types of manifolds: topological mani- folds (T OP ), piecewise linear manifolds (PL), smooth manifolds (O), and Date: March 28, 2012. Key words and phrases. surgery theory, classifying space. 1 MANIFOLDS AND POINCARE´ COMPLEXES 2 Poincar´ecomplexes (G), which are homotopy analogues of manifolds. The revolutionary idea that manifolds could have different structures was due to Milnor's [Mil56] discovery of exotic spheres: two non-diffeomorphic mani- folds, both homeomorphic to S7. The easiest notion to define, but the hardest to work with, is a topological manifold. This is a Hausdorff topological space where every point has a n neighborhood homeomorphic to R .
    [Show full text]
  • Springer Monographs in Mathematics M
    Springer Monographs in Mathematics M. Banagl Topological Invariants of Stratified Spaces M. Banagl Mathematisches Institut Universität Heidelberg Im Neuenheimer Feld 288 69120 Heidelberg, Germany e-mail: [email protected] Library of Congress Control Number: 2006693517 Mathematics Subject Classification (2000): 55N33 ISSN 1439-7382 ISBN-10 3-540-38585-1 Springer Berlin Heidelberg New York ISBN-13 978-3-540-38585-1 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2007 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting by the author and VTEX using a Springer LATEXmacropackage Cover design: Erich Kirchner, Heidelberg, Germany Printed on acid-free paper SPIN: 11839545 VA 44/3100/VTEX - 543210 Preface The homology of manifolds enjoys a remarkable symmetry: Poincaré duality. If the manifold is triangulated, then this duality can be established by associating to a sim- plex its dual block in the barycentric subdivision.
    [Show full text]
  • A Basic Introduction to Surgery Theory
    A Basic Introduction to Surgery Theory Wolfgang L¨uck1 Fachbereich Mathematik und Informatik Westf¨alische Wilhelms-Universit¨atM¨unster Einsteinstr. 62 48149 M¨unster Germany October 27, 2004 1email: [email protected] www: http://www.math.uni-muenster.de/u/lueck/ FAX: 49 251 8338370 II Preface This manuscript contains extended notes of the lectures presented by the au- thor at the summer school \High-dimensional Manifold Theory" in Trieste in May/June 2001. It is written not for experts but for talented and well educated graduate students or Ph.D. students who have some background in algebraic and differential topology. Surgery theory has been and is a very successful and well established theory. It was initiated and developed by Browder, Kervaire, Milnor, Novikov, Sullivan, Wall and others and is still a very active research area. The idea of these notes is to give young mathematicians the possibility to get access to the field and to see at least a small part of the results which have grown out of surgery theory. Of course there are other good text books and survey articles about surgery theory, some of them are listed in the references. The Chapters 1 and 2 contain interesting and beautiful results such as the s-Cobordism Theorem and the classification of lens spaces including their illu- minating proofs. If one wants to start with the surgery machinery immediately, one may skip these chapters and pass directly to Chapters 3, 4 and 5. As an application we present the classification of homotopy spheres in Chapter 6.
    [Show full text]
  • Mat993d: Topology of Manifolds: Surgery Theory
    MAT993D: TOPOLOGY OF MANIFOLDS: SURGERY THEORY MARK POWELL 1. Introduction and overview The course will roughly follow the books of Ranicki [Ran] and Crowley-L¨uck- Macko [CLM], although some material also comes from all of the books in the bibliography. 1.1. Classification of manifolds. Definition 1.1 (Topological manifold). An n-dimensional manifold M is a Haus- dorff topological space with a countable basis of open sets, such that for all m 2 M, n n−1 there is an open set U ⊆ M containing m an open set V ⊂ R or V 2 R≥0 × R and a homeomorphism hjU : U ! V . Remark 1.2. Any such space is metrizable and paracompact. Definition 1.3. A differentiable structure on an n-manifold M is a collection f(Uα; hα)g of charts i.e. open sets Uα ⊂ M with a homeomorphism hα : Uα ! Vα n n−1 where V is an open set in R or R≥ × R , that satisfy the following conditions. α S 0 f g (1) Uα cover M, that is α Uα = M. ◦ −1j \ ! \ (2) hα hβ : hβ(Uα Uβ) hα(Uα Uβ) is a smooth map. (3) The collection f(Uα; hα)g is maximal with respect to (2). That is, adding another coordinate neighbourhood causes (2) to fail. The collection of charts is called a differentiable atlas. A manifold together with a differentiable structure is called a differentiable or a smooth manifold. Some famous manifolds include the n-sphere Sn, the n-torus T n, CPn=2, the complex projective space, for n even.
    [Show full text]
  • [Math.GT] 26 Jan 2006 Htcranpout Ffiiegop Oatfel and Freely Act Paper Do This Groups in finite [15]
    SOME EXAMPLES OF FREE ACTIONS ON PRODUCTS OF SPHERES IAN HAMBLETON Abstract. If G1 and G2 are finite groups with periodic Tate cohomology, n n then G1 × G2 acts freely and smoothly on some product S × S . Introduction The study of free finite group actions on products of spheres is a natural continuation of the spherical space form problem [15]. In this paper, we show that certain products of finite groups do act freely and smoothly on a product of spheres, even though the individual factors can’t act freely and smoothly (or even topologically) on a single sphere. This verifies a conjecture of Elliott Stein [24]. The method involves a detailed analysis of the product formulas in surgery theory, and a refinement of Dress induction for surgery obstructions. If a finite group G acts freely on Sn, then (i) every abelian subgroup of G is cyclic, and (ii) every element of order 2 is central. In [15], Madsen, Thomas and Wall proved that these conditions are sufficient to imply the existence of a free topological action on some sphere. Actually, these two conditions have a very different character. By the work of P. A. Smith and R. Swan [25], condition (i) is necessary and sufficient for a free simplicial action of G on a finite- dimensional simplicial complex, which is homotopy equivalent to a sphere. The finite groups G satisfying condition (i) are exactly the groups with periodic Tate cohomology, or equivalently those for which every subgroup of order p2, p prime, is cyclic (the p2-conditions). On the other hand, Milnor [18] proved that condition (ii) is necessary for a free G-action by homeomorphisms on any arXiv:math/0309152v4 [math.GT] 26 Jan 2006 closed, topological manifold which has the mod 2 homology of a sphere.
    [Show full text]
  • On the Cardinality of the Manifold
    ON THE CARDINALITY OF THE MANIFOLD SET DIARMUID CROWLEY AND TIBOR MACKO Abstract. We study the cardinality of the set of homeomorphism classes of manifolds homotopy equivalent to a given manifold M and compare it to the cardinality of the structure set of M. 1. Introduction Let M be a closed connected topological n-manifold. We define its manifold set M(M), to be the set of homeomorphism classes of manifolds homotopy equivalent to M: M(M) := {N | N ≃ M}/∼= Here ≃ denotes a homotopy equivalence and =∼ denotes a homeomorphism. We also define the simple manifold set Ms(M) ⊂ M(M) where we require that N is simple homotopy equivalent to M and the s/h-manifold set, Ms/h(M), which is the quotient of Ms(M) where we replace homeomorphism by the relation of h-cobordism. Henceforth, for simplic- ity, we assume that M is orientable. ,(We have the inclusion Ms(M) ֒→ M(M) and the surjection Ms(M) → Ms/h(M both of which are bijections if the Whitehead group Wh(π1(M)) vanishes and n ≥ 5. In Section 2 we give more details on various versions of the manifold set and relations between them. The computation of the simple manifold set typically proceeds via surgery theory where one first computes the simple structure set of M, s S (M) := {f : N → M}/∼s, which is the set of simple homotopy equivalences from a closed topological n-manifold N to M, up to s-cobordism in the source (see Section 2 for more details). The simple structure set of M with π = π1(M) and n ≥ 5 lies in the surgery exact sequence s ω s η θ s · · · −→ Ln+1(Zπ) −−→S (M) −−→N (M) −→ Ln(Zπ), (1.1) arXiv:1708.02089v2 [math.GT] 18 Jan 2018 Date: January 19, 2018.
    [Show full text]