[论文解读] Strebel differentials on stable curves and Kontsevich's proof of Witten's conjecture

Dimitri Zvonkine|ArXiv.org|Sep 6, 2002

Algebraic Geometry and Number Theory参考文献 10被引用 38

一句话总结

本文在稳定曲线上的连续族斯特雷贝尔微分上建立理论，将斯特雷贝尔定理推广至具有节点的黎曼曲面，并通过阐明单纯复形与分段光滑微分形式在计算稳定曲线模空间上陈类交数中的作用，为孔采维奇证明维滕猜想提供了严格的理论基础。

ABSTRACT

We define Strebel differentials for stable complex curves, prove the existence and uniqueness theorem that generalizes Strebel's theorem for smooth curves, prove that Strebel differentials form a continuous family over the moduli space of stable curves, and show how this construction can be applied to clarify a delicate point in Kontsevich's proof of Witten's conjecture.

研究动机与目标

• 解决孔采维奇在证明维滕猜想时关于稳定曲线模空间上线丛交数的一个微妙漏洞。
• 将斯特雷贝尔关于二次微分的理论从光滑曲线推广至稳定（有节点）曲线，证明具有指定周长的此类微分的存在性与唯一性。
• 在稳定曲线模空间的德尔涅斯-摩尔代夫紧化上建立斯特雷贝尔微分族的连续性。
• 为在交集理论中使用分段光滑微分形式于单纯复形上计算陈类提供几何与拓扑上的合理解释。
• 提供一种新的单纯复形分解同胚的证明，并澄清紧化模空间与商空间 $K\overline{\mathcal{M}}_{g,n}$ 之间的关系。

提出的方法

• 通过对偶化层定义稳定曲线上斯特雷贝尔微分，并施加关于留数与实周期的条件，以确保具有指定周长 $p_1, \dots, p_n$ 的微分存在且唯一。
• 证明此类微分的赋值在模空间 $\overline{\mathcal{M}}_{g,n}$ 上形成一个连续截面，推广经典光滑曲线结果。
• 将商空间 $K\overline{\mathcal{M}}_{g,n}$ 构造为一个紧致的豪斯多夫拓扑轨道丛，其参数化具有边长的稳定丝带图。
• 通过到 $\mathbb{R}_{+}^n$ 的分段仿射投影，建立 $K\overline{\mathcal{M}}_{g,n} \times \mathbb{R}_{+}^n$ 与单纯复形 $A$ 之间的同胚。
• 在 $A$ 上定义圆丛 $\mathcal{B}_i$ 为对偶线丛 $\mathcal{L}_i^*$ 的球化，其纤维同胚于圆周。
• 在 $\mathcal{B}_i$ 上构造一个分段光滑的1-形式 $\alpha$，使其在每个纤维上的积分为 $-1$，并证明 $d\alpha$ 拉回到 $A$ 上的2-形式 $\omega$，该形式代表 $\mathcal{B}_i$ 的第一陈类。

实验结果

研究问题

• RQ1 斯特雷贝尔微分能否推广至具有节点的稳定曲线？其族在德尔涅斯-摩尔代夫紧化上是否连续？
• RQ2 通过斯特雷贝尔微分实现的 $\mathcal{M}_{g,n} \times \mathbb{R}_{+}^n$ 的单纯复形分解，如何延拓至紧化模空间？
• RQ3 商空间 $K\overline{\mathcal{M}}_{g,n}$ 与德尔涅斯-摩尔代夫紧化之间在拓扑与几何上存在何种精确关系？
• RQ4 在交集理论中，为何分段光滑微分形式于单纯复形上的表示可正确代表陈类？
• RQ5 如何严格证明孔采维奇在非光滑单纯复形上使用曲率形式的合理性？

主要发现

• 在任意稳定曲线上，具有指定周长 $p_1, \dots, p_n$ 的斯特雷贝尔微分存在且唯一，推广了光滑曲线的经典定理。
• 此类微分族在 $\overline{\mathcal{M}}_{g,n}$ 上的二次微分丛上形成连续截面，确保了拓扑一致性。
• $K\overline{\mathcal{M}}_{g,n} \times \mathbb{R}_{+}^n$ 同胚于单纯复形 $A$，并具有到 $\mathbb{R}_{+}^n$ 的分段仿射投影，从而解决了孔采维奇证明中的一个关键技术漏洞。
• $\mathcal{B}_i$ 上的1-形式 $\alpha$ 在纤维上的积分为 $-1$，其外导数 $d\alpha = \omega$ 是 $A$ 上2-形式的拉回，代表 $\mathcal{B}_i$ 的第一陈类。
• 交数 $\int_{\overline{\mathcal{M}}_{g,n}} c_1(\mathcal{L}_1)^{d_1} \cdots c_1(\mathcal{L}_n)^{d_n}$ 可表示为 $\omega_1^{d_1} \cdots \omega_n^{d_n}$ 在 $A_\mathbf{p}$ 的上维胞腔上的积分，从而证明定理1。
• 多面复形与态射的框架允许通过曲率形式一致地定义陈类，从而为孔采维奇在缺乏光滑结构时使用分段光滑形式提供了理论依据。