Topological Recursion Overview

• Topological recursion is a universal recursive formalism from mathematical physics that systematically constructs symmetric multidifferentials on spectral curves.
• It extends the Eynard–Orantin framework to handle irregular, logarithmic, and β-deformed cases, providing precise recursion formulas for various complex geometries.
• Its applications span moduli spaces, enumerative geometry, and quantum curves, bridging random matrix theory, intersection theory, and integrable systems.

Topological recursion is a universal recursive formalism originating in mathematical physics that systematically produces a collection of symmetric multidifferentials on a spectral curve, encoding the asymptotic expansion of correlation functions and generating functions in a wide range of enumerative, geometric, and quantum problems. Introduced in its modern Eynard–Orantin (EO) form, topological recursion has since become a structural paradigm in random matrix theory, intersection theory on moduli spaces, Gromov–Witten theory, Hurwitz theory, topological strings, combinatorics of maps, and the study of quantum and integrable systems (Eynard, 2014, Bouchard, 2024).

1. Foundations: The Eynard–Orantin Formalism

The EO topological recursion is defined with respect to a spectral curve, consisting of:

• a (possibly non-compact) Riemann surface $\Sigma$,
• two meromorphic functions $x,y\, :\, \Sigma \to \mathbb{C}$,
• a normalized symmetric bidifferential $B(p,q)$ (the Bergman kernel) with a double pole along the diagonal and no other singularities.

The set of branch points $\{a_i\}$ is the set of simple zeros of $dx$. For each $a_i$, there is a local involution $\sigma_i$ which exchanges the two sheets over $x$ near $a_i$.

Initial data:

• $W_{0,1}(p) = y(p)dx(p)$,
• $x,y\, :\, \Sigma \to \mathbb{C}$0.

The recursion kernel is: $x,y\, :\, \Sigma \to \mathbb{C}$1 with $x,y\, :\, \Sigma \to \mathbb{C}$2 near $x,y\, :\, \Sigma \to \mathbb{C}$3.

The EO recursion for all $x,y\, :\, \Sigma \to \mathbb{C}$4 with $x,y\, :\, \Sigma \to \mathbb{C}$5 is: $x,y\, :\, \Sigma \to \mathbb{C}$6 with the sum $x,y\, :\, \Sigma \to \mathbb{C}$7 omitting terms for which $x,y\, :\, \Sigma \to \mathbb{C}$8 (Eynard, 2014, Chekhov, 2022).

2. Variants: Extensions and Generalizations

Irregular Spectral Curves and Local Models

The standard EO recursion presumes $x,y\, :\, \Sigma \to \mathbb{C}$9 holomorphic at simple branch points. In the irregular case, where $B(p,q)$0 is singular at a zero of $B(p,q)$1, the local model is the Bessel curve $B(p,q)$2, as opposed to the Airy curve $B(p,q)$3. Here, the recursion and resulting invariants fundamentally differ; for example, the local pole order is reduced, and explicit one-pointed invariants admit closed-form formulas in terms of central factorials (Do et al., 2016, Do et al., 2014).

Logarithmic and Blobbed Recursion

Logarithmic topological recursion (Log-TR) extends the EO framework to spectral data $B(p,q)$4 where $B(p,q)$5 and $B(p,q)$6 may have logarithmic singularities (nonzero residues) (Alexandrov et al., 2023). It augments the projection step in EO recursion with a correction term that precisely accounts for such singularities, and satisfies a universal $B(p,q)$7-swap functional equation, incorporating and generalizing the classical EO $B(p,q)$8 symmetry. "Blobbed" topological recursion further generalizes the setting to accommodate arbitrary ramification profiles and allows for "blob" data to absorb ambiguities, enabling recursion for curves with non-admissible (non $B(p,q)$9-type) ramification (Bouchard, 2024).

β-Deformation and Higher-Degree Recursions

In open intersection theory and $\{a_i\}$0-deformed models, additional differential operators appear in the recursion that correspond to structures in higher degree (e.g., degree-3 analogues of EO) and reflect the appearance of cubic quantum curves or β-ensembles (Safnuk, 2016). The resulting recursion formula integrates the usual EO kernel with operators $\{a_i\}$1 and $\{a_i\}$2 that resemble loop-insertion operations in $\{a_i\}$3-ensembles.

3. Geometric and Combinatorial Applications

Moduli of Curves and Intersection Theory

