[論文レビュー] Topology of moduli spaces of tropical curves with marked points

Dmitry N. Kozlov|ArXiv.org|Sep 25, 2008

Polynomial and algebraic computation参考文献 3被引用数 4

ひとこと要約

本稿では、標数1のn個のマーク付きトロピカル曲線のモジュライ空間の位相的性質を、それらを距離グラフの空間に埋め込み、ブリッジを収縮する強変形リトラクションを適用することによって調査する。標数1のモジュライ空間は、ℤ₂作用によるトーラスの商とホモトピー同値であり、ホモトピーコロイムの分解を用いて、ℤ₂係数でのすべてのベッチ数を計算し、それらのベッチ数の閉形式の公式を導出する。

ABSTRACT

In this paper we study topology of moduli spaces of tropical curves of genus $g$ with $n$ marked points. We view the moduli spaces as being imbedded in a larger space, which we call the {\it moduli space of metric graphs with $n$ marked points.} We describe the shrinking bridges strong deformation retraction, which leads to a substantial simplification of all these moduli spaces. In the rest of the paper, that reduction is used to analyze the case of genus 1. The corresponding moduli space is presented as a quotient space of a torus with respect to the conjugation ${\mathbb Z}_2$-action; and furthermore, as a homotopy colimit over a simple diagram. The latter allows us to compute all Betti numbers of that moduli space with coefficients in ${\mathbb Z}_2$.

研究の動機と目的

• マーク付きトロピカル曲線のモジュライ空間の位相的構造を理解すること、特に標数1の場合に焦点を当てる。
• ブリッジを収縮する強変形リトラクションを用いて、これらのモジュライ空間の位相を簡略化すること。
• 標数1のモジュライ空間を、グラフ自己同型によって誘導されるℤ₂作用によるトーラスの商として記述すること。
• ホモトピーコロイム技術を用いて、ℤ₂係数でのベッチ数を計算すること。
• ℤ₂ベッチ数のパターンに基づいて、整数係数でのホモロジーの構造を予想すること。

提案手法

• トロピカル曲線のモジュライ空間を、n個のマーク付き距離グラフの空間に埋め込み、自然な位相を備える。
• ブリッジを収縮する強変形リトラクションを厳密に確立し、距離グラフ内のすべてのブリッジを収縮することで位相を簡略化する。
• 標数1の場合、変形リトラクションにより空間は、グラフの共役作用によって誘導されるℤ₂作用によるn次トーラスの商に還元される。
• 得られた空間は単純な図式上のホモトピーコロイムとして表現され、ホモロジー計算が可能になる。
• 長完全系列を用いて、商写像がℤ₂係数のチェインに於いてゼロ写像を誘導することを根拠に、ベッチ数を再帰的に計算する。
• 再帰的公式を導出し、閉形式の表現を得る。

実験結果

リサーチクエスチョン

• RQ1 ブリッジを収縮する変形リトラクションを施した場合、標数1のn個のマーク付きトロピカル曲線のモジュライ空間の位相はどのように簡略化されるか？
• RQ2 標数1のモジュライ空間は、ℤ₂作用によるトーラスの商として記述可能か？もし可能であれば、そのホモトピー型は何か？
• RQ3 標数1のモジュライ空間のℤ₂係数でのベッチ数は何か？
• RQ4 商空間のホモトピーコロイム分解は、ベッチ数の計算をどのように支援するか？
• RQ5 ℤ₂ベッチ数のパターンに基づいて、モジュライ空間の整数係数ホモロジーの構造はどのように予想されるか？

主な発見

• 標数1のn+2個のマーク付きトロピカル曲線のモジュライ空間は、グラフ共役作用によって誘導されるℤ₂作用によるn次トーラスの商とホモトピー同値である。
• ℤ₂係数でのベッチ数は、次の閉形式の公式で与えられる：$\widetilde{\beta}_{i}(X_{n+2};{\mathbb{Z}}_{2}) = \sum_{j=0}^{n-i+1} 2^{j} \binom{n-j}{i-1}$（$n+1 \geq i \geq 2$のとき）、それ以外は0。
• 商写像がℤ₂係数ホモロジーに誘導する写像は恒等的にゼロであり、これにより長完全系列が分解され、ベッチ数の再帰的計算が可能になる。
• 最初のベッチ数$\widetilde{\beta}_{1}(X_{n+2};{\mathbb{Z}}_{2})$はすべての$n \geq 1$に対して消えるため、この場合空間は単連結である。
• 整数係数ホモロジーは、次数2iにおいて、 torsion部が$\mathbb{Z}_2^{a(i,n)}$、自由部が$\mathbb{Z}^{b(i,n)}$であると予想される。ここで$a(i,n)$はℤ₂係数での2i+1番目のベッチ数である。
• ベッチ数の公式は、再帰関係$\widetilde{\beta}_{i}(T^{n+1}/{\mathbb{Z}}_{2};{\mathbb{Z}}_{2}) = 2\widetilde{\beta}_{i}(T^{n}/{\mathbb{Z}}_{2};{\mathbb{Z}}_{2}) + \binom{n}{i-1}$を展開することで導出される。