arXiv++ Combinatorics

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.

The paper consists of lecture notes for a mini-course given by the authors at the Gökova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in classical enumerative geometry, and continue with a look at more general tropical varieties and their homology theories.

We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mnëv's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree $N=\mathrm{deg} \mathcal{M}(L)$, which can be interpreted as the number of arrangements in $\mathcal{M}(L)$ that pass through $D$ points in general position. For generic arrangements $N$ can be computed combinatorially and this number also appears in the study of the Chow variety of zero dimensional cycles. We compute $D$ and $N$ using Schubert calculus in the case where $L$ is the intersection lattice of the arrangement obtained by taking multiple cones over a generic arrangement. We also calculate the characteristic numbers for families of generic arrangements in $\mathbb{P}^2$ with 3 and 4 lines.

In this paper we establish relations between three enumerative geometry tau-functions, namely the Kontsevich-Witten, Hurwitz and Hodge tau-functions. The relations allow us to describe the tau-functions in terms of matrix integrals, Virasoro constraints and Kac-Schwarz operators. All constructed operators belong to the algebra (or group) of symmetries of the KP hierarchy.

We illustrate the use of tropical methods by generalizing a formula due to Abramovich and Bertram, extended later by Vakil. Namely, we exhibit relations between enumerative invariants of the Hirzebruch surfaces $Σ_n$ and $Σ_{n+2}$, obtained by deforming the first surface to the latter. Our strategy involves a tropical counterpart of deformations of Hirzebruch surfaces, and tropical enumerative geometry on a tropical surface in three-space.

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.

We prove invariance for the number of planar tropical curves enhanced with polynomial multiplicities recently proposed by Florian Block and Lothar Goettsche. This invariance has a number of implications in tropical enumerative geometry.

We study plane algebraic curves defined over a field k of arbitrary characteristic as coverings of the the projective line and the problem of enumerating branched coverings of $\mathbb{P}^{1}$ by using combinatorial methods.

Finding the so-called characteristic numbers of the complex projective plane ${\mathbb C}P^2$ is a classical problem of enumerative geometry posed by Zeuthen more than a century ago. For a given $d$ and $g$ one has to find the number of degree $d$ genus $g$ curves that pass through a certain generic configuration of points and at the same time are tangent to a certain generic configuration of lines. The total number of points and lines in these two configurations is $3d-1+g$ so that the answer is a finite integer number. In this paper we translate this classical problem to the corresponding enumerative problem of tropical geometry in the case when $g=0$. Namely, we show that the tropical problem is well-posed and establish a special case of the correspondence theorem that ensures that the corresponding tropical and classical numbers coincide. Then we use the floor diagram calculus to reduce the problem to pure combinatorics. As a consequence, we express genus 0 characteristic numbers of $\CC P^2$ in terms of open Hurwitz numbers.

In this paper we explicitly compute all Littlewood-Richardson coefficients for semisimple or Kac-Moody groups G, that is, the structure coefficients of the cohomology algebra H^*(G/P), where P is a parabolic subgroup of G. These coefficients are of importance in enumerative geometry, algebraic combinatorics and representation theory. Our formula for the Littlewood-Richardson coefficients is given in terms of the Cartan matrix and the Weyl group of G. However, if some off-diagonal entries of the Cartan matrix are 0 or -1, the formula may contain negative summands. On the other hand, if the Cartan matrix satisfies $a_{ij}a_{ji}\ge 4$ for all $i,j$, then each summand in our formula is nonnegative that implies nonnegativity of all Littlewood-Richardson coefficients. We extend this and other results to the structure coefficients of the T-equivariant cohomology of flag varieties G/P and Bott-Samelson varieties Gamma_\ii(G).

We find the numbers of $3 \times 3$ magic, semimagic, and magilatin squares, as functions either of the magic sum or of an upper bound on the entries in the square. Our results on magic and semimagic squares differ from previous ones in that we require the entries in the square to be distinct from each other and we derive our results not by \emph{ad hoc} reasoning but from the general geometric and algebraic method of our paper "An enumerative geometry for magic and magilatin labellings". Here we illustrate that method with a detailed analysis of $3\times3$ squares.

Consider an integer associated with every subset of the set of columns of an $n\times k$ matrix. The collection of those matrices for which the rank of a union of columns is the predescribed integer for every subset, will be denoted by $X_C$. We study the equivariant cohomology class represented by the Zariski closure $Y_C$ of this set. We show that the coefficients of this class are solutions to problems in enumerative geometry, which are natural generalization of the linear Gromov-Witten invariants of projective spaces. We also show how to calculate these classes and present their basic properties.

This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be understandable by a first year master student.

We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this first for fans in R^n and then for "abstract" cycles that are fans locally. With regard to applications in enumerative geometry, we finally have a look at rational equivalence and intersection products of cycles and cycle classes in R^n.

A magic labelling of a set system is a labelling of its points by distinct positive integers so that every set of the system has the same sum, the magic sum. Examples are magic squares (the sets are the rows, columns, and diagonals) and semimagic squares (the same, but without the diagonals). A magilatin labelling is like a magic labelling but the values need be distinct only within each set. We show that the number of $n\times n$ magic or magilatin labellings is a quasipolynomial function of the magic sum, and also of an upper bound on the entries in the square. Our results differ from previous ones because we require that the entries in the square all be different from each other, and because we derive our results not by ad hoc reasoning but from a general theory of counting lattice points in rational inside-out polytopes. We also generalize from set systems to rational linear forms.