BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations.
This chapter provides a guide to our 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 summarise 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.
Given two torus invariant Weil divisors D and D′ on a two-dimensional cyclic quotient singularity X, the groups ExtXi(O(D),O(D′)), i>0, are naturally Z2-graded. We interpret these groups via certain combinatorial objects using methods from toric geometry. In particular, it is enough to give a combinatorial description of the Ext1-groups in the polyhedra of global sections of the Weil divisors involved. Higher Exti-groups are then reduced to the case of Ext1 via a quiver. We use this description to show that ExtX1(O(D),O(K−D′))=ExtX1(O(D′),O(K−D)), where K denotes the canonical divisor on X. Furthermore, we show that ExtXi+2(O(D),O(D′)) is the Matlis dual of ToriX(O(D),O(D′)).
Given a polyhedral cone sigma with smooth two-dimensional faces and, moreover, a lattice point R in the dual cone of sigma, we describe the part of the versal deformation of the associated toric variety TV(sigma) that is built from the deformation parameters of multidegree R. Let Q the polyhedron obtained by intersecting sigma with the hyperplane R=1. Then the base space is (the germ of) an affine scheme that reflects certain possibilities of splitting Q into Minkowski summands.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.