On the product of cocycles in a~polyhedral complex

B. Ya. Kazarnovskii

Izvestiya. Mathematics , Tome 81 (2017) no. 2, pp. 329-358.

Résumé

We construct an algorithm for multiplying cochains in a polyhedral complex. It depends on the choice of a linear functional on the ambient space. The cocycles form a subring in the ring of cochains, the coboundaries form an ideal in the ring of cocycles, and the quotient ring is the cohomology ring. The multiplication algorithm depends on the geometry of the cells of the complex. For simplicial complexes (the simplest geometry of cells), it reduces to the well-known Čech algorithm. Our algorithm is of geometric origin. For example, it applies in the calculation of mixed volumes of polyhedra and the construction of stable intersections of tropical varieties. In geometry it is customary to multiply cocycles with values in the exterior algebra of the ambient space. Therefore we assume that the ring of values is supercommutative.

Détail

Keywords: product of cocycles, polyhedral complex, polyhedron, tropical variety.

Bibliographie

[1] E. C̆ech, “Multiplications on a complex”, Ann. of Math. (2), 37:3 (1936), 681–697 | DOI | MR | Zbl

[2] H. Whitney, “On products in a complex”, Ann. of Math. (2), 39:2 (1938), 397–432 | DOI | MR | Zbl

[3] W. S. Massey, “A history of cohomology theory”, History of topology, North-Holland, Amsterdam, 1999, 579–603 | DOI | MR | Zbl

[4] V. M. Bukhshtaber, T. E. Panov, Toricheskie deistviya v topologii i kombinatorike, MTsNMO, M., 2004, 272 pp. | MR | Zbl

[5] N. E. Steenrod, “Products of cocycles and extensions of mappings”, Ann. of Math. (2), 48:2 (1947), 290–320 | DOI | MR | Zbl

[6] D. N. Bernshtein, “The number of roots of a system of equations”, Funct. Anal. Appl., 9:3 (1975), 183–185 | DOI | MR | Zbl

[7] A. Khovanskii, “Newton polyhedra, a new formula for mixed volume, product of roots of a system of equations”, The Arnoldfest (Toronto, ON, 1997), Fields Inst. Commun., 24, Providence, RI, 1999, 325–364 | MR | Zbl

[8] A. Khovanskii, “Consistent partitions of polytopes and polynomial measures”, Topics in singularity theory. V. I. Arnold's 60th anniversary collection, Amer. Math. Soc. Transl. Ser. 2, 180, Amer. Math. Soc., Providence, RI, 1997, 157–166 | DOI | MR | Zbl

[9] W. Fulton, B. Sturmfels, “Intersection theory on toric varieties”, Topology, 36:2 (1997), 335–353 | DOI | MR | Zbl

[10] B. Ya. Kazarnovskii, “c-fans and Newton polyhedra of algebraic varieties”, Izv. Math., 67:3 (2003), 439–460 | DOI | DOI | MR | Zbl

[11] A. Esterov, “Tropical varieties with polynomial weights and corner loci of piecewise polynomials”, Mosc. Math. J., 12:1 (2012), 55–76 | MR | Zbl

[12] B. Ya. Kazarnovskii, “Action of the complex Monge–Ampère operator on piecewise-linear functions and exponential tropical varieties”, Izv. Math., 78:5 (2014), 902–921 | DOI | DOI | MR | Zbl

[13] B. Ya. Kazarnovskii, “On the action of the complex Monge–Ampère operator on piecewise linear functions”, Funct. Anal. Appl., 48:1 (2014), 15–23 | DOI | DOI | MR | Zbl

[14] G. M. Bergman, “The logarithmic limit-set of an algebraic vatiety”, Trans. Amer. Math. Soc., 157 (1971), 459–469 | DOI | MR

[15] A. G. Khovanskii, “Newton polyhedra and toroidal varieties”, Funct. Anal. Appl., 11:4 (1977), 289–296 | DOI | MR | Zbl

[16] B. Ya. Kazarnovskii, “On the zeros of exponential sums”, Soviet Math. Dokl., 23 (1981), 347–351 | MR | Zbl

[17] B. Ya. Kazarnovskii, “Newton polyhedra and zeros of systems of exponential sums”, Funct. Anal. Appl., 18:4 (1984), 299–307 | DOI | MR | Zbl

[18] S. Alesker, “Hard Lefschets theorem for valuations, complex integral geometry, and unitarily invariant valuations”, J. Differential Geom., 63:1 (2003), 63–95 | MR | Zbl