Metric Ribboned Graphs: Structures & Recursions

• Metric Ribboned Graphs are combinatorial ribbon graphs equipped with positive edge lengths, enabling explicit piecewise-linear modeling of moduli spaces.
• Directed versions introduce orientation maps that impose residue conditions and dualities with bipartite maps, linking Abelian differentials with topological recursion.
• These structures facilitate precise volume computations and recursive decompositions in moduli spaces, underpinning enumerative techniques for Hurwitz numbers and dessins d’enfants.

A metric ribboned graph is a combinatorial structure vital to the study of moduli spaces of surfaces, mapping class groups, and enumeration of objects such as dessins d’enfants. A metric ribboned graph, or metric ribbon graph, is a combinatorial ribbon graph equipped with a positive real length on each edge. These objects admit additional orientations and can be endowed with directed structures relevant to moduli of Abelian differentials and volume recursion schemes for spaces parameterizing Riemann surfaces with prescribed boundary lengths. Directed metric ribbon graphs occupy a central role in topological recursion, the theory of Hurwitz numbers, and connections to algebraic geometry via bijections with bipartite maps and dessins d’enfants (Barazer, 2021).

1. Definition and Combinatorial Structure

A combinatorial ribbon graph $R$ is governed by a finite set of half-edges $X_R$ together with an involutive pairing $s_1: X_R \to X_R$ (without fixed points) pairing half-edges into edges, and a cyclic permutation $s_0: X_R \to X_R$ encoding the cyclic ordering at each vertex. Given these, one defines $s_2 = s_1 \circ s_0^{-1}$, and the respective orbits identify the sets $X_0R = X_R/\langle s_0\rangle$ (vertices), $X_1R = X_R/\langle s_1\rangle$ (edges), and $X_2R = X_R/\langle s_2\rangle$ (faces or boundaries).

A metric ribbon graph is a pair $(R, m)$ where $m : X_1R \to \mathbb{R}_{>0}$ assigns each edge a positive real length, so the space of metrics is $X_R$0. This additional structure enables the explicit parameterization of piecewise-linear models of decorated moduli spaces. The notion of boundary length for a face $X_R$1 is given by $X_R$2.

The metric ribboned graph framework leads to a cell decomposition of moduli space: fixing the combinatorial type $X_R$3 and constraining the boundary lengths to a prescribed vector $X_R$4 defines affine cells in $X_R$5, the combinatorial moduli space of genus $X_R$6 surfaces with $X_R$7 boundaries.

2. Oriented and Directed Metric Ribbon Graphs

A directed metric ribbon graph is an oriented metric ribbon graph, denoted $X_R$8, where the orientation ("flow-structure") is specified by a map $X_R$9 satisfying $s_1: X_R \to X_R$0 and $s_1: X_R \to X_R$1. This endows faces $s_1: X_R \to X_R$2 with signs, interpreted as "in-flows" ($s_1: X_R \to X_R$3) and "out-flows" ($s_1: X_R \to X_R$4). Ribbon graphs permitting such an $s_1: X_R \to X_R$5 are orientable; together with a metric, this data defines a directed metric ribbon graph.

The boundary lengths in this setting must satisfy the residue condition: $s_1: X_R \to X_R$6 so the admissible length vectors reside in the hyperplane of total signed length zero.

The dual of a directed metric ribbon graph is realized as a bipartite map: after capping each boundary of the thickened surface $s_1: X_R \to X_R$7 and coloring each face via $s_1: X_R \to X_R$8, adjacent faces receive opposite colors, yielding a canonical bipartite structure. In the context of the theory of Abelian differentials, this dual map encodes the horizontal foliation, where black (respectively white) faces index zeros (respectively poles) of the differential.

3. Canonical Acyclic Decomposition and Multi-Curves

The canonical acyclic decomposition theorem addresses the decomposition of an oriented metric ribbon graph $s_1: X_R \to X_R$9 (with at least two vertices) via admissible multi-curves. An admissible multi-curve $s_0: X_R \to X_R$0 is a collection of simple closed curves on $s_0: X_R \to X_R$1 such that cutting along $s_0: X_R \to X_R$2 does not fragment any vertex.

Theorem (Barazer, Canonical Acyclic Decomposition): For each vertex $s_0: X_R \to X_R$3 of $s_0: X_R \to X_R$4, there is a unique admissible multi-curve $s_0: X_R \to X_R$5 such that:

• Its associated directed stable graph $s_0: X_R \to X_R$6 contains a distinguished component $s_0: X_R \to X_R$7 with exactly vertex $s_0: X_R \to X_R$8;
• Every curve in $s_0: X_R \to X_R$9 is a boundary curve of $s_2 = s_1 \circ s_0^{-1}$0;
• Each such boundary is incoming, i.e., for $s_2 = s_1 \circ s_0^{-1}$1 a boundary of $s_2 = s_1 \circ s_0^{-1}$2, $s_2 = s_1 \circ s_0^{-1}$3.

