On the cohomology equivalences between bundle-type quasitoric manifolds over a cube (Q507046)

A quasitoric manifold over a simple polytope \(P\) is a \(2n\)-dimensional smooth manifold with a locally standard action of an \(n\)-dimensional torus such that the orbit space is homeomorphic to \(P\). Quasitoric manifolds were introduced in [\textit{M. Davis} and \textit{T. Januszkiewicz}, Duke Math. J. 62, No. 2, 417--451 (1991; Zbl 0733.52006)] as a topological generalization of toric varieties. The cohomological rigidity problem for quasitoric manifolds asks whether two quasitoric manifolds are homeomorphic assuming their cohomology rings are isomorphic as graded rings. In this paper, the author establishes the notion of a bundle-type quasitoric manifold and considers the cohomological rigidity problem for bundle-type quasitoric manifolds over the cube \(I^n\). Bundle-type quasitoric manifolds form a large subclass of quasitoric manifolds: Up to weakly equivariant homeomorphism, there are infinitely many quasitoric manifolds over \(I^n\), for \(n\geq 2\). However, the only quasitoric manifold over \(I^2\) which is not bundle-type is the equivariant connected sum \({\mathbb{C}}P^2\# {\mathbb{C}}P^2\). The author shows that over \(I^3\), there are only four quasitoric manifolds which are not bundle-type. The main results of this article are the following classification results: 1) Two quasitoric manifolds over \(I^3\) are homeomorphic if their cohomology rings are isomorphic. 2) Two \({\mathbb{C}}P^2\# {\mathbb{C}}P^2\)-bundle type quasitoric manifolds are weakly equivariantly homeomorphic if their cohomology rings are isomorphic.