an:06227136
Zbl 1344.19002
Hegenbarth, Friedrich; Muranov, Yuri V.; Repov??, Du??an
Surgery in codimension 3 and the Browder-Livesay invariants
EN
Turk. J. Math. 37, No. 5, 806-817 (2013).
00324735
2013
j
19J25 55T99 58A35 18F25
surgery assembly map; closed manifolds surgery problem; assembly map; inertia subgroup; splitting problem; Browder-Livesay invariants; Browder-Livesay groups; normal maps; iterated Browder-Livesay invariants; manifold with filtration; Browder-Quinn surgery obstruction groups; elements of the second type of a wall group
Summary: The inertia subgroup \(I_{n}(\pi)\) of a surgery obstruction group \(L_{n}(\pi)\) is generated by elements that act trivially on the set of homotopy triangulations \(\mathcal S(X)\) for some closed topological manifold \(X^{n-1}\) with \(\pi_{1}(X) = \pi\). This group is a subgroup of the group \(C_{n}(\pi)\), which consists of the elements that can be realized by normal maps of closed manifolds. These 2 groups coincide by a recent result of Hambleton, at least for \(n\geq 6\) and in all known cases. In this paper we introduce a subgroup \(J_{n}(\pi) \subset I_{n}(\pi)\), which is generated by elements of the group \(L_{n}(\pi)\), which act trivially on the set \(\mathcal S^{\partial}(X, \partial X)\) of homotopy triangulations relative to the boundary of any compact manifold with boundary \((X, \partial X)\). Every Browder-Livesay filtration of the manifold \(X\) provides a collection of higher-order Browder-Livesay invariants for any element \(x \in L_{n}(\pi)\). In the present paper we describe all possible invariants that can give a Browder-Livesay filtration for computing the subgroup \(J_{n}(\pi)\). These are invariants of elements \(x \in L_{n}(\pi)\), which are nonzero if \(x \notin J_{n}(\pi)\). More precisely, we prove that a Browder-Livesay filtration of a given manifold can give the following invariants of elements \(x \in L_{n}(\pi)\), which are nonzero if \(x \notin J_{n}(\pi)\): the Browder-Livesay invariants in codimensions 0, 1, 2 and a class of obstructions of the restriction of a normal map to a submanifold in codimension 3.