• 1 Department of Mathematics [San Francisco]
• 2 Warwick Mathematics Institute

[en]
The Severi variety parametrizes 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 $\mathbb{CP}^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". Our strategy is to use tropical geometry to express Severi degrees in terms of Brugallé 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.

[fr]
La variété de Severi paramétrise les courbes planes de degré $d$ avec $\delta$ nœuds. Son degré s'appelle le degré de Severi. Pour $d$ assez grand, les degrés de Severi coïncident avec les invariants de Gromov-Witten de $\mathbb{CP}^2$. Fomin et Mikhalkin (2009) ont prouvé une conjecture de 1995 que pour $\delta$ fixé, les degrés de Severi sont à terme des polynômes en $d$. Nous étudions les variétés de Severi correspondant à une large famille de surfaces toriques. Nous prouvons le résultat analogue que les degrés de Severi sont à terme des fonctions polynomiales du multidegré. De manière plus surprenante, nous montrons que les degrés de Severi sont à terme des polynômes en tant que "fonction de la surface''. Notre stratégie est d'utiliser la géométrie tropicale pour exprimer les degrés de Severi en fonction des "floor diagrams" de Brugallé et Mikhalkin, et d'utiliser ces objets combinatoires en détail. Un autre ingrédient important de la preuve est la polynomialité du volume discret d'un polytope face-unimodulaire variable.