Abstract:We propose a general theory for constructing functorial assignments $\Sigma \longmapsto \Omega_{\Sigma} \in E(\Sigma)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pairs of pants, and thus by induction on the Euler characteristic. We provide sufficient conditions to guarantee the infinite sums appearing in this construction converge. In particular, we can generate mapping class group invariant vectors $\Omega_{\Sigma} \in E(\Sigma)$. The initial data for the recursion encode the cases when $\Sigma$ is a pair of pants or a torus with one boundary, as well as the "recursion kernels" used for glueing. We give this construction the name of Geometric Recursion. As a first application, we demonstrate that our formalism produce a large class of measurable functions on the moduli space of bordered Riemann surfaces. Under certain conditions, the functions produced by the geometric recursion can be integrated with respect to the Weil--Petersson measure on moduli spaces with fixed boundary lengths, and we show that the integrals satisfy a topological recursion generalizing the one of Eynard and Orantin. We establish a generalization of Mirzakhani--McShane identities, namely that multiplicative statistics of hyperbolic lengths of multicurves can be computed by the geometric recursion. As a corollary, we show that the systole function can be obtained from the geometric recursion. The theory has however a wider scope than functions on Teichmüller space, which will be explored in subsequent papers; one expects that many functorial objects in low-dimensional geometry could be constructed by variants of this geometric recursion.

Recursive bijections for Catalan objects

On some Series involving Reciprocals of $\binom{2n}{n}$ and the Catalan's Constant $G$

Set-Valued Catalan Combinatorics

Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths

Catalan numbers: from FC elements to classical diagram algebras

Geometric recursion

Polygonal Dissections and Reversions of Series

A Combinatorial Identity with Application to Catalan Numbers

Catalan's intervals and realizers of triangulations

Pascal arrays: counting Catalan sets

On a new collection of words in the Catalan family

On Ascent, Repetition and Descent Sequences

Some simple bijections involving lattice walks and ballot sequences

Major Index on Catalan Combinatorics

A proof of Catalan's Convolution formula

Combinatorics of rectangulations: Old and new bijections

Avoidance of vincular patterns by Catalan words

Cataland: Why the Fuss?

A combinatorial approach to categorical Möbius inversion and pseudoinversion

A bijection related to Bressoud's conjecture

Various congruences involving binomial coefficients and higher-order Catalan numbers