Epsilon-delta surgery over \(\mathbb Z\)
type: Item
instance of: scholarly article
title: Epsilon-delta surgery over \(\mathbb Z\)
zbMATH Open document ID: 1207.57046
author: Steve Ferry
published in: Geometriae Dedicata
publication date: 2010-10-27T00:00:00Z
review text: The surgery exact sequence is a main tool for computation of the structure set \({\mathcal S}^{\text{CAT}} (X)\) \((\text{CAT}= \text{Diff,PL,TOP})\) of a given Poincaré complex \(X\) [see \textit{C. T. C. Wall}, Surgery on compact manifolds. 2nd ed. Mathematical Surveys and Monographs. 69. Providence, RI: AMS (1999; Zbl 0935.57003)]. Controlled surgery is a development of surgery theory for spaces \(X\) equipped with a reference map \(p: X\to B\) to a metric space \(B\). A map \(f: Y\to X\) is an \(\varepsilon\)-equivalence over \(B\) if there exist a map \(g: X\to Y\) and homotopies \(h_t: f\circ g\sim \text{id}, k_t: g\circ f\sim \text{id}\) so that the tracks \(p\circ h_t(x)\) and \(p\circ f\circ k_t(y)\) have diameter \(\leq e\) for all \(x\in X\) and \(y\in Y\). Let \((M,\partial M)\) be a manifold with a reference map \(p: M\to B\). An \(\varepsilon\)-structure on \((M, \partial M)\) over \(B\) is an equivalence class of pairs \((N,f)\), where \(f: (N, \partial N)\to (M, \partial M)\) is an \(\varepsilon\)-equivalence over \(B\) which restricts to a homeomorphism of the boundaries. The pairs \((N,f)\) and \((N', f')\) are said to be \(\varepsilon\)-related if there is a homeomorphism \(\varphi: N\to N'\) so that \(f'\circ\varphi\) is \(\varepsilon\)-homotopic to \(f\) over \(B\) \(rel\) boundary. Denote by \({\mathcal S}'_{\varepsilon} \left(\overset{M}{\underset{B}\downarrow}\right)\) the collection of equivalence classes of \(\varepsilon\)-structures on \(M\) generated by this relation. The author provides a proof of the controlled surgery exact sequence, including a stability theorem, as used in the construction of exotic homology manifolds. Theorem 1.1 If \(M^n\) is a compact topological manifold, \(n\geq 6\), or \(n\geq 5\) when \(\partial M=\emptyset\), \(B\) is a finite polyhedron with the standard metric, and \(p: M\to B\) is a \(UV^1\) map, then there exist an \(\varepsilon_0> 0\) and a \(T> 0\) depending only on \(n\) and \(B\) so that for every \(\…
Mathematics Subject Classification ID: 57R65
Mathematics Subject Classification ID: 57N65
Mathematics Subject Classification ID: 57R67
zbMATH DE Number: 5806788
zbMATH Keywords: controlled surgery
zbMATH Keywords: surgery exact sequence
zbMATH Keywords: homology manifold
zbMATH Keywords: controlled \(K\)-theory
zbMATH Keywords: controlled \(h\)-cobordism
zbMATH Keywords: alpha-approximation theorem
reviewed by: Yuri V. Muranov
MaRDI profile type: Publication
full work available at URL: s10711-009-9405-y
OpenAlex ID: W2082174651
cites work: Characterizing 𝑘-dimensional universal Menger compacta
cites work: Q4720067
cites work: Finding a Boundary for an Open Manifold
cites work: Locally homotopically unknotted embeddings of manifolds in codimension two are locally flat
cites work: Homotopy conditions which detect simple homotopy equivalences
cites work: Approximating Homotopy Equivalences by Homeomorphisms
cites work: On the curvature of piecewise flat spaces
cites work: Geometric Groups and Whitehead Torsion
cites work: Homotopy, simple homotopy and compacta
cites work: Curvature, tangentiality, and controlled topology
cites work: Cech and Steenrod homotopy theories with applications to geometric topology
cites work: An inverse system approach to Menger manifolds
cites work: Foundational Essays on Topological Manifolds, Smoothings, and Triangulations. (AM-88)
cites work: Cell-like mappings and their generalizations
cites work: Q4460245
cites work: Ends of maps. III: Dimensions 4 and 5
cites work: The Algebraic Theory of Surgery II. Applications to Topology
cites work: The algebraic theory of finiteness obstruction.
cites work: Q5624419
cites work: L-groups of crystallographic groups
DOI: 10.1007/S10711-009-9405-Y
description: scientific article; zbMATH DE number 5806788