Wall crossings for double Hurwitz numbers.

*(English)*Zbl 1231.14023This paper continues the very active investigation of the enumerative geometry of ramified covers of the projective line. Specifically, the authors study double Hurwitz numbers \(H_g(\underline{x})\), which by definition count covers of \(\mathbb{CP}^1\) by algebraic curves of genus \(g\) with ramification profile over 0 and \(\infty\) specified by the vector \(\underline{x}\) and with simple ramification at the remaining number of points prescribed by the Riemann-Hurwitz formula. Here \(\underline{x}\) has both positive and negative entries, and they view the positive (resp. negative) ones as indicating the monodromy over 0 (resp. \(\infty\)). The point is to fix the genus but let \(\underline{x}\) vary and thus view the double Hurwitz numbers as a function defined on the locus \(|\underline{x}|=0\). The paper is a beautiful extension/application of the authors’ previous work [“Tropical Hurwitz numbers”, J. Algebr. Comb. 32, 241–265 (2010; Zbl 1218.14058)] where a combinatorial framework was developed for describing these numbers. The authors study their earlier formula and use it to answer several interesting questions about this double Hurwitz number function. Although their proofs are very much in the combinatorial realm, much of the motivation for the theorems they prove comes from geometry, so let us briefly recall this context while at the same time describing in more detail the main theorems of the paper.

The traditional Hurwitz numbers, counting covers with all ramification simple except possibly at a single point, have had an exciting role in modern mathematics, touching on many areas and stimulating much research. One particularly remarkable instance is the ELSV formula, which gives a precise description of each Hurwitz number for fixed genus and ramification profile in terms of an integral over \(\overline{\mathcal{M}}_{g,n}\) of a certain formal power series involving tautological classes. Of course, here “integral” means the algebro-geometric formulation in intersection theory of capping with the fundamental class \([\overline{\mathcal{M}}_{g,n}]\). This formula serves as an intriguing bridge between the enumerative geometry of Hurwitz theory and the intersection theory of the (Deligne-Mumford) moduli space of curves. It implies, in particular, a polynomality condition on the Hurwitz numbers. For double Hurwitz numbers, the enumerative geometry is expected to be related to the intersection theory of some compactified universal Picard variety Pic\(_{g,n}\) parameterizing marked curves with a line bundle. This is described in the paper of I.P. Goulden, D. M. Jackson and R. Vakil [“Towards the geometry of double Hurwitz numbers”, Adv. Math. 198, No. 1, 43–92 (2005; Zbl 1086.14022)] which serves as the main background for the present paper. In particular, GJV shows that the double Hurwitz numbers are piece-wise polynomial, and as they mention, understanding the behavior of these functions can potentially help predict the appropriate compactification of the universal Picard variety to consider.

The first main result of the present paper is a new proof of GJV’s piece-wise polynomality result concerning double Hurwitz numbers. In the authors’ earlier above-cited work, they describe a formula for double Hurwitz numbers as a sum of some combinatorial data over a finite collection of graphs. Roughly, they consider directed trivalent genus \(g\) graphs with leaves labeled by the ramification entries \(x_i\) and a natural number associated to each internal edge such that these weights satisfy a balancing condition. They call these monodromy graphs. Their formula then reads \[ H_g(\underline{x}) = \sum_\Gamma \frac{\varphi_\Gamma}{|Aut(\Gamma)|} \] where the sum is over all monodromy graphs \(\Gamma\) and \(\varphi_\Gamma\) is the product of the weights of all internal edges. In genus zero the edge weights are uniquely determined by \(\underline{x}\), whereas in positive genus this is no longer the case, so much of the paper is devoted to studying the space of possible edge-weightings.

In addition to the piece-wise polynomality result, which as mentioned had already been proven using entirely different methods in GJV, the present paper goes on to use their monodromy graph formula and results about the space of edge-weightings to prove several other impressive results: i) they characterize the walls of polynomality, ii) perhaps most importantly, they produce a wall-crossing formula, and iii) they show that the double Hurwitz number function is either even or odd.

