arXiv++ Combinatorics

Let $X$ be a projective line bundle over a nonsingular toric surface which is a blowup the projective plane along at most 4 invariant points, or a blowup the product of the projective lines along at most 4 invariant points. Let $L$ be an ample line bundle on $X$. Then $L$ defines a projectively normal embedding to big projective space. We show the ideal of this embedded $X$ is generated by elements of degree two.

Tropical refined invariants for toric surfaces, introduced Block and G{ö}ttsche, are obtained couting tropical curves with a Laurent polynomial multiplicity. Brugall{é} and Jaramillo-Puentes then exhibited a polynomial behavior of the coefficients of this Laurent polynomial, seen as function on the curve degree. The authors provided explicit formula for small genus, involving quasi-modular forms. Inspired by the toric setting, the first-named author defined refined invariants for abelian surfaces and extended the polynomiality result. In this paper, we further study this regularity for abelian surfaces, providing explicit formulas involving quasi-modular forms. This resonates with the small genus cases of the toric setting.

Ardila and Brugallé conjectured that double tropical Welschinger invariants of Hirzebruch surfaces are piecewise quasipolynomial. In this work, we prove the conjecture holds in full generality, i.e. for toric surfaces corresponding to h-transverse polygons. Furthermore, we define new combinatorial Welschinger-type numbers for h-transverse polygons and show that they are likewise piecewise quasipolynomial.

Applications of algebraic geometry have sparked much recent work on algebraic matroids. An algebraic matroid encodes algebraic dependencies among coordinate functions on a variety. We study the behavior of algebraic matroids under joins and secants of varieties. Motivated by Terracini's lemma, we introduce the notion of a Terracini union of matroids, which captures when the algebraic matroid of a join coincides with the matroid union of the algebraic matroids of its summands. We illustrate applications of our results with a discussion of the implications for toric surfaces and threefolds.

Toric codes are error-correcting codes that are derived from toric varieties, which hold a unique correspondence to integral convex polytopes. In this paper, we focus on integral convex polytopes $P \subseteq \mathbb{R}^2$ and the toric codes they define. We begin by studying period-1 polytopes -- polytopes satisfying the property $L(tP)$ = $tL(P)$ for all $t \in \mathbb{Z}^+$, where $tP$ is the $t$-dilate of $P$, and we prove an explicit formula for the minimum distance of toric codes associated to a particular class of period-1 polytopes. We also apply the methods of Little and Schwarz, using Vandermonde matrices, to compute the minimum distance of another class of period-1 polytopes.

Tyomkin's correspondence theorem states the equality of counts of rational curves of fixed homology class in a toric surface satisfying point and cross-ratio conditions with their tropical counterparts. Such correspondence theorems allow us to derive non-tropical results from tropical ones; for example, Mikhalkin's correspondence theorem is used in the tropical proof of the famous Kontsevich formula for counts of plane rational curves of degree $d$ satisfying point conditions. This formula has been generalized to counts of curves in the Hirzebruch surface $\mathbb{F}_{2}$ satisfying point conditions. Further generalizations allow curves in $\mathbb{P}^2$ to satisfy multiple cross-ratio conditions. In this paper, we present a Kontsevich-style formula for the Hirzebruch surface $\mathbb{F}_r$, $r \in \mathbb{N}$, which counts rational tropical curves of a fixed homology class satisfying point and multiple cross-ratio conditions using tropical methods. Moreover, the cross-ratio conditions we impose on the curves allow more freedom.

For $k\geq 0$, a $k$-generalized Markov number is an integer which appears in some positive integer solution to the $k$-generalized Markov equation $x^2 + y^2 + z^2 + k(yz + zx + xy) = (3 + 3k)xyz$. In this paper, we discuss a combinatorial structure of generalized Markov numbers. To investigate this structure in detail, we use two families of matrices: the $k$-generalized Cohn matrices and the $k$-Markov-monodromy matrices, which are elements of $SL(2, \mathbb{Z})$ whose $(1,2)$-entries are $k$-generalized Markov numbers. We show that these two families of matrices recover the tree structure of the positive integer solutions to the generalized Markov equation, and we give geometric interpretations and a combinatorial interpretation of $k$-generalized Markov numbers. As an application, we provide a computation algorithm of classical Markov number from a one-dimensional dynamical viewpoint. Moreover, we clarify a relation between $k$-generalized Markov numbers and toric surface singularities via continued fractions.

