[論文レビュー] The tropicalization of the moduli space of curves II: Topology and applications

Melody Chan, Søren Galatius+1 more|arXiv (Cornell University)|Apr 11, 2016

Algebraic Geometry and Number Theory参考文献 41被引用数 21

ひとこと要約

本稿は、 genus g で n 個のマークド点をもち、全辺長が 1 である安定トロピカル曲線をパラメトライズするトロピカルモジュライ空間 Δ_{g,n} の位相的性質を研究し、その高次連結性を証明するとともに、対称群の表現としての有理ホモロジーを計算する。Δ_{g,n} を代数的曲線のコンパクト化モジュライ空間の境界の双対複体と同一視することにより、M_{1,n} のトップウェイトコホモロジーの明示的公式を導出し、純マッピングクラス群のホモロジーにおけるアーベルサイクルの明示的双対基底を構成する。

ABSTRACT

We study the topology of the tropical moduli space parametrizing stable tropical curves of genus g with n marked points in which the bounded edges have total length 1, and prove that it is highly connected. Using the identification of this space with the dual complex of the boundary in the moduli space of stable algebraic curves, we give a simple expression for the top weight cohomology of M_{1,n} as a representation of the symmetric group and describe an explicit dual basis in homology consisting of abelian cycles for the pure mapping class group.

研究の動機と目的

• genus g で n 個のマークド点をもち、全辺長が 1 である安定トロピカル曲線をパラメトライズするトロピカルモジュライ空間 Δ_{g,n} の位相的構造を理解すること。
• 重複マークド点をもつトロピカル曲線の部分複体の可縮性を用いて、Δ_{g,n} の連結性の上限を確立すること。
• 対称群 S_n の表現として、モジュライ空間 M_{1,n} のトップウェイトコホモロジーを計算すること。
• アーベルサイクルを用いて、純マッピングクラス群のホモロジーにおける明示的双対基底を構成すること。

提案手法

• 作者らは、Δ_{g,n} をコンパクト化モジュライ空間 ČM_{g,n} の境界除数の双対複体と同一視することで、Δ_{g,n} の位相的不変量を M_{g,n} の代数的不変量として解釈できるようにする。
• 有理コホモロジーのウェイトフィルトレーションの最高次グレーディング部分の、Δ_{g,n} の有理ホモロジーの縮約された有理ホモロジーとの標準的同一視を用いる。
• エタール引き戻しと転送写像を用いた明示的チェーン収縮により、重複マークド点をもつトロピカル曲線をパラメトライズする部分複体の可縮性を確立する。
• M_{g,n} の対数 de Rham コホモロジーのウェイトスペクトル系列を用いて、ホモロジーにおけるアーベルサイクルの関係を、Δ_{g,n} 上のコバウンダリーと関連付ける。
• 二面体群 D_n が n 辺形の頂点と辺に作用する様子を分析することで、アーベルサイクルの明示的構成を達成し、符号表現を用いて S_n-表現構造を定義する。
• 境界複体に関連するチェーン複体のアセイクリシティの証明は、エタール被覆からの正規化転送写像を用いたチェーン収縮の構成に依存する。

実験結果

リサーチクエスチョン

• RQ1 genus g > 1 および n ≥ 1 のとき、トロピカルモジュライ空間 Δ_{g,n} の連結性はいかほどか？
• RQ2 M_{1,n} のトップウェイトコホモロジーは、対称群 S_n の表現としてどのように記述できるか？
• RQ3 n ≥ 3 のとき、Δ_{1,n} のホモトピー型は何か？ また、次元 n−1 の球面のワッデン・サムに同相であるか？
• RQ4 中間ホモロジー次元における純マッピングクラス群のアーベルサイクルは、Δ_{g,n} 上のコバウンダリーとどのように関係するか？
• RQ5 重複マークド点部分複体は、Δ_{g,n} の位相的性質を決定づける上で果たす役割は何か？

主な発見

• g > 1 のとき、トロピカルモジュライ空間 Δ_{g,n} は (n−5g+4)-連結である。これは非自明な連結性の上限を示している。
• n ≥ 3 のとき、Δ_{1,n} は次元 n−1 の球面の (n−1)!/2 個のワッデン・サムにホモトピー同値である。一方、Δ_{1,1} および Δ_{1,2} は可縮である。
• M_{1,n} のトップウェイトコホモロジーは、n ≥ 3 のときのみ、次数 i = n で非ゼロであり、Q-ベクトル空間として Q^{(n−1)!/2} に同型である。
• S_n-表現として、トップウェイトコホモロジー Gr^{W}_{2n}H^n(M_{1,n};Q) は、D_n,φ から S_n への誘導表現 Ind_{D_n,φ}^{S_n} Res^{S_n}_{D_n,ψ} sgn に同型である。ここで φ と ψ は、それぞれ頂点と辺における二面体群の作用を表す。
• 作者らは、アーベルサイクルを用いて、純マッピングクラス群のホモロジーにおける明示的双対基底を構成した。その関係は、ウェイトスペクトル系列を用いて、Δ_{g,n} 上のコバウンダリーと関連づけられた。
• g > 0 および n > 1 のすべてのケースにおいて、Δ_{g,n} の重複マークド点部分複体は可縮である。この性質は、連結性およびホモトピー型に関する結果の証明において中心的な役割を果たした。