Abstract:The notion of polyptych lattices, introduced by Escobar, Harada, and Manon, wraps the data of a collection of lattices related by piecewise-linear bijections together into a single semi-algebraic object, equipped with its own notions of convexity and polyhedra. The main purpose of this manuscript is to construct an explicit family of polyptych lattices, and to illustrate via explicit computations the abstract theory introduced by Escobar-Harada-Manon. Specifically, we first construct a family of rank-$2$ polyptych lattices $\mathcal{M}_s$ with $2$ charts, compute their space of points, and prove that they are full and self-dual. We then give a concrete sample computation of a point-convex hull in $\mathcal{M}_s \otimes \mathbb{R}$ to illustrate that convex geometry in the polyptych lattice setting can exhibit phenomena not seen in the classical situation. We also give multiple examples of $2$-dimensional ``chart-Gorenstein-Fano'' polytopes, which give rise to pairs of mutation-related $2$-dimensional (classical) Gorenstein-Fano polytopes. Finally, we produce detropicalizations $(\mathcal{A}_s, \mathfrak{v}_s)$ of $\mathcal{M}_s$, and in the case $s=1$ where the detropicalization is a UFD, and with respect to a certain choice of PL polytope $\mathcal{P}$, we give an explicit generators-and-relations presentation of the (finitely generated) Cox ring of the compactification $X_{\mathcal{A}_s}(\mathcal{P})$ of $\mathrm{Spec}(\mathcal{A}_s)$ with respect to $\mathcal{P}$.

polyDB: A Database for Polytopes and Related Objects

Gorenstein-Fano polytopes and compactifications of rank 2 polyptych lattices

A pithy look at the Polytope Algebra

Faces of Cosmological Polytopes

Graphs, skeleta and reconstruction of polytopes

Geometric families of degenerations from mutations of polytopes

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Construction and Analysis of Projected Deformed Products

Polypositroids

Deltahedral Domes over Equiangular Polygons

Basecondary polytopes

Polyhedral Geometry in OSCAR

The polytope algebra of generalized permutahedra

On the Lp Minkowski Problem for Polytopes

A reference for categorical structures on $\mathbf{Poly}$

Polyhedral coproducts

Arity shape of polyadic algebraic structures

Polyhedral products and features of their homotopy theory

Poset polytopes and pipe dreams: types C and B

PolyTO: Structural Topology Optimization using Convex Polygons

An exterior calculus framework for polytopal methods