Inspired by piecewise polynomiality results of double Hurwitz numbers, Ardila and Brugallé introduced an enumerative problem which they call double Gromov--Witten invariants of Hirzebruch surfaces. These invariants serve as a two-dimensional analogue and satisfy a similar piecewise polynomial structure. More precisely, they introduced the enumeration of curves in Hirzebruch surfaces satisfying point conditions and tangency conditions on the two parallel toric boundaries. These conditions are stored in four partitions and the resulting invariants are piecewise polynomial in their entries. Moreover, they found that these expressions also behave polynomially with respect to the parameter determining the underlying Hirzebruch surfaces. Based on work of Ardila and Block, they proposed that such a polynomiality could also hold while changing between more general toric surfaces corresponding to $h$-transverse polygons. In this work, we answer this question affirmatively. Moreover, we express the resulting invariants for $h$-transverse polygons as matrix elements in the two-dimensional bosonic Fock space.

We give an explicit formula for Euler characteristics of line bundles on the Hilbert scheme of points on $\mathbb{P}^1\times\mathbb{P}^1$. Combined with structural results of Ellingsrud, Göttsche, and Lehn, this determines the Euler characteristic of any line bundle on the Hilbert scheme of points on any smooth, projective surface. We also give an enumerative description of the dimensions of spaces of global sections of ample line bundles on Hilbert schemes of points on Hirzebruch surfaces, extending the polytope-line bundle correspondence on the underlying toric surface.

We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.

A classical tensegrity model consists of an embedded graph in a vector space with rigid bars representing edges, and an assignment of a stress to every edge such that at every vertex of the graph the stresses sum up to zero. The tensegrity frameworks have been recently extended from the two dimensional graph case to the multidimensional setting. We study the multidimensional tensegrities using tools from toric geometry. For a given rational tensegrity framework $\mathcal{F}$, we construct a glued toric surface $X_\mathcal{F}$. We show that the abelian group of tensegrities on $\mathcal{F}$ is isomorphic to a subgroup of the Chow group $A^1(X_\mathcal{F};\QQ)$. In the case of planar frameworks, we show how to explicitly carry out the computation of tensegrities via classical tools in toric geometry.

Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal beautiful structural properties such as piecewise polynomiality, similar to the case of double Hurwitz numbers counting covers of $\mathbb{P}^1$ with special ramification profiles over zero and infinity by Ardila and Brugallé. This result was obtained using the floor diagram method to count tropical curves. Here, we expand the tropical tools to determine counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$. We provide a computational tool (building on Polymake by Gawrilow and Joswig) that determines such numbers of tropical curves for any genus and any contact orders via a straightforward generalization of Mikhalkin's lattice path algorithm. The tool can also be used for other toric surfaces. To enable efficient computations also by hand, we introduce a new counting tool (for the case of rational curves with transverse contacts with the infinity section) which can be seen as a combination of the floor diagram and the lattice path approach: subfloor diagrams. We use both our computational tool and the subfloor diagrams for experiments revealing structural properties of these counts. We obtain first results on the (piecewise) polynomial structure of counts of rational curves in $\mathbb{P}^1\times\mathbb{P}^1$ with arbitrary contact orders on the zero- and infinity-fiber and restricted choices for the contact orders on the zero- and infinity-section.

Associated to a convex integral polygon $N$ in the plane are two integrable systems: the cluster integrable system of Goncharov and Kenyon constructed from the planar dimer model, and the Beauville integrable system, associated with the toric surface of $N$. There is a birational map, called the spectral transform, between the phase spaces of the two integrable systems. When $N$ is the triangle $\text{Conv}\{(0,0),(d,0),(0,d)\}$, we show that the spectral transform is a birational isomorphism of integrable systems.

