Cellular Sheaf Cohomology in Polymake
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.Federico Ardila and Carly J. Klivans: The Bergman complex of a matroid and phylogenetic trees, J. Comb. Theory Ser. B 96 (2006) 38–49.Google Scholar
- 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.Michel Brion: The structure of the polytope algebra, Tohoku Math. J. (2) 49 (1997) 1–32.Google Scholar
- 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.David A. Cox, John B. Little, and Henry K. Schenck: Toric varieties, American Mathematical Society, Providence, RI, 2011.Google Scholar
- 6.Justin Curry: Sheaves, cosheaves and applications, arXiv:1303.3255 [math.AT].Google Scholar
- 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.Vladimir I. Danilov: The geometry of toric varieties, Uspekhi Mat. Nauk 33 (1978) 85–134.Google Scholar
- 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 www.singular.uni-kl.de.
- 10.William Fulton: Introduction to toric varieties, Annals of Mathematics Studies 131, Princeton University Press, Princeton, NJ, 1993.Google Scholar
- 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.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.Simon Hampe: a-tint—a polymake extension for algorithmic tropical intersection theory, European J. Combin. 36 (2014) 579–607.Google Scholar
- 14.Simon Hampe and Michael Joswig: Tropical Computations in polymake, arXiv:1612.02581 [math.AG].Google Scholar
- 15.Ilia Itenberg, Ludmil Katzarkov, Grigory Mikhalkin, and Ilia Zharkov: Tropical Homology, arXiv:1604.01838 [math.AG].Google Scholar
- 16.Philipp Jell, Kristin Shaw, and Jascha Smacka: Superforms, tropical cohomology and Poincaré duality, arXiv:1512.07409 [math.AG].Google Scholar
- 17.Anders Jensen: Gfan—a software system for Gröbner fans and tropical varieties, available at home.imf.au.dk/jensen/software/gfan/gfan.html.
- 18.Eric Katz: Matroid theory for algebraic geometers, in Nonarchimedean and Tropical Geometry, 435–517, Simons Symposia, Springer International Publishing, 2014.Google Scholar
- 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.Diane Maclagan and Bernd Sturmfels: Introduction to tropical geometry, Graduate Studies in Mathematics 161, American Mathematical Society, Providence, RI, 2015.Google Scholar
- 21.Peter Orlik and Hiroaki Terao: Arrangements of hyperplanes, Grundlehren der Mathematischen Wissenschaften 300, Springer-Verlag, Berlin, 1992.Google Scholar
- 22.James Oxley: Matroid theory, Second edition. Oxford Graduate Texts in Mathematics 21, Oxford University Press, Oxford, 2011.Google Scholar
- 23.David Speyer: Tropical linear spaces, SIAM J. Discrete Math. 22 (2008) 1527–1558.Google Scholar
- 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.Felipe Rincón: Computing tropical linear spaces, J. Symbolic Comput. 51 (2013) 86–98.Google Scholar
- 26.Tiong-Seng Tay and Walter Whiteley: A homological interpretation of skeletal ridigity, Adv. in Appl. Math. 25 (2000) 102–151.Google Scholar
- 27.Ilia Zharkov: The Orlik-Solomon algebra and the Bergman fan of a matroid, J. Gökova Geom. Topol. GGT 7 (2013) 25–31.Google Scholar