Nontrivial \(\mathcal P(G)\)-matched \(\mathfrak S\)-related pairs for finite gap Oliver groups (Q978499)

For a finite group \(G\), real finite dimensional \(G\)-representations (\(G\)-modules) \(V\) and \(W\) are \(\mathfrak{D}\)-related if there is a \(G\)-action on a disk with two fixed points such that the tangential representations at the fixed points are isomorphic to \(V\) and \(W\), respectively. Replacing the disk with a homotopy sphere yields the definition of \(\mathfrak{S}\)-related, i.e. Smith equivalent, \(G\)-modules, and \(\mathfrak{DS}\)-related \(G\)-modules are those which are both \(\mathfrak{D}\)-related and \(\mathfrak{S}\)-related. For \(G = P\Sigma L(2,27)\), \(G = SG(864, 2666)\), and \(G = SG(864, 4666)\) where \(SG(m,n)\) is the small group of order \(m\) and type \(n\), the authors construct nontrivial \(\mathfrak{DS}\)-related \(G\)-modules. Along with a theorem of \textit{K. Pawalowski} and \textit{R. Solomon} [Algebr. Geom. Topol. 2, 843--895 (2002; Zbl 1022.57019)], this resolves Laitinen's conjecture for finite nonsolvable gap groups. Specifically according to the abstract, for such a group \(G\), ``there exists a nontrivial \(\mathcal{P}(G)\)-matched pair consisting of \(\mathfrak{S}\)-related real \(G\)-modules if and only if the number of all real conjugacy classes of elements in \(G\) not of prime power order is greater than or equal to \(2\),'' where \(\mathcal{P}(G)\) denotes the set of subgroups of \(G\) of prime power order; (see \textit{E. Laitinen} and \textit{K. Pawalowski} [Proc. Am. Math. Soc. 127, No.1, 297--307 (1999; Zbl 0914.57025)]).