A composition formula for manifold structures

DOI10.4310/PAMQ.2009.V5.N2.A5MaRDI QIDQ1022829zbMATH OpenOpenAlexFDO

Authors Andrew Ranicki

Publication date 23 June 2009

Published in Pure and Applied Mathematics Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0608705

zbMATH Keywords

normal invariantstructure setsurgery exact sequencesurgery theory, Poincaré complextopological manifoldtopological normal map

Mathematics Subject Classification ID

(L)-theory of group rings (19G24) Surgery obstructions ((K)-theoretic aspects) (19J25) Algebraic topology of manifolds (57N65) Cobordism and concordance in topological manifolds (57N70) Poincaré duality spaces (57P10) Surgery obstructions, Wall groups (57R67)

Abstract: The structure set $S{T}^{TOP}(M)$ of an $n$-dimensional topological manifold $M$ for $ngeqslant5$ has a homotopy invariant functorial abelian group structure, by the algebraic version of the Browder-Novikov-Sullivan-Wall surgery theory. An element $(N,f)inS{T}^{TOP}(M)$ is an equivalence class of $n$-dimensional manifolds $N$ with a homotopy equivalence $f:NoM$. The composition formula is that $(P,fg)=(N,f)+f_{\ast }(P,g)inS{T}^{TOP}(M)$ for homotopy equivalences $g:PoN$, $f:NoM$. The formula is required for a paper of Kreck and L"uck.

Review text

Let \(M\) be an \(n\)-dimensional topological manifold. The structure set \(\mathcal{S}^{TOP} (M)\) is the basic object for the classification of manifolds which are homotopy equivalent to \(M\). Strictly speaking, the set \(\mathcal{S}^{TOP} (M)\) is the pointed set of equivalence classes of pairs \((N,f)\) with \(N\) an \(n\)-dimensional manifold and \(f: N\to M\) a homotopy equivalence, with \((N_1,f_1)=(N_2,f_2)\in \mathcal{S}^{TOP} (M)\) if and only if \((f_1)^{-1}f_2: N_2\to N_1\) is homotopic to a homeomorphism, and \((M,1)\in \mathcal{S}^{TOP} (M)\) the base point. For \(n\geq 5\), the structure set \(\mathcal{S}^{TOP} (M)\) fits into the topological Browder-Novikov-Sullivan-Wall surgery exact sequence, which is isomorphic to the algebraic surgery exact sequence which was constructed by the author in [Algebraic \(L\)-theory and topological manifolds, Cambridge Tracts in Mathematics. 102. Cambridge: Cambridge University Press (1992; Zbl 0767.57002)]. This isomorhism provides a natural abelian group structure with operation \(+\) on the structure set \(\mathcal{S}^{TOP} (M)\). Let \(g: P\to N\), \(f: N\to M\) be homoptopy equivalences with \((N,f)\in \mathcal{S}^{TOP} (M)\), \((P,g)\in \mathcal{S}^{TOP} (N)\). In the paper under review, the author proves the composition formula \((P,fg)=(N,f)+f_*(P,g)\in \mathcal{S}^{TOP} (M)\), where \(f_*\) is a functorial map of algebraic surgery exact sequences induced by \(f\). The author also describes a relation of the obtained formulae to two natural abelian group structures on the set of normal bordism maps to the manifold \(M\). Then the author obtains results about a composition of topological normal maps and about the Whitney sum of topological normal invariants. The paper is concluded with an example of application of the results to \(\mathcal{S}^{TOP} (S^p\times S^q)\).

Recommendations

• The smooth structure set of \(S^{p} \times S^{q}\)
• scientific article; zbMATH DE number 2149092
• Normal invariants of manifold pairs and assembly maps
• Structure sets of triples of manifolds
• On Siebenmann periodicity

Cited in

(8)

• Higher simple structure sets of Lens spaces with the fundamental group of order \(2^K\)
• On the cardinality of the manifold set
• Generalized manifolds, normal invariants, and \(\mathbb{L} \)-homology
• MIXED STRUCTURES ON A MANIFOLD WITH BOUNDARY
• The additivity of the \(\rho \)-invariant and periodicity in topological surgery
• Free involutions on \(S ^{1} \times S ^{n }\)
• The smooth structure set of \(S^{p} \times S^{q}\)
• On fake Lens spaces with fundamental group of order a power of 2

This page was built for publication: A composition formula for manifold structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1022829)