arXiv++ Combinatorics

Given an acyclic directed graph (DAG), the space of strength one flows is a lattice polytope called the flow polytope of the DAG. If the DAG admits an ample framing, then the flow polytope is Gorenstein and it linearly projects onto a reflexive polytope called the $\mathbf{g}$-polytope. We provide a combinatorial characterization of amply framed DAGs that have a locally anti-blocking $\mathbf{g}$-polytope, and we characterize the minimal faces of the $\mathbf{g}$-polytope containing a fixed pair of vertices. We prove in this case that the unimodular triangulation of the $\mathbf{g}$-polytope induced by the DKK triangulation of the flow polytope is a pulling triangulation, and we characterize the pulling orders that yield the DKK triangulation. To prove our results, we introduce and study coherence diagrams, a combinatorial model of coherence for amply framed DAGs with locally anti-blocking $\mathbf{g}$-polytopes. We conclude by indicating possible extensions of these results to the setting of $\mathbf{g}$-polytopes for gentle Nakayama algebras.

In the study of flow polytopes, a directed acyclic graph (DAG) with a choice of framing gives a regular unimodular triangulation on its space of unit nonnegative flows. In representation theory, a gentle algebra has recently been equipped with a space of unit flows admitting triangulation and subdivision results capturing its tau-tilting theory. These theories from different areas of mathematics overlap: flows on gently framed DAGs are the same as flows on paired representation-finite gentle algebras. In this article we develop the common generalization of these two theories by defining (framed) turbulence charts, which may be thought of as analogs of (framed) DAGs without the conditions of (D)irectedness and (A)cyclicity. The space of unit flows on a turbulence chart is its turbulence polyhedron. We give presentation, subdivision, and triangulation results on turbulence polyhedra which restrict to known results in the settings of framed DAGs and gentle algebras.

Framing triangulations of unit flow polytopes have received a great deal of recent study with rich connections to various generalizations of Catalan and Cambrian combinatorics as well as volume and h*-polynomial formulas. This story has largely been restricted to unit flow polytopes, with only two recent works giving descriptions of framing triangulations on classes of non-unit flow polytopes. In this article we introduce the first theory of (unimodular) framing triangulations for arbitrary integer flow polytopes. We will observe some pathologies in general examples which are impossible in the unit case, and propose in response a class of "well-ordered" framing triangulations which we expect to inherit key properties from the unit case while still containing all settings of framing triangulations existing in the literature.

The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.

The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.

A dimer model is a quiver with faces embedded into a disk. A consistent dimer model gives rise to a strand diagram, and hence to a positroid. The Gorenstein-projective module category over the completed boundary algebra of a dimer model was shown by Pressland to categorify a cluster structure on the corresponding positroid variety. Outside of the Grassmannian case, boundary algebras of dimer models are not well understood. We give an explicit description of the boundary algebra of a consistent dimer model as a quiver with relations calculated only from the data of the decorated permutation or, equivalently, Grassmann necklace of its positroid.

A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.

A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.