The cohomology rings of smooth toric varieties and quotients of moment-angle complexes (Q2048466)

Let \(\Sigma\) be a simplicial complex on a finite vertex set \(V\). The moment-angle complex associated to \(\Sigma\), denoted by \(\mathcal{Z}_{\Sigma}(=\mathcal{Z}_{\Sigma}(D^{2},S^{1}))\), is roughly a cell complex with a \(T^{|V|}\)-action defined as the products of polydiscs and tori, which are parametrized by simplices in \(\Sigma\), where \(|V|\) is the cardinality of \(V\). It is known that if \(\Sigma\) is defined from the simplicial complex of a triangulation of the sphere, then there exists a free torus \(H(\subset T^{|V|})\)-action on \(\mathcal{Z}_{\Sigma}\) and its quotient space \(\mathcal{Z}_{\Sigma}/H\) is a toric manifold. The cohomology ring of a toric manifold \(\mathcal{Z}_{\Sigma}/H\) is well-studied. On the other hand, \textit{V. M. Bukhshtaber} and \textit{T. E. Panov} [Russ. Math. Surv. 53, No. 3, 623--625 (1998; Zbl 0973.52008); translation from Usp. Mat. Nauk 53, No. 3, 195--196 (1998)] announced that the cohomology ring of a partial quotient, say \(X_{\Sigma}=\mathcal{Z}_{\Sigma}/K\) for some freely acting subtorus \(K\subset H\), is isomorphic to \(\mathrm{Tor}^{*}_{H^{*}(BL;\Bbbk)}(\Bbbk, \Bbbk [\Sigma])\) as a graded algebra, where \(\Bbbk\) is any principal ideal domain, \(L=T^{|V|}/H\) and \(\Bbbk [\Sigma]\) is the Stanley-Reisner ring of \(\Sigma\). However, the proof was found to be incorrect in 2003. On the other hand, an isomorphism as \(\Bbbk\)-modules has been established by the present author in his paper [Koszul duality for tori. Konstanz: Hartung-Gorre Verlag; Konstanz: Univ. Konstanz (Thesis) (2001; Zbl 0978.55004)]. The isomorphism as \(\Bbbk\)-algebras was open for a principal ideal domain \(\Bbbk\). In the paper under review, the author proves the following theorem: for any principal ideal domain \(\Bbbk\), there is an isomorphism of graded algebras \begin{align*} H^{*}(X_{\Sigma};\Bbbk)\simeq\mathrm{Tor}^{*}_{H^{*}(BL;\Bbbk)}(\Bbbk, \Bbbk[\Sigma]) \end{align*} where the multiplication on the Tor-term is induced by the \(\ast\)-product on the Koszul complex \(\mathbf{K}_{\Sigma}:=H^{*}(L)\otimes \Bbbk[\Sigma]\). The \(\ast\)-product on \(\mathbf{K}_{\Sigma}\) is the ingenious new product defined by the author in this paper. By using this theorem, he also shows that the original isomorphism for the Tor-algebra with the canonical product holds for the case when \(2\) is invertible. When \(\Bbbk=\mathbb{Z}_{2}\) and \(\mathbb{Z}\), he constructs a counter example to the isomorphism for Tor-algebras with the canonical product.