On the Airy curve $\{a_i\}$4, EO recursion reproduces generating functions for $\{a_i\}$5-class intersections on $\{a_i\}$6, thus providing a matrix-model route to the Witten–Kontsevich theorem and KdV hierarchy for higher-genus intersection numbers (Bennett et al., 2010, Eynard, 2014).

Twisted recursion forms allow one to extract correlators of orbifold cohomology classes or maps to classifying spaces, incorporating the 2d TQFT data into the kernel, and yields, for instance, the orbifold Descendent–Virasoro constraints (Serrano, 2016).

Euler Characteristics and Recursions for Map Enumeration

Virtual Euler characteristics $\{a_i\}$7 of moduli spaces and cells of ribbon-graph orbifolds can be computed recursively using EO recursion coupled with auxiliary Seiberg–Witten relations (Chekhov, 2022, Bennett et al., 2010, Cutimanco et al., 2017). In combinatorial problems, such as enumeration of chord diagrams, RNA secondary structures, shapes, and Motzkin numbers, the EO invariants directly count appropriate combinatorial objects, linking algebraic geometry of moduli spaces with discrete map enumeration (Andersen et al., 2012, Jacob, 2021).

Quantum Curves and Integrable Hierarchies

The wave-function or partition function derived from EO recursion can be interpreted as a solution to a quantized "quantum curve," an ordinary differential operator whose semiclassical limit coincides with the defining equation of the spectral curve. This wave-function is often a $\{a_i\}$8-function for integrable hierarchies (KDv, KP, BGW, etc.), inheriting Virasoro or higher $\{a_i\}$9-algebra constraint structures from the recursion (Cutimanco et al., 2017, Do et al., 2016, Alexandrov et al., 2023).

4. Algebraic-Structural Frameworks: Airy Structures and Quantum Recursion

Kontsevich–Soibelman's theory of quantum Airy structures provides an algebraic underpinning for topological recursion: a quantum Airy structure is a family of differential operators of at most quadratic order acting on a Weyl algebra, closed under commutators up to lower degree (Andersen et al., 2017, Eynard, 2019). The EO recursion is then seen as a quantization of quadratic Lagrangian structures, and produces a formal series (partition function) satisfying all the annihilating operators—these encode the original loop, string, and dilaton equations of the EO theory (Bouchard, 2024).

Explicit constructions established connections with Frobenius algebras, TQFT twistings, non-commutative/Frobenius structure, loop algebras, and (semi-)simple or Z$dx$0-invariant models, formulating EO recursion as the computation of correlators for colored trivalent graphs or as operations on Young diagrams (Andersen et al., 2017).

5. Limit Theorems, Symplectic Duality, and Deformation Theory

Recent advances clarify when EO topological recursion commutes with limits under deformation of spectral curves, crucial for the stability of enumeration under specialization (e.g., transitions between regular and irregular regimes, degenerate curves). Sufficient and necessary conditions are provided relating local ramification data, global admissibility, and s/$dx$1-type congruences; analytic dependence on deformation parameters is then guaranteed (Borot et al., 2023).

Symplectic duality, or $dx$2 swapping, has been formalized beyond EO's original scope, including for log-TR, resulting in explicit closed-form transforms between the correlators of dual curves. This enables, for example, proof of topological recursion for fully simple maps and generalized map models, functorially relating dual recursive problems (Alexandrov et al., 2023, Alexandrov et al., 2023).

6. Future Directions and Open Problems

Several major directions are actively explored:

• Classification of Airy ideals from Lie and $dx$3-algebra representations, with the aim of systematizing connections between recursion, integrability, and representation theory (Bouchard, 2024).
• Extensions of Airy and topological recursion structures to noncommutative, $dx$4-deformed, and general filtered algebras.
• Comprehensive comparison between EO topological recursion, Gromov–Witten/Pixton's DR recursions, and their intersection-theoretic and cobordism-theoretic invariants (Janda et al., 28 Jan 2026).
• Generalizations such as blobbed and geometric recursion, which handle arbitrary ramification and global cycle data, suggesting that the scope of topological recursion can be extended well beyond the traditional admissibility regime (Bouchard, 2024).

Topological recursion continues to provide unifying structure at the intersection of enumerative geometry, mathematical physics, representation theory, and combinatorics, with new analytic, algebraic, and categorical generalizations emerging to address increasingly broad classes of problems.