A Moebius Inversion Formula to Discard Tangled Hyperbolic Surfaces

Basic Information

• Paper ID: 2401.01601
• Title: A Moebius inversion formula to discard tangled hyperbolic surfaces
• Authors: Nalini Anantharaman (Collège de France, IRMA), Laura Monk (University of Bristol)
• Classification: math.GT (Geometric Topology)
• Publication Date: January 2024 (arXiv preprint, revised October 2025)
• Paper Link: https://arxiv.org/abs/2401.01601

Abstract

Recent literature on Weil-Petersson random hyperbolic surfaces has encountered a persistent obstacle: the need to condition the model to prohibit certain rare geometric patterns (termed "tangles"), such as short closed geodesics or embedded surfaces with short boundary lengths. The main result of this paper is a Möbius inversion formula that allows the systematic and tractable integration of indicator functions over the set of untangled surfaces. This formula is inspired by a key step in Friedman's celebrated proof of the Alon conjecture. We further demonstrate that the untangled assumption significantly reduces the number of local topological types of short geodesics, replacing the exponential growth observed on tangled surfaces with polynomial growth.

Research Background and Motivation

1. Core Research Problem

The central problem addressed by this research is: how can one systematically exclude "bad" surfaces containing "tangles" from random hyperbolic surface models without resorting to tedious topological enumeration?

2. Problem Significance

• Spectral Analysis Requirements: When studying the spectrum of the Laplacian operator on large-genus random compact hyperbolic surfaces, surfaces containing tangles lead to smaller spectral gaps
• Geodesic Growth Control: Tangles cause anomalous growth of closed geodesics, such as the exponential growth observed by Lipnowski-Wright
• Computational Tool Limitations: The conditioning process disrupts the application of Mirzakhani's algebraic integration formulas

3. Limitations of Existing Methods

• Inclusion-Exclusion Principle: Existing inclusion-exclusion formulas (such as those used by Mirzakhani and Lipnowski-Wright) become cumbersome and unsustainable when handling complex tangles
• Precision Limitations: Previous work could only compute approximations to 1/g² precision, with complex enumeration processes
• Tool Incompatibility: Direct indicator function conditioning prevents the use of Mirzakhani's recursive formulas

4. Research Motivation

Inspired by Friedman's use of generalized Möbius inversion in proving the Alon conjecture, the authors aim to construct a systematic sieving mechanism to exclude tangled surfaces.

Core Contributions

1. Möbius Inversion Formula: Construction of a unique Möbius function μ such that for any hyperbolic surface X: $1 - 1_{TF^{\kappa,R}_{g,n}}(X) = \sum_{\tau \in S(X)} \mu(\tau)$
2. Polynomial Counting Theorem: Proof that in untangled surfaces, the number of local topological types of closed geodesics with length ≤ L exhibits polynomial growth: $\#Loc^{\kappa,R,L}_\chi = O_\chi\left(\frac{L}{R}\left(1 + \frac{L}{\kappa}\right)^{18(1+\chi)\frac{L}{R}}\right)$
3. Multiplicative Property: The Möbius function satisfies multiplicative properties analogous to the classical Möbius function
4. Explicit Bounds: Provides explicit upper bound estimates for Möbius function values

Methodology Details

Task Definition

Given parameters κ, R > 0, define:

• (κ,R)-tangle: Either a simple closed curve of length ≤ κ, or a pair of pants or once-punctured torus with all boundary components of length ≤ R
• Untangled surface: A hyperbolic surface containing no (κ,R)-tangles
• Derived tangle: A c-surface weakly filled by countably many tangles

Model Architecture

1. Extended Moduli Space M

Construction of a "large moduli space" M containing:

• All possible topologies of compact hyperbolic surfaces (connected or disconnected, with or without boundary)
• Possibly including components that degenerate to 1-dimensional compact manifolds

2. c-Surface Definition

For q ≥ 1, a c-surface S with signature (g,n) = ((g₁,n₁),...,(gq,nq)) is defined as:

• A topological space with q connected components
• Each component τᵢ is either a 1-dimensional oriented manifold (when (gᵢ,nᵢ) = (0,2))
• Or a 2-dimensional orientable manifold with boundary (when 2-2gᵢ-nᵢ < 0)

3. Möbius Function Construction

Construction through induction of a unique function μ: M → ℝ satisfying:

• For Z ∉ D^{κ,R}, μ(Z) = 0
• For Z ∈ D^{κ,R}, $1 = \sum_{\tau \in S(Z)} \mu(\tau)$

Technical Innovations

1. Systematic Sieving Mechanism

Unlike traditional inclusion-exclusion principles, this paper provides a systematic method to decompose the indicator function 1_{TF^{κ,R}_{g,n}}.

2. Multiplicative Property

The Möbius function satisfies: if Z = (c,σ) (decomposition into 1-dimensional and 2-dimensional parts), then: $\mu(Z) = -\mu(c)\mu(σ)$

3. Explicit Formula

For the purely 1-dimensional case: $\mu(Z) = \frac{(-1)^{q+1}}{2^q q!} \prod_{i=1}^q 1_{[0,κ]}(\ell(cᵢ))$

Experimental Setup

Theoretical Verification

This work is primarily theoretical, with results verified through:

1. Consistency Checks

• Verification that the Möbius function agrees with classical results in known cases
• Verification of the multiplicative property

2. Bound Estimation

• Provision of explicit upper bounds for function values
• Verification of specific exponents in polynomial growth