The authors nicely summarize the combinatoric tools underlying their analysis of monodromy graphs and begin the paper with an illustrative example, which this reviewer recommends reading. In short, the basic idea is that for a fixed directed graph and vector \(\underline{x}\), the space of possible internal edge weightings can be viewed as the lattice points of certain bounded polytopes. This enables them to translate the Hurwitz theory questions that interest them into questions about lattice points of polytopes, for which there are ready-made tools available. The translation is not as trivial as this sounds, but this is the basic idea underpinning their paper.

The traditional Hurwitz numbers, counting covers with all ramification simple except possibly at a single point, have had an exciting role in modern mathematics, touching on many areas and stimulating much research. One particularly remarkable instance is the ELSV formula, which gives a precise description of each Hurwitz number for fixed genus and ramification profile in terms of an integral over \(\overline{\mathcal{M}}_{g,n}\) of a certain formal power series involving tautological classes. Of course, here “integral” means the algebro-geometric formulation in intersection theory of capping with the fundamental class \([\overline{\mathcal{M}}_{g,n}]\). This formula serves as an intriguing bridge between the enumerative geometry of Hurwitz theory and the intersection theory of the (Deligne-Mumford) moduli space of curves. It implies, in particular, a polynomality condition on the Hurwitz numbers. For double Hurwitz numbers, the enumerative geometry is expected to be related to the intersection theory of some compactified universal Picard variety Pic\(_{g,n}\) parameterizing marked curves with a line bundle. This is described in the paper of I.P. Goulden, D. M. Jackson and R. Vakil [“Towards the geometry of double Hurwitz numbers”, Adv. Math. 198, No. 1, 43–92 (2005; Zbl 1086.14022)] which serves as the main background for the present paper. In particular, GJV shows that the double Hurwitz numbers are piece-wise polynomial, and as they mention, understanding the behavior of these functions can potentially help predict the appropriate compactification of the universal Picard variety to consider.

The first main result of the present paper is a new proof of GJV’s piece-wise polynomality result concerning double Hurwitz numbers. In the authors’ earlier above-cited work, they describe a formula for double Hurwitz numbers as a sum of some combinatorial data over a finite collection of graphs. Roughly, they consider directed trivalent genus \(g\) graphs with leaves labeled by the ramification entries \(x_i\) and a natural number associated to each internal edge such that these weights satisfy a balancing condition. They call these monodromy graphs. Their formula then reads \[ H_g(\underline{x}) = \sum_\Gamma \frac{\varphi_\Gamma}{|Aut(\Gamma)|} \] where the sum is over all monodromy graphs \(\Gamma\) and \(\varphi_\Gamma\) is the product of the weights of all internal edges. In genus zero the edge weights are uniquely determined by \(\underline{x}\), whereas in positive genus this is no longer the case, so much of the paper is devoted to studying the space of possible edge-weightings.

In addition to the piece-wise polynomality result, which as mentioned had already been proven using entirely different methods in GJV, the present paper goes on to use their monodromy graph formula and results about the space of edge-weightings to prove several other impressive results: i) they characterize the walls of polynomality, ii) perhaps most importantly, they produce a wall-crossing formula, and iii) they show that the double Hurwitz number function is either even or odd.

The authors nicely summarize the combinatoric tools underlying their analysis of monodromy graphs and begin the paper with an illustrative example, which this reviewer recommends reading. In short, the basic idea is that for a fixed directed graph and vector \(\underline{x}\), the space of possible internal edge weightings can be viewed as the lattice points of certain bounded polytopes. This enables them to translate the Hurwitz theory questions that interest them into questions about lattice points of polytopes, for which there are ready-made tools available. The translation is not as trivial as this sounds, but this is the basic idea underpinning their paper.

Reviewer: Noah Giansiracusa (Zürich)