The directed stable graph $s_2 = s_1 \circ s_0^{-1}$4 corresponding to $s_2 = s_1 \circ s_0^{-1}$5 is acyclic. The union $s_2 = s_1 \circ s_0^{-1}$6 is the unique maximal admissible multi-curve yielding an acyclic stable graph compatible with any vertex ordering.

Cutting along an admissible multi-curve $s_2 = s_1 \circ s_0^{-1}$7 produces a new ribbon graph $s_2 = s_1 \circ s_0^{-1}$8 on the cut surface $s_2 = s_1 \circ s_0^{-1}$9, with the induced metric $X_0R = X_R/\langle s_0\rangle$0 determined by summing the edge-lengths of parallel arcs generated by the cut. This structure underpins precise surgeries and recursive decompositions of the moduli space.

4. Recursion Schemes for Volumes of Combinatorial Moduli Spaces

The cell decomposition facilitated by metric ribbon graphs allows the explicit calculation of volumes for the moduli spaces $X_0R = X_R/\langle s_0\rangle$1 of directed metric ribbon graphs with genus $X_0R = X_R/\langle s_0\rangle$2, $X_0R = X_R/\langle s_0\rangle$3 positive and $X_0R = X_R/\langle s_0\rangle$4 negative boundaries, and boundary-length vectors $X_0R = X_R/\langle s_0\rangle$5, with the residue condition $X_0R = X_R/\langle s_0\rangle$6. The natural volume form is the Lebesgue measure normalized by integer-length graphs.

A key result is a Mirzakhani-type topological recursion. By strategically cutting off a canonical acyclic multi-curve of "pair-of-pants" type around each positive boundary, one can recursively express the volume $X_0R = X_R/\langle s_0\rangle$7 in terms of analogous volumes of lower complexity. The recursion encompasses four combinatorial types of pair-of-pants subtraction, captured by summations, integration, and compositions over genus- and boundary-partitions.

For the case of four-valent (trivalent for faces) directed metric ribbon graphs, the moduli cells are top-dimensional and the volumes become piecewise homogeneous polynomials of total degree $X_0R = X_R/\langle s_0\rangle$8, with initial values given for small genera and boundary counts. The recursion then admits a concise polynomial formulation.

5. Enumeration and Applications to Dessins d’Enfants

Specializing to the case of one negative boundary ($X_0R = X_R/\langle s_0\rangle$9), the residue condition reduces the number of free parameters, and the volume recursion yields a polynomial recursion for

$X_1R = X_R/\langle s_1\rangle$0

which can be explicitly solved via Laplace transforms or direct polynomial ansatz: $X_1R = X_R/\langle s_1\rangle$1 with symmetric coefficients $X_1R = X_R/\langle s_1\rangle$2.

The coefficients $X_1R = X_R/\langle s_1\rangle$3 satisfy a cut-and-join recursion, encapsulated via a generating function $X_1R = X_R/\langle s_1\rangle$4, and governed by a cut-and-join differential equation. This equation coincides with the recursion for Hurwitz numbers of three-point covers of $X_1R = X_R/\langle s_1\rangle$5.

Generic oriented four-valent metric ribbon graphs with one negative boundary are in bijection with dessins d’enfant: bipartite maps of genus $X_1R = X_R/\langle s_1\rangle$6 with a single face of high degree and simple ramification over the remaining points. Thus, the combinatorial structure and recursion directly enumerate dessins with prescribed degree profiles, yielding explicit generating functions and asymptotic formulas.

6. Dualities and Relations to Bipartite Maps and Abelian Differentials

Directed metric ribbon graphs form the combinatorial backbone underlying several dualities. By capping boundaries and coloring faces via the orientation map $X_1R = X_R/\langle s_1\rangle$7, one obtains a bipartite map on a closed surface, with vertex color classes matching the parity of the original vertex degrees. This dual map plays a central role in the combinatorial encoding of Abelian differentials: in the flat surface model, black faces correspond to zeros and white faces to poles of the differential, rendering the ribbon graph’s structure critical in the study of foliations and translation structures on Riemann surfaces.

These combinatorial-differential correspondences elucidate the enumeration of moduli space cells, the structure of spaces of quadratic and Abelian differentials, and the counting of special algebraic curves via dessins.

7. Summary Table of Structures

Structure	Definition/Data	Role/Significance
Combinatorial Ribbon Graph	$X_1R = X_R/\langle s_1\rangle$8	Encodes graph topology and surface cellularization
Metric Ribbon Graph	$X_1R = X_R/\langle s_1\rangle$9	Decorates each edge with a positive real length
Oriented/Directed Ribbon Graph	$X_2R = X_R/\langle s_2\rangle$0	Endows flow structure, distinguishes in/out boundaries
Admissible Multi-curve	Collection of non-vertex-splitting curves	Enables canonical surface decomposition
Bipartite Map (dual)	Black/white colored dual via $X_2R = X_R/\langle s_2\rangle$1	Dual for Abelian differentials, dessins enumeration

Metric ribboned graphs, especially in their directed form, thus provide a precise and flexible framework for moduli space cell decomposition, quantification of moduli volumes, and the enumeration of algebraic structures such as dessins d’enfants (Barazer, 2021).