Supplement to ''Compact transformation groups on \({\mathbb{Z}}_ 2\)-cohomology spaces with orbit of codimension 1'' (Q1060472)

In the main theorem of the previous paper [(*) ibid. 11, 571-616 (1981; Zbl 0515.57021)] we proved the following: (1.1) Let (G,M) be a smooth action of a compact connected Lie group G on a connected closed smooth manifold M with orbit of codimension 1. If M is a \({\mathbb{Z}}_ 2\)- cohomology sphere, then (G,M) is (essentially) isomorphic to (a) the linear action on the sphere \(S^ n\) via a representation \(G\to SO(n+1)\), (b) the standard action on the Brieskorn manifold \(W^{2m-1}(r)\) for odd \(r\geq 1\), given in [(*); Ex. 1.2], or (c) the action (SO(4),M) with dim M\(=7\), given in [(*); Ex. 1.3], which exists for each relatively prime integers \(\ell_ s\) and \(m_ s\) \((s=1,2)\) with \[ \ell_ s\equiv m_ 3\equiv 1 mod 4,\quad 0<\ell_ 1-m_ 1\equiv 4 mod 8,\quad \ell_ 2- m_ 2\equiv 0 mod 8. \] The purpose of this supplement is to prove the following (1.2) whose sufficiency is asserted in [(*); Ex. 1.3]: (1.2) Among the actions (SO(4),M) in (c) of (1.1), M is a homotopy sphere if and only if \((\ell_ 1,m_ 1,\ell_ 2,m_ 2)=(1,-3,1,1)\), and then \(M=S^ 7\) and the action is linear. By virtue of (1.2), the following theorem is an immediate consequence of (1.1). Theorem 1.3. If M is a homotopy sphere in addition, then (G,M) in (1.1) is (essentially) isomorphic to a linear action in (a) or the action on \(W^{2m-1}(r)\) in (b) for odd m and odd \(r\geq 1\).