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

収縮関数のインデックスギャップ

基本情報

論文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$ -システムを単純閉測地線の集合として定義し、任意の2本の曲線の交点数が $j$ 以下であるとする。以下の重要な結果を確立した：

容量推定: $j$ -システムの最大基数に上界を与える
部分曲面性質: 部分曲面の本質性と非本質性を研究する
秩ジャンプ補題: 非本質部分曲面から拡張する際の勾配ベクトル秩の厳密な増長を証明

核心技術補題

補題4.4: $S_1 \subset S_2$ を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$