On the integral cohomology ring of toric orbifolds and singular toric varieties.

*(English)*Zbl 1386.14187This works develops strategies that help in the calculation of the integral cohomology of some families of \(2n\)-dimensional orbifolds equipped with an action of the \(n\)-dimensional real torus: toric orbifolds (those orbifolds arising from characteristic pairs \((Q,\lambda)\), where \(Q\) is a simple convex \(n\)-polytope and \(\lambda\) is a labeling of its codimension-\(1\) faces), and singular toric varieties (those orbifolds arising from \(n\)-dimensional fans \(\Sigma\).) The construction of the objects in either of these families is combinatorial in nature, and this is reflected directly in the results obtained by the authors, and in the methods needed to prove those results.

A topological space is called even if its integral cohomology is torsion-free and is concentrated in even degrees, and for such spaces one can for example directly deduce the \(K\)-theory or complex cobordism groups. The first part of this paper finds conditions for the evenness of toric orbifolds. This is Theorem 1.1, which relies on the notion of retraction sequences for a simple polytope \(Q\), a concept explored at length in Section 3: these are carefully chosen sequences of polytopal complexes whose initial term is \(Q\) and whose final term is a vertex of \(Q\). For each polytopal complex \(B\) appearing in a retraction sequence, one can use \(\lambda\) to define a collection of finite groups, each one associated with a so-called free vertex of \(B\). The (combinatorial) condition in Theorem 1.1 that guarantees the evenness of the toric orbifold has to do with the order of such groups for all possible polytopal complexes \(B\) in all possible retraction sequences for \(Q\).

The second part of the paper deals with some projective toric orbifolds, which are toric varieties \(X_\Sigma\) encoded by a fan \(\Sigma\) in \({\mathbb R}^n\) and with an action by the \(n\)-dimensional real torus. If \(X_\Sigma\) is smooth, its cohomology is a quotient of the Stanley-Reisner ring of the fan \(\Sigma\) by some linear relations. For the toric orbifold corresponding to \(\Sigma\), this result will only be true over the rationals. To circumvent this problem, and to be able to obtain similar results for the cohomology of singular toric varieties, the authors define here the weighted Stanley-Reisner ring for a fan, which is a subring of the above Stanley-Reisner ring consisting of polynomials satisfying the integrality condition in definition 5.2. The main result in this second part is then Theorem 5.3, which declares that the integral cohomology of a projective toric orbifold \(X_\Sigma\) (which is assumed to be even) is a quotient of the weighted Stanley-Reisner ring by linear relations similar to those that appeared in the previous result for the smooth case.

The direct combination of Theorems 1.1 and 5.3 is Theorem 1.2: given a polytopal fan \(\Sigma\) in \({\mathbb R}^n\) whose corresponding characteristic pair \((Q,\lambda)\) satisfies the condition of Theorem 1.1, the associated projective toric variety \(X_\Sigma\) has integral cohomology given by the quotient in the text of Theorem 5.3. The paper ends with the calculation of the integral cohomology of a projective toric orbifold that is not a weighted projective space, thus demonstrating the usefulness of the developed generalizations in solving further, previously untackled cases.

A topological space is called even if its integral cohomology is torsion-free and is concentrated in even degrees, and for such spaces one can for example directly deduce the \(K\)-theory or complex cobordism groups. The first part of this paper finds conditions for the evenness of toric orbifolds. This is Theorem 1.1, which relies on the notion of retraction sequences for a simple polytope \(Q\), a concept explored at length in Section 3: these are carefully chosen sequences of polytopal complexes whose initial term is \(Q\) and whose final term is a vertex of \(Q\). For each polytopal complex \(B\) appearing in a retraction sequence, one can use \(\lambda\) to define a collection of finite groups, each one associated with a so-called free vertex of \(B\). The (combinatorial) condition in Theorem 1.1 that guarantees the evenness of the toric orbifold has to do with the order of such groups for all possible polytopal complexes \(B\) in all possible retraction sequences for \(Q\).

The second part of the paper deals with some projective toric orbifolds, which are toric varieties \(X_\Sigma\) encoded by a fan \(\Sigma\) in \({\mathbb R}^n\) and with an action by the \(n\)-dimensional real torus. If \(X_\Sigma\) is smooth, its cohomology is a quotient of the Stanley-Reisner ring of the fan \(\Sigma\) by some linear relations. For the toric orbifold corresponding to \(\Sigma\), this result will only be true over the rationals. To circumvent this problem, and to be able to obtain similar results for the cohomology of singular toric varieties, the authors define here the weighted Stanley-Reisner ring for a fan, which is a subring of the above Stanley-Reisner ring consisting of polynomials satisfying the integrality condition in definition 5.2. The main result in this second part is then Theorem 5.3, which declares that the integral cohomology of a projective toric orbifold \(X_\Sigma\) (which is assumed to be even) is a quotient of the weighted Stanley-Reisner ring by linear relations similar to those that appeared in the previous result for the smooth case.

The direct combination of Theorems 1.1 and 5.3 is Theorem 1.2: given a polytopal fan \(\Sigma\) in \({\mathbb R}^n\) whose corresponding characteristic pair \((Q,\lambda)\) satisfies the condition of Theorem 1.1, the associated projective toric variety \(X_\Sigma\) has integral cohomology given by the quotient in the text of Theorem 5.3. The paper ends with the calculation of the integral cohomology of a projective toric orbifold that is not a weighted projective space, thus demonstrating the usefulness of the developed generalizations in solving further, previously untackled cases.

Reviewer: Rui Miguel Saramago (Porto Salvo)

##### MSC:

14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |

55N91 | Equivariant homology and cohomology in algebraic topology |

57R18 | Topology and geometry of orbifolds |

13F55 | Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes |

52B11 | \(n\)-dimensional polytopes |

##### Keywords:

equivariant cohomology; toric variety; Stanley-Reisner ring; lens space; toric orbifold; quasitoric orbifold; piecewise polynomial
PDF
BibTeX
XML
Cite

\textit{A. Bahri} et al., Algebr. Geom. Topol. 17, No. 6, 3779--3810 (2017; Zbl 1386.14187)

Full Text:
DOI

**OpenURL**

##### References:

[1] | 10.1017/S0305004108001965 · Zbl 1205.14022 |

[2] | ; Borel, Seminar on transformation groups. Annals of Mathematics Studies, 46, (1960) · Zbl 0091.37202 |

[3] | 10.1090/ulect/024 |

[4] | 10.1090/gsm/124 |

[5] | ; Danilov, Uspekhi Mat. Nauk, 33, 85, (1978) |

[6] | 10.1215/S0012-7094-91-06217-4 · Zbl 0733.52006 |

[7] | 10.1007/s00031-005-1127-0 · Zbl 1420.55016 |

[8] | 10.1515/9781400882526 · Zbl 0813.14039 |

[9] | 10.1016/j.aim.2004.10.003 · Zbl 1110.55003 |

[10] | 10.2748/tmj/1486177213 · Zbl 1360.55006 |

[11] | ; Jurkiewicz, Torus embeddings, polyhedra, k∗-actions and homology. Dissertationes Math. (Rozprawy Mat.), 236, (1985) · Zbl 0599.14014 |

[12] | 10.2996/kmj/1245982903 · Zbl 1216.14047 |

[13] | 10.1007/BF01429212 · Zbl 0268.57005 |

[14] | ; Poddar, Osaka J. Math., 47, 1055, (2010) |

[15] | 10.1007/978-1-4613-8431-1 · Zbl 0823.52002 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.