[论文解读] Recursive relations for the cohomology ring of moduli spaces of stable bundles

Bernd Siebert, Gang Tian|ArXiv.org|Oct 20, 1994

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 42

一句话总结

本文为亏格 $g$ 的黎曼曲面上稳定丛模空间的上同调环建立了递归公式，表明由Newstead类 $\alpha$、$\beta$、$\gamma$ 生成的子环是一个完备交。关键结果是通过满足显式递推关系的多项式 $f_1^g$、$f_2^g$、$f_3^g$ 定义的归纳系统关系，使得上同调环结构的高效计算成为可能，并提供了一个生成函数 $\Phi(t)$，该函数同时编码了所有关系理想的资讯。

ABSTRACT

The authors learnt that similar results have been independently found by D.Zagier, V.Baranovsky and V.Balaji/A.King/P.Newstead. The corresponding references have been added (and some typos corrected).

研究动机与目标

• 为明确确定黎曼曲面上稳定丛模空间上同调环中的关系理想所面临的计算困难提供解决方案。
• 为上同调环 $H^*({{\cal N}}_g, \mathbb{Q})$ 中关系理想的生成元提供一个简洁的归纳公式。
• 通过推导由Newstead类 $\alpha$、$\beta$、$\gamma$ 生成的上同调子环的完备交结构，统一并简化现有方法。
• 构建一个生成函数 $\Phi(t)$，其导数能同时生成所有亏格 $g$ 的关系理想。
• 为计算量子上同调和通过上同调结构理解Donaldson不变量奠定基础。

提出的方法

• 该方法依赖于双曲型 $\Sigma$ 的Desale-Ramanan嵌入 $\varphi: {{\cal M}}(\Sigma,L) \to G(g+3, 2g+2)$，并结合对典范丛拉回的内在刻画。
• 通过递推关系定义了多项式递归系统 $f_1^g$、$f_2^g$、$f_3^g$：$f_1^{g+1} = \alpha f_1^g + g^2 f_2^g$，$f_2^{g+1} = \beta f_1^g + \frac{2g}{g+1} f_3^g$，$f_3^{g+1} = \gamma f_1^g$，初始值为 $(f_1^1, f_2^1, f_3^1) = (\alpha, \beta, \gamma)$。
• 证明了上同调子环 $\langle \alpha, \beta, \gamma \rangle$ 同构于 $\mathbb{Q}[\alpha, \beta, \gamma]/(f_1^g, f_2^g, f_3^g)$，即一个完备交环。
• 构造了一个满足函数方程 $\Phi'(t) = \frac{\alpha + \beta t + 2\gamma t^2}{1 - \beta t^2} \cdot \Phi(t)$ 的生成函数 $\Phi(t)$，其中 $\Phi^{(g)}$、$\Phi^{(g+1)}$、$\Phi^{(g+2)}$ 生成亏格 $g$ 的理想。
• 利用 ${{\cal M}}_g$ 上的Poincaré对偶性和交积对进行归纳论证，证明了上同调生成元在中等维数范围内的线性无关性。
• 该方法利用已知的贝蒂数公式（如Newstead的公式）来验证递归结构的正确性。

实验结果

研究问题

• RQ1 能否为亏格 $g$ 的黎曼曲面上稳定丛模空间上同调环中关系理想的生成元推导出一个简洁的归纳公式？
• RQ2 由 $H^*({{\cal N}}_g, \mathbb{Q})$ 中的 $\alpha$、$\beta$、$\gamma$ 生成的子环是否为完备交？若是，其结构能否通过递归方式捕捉？
• RQ3 能否通过一个单一的生成函数 $\Phi(t)$ 同时编码所有亏格 $g$ 的关系理想？
• RQ4 该递归结构是否允许在不依赖复杂计算工具的情况下，高效计算贝蒂数和其他不变量？
• RQ5 该方法能否推广到高阶丛模空间，甚至推广到偶数阶行列式丛？

主要发现

• 由Newstead类 $\alpha$、$\beta$、$\gamma$ 生成的上同调子环同构于 $\mathbb{Q}[\alpha, \beta, \gamma]/(f_1^g, f_2^g, f_3^g)$，对每个 $g \geq 1$ 均构成一个完备交环。
• 满足 $a + b + c < g$ 的单项式 $\alpha^a \beta^b \gamma^c$ 构成该子环的 $\mathbb{Q}$-基，确认了其维数与结构。
• 递推关系 $f_1^{g+1} = \alpha f_1^g + g^2 f_2^g$，$f_2^{g+1} = \beta f_1^g + \frac{2g}{g+1} f_3^g$，$f_3^{g+1} = \gamma f_1^g$ 唯一确定了多项式 $f_i^g$，初始值为 $f_i^1 = \alpha, \beta, \gamma$。
• 生成函数 $\Phi(t)$ 满足 $\Phi'(t) = \frac{\alpha + \beta t + 2\gamma t^2}{1 - \beta t^2} \cdot \Phi(t)$，其第 $g$、$(g+1)$、$(g+2)$ 阶导数生成了亏格 $g$ 的关系理想。
• 该方法证明了上同调生成元在中等维数范围内的线性无关性，与Newstead的贝蒂数公式完全一致。
• 该方法提供了一种技术上更简单且更具洞察力的替代方案，具有在量子上同调、Donaldson不变量和Instanton Floer同调等领域应用的潜力。