[论文解读] Graph cohomology and Kontsevich cycles

Kiyoshi Igusa|ArXiv.org|Mar 13, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 4

一句话总结

本文建立了关联图同调中的对偶 Kontsevich 循环与映射类群上同调中调整后的 Miller-Morita-Mumford 类之间的精确对应关系。通过构造环状图范畴的胞腔链复形与图同调复形之间的有理链同伦等价，计算了该多项式前两项的显式公式，验证并扩展了 Arbarello 与 Cornalba 的猜想，解决了 Kontsevich 提出的问题。

ABSTRACT

The dual Kontsevich cycles in the double dual of associative graph homology correspond to polynomials in the Miller-Morita-Mumford classes in the integral cohomology of mapping class groups. I explain how the coefficients of these polynomials can be computed using Stasheff polyhedra and results from my previous paper GT/0207042.

研究动机与目标

• 阐明关联图同调中的 Kontsevich 循环与映射类群上同调中 Miller-Morita-Mumford 类之间的关系。
• 扩展 Igusa 的早期结果，并为图同调与映射类群上同调之间的对偶性提供详尽证明。
• 计算对偶 Kontsevich 循环在调整后的 Miller-Morita-Mumford 类中的多项式表达式前两项的系数。
• 验证并推广 Arbarello 与 Cornalba 对曲面模空间中 strata 的 Poincaré 对偶的猜想公式。

提出的方法

• 在环状图范畴的胞腔链复形与整数图同调复形之间构造一个有理链同伦等价。
• 使用森林载体构造法，在图同调复形上定义一个关于 $\mathbb{Z}$ 的可缩增广链复形。
• 应用 Conant-Vogtmann 的图定向定义，确定 Stasheff 关联单纯形的内在定向，并验证符号约定。
• 利用循环集上链态射，评估 Miller-Morita-Mumford 类在 Kontsevich 循环上的取值。
• 对特定的环状图配置进行详细的符号与重数计算，推导出系数。
• 从图同调到胞腔链复形构造一个有理逆映射 $\psi$，建立有理同伦等价。

实验结果

研究问题

• RQ1 关联图同调中的对偶 Kontsevich 循环与映射类群上同调中的 Miller-Morita-Mumford 类之间有何关系？
• RQ2 表示对偶 Kontsevich 循环的调整后 Miller-Morita-Mumford 类的显式多项式表达式是什么？
• RQ3 该多项式系数如何与 Arbarello 与 Cornalba 对曲面模空间中 strata 的 Poincaré 对偶所提出的猜想相关联？
• RQ4 环状图范畴与图同调复形之间有理链同伦等价的精确结构是什么？
• RQ5 Kontsevich 循环公式中系数的猜想对称性能否被证明，并推广至一般 $n,k$？

主要发现

• 当 $n \neq 1$ 时，对偶 Kontsevich 循环 $[W_{n,1}^\ast]$ 由 $3(-2)^{n+3}(2n+1)!!(\widetilde{\kappa}_n\widetilde{\kappa}_1 - \widetilde{\kappa}_{n+1}) - (-2)^{n+2}(2n+5)!!\widetilde{\kappa}_{n+1}$ 给出。
• 当 $n = 1$ 时，公式除以 2，得到 $[W_{1,1}^\ast] = 72\widetilde{\kappa}_1^2 + 348\widetilde{\kappa}_2$，与已知计算一致。
• $[W_{n,1}^\ast]$ 的公式与 Arbarello 与 Cornalba 的计算结果一致，证实了他们对这些循环在边界 strata 上作用的猜想。
• 对 $[W_{n,k}^\ast]$ 的猜想一般公式在所有 $k \leq 7$ 时均得到验证，且当 $n=k=2$ 时，$[W_{2,2}^\ast] = 7200\widetilde{\kappa}_2^2 + 159120\widetilde{\kappa}_4$，与他们的结果一致。
• 计算出系数 $[W_{1,1,1}^\ast] = 288\widetilde{\kappa}_1^3 + 4176\widetilde{\kappa}_1\widetilde{\kappa}_2 + 20736\widetilde{\kappa}_3$，并证明其与猜想的结构一致。