Polyhedral complex

Short description: Math concept

In mathematics, a polyhedral complex is a set of polyhedra in a real vector space that fit together in a specific way. Polyhedral complexes generalize simplicial complexes and arise in various areas of polyhedral geometry, such as tropical geometry, splines and hyperplane arrangements.

Definition

A polyhedral complex [math]\displaystyle{ \mathcal{K} }[/math] is a set of polyhedra that satisfies the following conditions:

1. Every face of a polyhedron from [math]\displaystyle{ \mathcal{K} }[/math] is also in [math]\displaystyle{ \mathcal{K} }[/math].

2. The intersection of any two polyhedra [math]\displaystyle{ \sigma_1, \sigma_2 \in \mathcal{K} }[/math] is a face of both [math]\displaystyle{ \sigma_1 }[/math] and [math]\displaystyle{ \sigma_2 }[/math].

Note that the empty set is a face of every polyhedron, and so the intersection of two polyhedra in [math]\displaystyle{ \mathcal{K} }[/math] may be empty.

Examples

• Tropical varieties are polyhedral complexes satisfying a certain balancing condition.
• Simplicial complexes are polyhedral complexes in which every polyhedron is a simplex.
• Voronoi diagrams.
• Splines.

Fans

A fan is a polyhedral complex in which every polyhedron is a cone from the origin. Examples of fans include:

• The normal fan of a polytope.
• The Gröbner fan of an ideal of a polynomial ring.
• A tropical variety obtained by tropicalizing an algebraic variety over a valued field with trivial valuation.
• The recession fan of a tropical variety.