The \(KO^\ast\)-rings of \(BT^m\), the Davis-Januszkiewicz spaces and certain toric manifolds (Q392418): Difference between revisions

Let \((X, *)\) be a pointed CW-complex, \(K\) be a simplicial complex on \(n\) vertices and \(X^K\) be the associated polyhedral power. When \(X=BS^1\), we write \(\mathcal{Z}_K\) for the homotopy fiber of \(X^K \hookrightarrow X^n\). Then the Davis-Januszkiewicz space is defined by the Borel construction \(\mathcal{Z}\times_{T^n}ET^n\). In fact, this is discussed in a more general setting. By a toric manifold is meant the even-dimensional manifold \(M^{2n}\) with an effective smooth action of \(T^n\) such that its orbit space \(P^n\) is a simple polytope. Letting \(K_P\) denote a simplicial complex associated to \(P^n\), we denote by \(\mathcal{DJ}(K_P)\) the Davis-Januszkiewicz space associated to this \(K_P\). Then we know that there holds \(E^*(\mathcal{DJ}(K_P))=E^*(BT^m)/I^E_{SR}\) for any complex-oriented cohomology theory \(E^*\) where \(I^E_{SR}\) is the ideal in \(E^*(ET^m)\) generated by the square-free monomials corresponding to \(K_P\). For any toric manifold \(M^{2n}\), considering the fibration \(M^{2n} \to ET^{n}\times_{T^n}M^{2n} \overset{p} {BT}^n\) we find that \(E^{*}(M^{2n})\cong E^{*}(\mathcal{DJ}(K_P))/J^E\) as \(E^*\)-algebras where \(J^E\) is the ideal generated by \(p^*(E^2(BT^n))\). In this paper an analogue of this isomorphism is considered for \(E=KO\), which is the most typical example of a non-complex-oriented cohomology theory. The authors begin with the ring structure of \(KO^*(BT^m)\) and formulate two different descriptions of its structure for convenience of use in the next step, which can be found in Sections 3 and 4. The next section proves that there is an isomorphism \(KO^*(\mathcal{DJ}(K_P))\cong KO^*(BT^m)/SR_{KO}\) of rings where \(SR_{KO}\) is identified as \(r(I^{KU}_{SR})\) which is the realification of the ideal \(I^{KU}_{SR}\). The proof of the existence of this isomorphism depends essentially on the stable splitting of \(\mathcal{DJ}(K_P)\) given by \textit{A. Bahri} et al. [Adv. Math. 225, No. 3, 1634--1668 (2010; Zbl 1197.13021)]. Finally in Section 6 the authors shows that if \(M^{2n}\) is \(\text{Sq}^2\)-acyclic, then there exists an isomorphism \(KO^*(M^{2n})\cong KO^*(\mathcal{DJ}(K_P))/r(J^{KU})\) of \(KO^*\)-algebras. Incidentally, the condition imposed on \(M^{2n}\) indicates that \(KO^*(M^{2n})\) is torsion-free and concentrated in even degrees. This property plays a basic role in proving this isomorphism theorem.