REVIEW
The Laplace transform of the cut-and-join equation and the Bouchard-Marino conjecture on Hurwitz numbers
Algebraic Geometry · Submitted 29 Jul 2009 · 45 references
Pith's verdict: A genuine proof of Bouchard-Marino, technical but coherent; the only real defect I found is a typo in (2.13).
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper proves that Hurwitz numbers — counts of ramified coverings of the sphere by a genus-$g$ curve with prescribed ramification — are generated by the Eynard–Orantin topological recursion on the Lambert curve $x = y e^{-y}$, confirming
The reading
What carries the argument
The load-bearing objects are the Lambert curve $C = {(x,t) : x = frac{1}{e}(1 - frac{1}{t}) e^{1/t}}$ with its global coordinate $t$, the deck transformation $s(t)$ of the two-sheeted projection near the unique critical point $t = infty$, and the polynomials $hat xi_n(t)$ that arise as Laplace transforms of the terms $k^{k+n}/k!$. The mechanism that carries the proof is a direct image: because the Lambert curve is a double cover in the $x$-variable, the natural coordinate near the branch point is $v$ with $frac{1}{2}v^2 = w$, and the involution becomes $v$ sent to $-v$, so pushing a function forward along the projection is just keeping its even part, $f(v) + f(-v)$. Proposition 6.2 supplies the bridge, $eta_n(v) = frac{1}{2}(hat xi_n(t) - hat xi_n(s(t)))$ up to a holomorphic function of $w$, with $eta_{-1}(v) = frac{1}{2}(t - s(t))/(t s(t))$ playing the role of the recursion kernel denominator. Theorem 5.2 and Corollary 6.3 then convert the residue integrals of the topological recursion into these truncated polynomial expressions, which is what makes the comparison with the transformed cut-and-join equation possible at all.
Extended reading notes
Core claim
The central claim is Theorem 1.3, which is Conjecture 4.8 of Bouchard and Mariño: the symmetric differential forms $d^{tensor l} H_{g,l}(t_1,...,t_l) = sum over $n_1+...+n_l$ of $<tau_{n_1}...tau_{n_l} Lambda^vee_g(1)>$ times the tensor product of $xi_{n_i}(t_i)$ satisfy the Eynard–Orantin recursion (4.16) on the Lambert curve, with initial data $W_{0,3} = dt_1 dt_2 dt_3$ and $W_{1,1} = frac{1}{24}(t-1)(3t+1)dt$. The proof factors into two steps. First, the Laplace transform of the cut-and-join equation is computed explicitly and becomes a polynomial equation on primitives, Theorem 3.7, in which the differential operator $$t^{2}$(t-1) d/dt$ acts on polynomials $hat xi_n(t)$ defined by $hat xi_{n+1} = $t^{2}$(t-1) d hat xi_n/dt$ from $hat xi_0 = t-1$. Second, the exterior differential of that equation is pushed forward through the projection of the Lambert curve, and the residues in the recursion are replaced by an algebraic truncation to the polynomial part at the point $t$ and its Galois conjugate $s(t)$. The direct image is then identical, coefficient by coefficient, to the conjectured recursion.
Load-bearing premise
The reduction hinges on the principal-part extraction in Section 7, where terms carrying holomorphic factors in the $v$-variables are discarded on the grounds that only the $eta_{a+1}(v_1) eta_{b+1}(v_1)$ products survive; this rests on the decomposition of Proposition 6.2 and on Lemma 6.5, and if the holomorphic remainders could contribute after multiplication by $eta_{-1}(v)$ the passage to the recursion would not go through.
Editorial extensions
If this is right
- The recursion gives an effective algorithm: linear Hodge integrals of complexity $2g-2+l$ are computed from those of complexity one less, and Hurwitz numbers follow through the ELSV formula.
- Restricting the polynomial equation to its top-degree homogeneous terms recovers the Witten–Kontsevich theorem, that is, the Virasoro constraints on $psi$-class intersection numbers.
- The lowest-degree homogeneous terms yield the coefficients of the $lambda_g$-formula, giving a combinatorial derivation of that Faber–Pandharipande statement.
- The ingredients of topological recursion — the spectral curve, its critical point, the Cauchy differentiation kernel, and the residue calculus — acquire a combinatorial reading as Laplace-transformed cut-and-join operations.
- The unstable geometries $(0,1)$ and $(0,2)$ are absorbed as initial data rather than exceptions: $W_{0,1} = 0$ and $W_{0,2}$ equal to the Bergman kernel, matching the logarithm of $(hat xi_{-1}(t_1) - hat xi_{-1}(t_2))/(x_1 - x_2)$ computed in Proposition 3.6.
Reading between the lines
- The strategy — Laplace transform a combinatorial cut-and-join equation, then take a direct image along the spectral curve — looks reusable for other enumerative problems whose recursion comes from a join-and-cut operation, and the authors themselves ask what the inverse Laplace transform of a general topological recursion should be.
- Because a matrix-model derivation of the same generating functions on the Lambert curve exists, the proof suggests the combinatorial and matrix-integral routes are two descriptions of one mechanism rather than independent coincidences.
- A reader wanting a quick sanity test can compare the recursion's output against the appendix tables, for instance $langle tau_3 lambda_1 rangle_{2,1} = 1/480$ and $d hat H_{1,1} = frac{1}{24}(t-1)(3t+1)dt$, which are small enough to check by hand.
- The recursion's right-hand side is not visibly symmetric in its arguments, and the paper notes symmetry follows from the geometry of the Hurwitz differential rather than from the recursion itself; this is the same situation as Mirzakhani's volume recursion, which suggests symmetry is a general structural feature of such recursions worth isolating.
Original abstract
We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. | contribution 0.92 | 0.96 | 0.07 | asserted 1.00 |
| s1 | The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. | result 0.93 | 0.84 | 0.25 | asserted 1.00 |
| s2 | We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory. | result 0.97 | 0.93 | 0.70 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Showing 2 of the paper's 5 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:0907.5224 by the authors.
References
How the literature uses it
43 arXiv papers cite this in 104 sentences
Papers citing it · 69 sentences without a confident label
Builds on it 3 papers
-
We then give a rigorous proof of the recursion formula, generalizing the result of [ref] to the orbifold case.
Mirror symmetry for orbifold Hurwitz numbers · Overview · 1.00
-
The second is a generalization of the (now proved) Bouchard-Mariño conjecture [ref] relating Hurwitz numbers and the topological recusion procedure of Chekhov, Eynard, and Orantin [ref] , that we call the $r$-BM conjecture.
Equivalence of ELSV and Bouchard-Mari\~no conjectures for $r$-spin Hurwitz numbers · Introduction · 0.82
-
Généralisant [ref] , Zhou a montré dans [ref] qu'elles sont équivalentes aux équations de boucles pour la courbe spectrale miroir de $ℂ^3$, dont l'équation est $e^fy + e^x + e^y(f + 1) = 0$ (cf. [ref]).
Quelques probl\`emes de g\'eom\'etrie \'enum\'erative, de matrices al\'eatoires, d'int\'egrabilit\'e, \'etudi\'es via la g\'eometrie des surfaces de Riemann · Relations combinatoires et équations de boucles · 0.90
Uses its method or tool 7 papers
-
The starting point of our proof, as in [ref] , is the cut-and-join equation as suggested in [ref] .
Local Mirror Symmetry for One-Legged Topological Vertex · Introduction · 0.96
-
The proof is based on the idea of [ref] .
Mirror symmetry for orbifold Hurwitz numbers · Main results · 0.98
-
Based on the method in [ref] , two proofs, one by Chen [ref] and one by the author [ref] , have appeared for Bouchard-Mariño Conjecture for the case of $^3$ with one D-brane.
Open String Invariants and Mirror Curve of the Resolved Conifold · Introduction · 0.92
Compares with it 5 papers
-
After the completion of this work, there appears a paper [ref] which gets the same result by the method of [ref] .
Local Mirror Symmetry for One-Legged Topological Vertex · Introduction · 0.98
-
Let us stress that in [ref] this polynomiality was derived from the ELSV formula, while in the present paper we have it independently due to the results of Section [ref], as noted above. * The principal part of the pole of $H_g,n$ is odd with respect to the involution $$ on each $t_i$-line (as it follows from Lemma [ref]).
Polynomiality of Hurwitz numbers, Bouchard-Mari\~no conjecture, and a new proof of the ELSV formula · Reduction by symmetrization · 0.98
-
Unlike the Hurwitz number case studied in [ref] , the LHS of our Symmetrized Cut-Join Equation involves taking derivative with respect to the parameter $f$ that need more special treatment.
Bouchard-Klemm-Marino-Pasquetti Conjecture for $\mathbb{C}^3$ · The left hand side · 0.96
Cites it as background 12 papers
-
Eynard and Orantin have defined it axiomatically in the context of algebraic geometry [ref] , and in this form, it enjoys many interesting properties (symplectic invariance, special geometry, WDVV equations, …), and has appeared provably or experimentally in many problems of 2D enumerative geometry: the two hermitian matrix model [ref] and the chain of hermitian matrices [ref] , topological string theory and Gromov-Witten invariants [ref] , integrable systems [ref] , intersection numbers on the moduli space of curves [ref] , asymptotic of knot invariants [ref] , …
Formal multidimensional integrals, stuffed maps, and topological recursion · Problem and main results · 0.91
-
Subsequently, Bouchard and Mariño conjectured [ref] that single Hurwitz numbers are governed by the topological recursion of Chekhov, Eynard and Orantin [ref] ; the first complete proof of this conjecture was given by Eynard, Mulase and Safnuk [ref] .
Double Hurwitz numbers: polynomiality, topological recursion and intersection theory · Review of Hurwitz numbers · 0.93
-
Since 1990, other correspondences between the four sides A, B, C and D have been found, among them the simple Hurwitz numbers (A) are computed by topological recursion (conjectured in [ref] and proved in [ref] ) with the Lambert curve (B), related by the ELSV formula to the Hodge class [ref] (C) and determined by the Toda hierarchy [ref] (D).
Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers · Introduction · 0.89
What it cites · 6 sentences without a confident label
Compares with 2 papers
-
This derivation is in the same spirit as those found in [ref] , though the argument is much clearer due to the polynomial nature of our equation.
A simple proof of Witten conjecture through localization · The cut-and-join equation and its Laplace transform · 0.94
-
This derivation is in the same spirit as those found in [ref] , though the argument is much clearer due to the polynomial nature of our equation.
math.AG/0609263 · The cut-and-join equation and its Laplace transform · 0.94
Cites as background 11 papers
-
It has been noted in [ref] that the Airy curve $w = v^2$ is a universal object of the topological recursion for the case of a genus $0$ spectral curve with only one critical point.
All orders asymptotic expansion of large partitions · The Laplace transform of the ELSV formula · 0.89
-
It has been noted in [ref] that the Airy curve $w = v^2$ is a universal object of the topological recursion for the case of a genus $0$ spectral curve with only one critical point.
Recursion between Mumford volumes of moduli spaces · The Laplace transform of the ELSV formula · 0.89
-
It has been noted in [ref] that the Airy curve $w = v^2$ is a universal object of the topological recursion for the case of a genus $0$ spectral curve with only one critical point.
Weil-Petersson volume of moduli spaces, Mirzakhani's recursion and matrix models · The Laplace transform of the ELSV formula · 0.89
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.