arXiv++ Combinatorics

In 2006, Kenyon and Okounkov computed the moduli space of Harnack curves of degree $d$ in $\mathbb{C}\mathbb{P}^2$. We generalize to any projective toric surface some of the techniques used there. More precisely, we show that the moduli space $\mathcal{H}_Δ$ of Harnack curves with Newton polygon $Δ$ is diffeomorphic to $\mathbb{R}^{m-3}\times\mathbb{R}_{\geq0}^{n+g-m}$ where $Δ$ has $m$ edges, $g$ interior lattice points and $n$ boundary lattice points, solving a conjecture of Crétois and Lang. Additionally, we use abstract tropical curves to construct a compactification of this moduli space by adding points that correspond to collections of curves that can be patchworked together to produce a curve in $\mathcal{H}_Δ$. This compactification comes with a natural stratification with the same poset as the secondary polytope of $Δ$.

Let $X_{P}$ be the projective toric surface associated to a lattice polytope $P$. If the number of lattice points lying on the boundary of $P$ is at least $4$, it is known that $X_{P}$ is embeddable into a suitable projective space as zero set of finitely many quadrics. In this case, the determination of a minimal generating system of the toric ideal defining $X_{P}$ is reduced to a simple Gaussian elimination.

In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.

We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly $25$, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface $ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$ in characteristic $40\,009$. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface $ν_d(\mathbb{P}^2)$.

We present a notion of a random toric surface modeled on a notion of a random graph. We then study some threshold phenomena related to the smoothness of the resulting surfaces.

We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a small number of tangency conditions with the toric boundary. Furthermore, the combinatorial tropical multiplicities of Kerber and Markwig for counts in $\mathbb P^2$ are derived and explained algebro-geometrically, using Berkovich geometry and logarithmic Gromov--Witten theory. As a consequence, a new proof of Pandharipande's formula for counts of elliptic curves in $\mathbb P^2$ with fixed $j$-invariant is obtained.

We present tools and definitions to study abstract tropical manifolds in dimension 2, which we call simply tropical surfaces. This includes explicit descriptions of intersection numbers of 1-cycles, normal bundles to some curves and tropical Chern cycles and numbers. We provide a new method for constructing tropical surfaces, called the tropical sum, similar to the fiber sum of usual manifolds. We prove a tropical adjunction formula for curves in compact tropical surfaces satisfying a local condition, a partial Castelnuovo-Enriques criterion for contracting (-1)-curves, and also invariance of (p, q)-homology and Chow groups under tropical modification. Finally we prove a tropical version of Noether's formula for compact surfaces constructed from tropical toric surfaces by way of summations and tropical modifications.

We introduce a concept of minimality for Fano polygons. We show that, up to mutation, there are only finitely many Fano polygons with given singularity content, and give an algorithm to determine the mutation-equivalence classes of such polygons. This is a key step in a program to classify orbifold del Pezzo surfaces using mirror symmetry. As an application, we classify all Fano polygons such that the corresponding toric surface is qG-deformation-equivalent to either (i) a smooth surface; or (ii) a surface with only singularities of type 1/3(1,1).

Schreyer has proved that the graded Betti numbers of a canonical tetragonal curve are determined by two integers $b_1$ and $b_2$, associated to the curve through a certain geometric construction. In this article we prove that in the case of a smooth projective tetragonal curve on a toric surface, these integers have easy interpretations in terms of the Newton polygon of its defining Laurent polynomial. We can use this to prove an intrinsicness result on Newton polygons of small lattice width.

We give an explicit way of writing down a minimal set of generators for the canonical ideal of a non-degenerate curve, or of a more general smooth projective curve in a toric surface, in terms of its defining Laurent polynomial.

The Severi degree is the degree of the Severi variety parametrizing plane curves of degree d with delta nodes. Recently, Göttsche and Shende gave two refinements of Severi degrees, polynomials in a variable y, which are conjecturally equal, for large d. At y = 1, one of the refinements, the relative Severi degree, specializes to the (non-relative) Severi degree. We give a tropical description of the refined Severi degrees, in terms of a refined tropical curve count for all toric surfaces. We also refine the equivalent count of floor diagrams for Hirzebruch and rational ruled surfaces. Our description implies that, for fixed delta, the refined Severi degrees are polynomials in d and y, for large d. As a consequence, we show that, for delta <= 10 and all d, both refinements of Göttsche and Shende agree and equal our refined counts of tropical curves and floor diagrams.

