Abstract:The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes. In Pukhlikov and Khovanskiĭ (Algebra i Analiz 4(4):188-216, 1992), Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over C can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of toric varieties, like the one in terms of Stanley-Reisner algebras. In Sankaran and Uma (Comment Math Helv 78(3):540-554, 2003), Sankaran and Uma generalized the "Stanley-Reisner description" to the case of toric bundles, i.e., equivariant compactifications of (not necessarily algebraic) torus principal bundles. We provide a description of the cohomology ring of toric bundles which is based on a generalization of the BKK Theorem, and thus extends the approach by Pukhlikov and the second author. Indeed, for every cohomology class of the base of the toric bundle, we obtain a BKK-type theorem. Furthermore, our proof relies on a description of graded-commutative algebras which satisfy Poincaré duality. From this computation of the cohomology ring of toric bundles, we obtain a description of the ring of conditions of horospherical homogeneous spaces as well as a version of Brion-Kazarnovskii theorem for them. We conclude the manuscript with a number of examples. In particular, we apply our results to toric bundles over a full flag variety G/B. The description that we get generalizes the corresponding description of the cohomology ring of toric varieties as well as the one of full flag varieties G/B previously obtained by Kaveh (J Lie Theory 21(2):263-283, 2011).

Combinatorial generators for the cohomology of toric arrangements

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Cohomology of toric diagrams

Cohomology Rings of Toric Wonderful Model

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

A Categorification of Morelli’s Theorem

Cohomology Rings of Toric Bundles and the Ring of Conditions

Formal Group Rings of Toric Varieties

Cohomology of smooth toric varieties: naturality

Conic decomposition of a toric variety and its application to cohomology

On the cohomology of Torelli groups. II

Equivariant cohomology of odd-dimensional complex quadrics from a combinatorial point of view

On a combinatorial description of the Gorenstein index for varieties with torus action

The combinatorics of supertorus sheaf cohomology

The integral cohomology ring of four-dimensional toric orbifolds

Intersection Theory on Linear Subvarieties of Toric Varieties

Complex cobordism modulo $c_1$-spherical cobordism and related genera

Special simplices and Gorenstein toric rings

Intersection cohomology of type-A toric varieties