[論文レビュー] Fatgraph Algorithms and the Homology of the Kontsevich Complex

Riccardo Murri|arXiv (Cornell University)|Feb 8, 2012

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿では、与えられた genus $g$ と境界数 $n$ のファットグラフを生成するための効率的なアルゴリズム、その自己同型群の計算、およびコンツェビッチファットグラフ複体の有理ホモロジーの決定を提示する。トポロジカルな表現と最適化された行列計算を活用することで、$(2g+n)\leq 6$ の場合に、moduli space $\mathcal{M}_{g,n}$ のベッチ数を効果的なコンピュータ実装により計算し、既知の結果を確認した。

ABSTRACT

Fatgraphs are multigraphs enriched with a cyclic order of the edges incident to a vertex. This paper presents algorithms to: (1) generate the set of all fatgraphs having a given genus and number of boundary cycles; (2) compute automorphisms of any given fatgraph; (3) compute the homology of the fatgraph complex. The algorithms are suitable for effective computer implementation. In particular, this allows us to compute the rational homology of the moduli space of Riemann surfaces with marked points. We thus compute the Betti numbers of $M_{g,n}$ with $(2g + n) \leq 6$, corroborating known results.

研究の動機と目的

• 指定された genus $g$ と境界成分数 $n$ のファットグラフを列挙するための計算的に効果的なアルゴリズムの開発。
• トポロジカルおよび組合せ的表現を用いて、個々のファットグラフの自己同型群を計算する。
• ファットグラフ複体 $\mathcal{R}_{g,n}$ の有理ホモロジーを決定し、moduli space $\mathcal{M}_{g,n}$ のベッチ数の計算を可能にする。

提案手法

• 頂点におけるサイクリックな辺順序に基づくトポロジカルなデータ構造を用いてファットグラフを表現し、その表面実現を直接操作可能にする。
• $\mathcal{M}_{g-1,n}$ および $\mathcal{M}_{g-1,n+1}$ の三価グラフからの再帰的構成を用いて、すべての $\mathcal{R}_{g,n}$ ファットグラフを生成する。
• エッジの縮約を微分 $D$ として実装し、$p$-エッジファットグラフから $(p-1)$-エッジグラフへの写像を、スパース行列 $\mathbf{D}^{(p)}$ として表現する。
• 自己同型群の作用により、$O((n!)^2)$ の要因で複雑さを低減するため、まずマークのないトポロジカルなファットグラフに対してエッジ縮約を適用する。
• 自己同型群の作用を用いて境界サイクルの順列を考慮することで、得られた行列をマーク付きファットグラフに拡張する。
• 標準的な線形代数を用いてベッチ数を計算する：$\text{Betti}_p = \dim W_p - \text{rank}(\mathbf{D}^{(p)})$。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、計算的ホモロジー計算のための、genus $g$ と $n$ 個の境界成分をもつファットグラフを効果的に列挙できるか？
• RQ2 トポロジカル構造を用いて、与えられたファットグラフの自己同型群を効率的に計算するアルゴリズムは何か？
• RQ3 コンツェビッチファットグラフ複体 $\mathcal{R}_{g,n}$ の有理ホモロジーをアルゴリズム的にどのように計算できるか？
• RQ4 微分 $D$ の行列表現に対して、計算複雑度を低減するための最適化は何か？
• RQ5 提案されたアルゴリズムは、小さな $g$ および $n$ に対して $\mathcal{M}_{g,n}$ のベッチ数を高い信頼性で計算できるか？

主な発見

• 著者らは、$2g + n \leq 6$ を満たすすべてのペアについて、moduli space $\mathcal{M}_{g,n}$ の有理ベッチ数を成功裏に計算し、既知の結果を確認した。
• $\mathcal{R}_{g,n}$ の生成アルゴリズムは、三価グラフの再帰的拡張に基づいており、指定された genus と境界数に対して完全性と正しさを保証する。
• まずマークのないトポロジカルなファットグラフに対してエッジ縮約を適用することで、ナイーブなアプローチと比較して、行列構築の複雑さを $O((n!)^2)$ の要因で低減した。
• 微分 $D$ は、$p$-エッジファットグラフ基底から $(p-1)$-エッジ基底への写像として、行列 $\mathbf{D}^{(p)}$ として実装され、向きの符号はトポロジカルな整合性により計算される。
• 最終的なベッチ数は、$\mathbf{D}^{(p)}$ のランクとチェーン空間 $W_p$ の次元を用いて、標準的な線形代数により導出される。
• 実装は効果的かつ効率的であり、小さな $g$ および $n$ に対して、Pythonベースのプロトタイプが実現可能性を示している。