Universal piecewise polynomiality for counting curves in toric surfaces

Marvin Anas Hahn,Vincenzo Reda

2024-07-04

Abstract: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.

Algebraic Geometry,Combinatorics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the general piecewise polynomial property of curves in counting surfaces. Specifically, the paper studies whether double Gromov - Witten invariants also have a polynomial interpolation property similar to that of Hirzebruch surfaces on more general toric surfaces corresponding to polygons. The authors answer this question affirmatively and further prove that the changes of these invariants between different toric surfaces are also polynomial.

### Background of the paper
- **Double Gromov - Witten invariants**: These invariants were introduced by Ardila and Brugallé to count curves on Hirzebruch surfaces that pass through certain points and satisfy tangent conditions on two specific toric boundaries.
- **Piecewise polynomial property**: These invariants exhibit piecewise polynomial properties under certain parameters, similar to the properties of double Hurwitz numbers.

### Research questions
- **General piecewise polynomial property**: The core problem of the paper is to explore whether these invariants also have piecewise polynomial properties on more complex toric surfaces (especially surfaces corresponding to *h* - transverse polygons).
- **Polynomial interpolation**: Another key question is whether the changes of these invariants between different toric surfaces are also polynomial.

### Main results
1. **Theorem 1.7**: For a given toric surface *S(c)*, the double Gromov - Witten invariants *F_{n1,n2}(d_r, d_l), c, g(x, y)* are polynomial in each chamber.
2. **Theorem 1.8**: The degree of each polynomial piece is *n2 + 3g + 2a - 2*, and it is an even or odd function.
3. **Theorem 1.10**: When changing the underlying toric surface *S(c)*, the double Gromov - Witten invariants *F_{n1,n2}(d_r, d_l), g(x, y, c)* are also piecewise polynomial in each chamber of the hyperplane arrangement.

### Methods
- **Floor Diagrams**: The authors use floor diagrams to represent and calculate these invariants. Floor diagrams are a combinatorial structure that can transform the counting problem into a counting problem of weighted graphs.
- **Weighted Partition Functions**: By transforming the problem into a weighted partition function, use Ehrhart theory and polynomial properties to prove the piecewise polynomial property.

### Conclusion
Through strict mathematical proofs, the paper confirms that double Gromov - Witten invariants also have piecewise polynomial properties on a wider range of toric surfaces, and the changes between different surfaces are also polynomial. This result not only extends the existing theory but also provides new tools and methods for future research.