Unstable \(jO\)-groups and stably linear homotopy representations for \(p\)-groups (Q1282244)

For a given finite group \(G\), the author studies \(G\)-homotopy representations. Following \textit{T. tom Dieck} and \textit{T. Petrie} [Publ. Math., Inst. Hautes Étud. Sci. 56, 129-170 (1982; Zbl 0507.57025)], by a \(G\)-homotopy representation the author means a \(G\)-CW complex \(X\) such that the \(H\)-fixed point set \(X^H\) is homotopy equivalent to a \((\dim X^H)\)-dimensional sphere for every subgroup \(H\) of \(G\). In his earlier articles [Osaka J. Math. 29, No. 3, 595-606 (1992; Zbl 0778.57022); Manuscr. Math. 82, No. 3-4, 277-292 (1994; Zbl 0809.57023)], the author studied the unstable \(jO\)-group \(jO(G;\underline n)\) as a subgroup of the unstable Picard group \(\text{Pic}(G;\underline n)\) introduced by \textit{E. Laitinen} [in `Transformation groups', Lect. Notes Math. 1217, 210-248 (1985; Zbl 0628.57019)]. Here, \(\underline n\) is a linear dimension function from the set of all subgroups \(H\) of \(G\) to the set of integers; that is, \(\underline n(H)= \dim V^H\) for a representation \(V\) of \(G\). The main theorem (Th. A) deals with the quotient groups \(LH^\infty(G;\underline n)= \text{Pic}(G;\underline n)/jO(G;\underline n)\) and \(LH^\infty(G)= \text{Pic}(G)/jO(G)\). The theorem asserts that for a finite \(p\)-group \(G\), the natural homomorphism \(i(\underline n): LH^\infty(G; \underline n)\to LH^\infty(G)\) is injective when \(p\) is odd, or \(p= 2\) and the natural homomorphism \(\alpha(\underline n): \text{Pic}(G,\underline n)\to \text{Pic}(G)\) is injective. Moreover, in Proposition 0.1, the author notes that for a finite group \(G\), \(i(\underline n)\) is injective for every linear dimension function \(\underline n\) if and only if every stably linear \(G\)-homotopy representation with linear dimension function is linear. As a corollary, the author obtains the result (Corollary B) asserting that for a finite \(p\)-group \(G\), every stably linear \(G\)-homotopy representation is linear when \(p\) is odd, or \(p= 2\) and \(\alpha(\underline n)\) is injective for every linear dimension function \(\underline n\).