Linear systems over \(\mathbb{Z}[Q_{32}]\) and roots of maps of some 3-complexes into \(M_{Q_{32}}\) (Q2661718)

Given a map \(f: W\to M\) between topological spaces and an arbitrary point \(a\in M\), write \(MR[f,a]=\min\{\sharp(g^{-1}(a))\mid g\in [f] \}\), where \([-]\) means a homotopy class. A map \(f: W\to M\) is called \textit{strongly surjective}, if any map homotopic to it is surjective or, equivalently, if \(MR[f,a]\not=0\) for some \(a\in M\). The problem of the existence of a map \(f:W\to M\) which is strongly surjective when \(W\) is a \(CW\)-complex and \(M\) is a closed manifold, both of dimension three, has been studied by the author in [Fundam. Math. 192, No. 3, 195--214 (2006; Zbl 1111.55001)]. Since the generalized quaternion group \(Q_{4n}\) of order \(4n\) may be regarded as a subgroup of the \(3\)-sphere \(\mathbb{S}^3\), one can consider its obvious action on \(\mathbb{S}^3\) and the associated orbit space \(M_{Q_{4n}}\). Then, the author has studied in [Bull. Belg. Math. Soc. - Simon Stevin 24, No. 4, 501--522 (2017; Zbl 1393.55001)] and [Cent. Eur. J. Math. 6, No. 4, 497--503 (2008; Zbl 1153.55002)] the problem of the existence of a map \(f:W\to M_{Q_{4n}}\) with which is strongly surjective for \(n=2,4\) with a three dimensional \(CW\)-complex \(W\) with \(H^3(W,\mathbb{Z})=0\). The present paper considers the same problem for \(n=8\). The author studies the linear system \(PX=K\) over the group ring \(\mathbb{Z}[Q_{32}]\) over the integers \(\mathbb{Z}\) to show that there is no map \(f: W\to M_{Q_{32}}\) that is strongly surjective \(W\) for any three dimensional \(CW\)-complex with \(H^3(W,\mathbb{Z})=0\).