arXiv++ Combinatorics

A T-curve of degree $d$ is given by a regular unimodular triangulation of $d \cdot Δ_2$ together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, this determines the ambient isotopy type (a.k.a. real scheme) of a smooth real plane projective algebraic curve of the same degree. We present a near-quadratic time algorithm for extracting that isotopy type from the triangulation and the signs. Through a GPU-accelerated implementation, this allows one to compute billions of real schemes per second, enabling exhaustive enumeration at scale. This algorithm was essential for our recent construction of all 121 real schemes of degree seven by T-curves.

The 121 real schemes, i.e., ambient isotopy classes, of smooth real plane algebraic curves of degree seven were classified by Viro (1984). By constructing one patchwork of the dilated triangle $7\cdotΔ_2$ for each real scheme, we provide an explicit method for constructing polynomials realizing each real scheme. In particular, every real scheme of degree seven can be realized as a T-curve; this settles a question raised by Itenberg and Viro (1996).

We classify trivalent graphs with 16 vertices and 16 edges that arise from intersecting two quadratic surfaces in tropical 3-space. There are 4,009 such graphs, representing maximally degenerate stable models of elliptic curves realized as tropical complete intersections of two quadrics. Our classification is derived from 405,246,030 regular unimodular triangulations of the 4-dimensional Cayley polytope.

A triangulation of a point configuration is regular if it can be given by a height function, that is every point gets lifted to a certain height and projecting the lower convex hull gives the triangulation. Checking regularity of a triangulation usually is done by solving a linear program. However when checking many flip-connected triangulations for regularity, one can instead ask which flips preserve regularity. When traversing the flip graph for enumerating all regular triangulations, this allows for vast reduction of the linear programs needing to be solved. At the same time the remaining linear programs will be much smaller.

The secondary fan $Σ(k,n)$ is a polyhedral fan which stratifies the regular subdivisions of the hypersimplices $Δ(k,n)$. We find new infinite families of rays of $Σ(k,n)$, and we compute the fans $Σ(2,7)$ and $Σ(3,6)$. In the special case $k=2$ the fan $Σ(2,n)$ is closely related to the metric fan $\mathop{MF}(n)$, which forms a natural parameter space for the metric spaces on $n$ points. So our results yield a classification of the finite metric spaces on seven points.

We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori. We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.

Hyperplane arrangements form the latest addition to the zoo of combinatorial objects dealt with by polymake. We report on their implementation and on a algorithm to compute the associated cell decomposition. The implemented algorithm performs significantly better than brute force alternatives, as it requires less convex hulls computations.

We determine the $166\,104$ extremal monomials of the discriminant of a quaternary cubic form. These are in bijection with $D$-equivalence classes of regular triangulations of the $3$-dilated tetrahedron. We describe how to compute these triangulations and their $D$-equivalence classes in order to arrive at our main result. The computation poses several challenges, such as dealing with the sheer amount of triangulations effectively, as well as devising a suitably fast algorithm for computation of a $D$-equivalence class.

The behavior of a certain random growth process is analyzed on arbitrary regular and non-regular graphs. Our argument is based on the Expander Mixing Lemma, which entails that the results are strongest for Ramanujan graphs, which asymptotically maximize the spectral gap. Further, we consider Erdős--Rényi random graphs and compare our theoretical results with computational experiments on flip graphs of point configurations. The latter is relevant for enumerating triangulations.

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism. In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans. The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.

We report on enumerating the triangulations of cyclic polytopes with the new software mptopcom. This is relevant for its connection with higher Stasheff-Tamari orders, which occur in category theory and algebraic combinatorics.

We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing full triangulations only; this case is particularly relevant for tropical geometry. Most importantly, down-flip reverse search allows for massive parallelization, i.e., it scales well even for many cores. Our implementation allows to compute the triangulations of much larger point sets than before.

Given two torus invariant Weil divisors $D$ and $D'$ on a two-dimensional cyclic quotient singularity $X$, the groups $\mathop{Ext}\nolimits^i_{X}(\mathcal{O}(D),\mathcal{O}(D'))$, $i>0$, are naturally $\mathbb{Z}^2$-graded. We interpret these groups via certain combinatorial objects using methods from toric geometry. In particular, it is enough to give a combinatorial description of the $\mathop{Ext}\nolimits^1$-groups in the polyhedra of global sections of the Weil divisors involved. Higher $\mathop{Ext}\nolimits^i$-groups are then reduced to the case of $\mathop{Ext}\nolimits^1$ via a quiver. We use this description to show that $\mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D),\mathcal{O}(K-D')) = \mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D'),\mathcal{O}(K-D))$, where $K$ denotes the canonical divisor on $X$. Furthermore, we show that $\mathop{Ext}\nolimits^{i+2}_{X}(\mathcal{O}(D),\mathcal{O}(D'))$ is the Matlis dual of $\mathop{Tor}\nolimits_{i}^{X}(\mathcal{O}(D),\mathcal{O}(D'))$.