[論文レビュー] Orbits of non-simple closed curves on a surface

Jenya Sapir|arXiv (Cornell University)|Feb 29, 2016

Mathematical Dynamics and Fractals参考文献 8被引用数 6

ひとこと要約

本稿は、双曲的曲面上の非単純な閉測地線の写像類群軌道を研究し、自己交叉数が高々 $K$ で、長さが高々 $L$ であるような軌道の数に対してタイトな上限を提示する。また、測地線の幾何的性質をパンツ分解に基づく新しい組合せ的モデルに翻訳することで、単純な閉測地線のミルツァハニの成長結果を精緻化する、漸近的境界を得る。

ABSTRACT

The mapping class group of a surface $§$ acts on the set of closed geodesics on $§$. This action preserves self-intersection number. In this paper, we count the orbits of curves with at most $K$ self-intersections, for each $K \geq 1$. (The case when $K=0$ is already known.) We also restrict our count to those orbits that contain geodesics of length at most $L$, for each $L >0$. This result complements a recent result of Mirzakhani, which gives the asymptotic growth of the number of closed geodesics of length at most $L$ in a single mapping class group orbit. Furthermore, we develop a new, combinatorial approach to studying geodesics on surfaces, which should be of independent interest.

研究の動機と目的

• 自己交叉数が高々 $K$ である閉測地線の写像類群軌道の数の漸近的成長を特定すること。
• ミルツァハニの長さ有界な閉測地線の漸近的カウントを、合計に寄与する異なる軌道の数を理解することで精緻化すること。
• 曲面上の測地線を研究するための組合せ的フレームワークを構築し、幾何的制約をパンツ分解上の語の組み合わせ論に翻訳すること。
• 特に長さ $L$ に制限された曲線に対して、そのような軌道の数の上界と下界を確立すること。

提案手法

• 各測地線 $\gamma$ とパンツ分解 $\Pi$ に対して、 cuff 曲線回りを巻き付けるパスとして表す語モデル $w_\Pi(\gamma)$ を構築する。
• 語モデルを用いて、長さと自己交叉数を組合せ的パラメータによって推定し、幾何的制約を離散的数え上げ問題に翻訳する。
• 二項係数の推定とスターリング型の境界を用いて、このような語の数を抑え、軌道数の指数的上界を得る。
• 組合せ的構成の成長を制御するため、$\binom{a+b}{b} \leq e^{b \log(2e a/b)}$ を適用する。
• $\#\mathcal{O}(L,K)$、すなわち長さ $\leq L$ で自己交叉数 $\leq K$ であるような軌道の数の上界を、$M = \min\{d_X L + d_S \sqrt{K}, d_S K\}$ の2つの場合に分けて分析することにより導出する。
• [Sap15b] で得られたペア・オブ・パンツにおける $\#\mathcal{G}^c(L,K)$ の下界を活用し、$L$ と $K$ が適切な条件下にある場合に $\#\mathcal{O}(L,K)$ の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 双曲的曲面 $\mathcal{S}$ 上で、自己交叉数が高々 $K$ であるような写像類群軌道に含まれる閉測地線は、いくつあるか？
• RQ2 自己交叉数 $K \to \infty$ のとき、特に長さ $\leq L$ に制限した場合、そのような軌道の数の漸近的成長はどのようになるか？
• RQ3 パンツ分解に基づく組合せ的モデルは、長さや自己交叉数といった測地線の幾何的不変量を効果的に近似できるか？
• RQ4 軌道数 $\mathcal{O}(L,K)$ は $L$ と $K$ とともにどのように増加するか？ そして、最もタイトな既知の上界と下界は何か？
• RQ5 曲線の語表現の組合せ的複雑さとその幾何的性質との関係は何か？

主な発見

• 自己交叉数が高々 $K$ である閉測地線の写像類群軌道の数は、$\frac{1}{12}2^{\sqrt{K/12}} \leq \#\mathcal{O}(\cdot,K) \leq e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}}$ を満たす。ここで $d_{\mathcal{S}}$ は曲面 $\mathcal{S}$ のみに依存する。
• 長さが高々 $L$ である曲線に対して、そのような軌道の数は $\#\mathcal{O}(L,K) \leq \min\left\{ e^{d_{\mathcal{S}} \sqrt{K} \log\left(d_X \frac{L}{\sqrt{K}} + d_X\right)}, e^{d_{\mathcal{S}} \sqrt{K} \log d_{\mathcal{S}} \sqrt{K}} \right\}$ を満たす。定数は $\mathcal{S}$ と計量 $X$ に依存する。
• 下界が確立された：$L \geq 8l_X$ かつ $K \geq 12$ のとき、$\#\mathcal{O}(L,K) \geq \frac{1}{12} \min\left\{ 2^{L/(8l_X)}, 2^{\sqrt{K/12}} \right\}$ が成り立つ。ここで $l_X$ は計量に依存する定数である。
• パンツ分解に基づく組合せ的モデルにより、語表現からの長さと自己交叉数の効果的推定が可能となり、幾何的問題を離散的数え上げ問題に還元できる。
• $\#\mathcal{O}(L,K)$ の上界は、二項係数の境界とスターリング型の推定を用いて導出され、指数部は $\sqrt{K} \log(\text{多項式 in } K)$ で制御される。
• 本結果は、非単純な曲線に対して特に寄与する軌道数の制御を可能にすることで、ミルツァハニの閉測地線の漸近的カウントを精緻化する。