This paper is the third installment in a series of papers devoted to the computation of enumerative invariants of abelian surfaces through the tropical approach. We develop a pearl diagram algorithm similar to the floor diagram algorithm used in toric surfaces that concretely solves the tropical problem. These diagrams can be used to prove specific cases of Oberdieck's multiple cover formula that reduce the computation of invariants for non-primitive classes to the primitive case, getting rid of all diagram considerations and providing short explicit formulas. The latter can be used to prove the quasi-modularity of generating series of classical invariants, and the polynomiality of coefficients of fixed codegree in the refined invariants.

We compute the (unbounded) Newton-Okounkov body of the Hilbert scheme of points on $\mathbb C^2$. We obtain an upper bound for the Newton-Okounkov body of the Hilbert scheme of points on any smooth toric surface. We conjecture that this upper bound coincides with the exact Newton-Okounkov body for the Hilbert schemes of points on $\mathbb P^2$, $\mathbb P^1\times\mathbb P^1$, and Hirzebruch surfaces. These results imply upper bounds for the effective cones of these Hilbert schemes, which are also conjecturally sharp in the above cases.

In the 1990's, Itenberg and Haas studied the relations between combinatorial data in Viro's patchworking and the topology of the resulting non-singular real algebraic curves in the projective plane. Using recent results from Renaudineau and Shaw on real algebraic curves near the non-singular tropical limit, we continue the study of Itenberg and Haas inside any non-singular projective toric surface. We give new Haas' like criteria for patchworking non-singular real algebraic curves with prescribed number of connected components, in terms of twisted edges on a non-singular tropical curve. We then obtain several sufficient conditions for patchworking non-singular real algebraic curves with only ovals in their real part. One of these sufficient conditions does not depend on the ambient toric surface. In that case, we count the number of even and odd ovals of those curves in terms of the dual subdivision, and construct some new counter-examples to Ragsdale's conjecture.

Tropical refined invariants of toric surfaces constitute a fascinating interpolation between real and complex enumerative geometries via tropical geometry. They were originally introduced by Block and Göttsche, and further extended by Göttsche and Schroeter in the case of rational curves. In this paper, we study the polynomial behavior of coefficients of these tropical refined invariants. We prove that coefficients of small codegree are polynomials in the Newton polygon of the curves under enumeration, when one fixes the genus of the latter. This provides a somehow surprising resurgence, in some sort of dual setting, of the so-called node polynomials and Göttsche conjecture. Our methods are entirely combinatorial, hence our results may suggest phenomenons in complex enumerative geometry that have not been studied yet. In the particular case of rational curves, we extend our polynomiality results by including the extra parameter $s$ recording the number of $ψ$ classes. Contrary to the polynomiality with respect to $ Δ$, the one with respect to $s$ may be expected from considerations on Welschinger invariants in real enumerative geometry. This pleads in particular in favor of a geometric definition of Göttsche-Schroeter invariants.

We initiate a combinatorial study of Newton-Okounkov functions on toric varieties with an eye on the rationality of asymptotic invariants of line bundles. In the course of our efforts we identify a combinatorial condition which ensures a controlled behavior of the appropriate Newton-Okounkov function on a toric surface. Our approach yields the rationality of many Seshadri constants that have not been settled before.

We enumerate rational curves in toric surfaces passing through points and satisfying cross-ratio constraints using tropical and combinatorial methods. Our starting point is arXiv:1509.07453, where a tropical-algebraic correspondence theorem was proved that relates counts of rational curves in toric varieties that satisfy point conditions and cross-ratio constraints to the analogous tropical counts. We proceed in two steps: based on tropical intersection theory we first study tropical cross-ratios and introduce degenerated cross-ratios. Second we provide a lattice path algorithm that produces all tropical curves satisfying such degenerated conditions explicitly. In a special case simpler combinatorial objects, so-called cross-ratio floor diagrams, are introduced which can be used to determine these enumerative numbers as well.

Given a real hyperelliptic algebraic curve $X$ with non-empty real part and a real effective divisor $\mc{D}$ arising via pullback from $\mathbb{P}^1$ under the hyperelliptic structure map, we study the real inflection points of the associated complete real linear series $|\mc{D}|$ on $X$. To do so we use Viro's patchworking of real plane curves, recast in the context of some Berkovich spaces studied by M. Jonsson. Our method gives a simpler and more explicit alternative to limit linear series on metrized complexes of curves, as developed by O. Amini and M. Baker, for curves embedded in toric surfaces.