[论文解读] Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves

Enrico Arbarello, Maurizio Cornalba|arXiv (Cornell University)|Jun 30, 1994

Algebraic Geometry and Number Theory参考文献 15被引用 133

一句话总结

本文建立了曲面模空间上组合循环与代数几何上同调类之间的几何对应关系，表明在组合循环 $W_{m_*,n}$ 上 $\psi$-类的交点数等于在 Mumford-Morita-Miller 类的显式多项式 $X_{m_*,n}$ 上的交点数。关键结果是在 Deligne-Mumford 紧化空间 $\overline{\mathcal{M}}_{g,n}$ 上，组合循环与代数上同调类之间存在精确对偶性，该结果在余维数一及前11个权重情形下得到验证。

ABSTRACT

Based on the combinatorial description of the moduli spaces of curves provided by Strebel differentials, Witten and Kontsevich have introduced combinatorial cohomology classes $W_{(m_0,m_1,m_2,\dots),n}$, and conjectured that these can be expressed in terms of Mumford-Morita-Miller classes. It is argued that this link should be provided by a theorem of Di Francesco, Itzykson and Zuber which relates the derivatives of the Witten-Kontsevich partition function with respect to one set of variables to the derivatives with respect to the other set of variables. Two things are shown. First of all that this works in complex codimension 1. Secondly that in all the cases when it has been possible to make the Di Francesco, Itzykson and Zuber correpondence explicit this translates into identities of the type $$ \int_{W_{(m_0,m_1,m_2,\dots),n}}\prodψ_i^{d_i} =\int_{\overline{\cal{M}}_{g,n}} X_{(m_0,m_1,m_2,\dots),n}\prodψ_i^{d_i} $$ where the $X_{(m_0,m_1,m_2,\dots),n}$ are explicit polynomials in the algebro-geometric classes and the $ψ_i$ are the Chern classes of the point bundles, for any choice of $d_1,\dots,d_n$.

研究动机与目标

• 在曲面模空间 $\mathcal{M}_{g,n}$ 上建立组合循环 $W_{m_*,n}$ 与代数几何上同调类之间的几何联系。
• 验证 Witten 猜想：组合循环可表示为 Mumford-Morita-Miller 类的形式。
• 证明在组合循环 $W_{m_*,n}$ 上 $\psi_i$-类的交点数等于在 $\overline{\mathcal{M}}_{g,n}$ 的典型类环中显式多项式 $X_{m_*,n}$ 上的交点数。
• 将 Di Francesco-Itzykson-Zuber 对应关系推广至紧化模空间上的几何对偶性。

提出的方法

• 利用 Kontsevich 矩阵模型，将 $\psi$-类交点数的生成函数 $F$ 与厄米特矩阵积分的渐近展开联系起来。
• 应用 Di Francesco-Itzykson-Zuber 对应关系，将 $\exp F$ 对 $s$-变量的导数转化为对 $t$-变量导数的组合。
• 将所得恒等式几何解释为组合循环 $W_{m_*,n}$ 与代数类 $X_{m_*,n}$ 之间的上同调对偶性。
• 通过奇异曲线的分层结构与对偶图形式语言分析余维数一的情形。
• 将 $\psi_i$-类解释为标记点处切线线丛的陈类，以定义交点数。
• 计算 $X_{m_*,n}$ 关于 $\psi$-类与其他典型类的显式表达式，验证至权重11。

实验结果

研究问题

• RQ1 曲面模空间 $\mathcal{M}_{g,n}$ 上的组合循环 $W_{m_*,n}$ 是否可表示为 $\overline{\mathcal{M}}_{g,n}$ 中的代数上同调类？
• RQ2 Di Francesco-Itzykson-Zuber 对应关系是否可在紧化模空间的上同调类中实现为几何结构？
• RQ3 $\int_{W_{m_*,n}} \prod \psi_i^{d_i}$ 与 $\int_{\overline{\mathcal{M}}_{g,n}} X_{m_*,n} \prod \psi_i^{d_i}$ 是否对显式多项式 $X_{m_*,n}$ 相等？
• RQ4 组合循环与代数类之间的对偶性是否可超越余维数一情形？

主要发现

• 在组合循环 $W_{m_*,n}$ 上的交点数 $\langle \tau_{d_1} \dots \tau_{d_n} \rangle_{m_*}$ 与在 $\overline{\mathcal{M}}_{g,n}$ 的典型类环中显式代数类 $X_{m_*,n}$ 上的交点数一致。
• 在余维数一情形下，该对偶性成立的上同调子空间对 $n > 1$ 是极大的，证实了对偶性的强度。
• 对于前11个权重情形（由 $F$ 的次数定义），Di Francesco-Itzykson-Zuber 对应关系转化为精确的上同调恒等式。
• 生成函数 $F$ 满足一组偏微分方程，编码了 $s$-与 $t$-导数之间的对应关系，这些关系在几何上体现为上同调恒等式。
• 对 $\partial^3 F / \partial s_2^3$ 的显式验证，得到了关于 $t$-导数与 $\psi$-类项的复杂表达式。
• 结果支持如下猜想：Di Francesco-Itzykson-Zuber 对应关系揭示了 $\overline{\mathcal{M}}_{g,n}$ 上组合类与代数几何类之间深层的几何对偶性。