[論文レビュー] Non-Abelian number theory and the structure of curves on surfaces

Moira Chas|arXiv (Cornell University)|Aug 9, 2016

Mathematical Dynamics and Fractals参考文献 4被引用数 3

ひとこと要約

本稿は、マッピングクラス群の作用による軌道を分析することで、境界成分が1つのトーラス上の曲線の組合せ論を調査し、固定された自己交叉数と語長における曲線の数が、有理数倍の $ \ell^2 $ として漸近的に増加することを明らかにした。その係数はオイラーのトータル関数と関連しており、ミルザカニの漸近的結果を介して、非アーベル的数論、双曲幾何、算術の間の新しい関係を確立した。これにより、成長係数の有理数性と構造に関する6つの明確な予想が提示された。

ABSTRACT

In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a certain length, either geometric or combinatorial. Some cases are rigurolosly determined and the Euler totient function emerges. More complicated orbits are computed to suggest an array of formulae continuing to involve the Euler totient function. We formulate six precise conjectures. These include a novel study of an "inverse" function of the Mirzakhani's asymptotics. The geometric part of our study was motivated by the rationality aspect of these asymptotics.

研究の動機と目的

• マッピングクラス群の作用下での、自己交叉数が固定された境界成分が1つのトーラス上の曲線の増加を理解すること。
• 曲線の列挙における指数的増加に起因する計算的困難を克服するため、与えられた長さまでに制限されたマッピングクラス群の軌道に注目すること。
• 組合せ論的語長増加と幾何的長さの漸近的挙動との間の関係を、特にミルザカニの研究の視点から確立すること。
• オイラーのトータル関数、有理数係数、曲線軌道の構造との間の関係を示す予想を立案・検証すること。
• 観察されたパターンを、一般の genus $ g $ および $ n $ 個の境界成分をもつ双曲的曲面へと拡張し、非アーベル的数論の枠組みを提案すること。

提案手法

• 基本群の生成子 $ a, b, A, B $ における巡回的に短縮された語を用いて、マッピングクラス群 $ M(1,1) $ の軌道に属する非向き付けされた曲線を、与えられた語長 $ \ell $ までに数える。
• 自己交叉数 $ k = 0,1,2,3 $ の軌道について、正確な数え上げをオイラーのトータル関数 $ \Phi(n) $ を用いて行い、$ c_\ell(\alpha) = 2\sum \Phi(\cdot) $ が成り立つことを示す。
• 1つの穴あきトーラスに明示的な双曲的計量を構成し、曲線の幾何的長さを計算することで、語長に基づく漸近的挙動と比較可能にする。
• ミルザカニの幾何的長さの漸近的挙動と、組合せ論的語長の結果を比較し、有理数係数において一致することを確認する。
• 数値実験と図的分析を用いて、曲線の数の漸近的挙動に関する予想を支援し、ミルザカニの成長の逆関数を含むものも含む。
• 観察されたパターンを高 genus および境界成分へと一般化し、算術と位相幾何学に根ざした非アーベル的数論の枠組みを提案する。

実験結果

リサーチクエスチョン

• RQ1 1つの穴あきトーラス上での、固定された自己交叉数と語長を持つ曲線の軌道における、その数はどのように増加するか？
• RQ2 このような軌道の成長係数は、オイラーのトータル関数を用いて有理数的に表現可能であり、ミルザカニの幾何的漸近的挙動と一致するか？
• RQ3 ミルザカニの漸近的関数の逆関数と、特定の軌道内の曲線の幾何的長さとの間に、関数的関係が存在するか？
• RQ4 語長における $ \ell^2 $-漸近的増加の係数は、幾何的長さの数え上げから得られる有理数定数と一致するか？
• RQ5 オイラーのトータル関数と有理数係数を含む、観察された増加のパターンは、すべての genus $ g $ および $ n $ 個の境界成分をもつ双曲的曲面へと一般化可能か？

主な発見

• 自己交叉数 $ k = 0 $ の場合、曲線 $ \alpha $ の軌道に属する語長 $ \ell $ の曲線の数は正確に $ 2\Phi(\ell) $ であり、$ \ell $ までの累積数は $ \frac{6}{\pi^2}\ell^2 $ に漸近する。
• $ k = 1 $ および部分的に $ k = 2 $ の場合、各軌道における語長 $ \ell $ の曲線数は、オイラーのトータル関数の和として正確に表現可能であり、有理数係数の成長を示す。
• 各軌道における曲線の幾何的長さの漸近的挙動は、語長に基づく係数と一致し、ミルザカニの定数が位相的・幾何的要因と軌道固有の要因に分解され、すべてが有理数である。
• 自己交叉数 $ k $ の曲線のすべての軌道における成長係数 $ p_\alpha $ の和は、そのような軌道の総数から1を差し引いた値に非常に近いことから、深い算術的構造が示唆される。
• 予想4では、すべてのこのような曲線数が $ 2\sum \Phi\left(\frac{\ell + j_i}{k_i}\right) $ の形に書けるとされ、漸近的増加が $ \frac{6}{\pi^2} p \ell^2 $ となり、有理数 $ p $ を持つことが示唆されており、$ k \leq 3 $ についてのデータで裏付けられている。
• 語長と幾何的長さの両設定において、成長係数の有理数性が観察されたことから、双曲的曲面におけるより広範な非アーベル的数論の枠組みが示唆される。