[论文解读] Moduli spaces of bundles over Riemann surfaces and the Yang-Mills stratification revisited

Frances Kirwan|ArXiv.org|May 24, 2003

Algebraic Geometry and Number Theory参考文献 25被引用 7

一句话总结

本论文通过引入三种新滤子——最大与最小约当-霍尔德滤子，以及最大平凡性的平衡δ-滤子——对黎曼曲面上联络空间的杨-米尔斯分层进行了精炼。每种滤子均在联络空间上诱导出由有限余维的局部闭复子流形构成的分层。关键贡献在于证明这些精炼为理解当秩与次数互素且秩大于二时，稳定丛模空间的上同调关系提供了框架。

ABSTRACT

Refinements of the Yang-Mills stratifications of spaces of connections over a compact Riemann surface are investigated. The motivation for this study was the search for a complete set of relations between the standard generators for the cohomology of the moduli spaces of stable holomorphic bundles of rank n and degree d when n and d are coprime and n>2.

研究动机与目标

• 解决当 n > 2 且 gcd(n,d) = 1 时，模空间 M(n,d) 的标准上同调生成元之间缺乏完整关系集的问题。
• 将上同调关系的理解从 n=2 的情形扩展至更高秩，其中芒福德猜想已被证明。
• 利用约当-霍尔德滤子与δ-滤子对联络空间发展出精炼的分层，以模拟半稳定与稳定丛的结构。
• 通过指标映射理论，将这些精炼分层与哈勒-纳拉西姆汉滤子及杨-米尔斯泛函联系起来。
• 通过莫尔斯理论与几何不变性理论技术，为研究 M(n,d) 的上同调环结构提供几何框架。

提出的方法

• 利用杨-米尔斯泛函作为指标映射的平方范数，在联络空间 C(n,d) 上定义莫尔斯分层。
• 将基沃姆（1985）的精炼方法应用于杨-米尔斯分层，生成新的分层，其中稳定丛为开分层。
• 引入哈勒-纳拉西姆汉滤子的两种典范精炼：最大与最小约当-霍尔德滤子。
• 通过利用哈勒-纳拉西姆汉滤子的子商构造，定义第三种精炼——最大平凡性的平衡δ-滤子。
• 将分层应用于杨-米尔斯分层层次构造中出现的子簇，使用射影化法丛。
• 利用分层的指标集分析分层的结构及其余维，尤其关注其与 M(n,d) 上同调的关系。

实验结果

研究问题

• RQ1 如何对联络空间的杨-米尔斯分层进行精炼，以更好地理解稳定丛模空间的上同调？
• RQ2 半稳定丛的最大与最小约当-霍尔德滤子的几何与代数性质为何？
• RQ3 最大平凡性的平衡δ-滤子如何与哈勒-纳拉西姆汉滤子及约当-霍尔德滤子相关联？
• RQ4 这些精炼滤子能否用于构造当 n > 2 时 M(n,d) 的标准上同调生成元之间的完整关系集？
• RQ5 三种精炼——最大JH、最小JH与平衡δ-滤子——之间的关系为何？它们在结构上如何不同？

主要发现

• 构造了哈勒-纳拉西姆汉滤子的三种不同精炼：最大约当-霍尔德滤子、最小约当-霍尔德滤子，以及最大平凡性的平衡δ-滤子。
• 每种精炼均在联络空间 C(n,d) 上诱导出由有限余维的局部闭复子流形构成的分层，且稳定联络为开分层。
• 一个半稳定丛直和的最大与最小约当-霍尔德滤子未必互为精炼，且在两端的扩张规则不同。
• 最大平凡性的平衡δ-滤子被证明是无更精炼的滤子，且保持子商的相同斜率；其特征为最小化某一误差项 ε。
• 三种滤子通过“关键滤子”概念相互关联，其相互作用在定理7.11及命题7.4、7.6、7.8中形式化。
• 这些精炼分层为研究 M(n,d) 中的上同调关系提供了几何框架，尤其适用于 n > 2 的情形，此时标准的芒福德关系推广失效。