This work is a natural continuation of our previous work \cite{yz}. In this paper, we give a complete classification of toric surface codes of dimension less than or equal to 6, except a special pair, $C_{P_6^{(4)}}$ and $C_{P_6^{(5)}}$ over $\mathbb{F}_8$. Also, we give an example, $C_{P_6^{(5)}}$ and $C_{P_6^{(6)}}$ over $\mathbb{F}_7$, to illustrate that two monomially equivalent toric codes can be constructed from two lattice non-equivalent polygons.

Ardila and Block used tropical results of Brugalle and Mikhalkin to count nodal curves on a certain family of toric surfaces. Building on a linearity result of the first author, we revisit their work in the context of the Goettsche-Yau-Zaslow formula for counting nodal curves on arbitrary smooth surfaces, addressing several questions they raised by proving stronger versions of their main theorems. In the process, we give new combinatorial formulas for the coefficients arising in the Goettsche-Yau-Zaslow formulas, and give correction terms arising from rational double points in the relevant family of toric surfaces.

We conjecture an evaluation of three-partition cyclic Hodge integrals in terms of loop Schur functions. Our formula implies the orbifold Gromov-Witten/Donaldson-Thomas correspondence for toric Calabi-Yau threefolds with transverse type A singularities. We prove the formula in the case where one of the partitions is empty, and thus establish the orbifold Gromov- Witten/Donaldson-Thomas correspondence for local toric surfaces with transverse type A singularities.

We generalize an inequality for convex lattice polygons -- aka toric surfaces -- to general rational surfaces.

MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.

Based on results by Brugallé and Mikhalkin, Fomin and Mikhalkin give formulas for computing classical Severi degrees $N^{d, δ}$ using long-edge graphs. In 2012, Block, Colley and Kennedy considered the logarithmic version of a special function associated to long-edge graphs appeared in Fomin-Mikhalkin's formula, and conjectured it to be linear. They have since proved their conjecture. At the same time, motivated by their conjecture, we consider a special multivariate function associated to long-edge graphs that generalizes their function. The main result of this paper is that the multivariate function we define is always linear. A special case of our result gives an independent proof of Block-Colley-Kennedy's conjecture. The first application of our linearity result is that by applying it to classical Severi degrees, we recover quadraticity of $Q^{d, δ}$ and a bound $δ$ for the threshold of polynomiality of $N^{d, δ}.$ Next, in joint work with Osserman, we apply the linearity result to a special family of toric surfaces and obtain universal polynomial results having connections to the Göttsche-Yau-Zaslow formula. As a result, we provide combinatorial formulas for the two unidentified power series $B_1(q)$ and $B_2(q)$ appearing in the Göttsche-Yau-Zaslow formula. The proof of our linearity result is completely combinatorial. We define $τ$-graphs which generalize long-edge graphs, and a closely related family of combinatorial objects we call $(τ, n)$-words. By introducing height functions and a concept of irreducibility, we describe ways to decompose certain families of $(τ, n)$-words into irreducible words, which leads to the desired results.

Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to significant progress. In this survey, we give an introduction to tropical geometry techniques for algebraic curve counting problems. We also survey some recent developments, with a particular emphasis on the computation of the degree of the Severi varieties of the complex projective plane and other toric surfaces as well as Hurwitz numbers and applications to real enumerative geometry. This paper is based on the author's lecture at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 2011.

First we solve the problem of finding minimal degree families on toric surfaces by reducing it to lattice geometry. Then we describe how to find minimal degree families on, more generally, rational complex projective surfaces.

The Severi variety parameterizes plane curves of degree d with delta nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov-Witten invariants of P^2. Fomin and Mikhalkin (2009) proved the 1995 conjecture that, for fixed delta, Severi degrees are eventually polynomial in d. In this paper, we study the Severi varieties corresponding to a large family of toric surfaces. We prove the analogous result that the Severi degrees are eventually polynomial as a function of the multidegree. More surprisingly, we show that the Severi degrees are also eventually polynomial "as a function of the surface". We illustrate our theorems by explicit computing, for a small number of nodes, the Severi degree of any large enough Hirzebruch surface and of a singular surface. Our strategy is to use tropical geometry to express Severi degrees in terms of Brugalle and Mikhalkin's floor diagrams, and study those combinatorial objects in detail. An important ingredient in the proof is the polynomiality of the discrete volume of a variable facet-unimodular polytope.