Normal fan

Definition

Properties

• N_P is a complete fan, meaning the union of its cones is the whole space, *.
• If F is a face of P of dimension d, then its normal cone C_F has dimension n – d. The normal cones to vertices of P are full dimensional. If P has full dimension, the normal cones to the facets of P are the rays of N_P and the normal cone to P itself is C_P =, the zero cone.
• The affine span of face F of P is orthogonal to the linear span of its normal cone, C_F.
• The correspondence between faces of P and cones of N_P reverses inclusion, meaning that for faces F and G of P,
• Since N_P is a fan, the intersection of any two of its cones is also a cone in N_P. For faces F and G of P,

  Applications

• If polytope P is thought of as the feasible region of a linear program, the normal fan of P partitions the space of objective functions based on the solution set to the linear program defined by each. The linear program in which the goal is to maximize linear objective function w has solution set F if and only if w is in the relative interior of the cone C_F.
• If polytope P has the origin in its interior, then the normal fan of P can be constructed from the polar dual of P by taking the cone over each face of the dual polytope, P°.
• For f a polynomial in n variables with coefficients in C, the tropical hypersurface of f is supported on a subfan of the normal fan of the Newton polytope P of f. In particular, the tropical hypersurface is supported on the cones in N_P of dimension less than n.