Torus action on quaternionic projective plane and related spaces (Q823818)

Let \(M\) be an even dimensional, compact smooth \(T\)-manifold with isolated fixed points, where \(T\) is a torus. Note that in this case by the slice theorem \(\dim M\ge 2\dim T\). If \(\dim M=2\dim T\) and the \(T\)-action on \(M\) is locally standard (i.e., locally looks like the standard \(T^{n}\)-action on \(\mathbb{C}^{n}\)), then it follows from the slice theorem that \(M/T\) has the structure of a smooth manifold with corners. A projective smooth toric manifold (non-singular toric variety with classical topology) is such an example, and its orbit space is a simple convex polytope. However, if the complexity is higher, i.e., \(\dim M\ge 2\dim T+2\), then the problem to determine the topological type of \(M/T\) is not easy in general (see [\textit{V. M. Buchstaber} and \textit{S. Terzić}, Mosc. Math. J. 19, No. 3, 397--463 (2019; Zbl 1469.57035)], or [\textit{H. Süß}, Mosc. Math. J. 21, No. 3, 639--652 (2021; Zbl 1479.57078)]). In the paper under review, the author studies the orbit spaces of manifolds with complexity one torus actions, i.e., \(\dim M=2\dim T+2\). He determines topologies of some orbit spaces and shows interesting related results. Next he considers a large class of manifolds with complexity one torus actions, the \(8\)-dimensional quoric manifolds. Roughly, a quoric manifold is the quaternionic analogue of a quasitoric manifold, a \(4n\)-dimensional manifold with an \(Sp(1)^{n}\)-action, e.g., the quaternionic projective space \(\mathbb{H}P^{n}\). He proves that \(8\)-dimensional quoric manifolds admit maximal torus \(T^{2}\subset Sp(1)^{2}\) actions and residual \(T^{1}\)-actions. So an \(8\)-dimensional quoric manifold is a manifold with a complexity one torus action. He proves that the \(T^{3}\)-orbit space of an \(8\)-dimensional quoric manifold is \(S^{5}\). He also proves that \(S^{6}/T^{2}\simeq S^{4}\) and the generalization of the Kuiper-Massey theorem for the \(4\)-dimensional quasitoric manifolds \(X\), i.e., \(X/\sigma\) is homeomorphic to \(S^{4}\), where \(\sigma\) is the involution on \(X\).