Universal Polytope of Triangulations

• Universal Polytope of Triangulations is a combinatorial structure where vertices represent all triangulations of a convex polygon and edges correspond to various local moves.
• Hexagonal moves are specific local transformations within the polytope that preserve the F₂-point, providing a clear mechanism for seed equivalence in cluster algebras.
• The universal polytope extends beyond the GKZ secondary polytope by incorporating additional moves, thereby clarifying the fiber structure of the seed-to-variety map in type A cluster geometry.

The universal polytope of triangulations, in the sense used in the type $A$ cluster-algebraic analysis of polygon triangulations, is the ambient combinatorial polytope whose vertices are all triangulations of a fixed convex polygon and whose edges are elementary local moves between triangulations. In this framework, its significance is not merely polyhedral: over $\mathbb F_2$, it controls the fibers of the seed-to-variety map for type $A$ cluster manifolds. The central result is that two triangulations determine the same $\mathbb F_2$-point precisely when they are connected by a sequence of hexagonal moves, a distinguished family of edges in the universal polytope (Melesio et al., 4 Sep 2025).

1. Combinatorial status of the universal polytope

In the polygonal setting, the universal polytope has vertices given by all triangulations of a fixed convex polygon, and edges given by local moves between triangulations. The familiar local moves are ordinary flips across a quadrilateral. These are exactly the edges of the GKZ secondary polytope, but the universal polytope is larger: it also contains additional edges, including the hexagonal moves singled out in the type $A$ $\mathbb F_2$-theory, as well as “many other moves” (Melesio et al., 4 Sep 2025).

A common misconception is to identify the universal polytope with the secondary polytope. In the present context, that identification is incorrect. The secondary polytope is the convex hull

$$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$

where $\phi(T)$ is the GKZ-vector of a triangulation, and its vertices are exactly the GKZ-vectors of the regular triangulations of $V$ (Lee et al., 2017). By contrast, the universal polytope is used as a larger combinatorial container whose edge set includes, but is not exhausted by, the quadrilateral flips familiar from the secondary-polytope picture (Melesio et al., 4 Sep 2025).

This distinction is essential for the cluster-theoretic application. The relevant equivalence relation on triangulations over $\mathbb F_2$ is not generated by ordinary flips; it is generated by a specific subfamily of larger local moves inside the universal polytope.

2. Type $\mathbb F_2$0 cluster geometry over $\mathbb F_2$1

For a cluster algebra $\mathbb F_2$2, the Laurent phenomenon gives a map

$\mathbb F_2$3

refined to

$\mathbb F_2$4

where $\mathbb F_2$5 is the cluster manifold over $\mathbb F_2$6. In type $\mathbb F_2$7, seeds are identified with triangulations of a convex $\mathbb F_2$8-gon, so the map becomes a map from triangulations to points of the corresponding geometric model (Melesio et al., 4 Sep 2025).

In the polygon model, this map is written

$\mathbb F_2$9

A triangulation $A$0 determines a cluster torus $A$1, and the polygonal criterion for membership in that torus is

$A$2

Thus the passage from a triangulation to a point of the cluster manifold is expressed directly in polygon coordinates (Melesio et al., 4 Sep 2025).

The noninjectivity problem is intrinsic in finite type $A$3. The number of seeds is the Catalan number

$A$4

and for $A$5 there are more seeds than $A$6-points, so the seed-to-point map cannot be injective. The point-count analysis for acyclic seeds uses the recursion

$A$7

for a sink/source $A$8 in an acyclic quiver (Melesio et al., 4 Sep 2025).

The universal polytope enters at precisely this point: it organizes how distinct triangulations collapse to the same $A$9-point.

3. Hexagonal moves as distinguished edges

The distinguished local transformations are the hexagonal moves. A hexagonal move is a local replacement of triangulations inside a hexagon, and it appears in two forms: the zig-zag move, which swaps one zig-zag triangulation of a hexagon for the other zig-zag triangulation joining the same antipodal vertices, and the inscribed triangle move, which swaps one inscribed triangle in a hexagon for the complementary one (Melesio et al., 4 Sep 2025).

These moves are not ordinary quadrilateral flips. They involve a hexagon rather than a quadrilateral, and their role is specific: they are precisely the local transformations that preserve the $\mathbb F_2$0-point assigned to a triangulation. In the hexagon case corresponding to $\mathbb F_2$1, the 14 triangulations collapse into fibers of size $\mathbb F_2$2 or more under the map to $\mathbb F_2$3, and the triangulations in a common fiber are related by hexagonal moves (Melesio et al., 4 Sep 2025).

