Higher simple structure sets of Lens spaces with the fundamental group of order \(2^K\) (Q2312462)

The simple structure set \(\mathcal S_{\partial}^S(X)\) is defined to be the set of equivalence classes of simple homotopy equivalences of pairs \(h:(M, \partial M) \rightarrow (X, \partial X)\) with the source an \(n\)-dimensional compact manifold with boundary and whose restriction map \(h: \partial M \rightarrow \partial X\) is a homeomorphism. If \(\partial X = \emptyset\), then we may take \(Y = X \times D^k\) for \(k \in \mathbb N\) to consider \(\mathcal S_{\partial}^S(Y)\). In this article, the authors discuss topological higher simple structure sets. More specifically, let \(L\) be a \((2d-1)\)-dimensional fake lens space for a free cyclic group \(G\) \(\cong\) \(\mathbb Z_n\) (\(n = 2^j\)) acting on \(S^{2d-1}\) where \(d = 2e\) or \(d = 2e +1\) for \(e\), \(j \in \mathbb N\). A main result is that \(\mathcal S_{\partial}^S(L \times D^{2k})\) is isomorphic to a finite direct sum of abelian groups determined by a pair of positive integers \((d, k)\). For example, if \(k\) is even, then \(\mathcal S_{\partial}^S(L \times D^{2k})\) \(\cong\) \(F^{\pm} \oplus \mathbb Z \oplus T'_n \oplus T_2\) (\(F^+\) if \(d\) is even otherwise \(F^-\)). The notations in the direct sum are as follows: \(\bullet\) \(F^+\) is a free abelian group of rank \(2^{j-1}\). \(\bullet\) \(F^-\) is a free abelian group of rank \(2^{j-1}-1\). \(\bullet\) \(T'_n\) \(=\) \(\oplus_{i = 1}^{c_n} \mathbb Z_{2^{min \{2i, j\}}}\), where \(c_n = e - 1\) if \(d\), \(k\) are both even otherwise \(c_n = e\). \(\bullet\) \(T_2\) \(=\) \(\oplus_{i = 1}^{c_2} \mathbb Z_2\), where \(c_2 = e\) if \(d\) is odd and \(k\) is even otherwise \(c_2 = e-1\). It is worth mentioning that \textit{C. T. C. Wall} [Surgery on compact manifolds. 2nd ed. Providence, RI: American Mathematical Society (1999; Zbl 0935.57003)] has shown the result for the case when \(k = 0\) and \(\pi_1(L)\) \(\cong\) \(\mathbb Z_n\) if \(n\) is odd. Further, if \(n = 2^j\), then \textit{S. López de Medrano} [Involutions on manifolds. Berlin-Heidelberg-New York: Springer-Verlag (1971; Zbl 0214.22501)], Wall [loc. cit.], and \textit{T. Macko} and \textit{C. Wegner} [Algebr. Geom. Topol. 9, No. 3, 1837--1883 (2009; Zbl 1220.57020)] obtained the result. In general, if \(k =0\) and \(n = 2^jm\) with \(m\) is odd, then it has been solved (see [\textit{T. Macko} and \textit{C. Wegner}, Forum Math. 23, No. 5, 1053--1091 (2011; Zbl 1236.57044)]). On the other hand, if \(k \geq 1\) and either \(n = 2\) or \(n\) is odd, then \textit{I. Madsen} and \textit{M. Rothenberg} proved the case in [Math. Scand. 64, No. 2, 161--218 (1989; Zbl 0694.57023)]. Therefore, the question still remains open when \(n = 2^j m\) where \(m\) is odd for \(k \geq 1\).