Index gap of the systole function

Basic Information

• Paper ID: 2309.05801
• Title: Index gap of the systole function
• Author: Changjie Chen
• Classification: math.DG (Differential Geometry), math.GT (Geometric Topology)
• Publication Date: September 2023 (arXiv preprint, latest version October 2025)
• Paper Link: https://arxiv.org/abs/2309.05801

Abstract

It is known that the systole function is a topological Morse function on the moduli space $\mathcal{M}_{g,n}$, while the $\text{sys}_T$ function is a $C^2$-Morse function on the Deligne-Mumford compactification $\overline{\mathcal{M}}_{g,n}$. This paper proves that these Morse functions exhibit an index gap on $\mathcal{M}_{g,n}$. Specifically, there exists a universal constant $C>0$ such that the Morse index of any critical point in $\mathcal{M}_{g,n}$ is at least $C\log\log(g+n)$. By Morse theory, this implies that the low-degree homology of the Deligne-Mumford compactification $\overline{\mathcal{M}}_{g,n}$ originates from the boundary $\partial\mathcal{M}_{g,n}$.

Research Background and Motivation

Problem Statement

The core problem studied in this paper concerns the Morse-theoretic properties of the systole function on the moduli space of Riemann surfaces. The systole function $\text{sys}(X)$ is defined as the length of the shortest closed geodesic on a hyperbolic surface $X$, which is a fundamental invariant in differential geometry and topology.

Significance

1. Geometric Significance: The systole function encodes geometric information of Riemann surfaces, connecting multiple branches of algebraic geometry, differential geometry, and topology
2. Topological Applications: Studying the topological structure of moduli spaces through Morse theory, particularly the properties of homology groups
3. Theoretical Value: Provides new tools and perspectives for understanding the geometry and topology of moduli spaces

Limitations of Existing Work

• Akrout proved that the systole function is a topological Morse function, but the function is non-differentiable and the base space is non-compact, limiting the application of classical Morse theory
• Schmutz Schaller conjectured that the lowest Morse index of the systole function on $\mathcal{M}_{g,0}$ is $2g-1$, but this was refuted by Fortier Bourque
• Lack of systematic research on lower bounds for Morse indices of critical points

Research Motivation

This paper aims to prove the existence of an index gap for Morse functions and provide effective estimates of growth rates, representing the first systematic study of the lowest Morse index in the literature.

Core Contributions

1. Index Gap Theorem: Proves that for any $k \geq 0$, with finitely many exceptions, all critical points have Morse index greater than $k$
2. Growth Rate Estimates: Establishes an effective lower bound that the lowest index is at least $C\log\log(g+n)$
3. Rank Theorem: Proves rank properties of the gradient vector sets of geodesic length functions
4. Low-Index Critical Point Classification: Provides complete classification of all critical points with index 0, 1, and 2
5. Homological Applications: Proves that low-degree homology of $\overline{\mathcal{M}}_{g,n}$ originates from the boundary

Methodology Details

Problem Formulation

Study the lower bound problem for Morse indices of critical points of the systole function and $\text{sys}_T$ function on the moduli space of Riemann surfaces $\mathcal{M}_{g,n}$.

Core Concepts

Systole Function and $\text{sys}_T$ Function

• Systole Function: $\text{sys}(X) := \min_{\gamma \text{ closed geodesic}} l_\gamma(X)$
• $\text{sys}_T$ Function: $\text{sys}_T(X) := -T\log\left(\sum_{\gamma \text{ simple closed geodesic}} e^{-\frac{1}{T}l_\gamma(X)}\right)$

Eutactic Points

A point $X \in T_{g,n}$ is called eutactic if in the tangent space $T_X T_{g,n}$, the origin is contained in the interior of the convex hull of the gradient vectors $\{\nabla l_\gamma\}_{\gamma \in S(X)}$ corresponding to the shortest geodesics.

Technical Framework

$j$-System Theory

Define a $j$-system as a collection of simple closed geodesics where any two curves have at most $j$ intersection points. The following key results are established:

1. Capacity Estimates: Upper bounds on the maximum cardinality of $j$-systems
2. Subsurface Properties: Study of essential and non-essential subsurfaces
3. Rank Jump Lemma: Proves strict growth of gradient vector rank when extending from non-essential subsurfaces

Core Technical Lemmas

Lemma 4.4: Let $S_1 \subset S_2$ be two curve collections, $Y_i = \text{SSH}(S_i)$. If $Y_1 \subsetneq Y_2$ and $Y_1$ is non-essential in $Y_2$, then $\text{rank}\{\nabla l_\gamma\}_{\gamma \in S_1} < \text{rank}\{\nabla l_\gamma\}_{\gamma \in S_2}$

