Torus action on quaternionic projective plane and related spaces

DOI10.1007/S40598-020-00166-4MaRDI QIDQ823818zbMATH OpenOpenAlexFDO

Publication date 16 December 2021

Published in Arnold Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.03460

complexity one Kuiper-Massey theorem octonions quasitoric manifold quaternions torus action

Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Exceptional groups (20G41) Homogeneous spaces (22F30) Equivariant fiber spaces and bundles in algebraic topology (55R91) Group actions on manifolds and cell complexes in low dimensions (57M60) Equivariant algebraic topology of manifolds (57R91) Toric topology (57S12) Compact Lie groups of differentiable transformations (57S15) Finite transformation groups (57S17) Groups acting on specific manifolds (57S25)

Abstract: For an action of a compact torus

T

on a smooth compact manifold~

X

with isolated fixed points the number

f r a c 12 d i m X - d i m T

is called the complexity of the action. In this paper we study certain examples of torus actions of complexity one and describe their orbit spaces. We prove that

m a t h b b H P^{2} / T^{3} c o n g S^{5}

and

S^{6} / T^{2} c o n g S^{4}

, for the homogeneous spaces

m a t h b b H P^{2} = S p (3) / (S p (2) i m e s S p (1))

and

S^{6} = G_{2} / S U (3)

. Here the maximal tori of the corresponding Lie groups

S p (3)

and

G_{2}

act on the homogeneous spaces by the left multiplication. Next we consider the quaternionic analogues of smooth toric surfaces: they give a class of 8-dimensional manifolds with the action of

T^{3}

, generalizing

m a t h b b H P^{2}

. We prove that their orbit spaces are homeomorphic to

S^{5}

as well. We link this result to Kuiper--Massey theorem and some of its generalizations.

Review text

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\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Torus action on quaternionic projective plane and related spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q823818)