---
title: Chekhov–Eynard–Orantin Topological Recursion
url: https://www.emergentmind.com/topics/chekhov-eynard-orantin-topological-recursion
type: topic
---

# Chekhov–Eynard–Orantin Topological Recursion

Searching arXiv for recent and foundational papers on Chekhov–Eynard–Orantin topological recursion to ground the article.
arXiv search query: "Chekhov Eynard Orantin topological recursion spectral curve mirror symmetry Airy structures geometric recursion"
Chekhov–Eynard–Orantin topological recursion, often written EO or CEO topological recursion in the literature, is a recursive formalism attached to a spectral curve or local spectral-curve datum. Starting from the unstable data
\[
\omega_{0,1}=y\,dx,\qquad \omega_{0,2}=B,
\]
with \(B\) a normalized bidifferential, it constructs symmetric meromorphic multidifferentials \(\omega_{g,n}\) for \(2g-2+n>0\) by residue calculus at ramification points of the projection \(x\). In many settings it also defines genus-\(g\) free energies \(F_g\). Across the cited literature, CEO recursion appears as a common mechanism behind mirror symmetry for toric Calabi–Yau threefolds, Hurwitz-type enumerative theories, cohomological field theories, quantum curves, and several algebraic and geometric reformulations [2202.09090].

## 1. Core recursive construction