3. Special Case Analysis

• Analysis of purely 1-dimensional cases, recovering the Mirzakhani-Lipnowski-Wright formula
• Explicit computations for low-genus cases

Experimental Results

Main Results

1. Existence and Uniqueness Theorem (Theorem 3.1)

Proof of the existence and uniqueness of the Möbius function μ satisfying the required conditions.

2. Polynomial Counting Theorem (Theorem 1.1)

For untangled surfaces, the number of local topological types of closed geodesics with length ≤ L is: $\#Loc^{\kappa,R,L}_\chi = O_\chi\left(\frac{L}{R}\left(1 + \frac{L}{\kappa}\right)^{18(1+\chi)\frac{L}{R}}\right)$

3. Function Value Bounds (Theorem 3.7)

$|\mu(Z)| \leq \frac{U₁(\chi(Z))}{2^{c(Z)}c(Z)!} e^{RU₂(\chi(Z))}$ where U₁, U₂ are explicitly computable increasing sequences.

Special Case Verification

1. Purely 1-Dimensional Case

Recovery of the classical Mirzakhani formula, verifying the correctness of the method.

2. Low Euler Characteristic Cases

• χ = 1: |μ(Z)| ≤ 8
• Recursive estimates provided for higher Euler characteristics

Application Effects

When R = α log g, L = A log g: $\#Loc^{\kappa,α\log g,A\log g}_\chi = O_{κ,α,A,\chi}((\log g)^{β_{κ,α,A,\chi}})$ achieving fundamental improvement from exponential to polynomial growth.

Related Work

1. Tangle Concept in Graph Theory

• Friedman's Work: First introduced the "tangle" concept in proving the Alon conjecture
• Bordenave's Work: Uses different meaning but similar purpose for tangles
• Huang-Yau's Work: Uses similar conditioning in fine spectral statistics of random regular graphs

2. Applications in Hyperbolic Surfaces

• Monk-Thomas Work: Formalization of the tangle concept in hyperbolic geometry
• Lipnowski-Wright Work: Observation of geodesic growth problems caused by tangles
• Authors' Prior Work: Proof that surfaces containing tangles have small spectral gaps

3. Mirzakhani Theory

• Generalized McShane Identity: Provides algebraic integration formulas for computing moduli space volumes
• Inclusion-Exclusion Formula: Method used by Mirzakhani and Lipnowski-Wright for handling short geodesics

Conclusions and Discussion

Main Conclusions

1. Systematic Solution: Provides a systematic method for handling the tangle problem in random hyperbolic surfaces, avoiding tedious topological enumeration.
2. Polynomial Control: Demonstrates that the untangled assumption indeed controls exponential growth of geodesic local topological types to polynomial growth.
3. Tool Compatibility: The constructed Möbius function can be used compatibly with existing algebraic integration tools.

Limitations

1. Parameter Restrictions: The method requires κ < R and κ < 2argsh(1) to ensure simplicity of short geodesics.
2. Complexity: The Möbius function lacks a completely explicit expression in the 2-dimensional case, requiring recursive computation.
3. Scope of Application: Primarily applicable to large-genus cases; improvements may be less pronounced for small genus.

Future Directions

1. Precise Asymptotics: Seeking more precise asymptotic expressions, particularly in critical parameter ranges.
2. Algorithmic Implementation: Development of efficient algorithms for computing Möbius function values.
3. Generalized Applications: Extension of the method to exclusion problems for other geometric patterns.

In-Depth Evaluation

Strengths

1. Theoretical Innovation: Clever generalization of Möbius inversion from number theory to geometric topology, demonstrating profound mathematical insight.
2. Problem Resolution: Systematically addresses a fundamental obstacle in the study of random hyperbolic surfaces.
3. Technical Rigor: Complete and rigorous proofs covering existence, uniqueness, and explicit bounds.
4. Practical Value: Provides powerful tools for subsequent spectral theory research.

Weaknesses

1. Computational Complexity: While theoretically complete, practical computation of Möbius function values may be complex.
2. Constant Dependence: The exponents in polynomial growth depend on multiple parameters and may remain large in certain cases.
3. Generalizability: The potential for extending the method to other geometric settings remains unclear.

Impact

1. Field Contribution: Provides important tools for cross-disciplinary research between random geometry and spectral theory.
2. Methodological Significance: Demonstrates how to adapt classical mathematical tools to modern geometric problems.
3. Subsequent Research: Already applied in the authors' follow-up work 2,3, demonstrating practical utility.

Applicable Scenarios

1. Spectral analysis of random hyperbolic surfaces
2. Geodesic counting problems on large-genus surfaces
3. Probabilistic geometry problems requiring exclusion of specific geometric patterns
4. Conditioning studies of Weil-Petersson measures

References

The paper cites 24 important references, covering:

• Friedman's pioneering work on the Alon conjecture 7
• Mirzakhani's foundational theory on moduli space volumes and geodesics 13,14
• Lipnowski-Wright's important results on spectral gaps of random hyperbolic surfaces 11
• Authors' related prior work 1,15

Summary: This is a theoretically significant work at the intersection of geometric topology and random geometry. By cleverly generalizing Möbius inversion from number theory to the hyperbolic geometry setting, the authors resolve a fundamental technical obstacle in the field, laying a solid foundation for subsequent research. While there are some challenges regarding computational complexity, its theoretical value and methodological contributions are substantial.