On four-dimensional s-cobordisms. II (Q1826164)

[For Part I see J. Differ Geom. 22, 97-115 (1985; Zbl 0597.57008).] Let \(Q_ r\) be the quaternionic group of order \(2^{r+2}\) and \(M_ r=S^ 3/Q_ r\) be the quotient of the canonical action. The main theorem of the paper says that there exist precisely \(2^{2^ r-r-1}\) distinct topological s-cobordisms of M, to itself. The claim is reduced to the case \(r=1\). Using Freedman's topological surgery sequence the proof is reduced to the verification that the surgery obstruction \(\xi \in L_ 5(Q_ r)\) of a specific surgery problem over \(M_ r\times I\times I\) lies not in the image of the map \(\theta\) : [\(\Sigma^ 2M_+;G/TOP]\to L_ 5(Q_ r)\). This is done using the visible symmetric L-groups introduced by M. Weiss.