Abstract:In this paper we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb{R}^n$, where $e_1,\dots,e_n$ is the standard basis of $\mathbb{R}^n$. Such a polytope can be encoded by a quiver $Q$ with vertices $V \subseteq \{v_1,\dots,v_n\} \cup \{\star\}$, where each edge $v_j\to v_i$ or $\star \to v_i$ or $v_i\to \star$ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname{Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver $Q$ is strongly-connected then the root polytope $\operatorname{Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname{Root}(Q)$. We also show that if $Q$ is planar, then $\operatorname{Root}(Q)$ is (integrally equivalent to the) polar dual of the flow polytope of the dual quiver. Finally we consider the case that $Q$ comes from a ranked poset $P$, and show that $\operatorname{Root}(Q)$ is polar dual to (a translation of) a marked poset polytope. We then study the toric variety $Y(\mathcal{F}_Q)$ associated to the face fan $\mathcal{F}_Q$ of $\operatorname{Root}(Q)$. If $Q$ comes from a ranked poset $P$ we give a combinatorial description of the Picard group of $Y(\mathcal{F}_Q)$, and we show that $Y(\mathcal{F}_Q)$ is a small partial desingularisation of the Hibi toric variety $Y_{\mathcal{O}(P)}$ of the order polytope $\mathcal{O}(P)$. We show that $Y(\mathcal{F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat{\mathcal{F}}_Q)$, and as a consequence that the Hibi toric variety $Y_{\mathcal{O}(P)}$ has a small resolution of singularities for any ranked poset $P$. These results have applications to mirror symmetry.

Root polytopes and growth series of root lattices

Root polytopes, flow polytopes, and order polytopes

Geometric families of degenerations from mutations of polytopes

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Totally nonnegative matrices, chain enumeration and zeros of polynomials

Study of Exponential Growth Constants of Directed Heteropolygonal Archimedean Lattices

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Higher rank series and root puzzles for plumbed 3-manifolds

Gorenstein-Fano polytopes and compactifications of rank 2 polyptych lattices

Symmetrical laws of structure of helicoidally-like biopolymers in the framework of algebraic topology. I. Root lattice E8 and the closed sequence of algebraic polytopes

Lattice point generating functions and symmetric cones

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Hyperbolic Structures and Root Systems

Similar Sublattices and Coincidence Rotations of the Root Lattice A4 and its Dual

On the Classification of Convex Lattice Polytopes

Root systems for asymmetric geometric representations of Coxeter groups

L-functions associated with families of toric exponential sums

Construction and Analysis of Projected Deformed Products

Self-Reachable Configuration Polytopes for Trees

Symmetric decompositions, triangulations and real-rootedness