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.

Automatic Counting of Generalized Latin Rectangles and Trapezoids

The number of Latin rectangles

The (Symbolic and Numeric) Computational Challenges of Counting 0-1 Balanced Matrices

Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas

Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley

Transduction of Automatic Sequences and Applications

Constant term formulas for refined enumerations of Gog and Magog trapezoids

Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions

The Latin Tableau Conjecture

Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method

A Fourfold Refined Enumeration of Alternating Sign Trapezoids

Set partitions, tableaux, and subspace profiles under regular diagonal matrices

Refined Asymptotics and Explicit Recurrences for the numbers of Young tableaux in the (k,l) hook for k+l less than six

Counting Polyominoes in a Rectangle b x h

An algebraic combinatorial approach to Sylvester's denumerant

Completing partial Latin squares with two filled rows and three filled columns

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Counting of surfaces and computational complexity in column sums of symmetric group character tables

Dedekind sums: a combinatorial-geometric viewpoint

Geometric recursion

Enumeration formulas for Young tableaux in a diagonal strip