##### MSC:

14H30 | Coverings of curves, fundamental group |

14N10 | Enumerative problems (combinatorial problems) in algebraic geometry |

14N20 | Configurations and arrangements of linear subspaces |

52C35 | Arrangements of points, flats, hyperplanes (aspects of discrete geometry) |

52B20 | Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) |

##### Keywords:

Hurwitz numbers; enumerative geometry; hyperplane arrangement; lattice points; wall-crossing formula##### References:

[1] | Alexeev, Valery, Compactified Jacobians and Torelli map, Publ. res. inst. math. sci., 40, 4, 1241-1265, (2004) · Zbl 1079.14019 |

[2] | Federico Ardila, Double Hurwitz numbers and DPV remarkable spaces, in preparation. |

[3] | Brannetti, Silvia; Melo, Margarida; Viviani, Filippo, On the tropical Torelli map, Adv. math., 226, 4, 2546-2586, (2011) · Zbl 1218.14056 |

[4] | Beck, Matthias; Robins, Sinai, Computing the continuous discretely: integer-point enumeration in polyhedra, Undergrad. texts math., (2007), Springer-Verlag New York · Zbl 1114.52013 |

[5] | Brion, Michel; Vergne, Michéle, Lattice points in simple polytopes, J. amer. math. soc., 10, 371-392, (1997) · Zbl 0871.52009 |

[6] | Cavalieri, Renzo; Johnson, Paul; Markwig, Hannah, Tropical Hurwitz numbers, J. algebraic combin., 32, 2, 241-265, (2010) · Zbl 1218.14058 |

[7] | de Concini, C.; Procesi, C.; Vergne, M., Vector partition function and generalized dahmen-micchelli spaces, Transform. groups, 15, 4, 751-773, (2010) · Zbl 1223.58015 |

[8] | Ekedahl, Torsten; Lando, Sergei; Shapiro, Michael; Vainshtein, Alek, Hurwitz numbers and intersections on moduli spaces of curves, Invent. math., 146, 2, 297-327, (2001) · Zbl 1073.14041 |

[9] | Goulden, I.P.; Jackson, D.M.; Vainshtein, A., The number of ramified coverings of the sphere by the torus and surfaces of higher genera, Ann. comb., 4, 1, 27-46, (2000) · Zbl 0957.58011 |

[10] | Goulden, I.P.; Jackson, D.M.; Vakil, R., Towards the geometry of double Hurwitz numbers, Adv. math., 198, 1, 43-92, (2005) · Zbl 1086.14022 |

[11] | Johnson, Paul, Double Hurwitz numbers via the infinite wedge · Zbl 1343.14043 |

[12] | Lando, Sergei K.; Zvonkin, Alexander K., Graphs on surfaces and their applications, Encyclopaedia math. sci., (2004), Springer-Verlag Berlin · Zbl 1040.05001 |

[13] | Oda, Tadao; Seshadri, C.S., Compactifications of the generalized Jacobian variety, Trans. amer. math. soc., 253, 1-90, (1979) · Zbl 0418.14019 |

[14] | Okounkov, Andrei; Pandharipande, Rahul, Gromov-Witten theory, Hurwitz theory, and completed cycles, Ann. of math. (2), 163, 2, 517-560, (2006) · Zbl 1105.14076 |

[15] | Shadrin, S.; Shapiro, M.; Vainshtein, A., Chamber behavior of double Hurwitz numbers in genus 0, Adv. math., 217, 1, 79-96, (2008) · Zbl 1138.14018 |

[16] | Ravi Vakil, personal communication. |

[17] | Varchenko, A.N., Combinatorics and topology of the arrangement of affine hyperplanes in the real space, Funct. anal. appl., 21, 1, 9-19, (1987) · Zbl 0626.52003 |

[18] | Voisin, Claire, Hodge theory and complex algebraic geometry. I, (2002), Cambridge University Press Cambridge · Zbl 1005.14002 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.