The higher derived functors of the primitive element functor of quasitoric manifolds (Q719514)

Let \(M(\lambda)\) (or more briefly \(M\)) be a quasitoric manifold over a an \(n\)-dimensional simple convex polytope \(P\) and characteristic map \(\lambda:\mathcal{F}_P\longrightarrow \mathbb Z^n\) where \(\mathcal{F}_P\) denotes the set of all facets of \(P\). Denote by \(T\) the torus \((\mathbb{S}^1)^n\). One has an action of \(T\) on \(M\) whose orbit space is the polytope \(P\). Let \(ET\longrightarrow BT\) denote the universal principal \(T\)-bundle over the classifying space \(BT\) and let \(B_TP=ET\times_TM\). Then \(B_TP\) is the total space of bundle with fibre \(M\) and base space \(BT\). The integral cohomology ring of \(B_TP\) equals the Stanley-Reisner ring of the \textit{dual} of \(P\), generated by degree \(2\) classes \(v_1,\dots, v_m\), corresponding to the facets \(F_j, 1\leq j\leq m\) of \(P\). The ideal of relations is generated by \(v_{i_1}\dots v_{i_k}=0\) whenever \(F_{i_1}\cap\dots\cap F_{i_k}=\emptyset\). The integral cohomology ring of \(M(\lambda)\) can be expressed as quotient \(H^*(B_TP)/J\) where \(J\) is the ideal generated by certain elements \(\lambda_j, 1\leq j\leq n,\) in \(H^2(B_TP)\) which depend on \(\lambda\). Working with toric orbihedra, where it is only required that \(\lambda(F_{j_1}),\dots, \lambda(F_{j_n})\) be linearly independent whenever \(F_{j_1}\cap \dots \cap F_{j_n}\) is a vertex of \(P\), one still has \(H^*(M(\lambda);\mathbb Q)=H^*(B_TP;\mathbb Q)/J_\mathbb Q\) (where \(J_\mathbb Q\) is generated by the same elements \(\lambda_j\)). Let \(C\) be a coassociative cocommutative cofree coalgebra over the rationals. One has the primitive element functor \(C\mapsto PC\) whose higher derived functors are denoted \(R^iP\). A coalgebra is \textit{nice} if its primitive dimension is less than \(2\), that is, \(R^iC=0\) for \(i>1\). The paper studies the higher derived functors \(R^iP\) of the primitive element functor \(P\) of the (rational) homology coalgebra of quasitoric manifolds. A quasitoric manifold is rationally nice if its rational homology algebra is nice. The authors prove the following results: Theorem 4.5. Suppose \(M_1\) and \(M_2\) are quasitoric manifolds over a given simple convex polytope \(P^n\), then \(R^kPH_*(M_1,\mathbb Q)\cong R^kPH_*(M_2;\mathbb Q)\) for all \(k >1\). Thus rational niceness of a quasitoric manifold depends only on \(P\) and not on its characteristic map. It is shown that any quasitoric manifolds over \(I^n\) is rationally nice. As a consequence any Bott tower is rationally nice. The paper is well-written and the relevant concepts are recalled. The paper ends with three problems.