The polyhedral interpretation is decisive. Hexagonal moves can be interpreted as edges in the universal polytope of triangulations. This makes the universal polytope more than a background object: it is the combinatorial graph in which the relevant equivalence classes become connected components of a distinguished subgraph generated by hexagonal edges.

4. Fiber structure of the seed-to-variety map

The main structural theorem in type $\mathbb F_2$4 is the fiber classification: $\mathbb F_2$5 Equivalently, the fiber of a point in $\mathbb F_2$6 is exactly the connected component of the triangulation graph generated by hexagonal edges (Melesio et al., 4 Sep 2025).

This theorem gives a purely combinatorial description of the $\mathbb F_2$7-collapse of seeds. The equivalence relation on seeds is not arbitrary and is not described by the full move set of the universal polytope; it is the equivalence relation generated by one very specific family of its edges. The universal polytope therefore provides the ambient geometry of possible local transformations, while the hexagonal subgraph isolates the transformations relevant to $\mathbb F_2$8-geometry.

The paper also identifies rigid points. If $\mathbb F_2$9 has at least one coordinate equal to $A$0, then

$A$1

These points correspond to fan triangulations, where no hexagonal move applies (Melesio et al., 4 Sep 2025). This isolates the extremal case in which a fiber consists of a single triangulation rather than a nontrivial hexagonal-move class.

5. Cluster tori and minimal coverings

A subset $A$2 is an $A$3-covering if the corresponding cluster tori cover the cluster manifold $A$4. In type $A$5, the universal polytope and its hexagonal-move classes are directly tied to the structure of such coverings because they measure the redundancy among triangulations over $A$6 (Melesio et al., 4 Sep 2025).

Two contrasting results are established. First, universal minimal coverings exist: for every field $A$7, there is a minimal covering of $A$8 with the same cardinality as $A$9. The construction uses Algorithm A, which assigns to each point $\mathbb F_2$0 a triangulation whose cluster torus contains $\mathbb F_2$1. Second, there are $\mathbb F_2$2-coverings that fail over other fields: in type $\mathbb F_2$3, an $\mathbb F_2$4-covering set is constructed that is not an $\mathbb F_2$5-covering for any $\mathbb F_2$6 (Melesio et al., 4 Sep 2025).

The key conceptual point is that over $\mathbb F_2$7, every cluster torus is just a point set-theoretically, so covering problems become combinatorial. In that regime, the universal polytope organizes which triangulations are redundant, and the hexagonal-move description of fibers determines both the collapse map

$\mathbb F_2$8

and the minimal number and structure of cluster tori needed to cover the manifold (Melesio et al., 4 Sep 2025).

This makes the universal polytope relevant not only to orbit structure under local moves, but also to the global covering theory of cluster manifolds.

6. Relation to other encodings of triangulations

The universal polytope sits alongside several other organizing frameworks for triangulations. In GKZ theory, the secondary polytope packages triangulations by GKZ-vectors, and regular triangulations are exactly its vertices. For lexicographic triangulations, the GKZ-vector even determines the triangulation uniquely, and a greedy recursive procedure recovers it from the extremal GKZ coordinates associated with pulling and pushing operations (Lee et al., 2017). This provides a coordinate-based encoding rather than a move-based one.

A different approach is provided by trianguloids, which encode triangulations of root polytopes by local edge-coloring axioms. A trianguloid is an edge-colored directed graph satisfying axioms (T1)–(T4) or $\mathbb F_2$9–$$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$0, including a Hexagon axiom, and trianguloids are in bijection with triangulations of $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$1 (Galashin et al., 2018). The same work emphasizes a directed graph on lattice points of $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$2 or $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$3 as a combinatorial skeleton of all triangulations.

These comparisons clarify the role of the universal polytope. The secondary polytope emphasizes regularity and GKZ-vectors; trianguloids emphasize local edge-coloring data and lattice-point bijections; the universal polytope, as used in the type $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$4 $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$5 setting, emphasizes the graph of local transformations between polygon triangulations. This suggests that the universal polytope belongs to a broader landscape in which triangulations are controlled either by polyhedral coordinates, by local axioms, or by distinguished move classes, with the hexagonal-move description of $$\Sigma(V)=\operatorname{conv}\{\phi(T): T \text{ is a triangulation of }V\},$$6-fibers furnishing a particularly sharp instance of the third viewpoint.