Cellular Sheaf Cohomology in Polymake

  • Lars KastnerEmail author
  • Kristin Shaw
  • Anna-Lena Winz
Part of the Fields Institute Communications book series (FIC, volume 80)


This is a guide to the polymake extension cellularSheaves. We first define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and their (co)homologies. As motivation, we summarize some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then give an overview of the structure of the extension cellularSheaves for polymake. Finally, we illustrate the usage of the extension with examples from toric and tropical geometry.

MSC 2010 codes:

05-04 14Fxx 14T05 52Bxx 



This article and the polymake extension cellularSheaves were developed during the Combinatorial Algebraic Geometry Thematic Program at the Fields Institute. We are very grateful to the organizers and the institute for their hospitality. We thank Greg Smith, Bernd Sturmfels, and five anonymous referees for their careful attention to an earlier version of this manuscript. This research was supported by the Fields Institute, the Alexander von Humboldt foundation, as well as the priority program SPP1489 and the collaborative research centre SFB647 of the German science foundation (DFG).


  1. 1.
    Federico Ardila and Carly J. Klivans: The Bergman complex of a matroid and phylogenetic trees, J. Comb. Theory Ser. B96 (2006) 38–49.Google Scholar
  2. 2.
    Barbara Bolognese, Corey Harris, and Joachim Jelisiejew: Equations and tropicalization of Enriques surfaces, in Combinatorial Algebraic Geometry, 181–200, Fields Inst. Commun. 80, Fields Inst. Res. Math. Sci., 2017.Google Scholar
  3. 3.
    Michel Brion: The structure of the polytope algebra, Tohoku Math. J. (2)49 (1997) 1–32.Google Scholar
  4. 4.
    Erwan Brugallé, Ilia Itenberg, Grigory Mikhalkin, and Kristin Shaw: Brief introduction to tropical geometry, in Proceedings of the Gökova Geometry-Topology Conference 2014, 1–75, Gökova Geometry/Topology Conference (GGT), Gökova, 2015.Google Scholar
  5. 5.
    David A. Cox, John B. Little, and Henry K. Schenck: Toric varieties, American Mathematical Society, Providence, RI, 2011.Google Scholar
  6. 6.
    Justin Curry: Sheaves, cosheaves and applications, arXiv:1303.3255 [math.AT].Google Scholar
  7. 7.
    Vladimir I. Danilov and Aaskold G. Khovanskii: Newton polyhedra and an algorithm for computing Hodge–Deligne numbers, Izv. Akad. Nauk SSSR Ser. Mat.50 (1986) 925–945.Google Scholar
  8. 8.
    Vladimir I. Danilov: The geometry of toric varieties, Uspekhi Mat. Nauk33 (1978) 85–134.Google Scholar
  9. 9.
    Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Schönemann: Singular 4-0-2—a computer algebra system for polynomial computations, 2016, available at
  10. 10.
    William Fulton: Introduction to toric varieties, Annals of Mathematics Studies 131, Princeton University Press, Princeton, NJ, 1993.Google Scholar
  11. 11.
    Ewgenij Gawrilow and Michael Joswig: polymake—a framework for analyzing convex polytopes, Polytopes—combinatorics and computation (Oberwolfach, 1997), 43–73, DMV Sem., 29, Birkhäuser, Basel, 2000.Google Scholar
  12. 12.
    Robert Ghrist and Yasuaki Hiraoka: Applications of sheaf cohomology and exact sequences to network coding, in Proceedings of the International Symposium on Nonlinear Theory and its Applications NOLTA2011, Kobe, Japan, 4–7 September 2011.Google Scholar
  13. 13.
    Simon Hampe: a-tint—a polymake extension for algorithmic tropical intersection theory, European J. Combin.36 (2014) 579–607.Google Scholar
  14. 14.
    Simon Hampe and Michael Joswig: Tropical Computations in polymake, arXiv:1612.02581 [math.AG].Google Scholar
  15. 15.
    Ilia Itenberg, Ludmil Katzarkov, Grigory Mikhalkin, and Ilia Zharkov: Tropical Homology, arXiv:1604.01838 [math.AG].Google Scholar
  16. 16.
    Philipp Jell, Kristin Shaw, and Jascha Smacka: Superforms, tropical cohomology and Poincaré duality, arXiv:1512.07409 [math.AG].Google Scholar
  17. 17.
    Anders Jensen: Gfan—a software system for Gröbner fans and tropical varieties, available at
  18. 18.
    Eric Katz: Matroid theory for algebraic geometers, in Nonarchimedean and Tropical Geometry, 435–517, Simons Symposia, Springer International Publishing, 2014.Google Scholar
  19. 19.
    Eric Katz and Alan Stapledon: Tropical geometry, the motivic nearby fiber, and limit mixed Hodge numbers of hypersurfaces. Res. Math. Sci.3 (2016) 1–36.Google Scholar
  20. 20.
    Diane Maclagan and Bernd Sturmfels: Introduction to tropical geometry, Graduate Studies in Mathematics 161, American Mathematical Society, Providence, RI, 2015.Google Scholar
  21. 21.
    Peter Orlik and Hiroaki Terao: Arrangements of hyperplanes, Grundlehren der Mathematischen Wissenschaften 300, Springer-Verlag, Berlin, 1992.Google Scholar
  22. 22.
    James Oxley: Matroid theory, Second edition. Oxford Graduate Texts in Mathematics 21, Oxford University Press, Oxford, 2011.Google Scholar
  23. 23.
    David Speyer: Tropical linear spaces, SIAM J. Discrete Math.22 (2008) 1527–1558.Google Scholar
  24. 24.
    Bernd Sturmfels: Fitness, apprenticeship, and polynomials, in Combinatorial Algebraic Geometry, 1–19, Fields Inst. Commun. 80, Fields Inst. Res. Math. Sci., 2017.Google Scholar
  25. 25.
    Felipe Rincón: Computing tropical linear spaces, J. Symbolic Comput.51 (2013) 86–98.Google Scholar
  26. 26.
    Tiong-Seng Tay and Walter Whiteley: A homological interpretation of skeletal ridigity, Adv. in Appl. Math.25 (2000) 102–151.Google Scholar
  27. 27.
    Ilia Zharkov: The Orlik-Solomon algebra and the Bergman fan of a matroid, J. Gökova Geom. Topol. GGT7 (2013) 25–31.Google Scholar

Copyright information

© Springer Science+Business Media LLC 2017

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceFreie Universität Berlin14195 BerlinGermany
  2. 2.Institut für MathematikTechnische Universität BerlinBerlinGermany

Personalised recommendations