[论文解读] 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），为毛发图复形、叶状图复形以及曲线模空间的上同调提供了一个统一的框架。它建立了带有修正微分的毛发图复形与带有相同微分的叶状图复形之间的拟同构，从而在权重零情形下统一了Chan-Galatius-Payne与Merkulov-Willwacher的结果，并证实了关于模空间紧上同调的猜想。

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.

研究动机与目标

• 将Chan-Galatius-Payne关于曲线模空间上权重上同调的结果与Merkulov-Willwacher关于叶状图复形的结果统一起来。
• 将Merkulov-Willwacher映射从Kontsevich图复形扩展到一个包含外部腿（毛发）和有向无环结构的新图复形。
• 建立带有微分 δ + Δ 的定向毛发图复形与带有相同微分的叶状图复形之间的拟同构，从而连接两个框架。
• 证实Cǎldǎraru关于叶状图复形在微分Δ改变后的上同调的猜想。
• 完整呈现各种图复形——毛发图、叶状图和Kontsevich图——在权重零情形下的关系。

提出的方法

• 作者将定向毛发图复形 HOGC^n_S 定义为带有内部顶点（至少为二价，所有边向外）和外部一价顶点（‘毛发’或‘腿’）的有向无环图的同构类的正式级数，顶点由有限集 S 标记。
• 他们引入了一个微分 δ，该微分推广了毛发图复形上的标准微分，同时保持有向无环结构。
• 在叶状图复形 RGC_0 上定义了第二个微分 Δ，即Bridgeland微分，它描述了叶状图粘合与边收缩的组合学。
• 关键构造是 HOGC^n_S 到 RGC_0 的映射，该映射扩展了Merkulov-Willwacher映射，并与微分 δ 和 Δ 交换。
• 作者证明了在亏格 g ≥ 2 时，带有微分 δ + Δ 的 HOGC^n_S 的上同调与带有 δ + Δ 的 RGC_0 的上同调拟同构。
• 他们利用这一拟同构证明了 H*(RGC_0, δ + Δ) ≅ ⊗_r≥1 (H_c(M_{g,r}) ⊗ Q[-1]^r)_{S_r}（g ≥ 2），从而证实了该猜想。

实验结果

研究问题

• RQ1 能否以保持与叶状图复形相容的方式，将毛发图复形扩展为包含有向无环结构和外部腿（毛发）的形式？
• RQ2 是否存在一个从定向毛发图复形到叶状图复形的自然映射，使其与微分 δ 和 Δ 交换？
• RQ3 带有修正微分 δ + Δ 的叶状图复形的上同调是否计算出 g ≥ 2 时模空间 M_g 的紧上同调？
• RQ4 Chan-Galatius-Payne关于上权重上同调的结果能否通过单一图论框架自然地与Merkulov-Willwacher构造联系起来？
• RQ5 当配备标准微分与Bridgeland微分之和时，定向毛发图复形是否与叶状图复形拟同构？

主要发现

• 在亏格 g ≥ 2 时，带有微分 δ + Δ 的定向毛发图复形 HOGC^n_S 与带有相同微分的叶状图复形 RGC_0 拟同构。
• RGC_0 带有 δ + Δ 的上同调在 -1 次上同调度上同构于模空间 M_g 的紧上同调，从而证实了Cǎldǎraru的猜想。
• 从 HOGC^n_S 到 RGC_0 的映射与微分 δ 和 Δ 交换，为毛发图复形与叶状图复形之间提供了自然的桥梁。
• 模空间 M_{g,n} 的上同调的权重 0 部分自然由 (RGC_0, δ + Δ) 的上同调计算，正如猜想所言。
• 该构造提供了一个统一的框架，使Chan-Galatius-Payne与Merkulov-Willwacher在权重零情形下的结果得以调和。