[論文レビュー] Oriented hairy graphs and moduli spaces of curves

Assar Andersson, Thomas Willwacher+1 more|arXiv (Cornell University)|May 1, 2020

Topological and Geometric Data Analysis参考文献 24被引用数 11

ひとこと要約

この論文は、髙いグラフ複体（HOGC）、リボングラフ複体、および曲線のモジュライ空間のコホモロジーを結びつける統一的な枠組みを提供する向き付き髙いグラフ複体（HOGC）を導入する。髙いグラフ複体に修正された微分を適用したものとリボングラフ複体に同じ微分を適用したものの間で準同型が確立され、これによりチャン＝ガラティウス＝ペインとメルクロフ＝ウィルチャーの結果が重畳され、重みゼロにおいてモジュライ空間のコンパクト台付きコホモロジーに関する予想が裏付けられる。

ABSTRACT

We discuss a graph complex formed by directed acyclic graphs with external legs. This complex comes in particular with a map to the ribbon graph complex computing the (compactly supported) cohomology of the moduli space of points $\mathcal M_{g,n}$, extending an earlier result of Merkulov-Willwacher. It is furthermore quasi-isomorphic to the hairy graph complex computing the weight 0 part of the compactly supported cohomology of $\mathcal{M}_{g,n}$ according to Chan-Galatius-Payne. Hence we can naturally connect the works Chan-Galatius-Payne and of Merkulov-Willwacher and the ribbon graph complex and obtain a fairly satisfying picture of how all the pieces and various graph complexes fit together, at least in weight zero.

研究の動機と目的

• モジュライ空間の曲線のトップ重みコホモロジーに関するチャン＝ガラティウス＝ペインの結果と、リボングラフ複体に関するメルクロフ＝ウィルチャーの結果を統合すること。
• コンツェビッチのグラフ複体から、外部の脚（髙）と有向非巡回構造を含む新しいグラフ複体へのメルクロフ＝ウィルチャー写像の拡張すること。
• 微分 δ + Δ を備えた向き付き髙いグラフ複体と、同じ微分を備えたリボングラフ複体の間の準同型を確立し、両者の枠組みを結びつけること。
• カールダルルのリボングラフ複体に微分 Δ を修正したもののコホモロジーに関する予想を確認すること。
• 重みゼロの設定において、さまざまなグラフ複体（髙い、リボン、コンツェビッチ）がどのように関係するかを包括的に明らかにすること。

提案手法

• 著者たちは、内部頂点（少なくとも2価で、すべての辺が外部に向かう）と外部の1価頂点（『髙』または『脚』）を備えた有向非巡回グラフの同型類の形式的級数として、向き付き髙いグラフ複体 HOGC^n_S を定義する。これらは有限集合 S でラベル付けされている。
• HOGC^n_S に標準的な髙いグラフ複体の微分を一般化する微分 δ を導入し、有向非巡回構造を保つ。
• リボングラフ複体 RGC_0 に微分 Δ を定義する。これはブリッジランド微分と知られ、リボングラフの接合と辺の収縮の組合せ的性質を記述する。
• 主な構成は、HOGC^n_S から RGC_0 への写像であり、これはメルクロフ＝ウィルチャー写像を拡張し、微分 δ と Δ と可換である。
• 著者たちは、g ≥ 2 において、微分 δ + Δ を備えた HOGC^n_S のコホモロジーと、同じ微分を備えた RGC_0 のコホモロジーが準同型であることを証明する。
• この準同型を用いて、g ≥ 2 において H*(RGC_0, δ + Δ) ≅ ⊗_r≥1 (H_c(M_{g,r}) ⊗ Q[-1]^r)_{S_r} が成り立つことを示し、予想を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 髙いグラフ複体は、有向非巡回構造と外部の脚（髙）を含む形で拡張可能であり、リボングラフ複体と整合的であると保証されるか？
• RQ2 向き付き髙いグラフ複体からリボングラフ複体への自然な写像が、微分 δ と Δ と可換であるか？
• RQ3 修正された微分 δ + Δ を備えたリボングラフ複体のコホモロジーは、g ≥ 2 においてモジュライ空間 M_g のコンパクト台付きコホモロジーを計算するか？
• RQ4 チャン＝ガラティウス＝ペインのトップ重みコホモロジーに関する結果は、単一のグラフ論的枠組みを通じてメルクロフ＝ウィルチャー構成と自然に結びつけられるか？
• RQ5 標準微分とブリッジランド微分の和を備えた向き付き髙いグラフ複体は、リボングラフ複体と準同型であるか？

主な発見

• 微分 δ + Δ を備えた向き付き髙いグラフ複体 HOGC^n_S は、g ≥ 2 において、同じ微分を備えたリボングラフ複体 RGC_0 と準同型である。
• 微分 δ + Δ を備えた (RGC_0) のコホモロジーは、g ≥ 2 において、モジュライ空間 M_g のコンパクト台付きコホモロジーと同型であり、-1次元で、カールダルルの予想を裏付ける。
• HOGC^n_S から RGC_0 への写像は、微分 δ と Δ と可換であり、髙いグラフ複体とリボングラフ複体の間の自然な橋渡しを提供する。
• モジュライ空間 M_{g,n} の重み0部分のコホモロジーは、自然に (RGC_0, δ + Δ) のコホモロジーによって計算され、予想通りである。
• この構成により、チャン＝ガラティウス＝ペインとメルクロフ＝ウィルチャーの結果が重みゼロの設定で統合される包括的な枠組みが提供される。