2025-11-16T15:40:12.949697

Index gap of the systole function

Chen

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

academic

Index gap of the systole function

基本信息

论文ID: 2309.05801
标题: Index gap of the systole function
作者: Changjie Chen
分类: math.DG (微分几何), math.GT (几何拓扑)
发表时间: 2023年9月 (arXiv预印本，最新版本2025年10月)
论文链接: https://arxiv.org/abs/2309.05801

摘要

已知收缩函数(systole function)在模空间 $\mathcal{M}_{g,n}$ 上是拓扑Morse函数，而 $\text{sys}_T$ 函数在Deligne-Mumford紧化 $\overline{\mathcal{M}}_{g,n}$ 上是 $C^2$ -Morse函数。本文证明了这些Morse函数在 $\mathcal{M}_{g,n}$ 上存在指标间隙(index gap)。具体地，存在一个通用常数 $C>0$ ，使得 $\mathcal{M}_{g,n}$ 中任何临界点的Morse指标至少为 $C\log\log(g+n)$ 。由Morse理论可知，这意味着Deligne-Mumford紧化 $\overline{\mathcal{M}}_{g,n}$ 的低度同调来自边界 $\partial\mathcal{M}_{g,n}$ 。

研究背景与动机

问题提出

本文研究的核心问题是黎曼曲面模空间上收缩函数的Morse理论性质。收缩函数 $\text{sys}(X)$ 定义为双曲曲面 $X$ 上最短闭测地线的长度，这是微分几何和拓扑学中的基本不变量。

重要性

几何意义: 收缩函数编码了黎曼曲面的几何信息，连接了代数几何、微分几何和拓扑学多个分支
拓扑应用: 通过Morse理论研究模空间的拓扑结构，特别是同调群的性质
理论价值: 为理解模空间的几何和拓扑提供了新的工具和视角

现有工作的局限性

Akrout证明了收缩函数是拓扑Morse函数，但该函数不可微且基空间不紧致，限制了经典Morse理论的应用
Schmutz Schaller猜测 $\mathcal{M}_{g,0}$ 上收缩函数的最低指标为 $2g-1$ ，但被Fortier Bourque反驳
缺乏对临界点Morse指标下界的系统性研究

研究动机

本文旨在证明Morse函数的指标间隙存在性，并给出增长率的有效估计，这是文献中首次研究最低Morse指标的方法。

核心贡献

指标间隙定理: 证明了对任意 $k \geq 0$ ，除有限个例外，所有临界点的Morse指标都大于 $k$
增长率估计: 建立了最低指标至少为 $C\log\log(g+n)$ 的有效下界
秩定理: 证明了测地线长度函数梯度向量集合的秩性质
低指标临界点分类: 完整分类了指标为0、1、2的所有临界点
同调学应用: 证明了 $\overline{\mathcal{M}}_{g,n}$ 的低度同调来自边界

方法详解

任务定义

研究黎曼曲面模空间 $\mathcal{M}_{g,n}$ 上收缩函数和 $\text{sys}_T$ 函数的临界点Morse指标的下界问题。

核心概念

收缩函数和 $\text{sys}_T$ 函数

收缩函数: $\text{sys}(X) := \min_{\gamma \text{ 闭测地线}} l_\gamma(X)$
$\text{sys}_T$ 函数: $\text{sys}_T(X) := -T\log\left(\sum_{\gamma \text{ 简单闭测地线}} e^{-\frac{1}{T}l_\gamma(X)}\right)$

Eutactic点

点 $X \in T_{g,n}$ 称为eutactic的，如果在切空间 $T_X T_{g,n}$ 中，原点包含在最短测地线对应的梯度向量 $\{\nabla l_\gamma\}_{\gamma \in S(X)}$ 的凸包内部。

技术框架

j-系统理论

定义 $j$ -系统为简单闭测地线集合，其中任意两条曲线的交点数不超过 $j$ 。建立了以下关键结果：

容量估计: 对 $j$ -系统的最大基数给出上界
子曲面性质: 研究子曲面的本质性和非本质性
秩跳跃引理: 证明了从非本质子曲面扩展时梯度向量秩的严格增长

核心技术引理

引理4.4: 设 $S_1 \subset S_2$ 为两个曲线集合， $Y_i = \text{SSH}(S_i)$ 。若 $Y_1 \subsetneq Y_2$ 且 $Y_1$ 在 $Y_2$ 中非本质，则 $\text{rank}\{\nabla l_\gamma\}_{\gamma \in S_1} < \text{rank}\{\nabla l_\gamma\}_{\gamma \in S_2}$

定理4.8: 给定 $j \geq 0$ ，对任意 $k \geq 0$ ，存在 $r_k > 0$ 使得除有限个 $(g,n)$ 外，对任意基数至少为 $r_k$ 的 $j$ -系统 $S$ ，有 $\text{rank}\{\nabla l_\gamma\}_{\gamma \in S} \geq k$