Theorem 4.8: Given $j \geq 0$, for any $k \geq 0$, there exists $r_k > 0$ such that for all but finitely many $(g,n)$, for any $j$-system $S$ with cardinality at least $r_k$, we have $\text{rank}\{\nabla l_\gamma\}_{\gamma \in S} \geq k$

Technical Innovations

1. Non-Essentiality Characterization: Establishes the mechanism of gradient vector rank growth through subsurface essentiality analysis
2. Earthquake Path Technique: Utilizes Kerckhoff's earthquake paths and length-twist formulas to prove angle monotonicity
3. Inductive Construction: Constructs curve systems satisfying rank conditions through induction

Experimental Setup

Theoretical Verification

This paper is primarily a pure mathematics theoretical study, with results verified through rigorous mathematical proofs.

Classification Verification

Complete classification for low-index cases:

• Index 0: Only $(0,3)$-type surfaces
• Index 1: One each of $(1,1)$- and $(0,4)$-type surfaces
• Index 2: Five different types of critical points

Experimental Results

Main Theorems

Theorem 1.1 (Index Gap): For any $k \geq 0$, with finitely many exceptions $(g,n)$, all critical points have Morse index greater than $k$.

Theorem 1.2 (Growth Rate): There exists a universal constant $C$ such that the lowest index of the systole function and $\text{sys}_T$ function on $\mathcal{M}_{g,n}$ is at least $C\log\log(g+n)$.

Specific Estimates

Lemma 6.1: For a $[g,n]$-surface $Y$, $\#S(Y) \leq g(4g+2n-3)^2 + 2g + n - 3 + \binom{n}{2}$

Theorem 3.15: The cardinality of minimal filling sets satisfies

• $M(0,2) = 1$
• $M(g,n) \leq 3g + n$

Classification Results

Complete classification of all critical points with index 0, 1, and 2:

• Index 0: Unique $(0,3)$-type triply punctured sphere
• Index 1: $(1,1)$-type torus and $(0,4)$-type quadruply punctured sphere
• Index 2: Contains five different geometric configurations

Related Work

Historical Development

1. Akrout (2003): Proved the topological Morse property of the systole function
2. Schmutz Schaller (1999): Constructed critical points of index $2g-1$ and proposed a conjecture
3. Fortier Bourque (2020): Refuted the Schmutz Schaller conjecture
4. Przytycki (2015): Studied intersection properties of curve systems

Contribution of This Paper

This paper provides the first systematic study of the lowest Morse index problem, offering effective growth rate estimates and establishing a complete theoretical framework.

Conclusions and Discussion

Main Conclusions

1. Proves the existence of an index gap for Morse functions on moduli spaces
2. Establishes a logarithmic-logarithmic growth lower bound for the lowest index
3. Provides complete classification of low-index critical points
4. Proves the topological result that low-degree homology originates from the boundary

Theoretical Significance

• Provides new tools for understanding the topological structure of moduli spaces
• Connects geometric function theory with algebraic topology
• Advances applications of Morse theory on moduli spaces

Future Directions

1. Improve upper and lower bound estimates for growth rates
2. Study similar properties for other geometric functions
3. Explore connections with modular form theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes a complete theoretical framework with rigorous proofs
2. Technical Innovation: Cleverly combines methods from differential geometry, topology, and complex analysis
3. Complete Results: Forms a complete system from existence to growth rates to specific classification
4. Applied Value: Provides important tools for moduli space topology research

Technical Highlights

1. Non-Essentiality Analysis: Establishes rank growth mechanism through the concept of subsurface essentiality
2. Inductive Construction: Elegant inductive arguments ensure generality of results
3. Geometric Intuition: Connects abstract index calculations with concrete geometric configurations

Limitations

1. Growth Rate: The $\log\log(g+n)$ growth may not be optimal
2. Finite Exceptions: The "finitely many exceptions" in the theorem lack explicit characterization
3. Computational Complexity: Computing the index for specific surfaces remains difficult

Impact

This is an important advance in moduli space geometry research, providing new perspectives for understanding the topological structure of high-dimensional moduli spaces, and is expected to have sustained impact in algebraic geometry and topology.

Applicable Scenarios

1. Topological studies of moduli spaces
2. Geometric analysis of Riemann surfaces
3. Applications of Morse theory
4. Moduli problems in algebraic geometry

References

The paper cites important literature in the field, including classical works by Akrout, Kerckhoff, Przytycki, and others, as well as the author's previous research in related directions.