In the standard setup, one considers a smooth affine curve \(C=\{H(x,y)=0\}\subset \mathbb{C}^2\), compactified to \(\hat C\), and assumes that the map \(x:C\to\mathbb C\) has simple ramification points \(a_1,\dots,a_n\), each equipped with a local deck transformation \(s_\lambda\) determined by \(x(t)=x(s_\lambda(t))\). The basic input is the normalized bidifferential \(W_2^0\), symmetric with a double pole on the diagonal and vanishing \(A\)-periods; on \(\mathbb P^1\), it is
\[
W_2^0(p_1,p_2)=\frac{dz_1\,dz_2}{(z_1-z_2)^2}.
\]
The recursion then defines \(W_{n+1}^g\) for \(2g-2+n>0\) by a sum of residues at ramification points:
\[
W^g_{n+1}(p_0,S) = \sum_{\lambda=1}^n \operatorname{Res}_{q=a_\lambda} K_\lambda(p_0,q) \left( W^{g-1}_{n+2}(q,s_\lambda(q),S) + \sum_{\substack{g_1+g_2=g\\ I\cup J=S}} W^{g_1}_{|I|+1}(q,I)\, W^{g_2}_{|J|+1}(s_\lambda(q),J) \right),
\]
with kernel
\[
K_\lambda(p_0,q)=\frac12\, \frac{\int_q^{s_\lambda(q)}W_2^0(p_0,q')} {\omega(q)-\omega(s_\lambda(q))}.
\]
For affine curves one uses \(\omega(q)=y(q)\,dx(q)\), while for mirror curves in \((\mathbb C^\ast)^2\) one uses the \(\mathbb C^\ast\)-version
\[
\omega(q)=\log y(q)\,\frac{dx(q)}{x(q)}.
\]
Stable free energies are extracted from \(W_1^g\) by residue formulas involving a primitive \(\Phi\) of \(\omega\) [1105.2052].

A local spectral-curve formulation is standard for simple ramification points. Near each ramification point \(p_a\), one chooses a local coordinate \(\zeta\) such that \(x=x(p_a)+\zeta^2/2\). In the local spectral-curve setting, the ramification point is called regular or irregular according to the local expansion of \(y\), and the partition function of the recursion can be organized directly from this local data. This local formulation is the one used for simple-ramification local spectral curves in the cut-and-join and Virasoro descriptions [2202.09090].

## 2. Spectral curves, local models, and globalizations

The formalism is not confined to plane curves in a narrow sense. Mirror symmetry for toric Calabi–Yau threefolds uses mirror curves in \((\mathbb C^\ast)^2\), naturally viewed as punctured Riemann surfaces with holomorphic functions \(x,y\). Typical examples include
\[
\Sigma_{\mathbb C^3}=\{1+x+y=0\},\qquad
\Sigma_{\mathrm{conifold}}=\{1+x+y+rxy^{-1}=0\},
\]
together with framed reparameterizations such as \(X=xy^f\), \(Y=y\). In this setting, framing is part of the recursion data, and generic framings preserve the intended ramification structure, whereas special “bad” framings can change the number of ramification points [1105.2052].

A global generalization replaces plane curves by smooth spectral curves embedded in \(T^\ast C\), where \(C\) is a smooth projective base curve of genus at least \(2\). For Hitchin fibrations, the spectral curve is defined by the characteristic equation
\[
\det(\eta-\phi)=0,
\]
and for rank \(2\) one has
\[
\eta^2+s_2=0.
\]
The generalized recursion keeps the same unstable data,
\[
W_{0,1}=\eta,\qquad W_{0,2}=B_{E_s},
\]
but performs the residue calculus globally on the compact spectral cover \(E_s\to C\), using the local involution near each ramification point. This global formulation produces free energies \(F_{g,n}\) on compact curves and is used to construct quantum curves for Hitchin systems [1310.6022].

A different globalization appears in singularity theory. For a semisimple singularity-theoretic Frobenius structure, the CEO recursion is formulated locally near critical values \(u_1,\dots,u_N\), with vanishing cycles replacing sheets and period vectors and phase forms replacing the usual global spectral-curve data. The resulting recursion is a local EO-style recursion written directly in terms of periods and propagators, rather than in terms of a single algebraic spectral curve [1211.5847].

## 3. Enumerative geometry, mirror symmetry, and moduli-space theories

One of the central uses of CEO recursion is the mirror-symmetric reconstruction of Gromov–Witten theories. For toric Calabi–Yau threefolds, the remodeling conjecture identifies the B-model correlators and free energies produced by recursion on the mirror curve with the A-model Gromov–Witten generating functions. In the constant-map sector, the mirror-curve recursion reproduces the Faber–Pandharipande formula
\[
N_{g,0} = \frac{1}{2} (-1)^g \chi(X)\frac{|B_{2g}|\,|B_{2g-2}|}{2g(2g-2)(2g-2)!},
\]
equivalently
\[
Z^{\beta=0}=M(q)^{\frac12\chi(X)},
\qquad
M(q)=\prod_{k=1}^\infty (1-q^k)^{-k}.
\]
For \(\mathbb C^3\), the recursion yields the constant-map free energies explicitly, and for the resolved conifold the two ramification-point residues contribute equally, giving the expected factor \(\chi(X)=2\). More generally, the pair-of-pants decomposition of the mirror curve aligns the residue sum with toric \(\mathbb C^3\)-patches, so that the number of ramification points equals \(\chi(X)\) for generic framing [1105.2052].

Hurwitz theory supplies another major class of examples. For simple Hurwitz numbers, a matrix-model representation leads to a genus-zero spectral curve whose \(g_s\to 0\) limit is the Lambert curve
\[
e^x=ye^{-y},
\]
and the associated symplectic invariants reproduce the generating series of simple Hurwitz numbers, proving the Bouchard–Mariño conjecture [0906.1206]. For monotone \(q\)-orbifold Hurwitz numbers, the connected generating differentials satisfy CEO recursion for the genus-zero spectral curve
\[
x(z)=z(1-z^q),\qquad y(z)=\frac{z^{q-1}}{1-z^q},\qquad B(z_1,z_2)=\frac{dz_1\,dz_2}{(z_1-z_2)^2},
\]
with the proof proceeding through cut-and-join equations, linear loop equations, quadratic loop equations, and the Borot–Shadrin criterion [1909.02302].

Combinatorial moduli spaces provide further EO-type realizations. The Poincaré polynomial of the orbifold of metric ribbon graphs,
\[
F_{g,n}(t_1,\dots,t_n)
 = \sum_{\Gamma} \frac{(-1)^{e(\Gamma)}}{|{\rm Aut}(\Gamma)|}
 \prod_{\eta} z(t_{i_\eta},t_{j_\eta}),
\qquad
z(t_i,t_j)=\frac{(t_i+1)(t_j+1)}{2(t_i+t_j)},
\]
is the Laplace transform of the counting function for integral ribbon graphs, interpreted combinatorially as dessins d’enfants, and satisfies an EO-type topological recursion [1009.2135]. Closely related ribbon-graph recursions govern the Euclidean and symplectic volumes of combinatorial moduli spaces of curves and yield the Kontsevich ratio
\[
\frac{v_{g,n}^S(\mathbf p)}{v_{g,n}^E(\mathbf p)}=2^{5g-5+2n}
\]
after Laplace transform to a spectral-curve formalism [1009.2055].

## 4. Algebraic and geometric reformulations

Several works recast CEO recursion as the image of more primitive structures. Geometric recursion constructs mapping-class-group-invariant amplitudes on bordered surfaces by successive excisions of embedded pairs of pants. In the Teichmüller-theoretic target theory, integrating these amplitudes against the Weil–Petersson measure yields a topological recursion that is explicitly stated to generalize the one of Eynard and Orantin. In a strict-setting section, the usual EO recursion is recovered as a special case of geometric recursion for a suitable target theory of meromorphic multidifferentials. This places EO/CEO recursion inside a broader cut-and-glue framework based on bordered surfaces rather than on spectral curves alone [1711.04729].

A second reformulation uses Airy structures. In that approach, CEO recursion is derived from the quantization of a classical Airy structure, namely a collection of quadratic Hamiltonians on a symplectic vector space whose span is closed under Poisson brackets. The quantized Airy system has a unique formal WKB solution, and the coefficients \(S_{g,n}\) satisfy an abstract topological recursion. Spectral curves then appear as one geometric source of Airy structures, rather than as the primary datum. This makes the recursion a manifestation of symplectic geometry and quantization of Lagrangian germs [1701.09137].

There are also explicitly combinatorial algebraic models. One such model encodes genus-zero EO correlators in the Loday–Ronco Hopf algebra of planar binary trees; higher-genus terms arise by identifying nearest-neighbor leaves to create loops. In that description, the two structural terms of the recursion correspond to two types of leaf identification, and the spaces of correlation functions acquire classical and quantum products, reflecting planar and loop-level structures [1709.05857]. Another algebraic reformulation constructs a cubic cut-and-join operator \(\widehat W\) for partition functions of CEO recursion on local spectral curves with simple ramification, so that
\[
Z=\exp(\hbar \widehat W)\cdot 1.
\]
For the same class of partition functions, one derives \(N\) families of Virasoro constraints plus a deformed dimension constraint, and these imply the cut-and-join description [2202.09090].

## 5. Quantum curves, WKB analysis, and constraint formalisms

A persistent theme in the CEO literature is the passage from recursion data to differential or difference equations. For Hitchin spectral curves in \(T^\ast C\), the principal specialization
\[
\psi(z,\hbar)=\exp\left(\sum_{g,n}\hbar^{2g-2+n}\frac{1}{n!}F_{g,n}(z,\dots,z)\right)
\]
is the canonical generator of a formal \(\hbar\)-deformed \(D\)-module. In the \(SL(2,\mathbb C)\) case, the resulting quantum curve is a second-order operator whose semiclassical limit recovers the spectral-curve equation \(y^2+s_2(x)=0\) [1310.6022].

For explicit enumerative examples, the same pattern produces Schrödinger-type equations. For generalized Catalan numbers, the spectral curve
\[
x=z+\frac1z,\qquad y=-z
\]
leads, after Laplace transform and principal specialization, to a partition function satisfying
\[
\left(\hbar^2\frac{d^2}{dx^2}+\hbar x\frac{d}{dx}+1\right)Z^C=0,
\]
whose total symbol is the spectral curve \(y^2+xy+1=0\). For single Hurwitz numbers, the Lambert curve
\[
x=ze^{-z},\qquad y=z
\]
leads to a differential-difference equation whose total symbol recovers the same spectral curve. These examples explicitly connect Laplace transforms of counting problems, EO recursion, KP \(\tau\)-functions, and quantum curves [1210.3006].

The harmonic oscillator provides a distinct WKB example. Applying CEO recursion to
\[
y^2=x^2-c^2
\]
with the standard bidifferential \(W_{0,2}=dz_1dz_2/(z_1-z_2)^2\) reproduces the WKB expansion of the Schrödinger wave function for
\[
\hbar^2\frac{d^2}{dx^2}Y=(x^2-c^2)Y.
\]
The coefficients \(S_m\) in
\[
Y(x,\hbar)=\exp\!\left(\sum_{m=0}^{\infty}\hbar^{m-1}S_m(x)\right)
\]
are obtained from recursion-generated integrated correlators \(F_{g,n}\), and the same multidifferentials also generate the Poincaré polynomials of metric ribbon-graph orbifolds [1701.08913].

In singularity theory, the recursion is tied directly to constraints. For semisimple singularities, the local EO recursion for ancestor correlators is equivalent to \(N\) families of Virasoro constraints
\[
L_{m-1,j}\,\mathcal A_t=0,\qquad m\ge 0,\quad j=1,\dots,N,
\]
with the recursion written entirely in terms of period vectors and phase forms. This packages the recursion as a system of local constraint equations on the total ancestor potential [1211.5847].

## 6. Variants, extensions, and limitations

The standard simple-ramification formalism does not exhaust the subject. Higher-order critical points require Bouchard–Eynard recursion rather than the simplest EO form. This is the setting for the Bousquet–Mélou–Schaeffer numbers, whose spectral curve
\[
x(z)=\frac{(1+z)^m}{z}
\]
has a higher-order critical point, and whose topological-recursion statement is derived from weighted Hurwitz theory via the Alexandrov–Chapuy–Eynard–Harnad result [1908.04147]. Refined topological recursion provides another extension: for genus-zero degree-two curves with global involution, it introduces half-integer genus labels, an additional one-form \(\omega_{\frac12,1}\), extra residue loci, and a divisor \(D(\boldsymbol\mu)\) as new initial data. In the unrefined limit \(\mathscr Q=0\), all half-integer genus objects vanish and the formalism reduces exactly to CEO recursion [2204.12431].

Equivariant modifications also occur. For the type-\(D_l\) logarithmic Toda mirror curve of the affine binary dihedral Calabi–Yau orbifold \(\mathcal X=[\mathbb C^2/\Gamma\times\mathbb C]\), standard EO recursion is replaced by a \(\mathbb Z_2\)-equivariant recursion in the sign sector of the involution, with the Prym kernel
\[
B^P(z_1,z_2)=\frac12\left(B(z_1,z_2)-B(z_1,\sigma(z_2))\right)
\]
as the two-point input. In that setting, the recursion-generated correlators match descendant Gromov–Witten generating functions in the stable range \(2g-2+n>0\), \(n>0\), and the free energies match equivariant Gromov–Witten free energies for \(g\ge 2\) [2607.07355].

The literature also records explicit limitations. In mirror-curve applications, the free energies are not strictly symplectic invariants: a symplectic transformation that changes the number of ramification points can change the \(F_g\). The paper on mirror curves exhibits a counterexample in which one affine curve has nonzero \(F_g\), but after a symplectic transformation the new \(x\)-projection has no ramification points and the recursion gives vanishing \(F_g\). The same work emphasizes that the recursive construction does not commute with certain decoupling limits of mirror curves,
\[
\lim_{r_i\to 0}F_g[\Sigma^X]\neq F_g\!\left[\lim_{r_i\to 0}\Sigma^X\right],
\]
because collapsing the mirror curve can reduce the number of ramification points even when the limiting free energy retains the multiplicity \(\chi(X)\) [1105.2052].

Finally, CEO recursion has been embedded in Hamiltonian and Schwinger–Dyson formalisms for two-dimensional quantum gravity and related models. Multicritical dynamical triangulations and causal dynamical triangulations can be reformulated so that CEO recursion solves the Schwinger–Dyson equations on the corresponding spectral curves [2512.10519]. A Hamiltonian formalism for spectral curves of the form
\[
y=\frac{q(x)}{p(x)}\sqrt{\sigma(x)}
\]
presents the recursion as the perturbative solution of a string-field Hamiltonian, with the planar disk amplitude determining the spectral curve and higher amplitudes reconstructed recursively [2512.14059]. For pure Euclidean dynamical triangulations, both discrete models and their continuum limit are likewise rewritten in CEO form, with the disk and cylinder amplitudes becoming the spectral-curve data [2509.18916]. These developments suggest a broad operative principle: once the planar geometry is encoded by a spectral curve, CEO recursion organizes the higher-genus and multi-boundary sector.

Source: https://www.emergentmind.com/topics/chekhov-eynard-orantin-topological-recursion