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

DOI10.2140/GT.2021.25.2109MaRDI QIDQ2048466zbMATH OpenOpenAlexFDO

Authors Matthias Franz

Publication date 6 August 2021

Published in Geometry \& Topology (Search for Journal in Brave)

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

zbMATH Keywords

bar-constructioncohomology ringKoszul complexmoment-angle complexpartial quotienttoric variety

Mathematics Subject Classification ID

Topological properties in algebraic geometry (14F45) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Equivariant homology and cohomology in algebraic topology (55N91) Toric topology (57S12)

Abstract: Partial quotients of moment-angle complexes are topological analogues of smooth, not necessarily compact toric varieties. In 1998, Buchstaber and Panov proposed a formula for the cohomology ring of such a partial quotient in terms of a torsion product involving the corresponding Stanley-Reisner ring. We show that their formula gives the correct cup product if 2 is invertible in the chosen coefficient ring, but not in general. We rectify this by defining an explicit deformation of the canonical multiplication on the torsion product.

Review text

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.

Recommendations

• The cohomology rings of real toric spaces and smooth real toric varieties
• \(K\)-rings of smooth complete toric varieties and related spaces
• Cohomology rings of compactifications of toric arrangements
• Integral cohomology of quotients via toric geometry
• The Algebraic Cobordism Ring of Toric Varieties
• On the integral cohomology of toric varieties
• Morphic cohomology of toric varieties
• On the integral cohomology ring of toric orbifolds and singular toric varieties
• COHOMOLOGY RINGS OF TORIC HYPERKÄHLER MANIFOLDS
• On the cohomology of quotients of moment-angle manifolds

Cites work

• A cubical model for a fibration
• Cohomology of regular embeddings
• Combinatorial operad actions on cochains
• Convex polytopes, Coxeter orbifolds and torus actions
• Describing toric varieties and their equivariant cohomology
• Equivariant geometry and the cohomology of the moduli space of curves
• scientific article; zbMATH DE number 206022 (Why is no real title available?)
• scientific article; zbMATH DE number 3390006 (Why is no real title available?)
• Intersections of quadrics, moment-angle manifolds and connected sums
• Mod two homology and cohomology
• Multiplicative structure of the cohomology ring of real toric spaces
• On Davis-Januszkiewicz homotopy types I: formality and rationalisation
• On products in a real moment-angle manifold
• On the cohomology and their torsion of real toric objects
• On the Poisson envelope of a Lie algebra. ``Noncommutative moment space
• The bitwisted Cartesian model for the free loop fibration
• The integral cohomology of toric manifolds
• The real cohomology of differentiable fibre bundles
• The ring structure on the cohomology of coordinate subspace arrangements

Cited in

(18)

• Equivariant cohomological rigidity of certain T-manifolds
• On the (co)homology of (quotients of) moment-angle manifolds over polygons
• The Stiefel-Whitney classes of moment-angle manifolds are trivial
• On the homotopy decomposition for the quotient of a moment-angle complex and its applications
• The partial quotients of moment-angle manifolds over a polygon
• On the integral cohomology of toric varieties
• The smooth center of the cohomology of a singular variety
• On the cohomology of quotients of moment-angle manifolds
• Moment angle complexes and big Cohen-Macaulayness
• The cohomology rings of real toric spaces and smooth real toric varieties
• scientific article; zbMATH DE number 5259289 (Why is no real title available?)
• Realization of graded monomial ideal rings modulo torsion
• Cohomology of smooth toric varieties: naturality
• Semisimplicity of the quantum cohomology for smooth Fano toric varieties associated with facet symmetric polytopes
• Dga models for moment-angle complexes
• On Félix-Tanré rational models for polyhedral products
• Loop homology of moment-angle complexes in the flag case
• On the homotopy type of partial quotients of certain moment-angle complexes

This page was built for publication: The cohomology rings of smooth toric varieties and quotients of moment-angle complexes

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