[论文解读] The Harder-Narasimhan stratification of the moduli stack of G-bundles via Drinfeld's compactifications

Simon Schieder|arXiv (Cornell University)|Dec 31, 2012

Advanced Algebra and Geometry参考文献 10被引用 10

一句话总结

本文使用 Drinfeld 的相对紧化 $\overline{\mathrm{Bun}}_P$ 和主丛的 Tannakian 形式化，建立了代数闭域上任意特征的光滑射影曲线上的 $G$-丛模堆栈的 Harder-Narasimhan 分层。关键贡献是给出了 canonical reduction 存在性与唯一性的几何、特征无关证明，以及对约化群的斜率理论的全新构造，该理论推广了经典 $\mathrm{GL}_n$-丛的理论。

ABSTRACT

We use Drinfeld's relative compactifications and the Tannakian viewpoint on principal bundles to construct the Harder-Narasimhan stratification of the moduli stack Bun_G of G-bundles on an algebraic curve in arbitrary characteristic, generalizing the stratification for G=GL_n due to Harder and Narasimhan to the case of an arbitrary reductive group G. To establish the stratification on the set-theoretic level, we exploit a Tannakian interpretation of the Bruhat decomposition and give a new and purely geometric proof of the existence and uniqueness of the canonical reduction in arbitrary characteristic. We furthermore provide a Tannakian interpretation of the canonical reduction in characteristic 0 which allows to study its behavior in families. The substack structures on the strata are defined directly in terms of Drinfeld's compactifications, which we generalize to the case where the derived group of G is not necessarily simply connected. We furthermore use Drinfeld's compactifications to establish various properties of the stratification, including finer information about the structure of the individual strata and a simple description of the strata closures. Finally, we introduce a novel notion of slope for principal bundles which allows for a natural formulation of the reduction theory of arbitrary reductive groups in arbitrary characteristic.

研究动机与目标

• 将 $\mathrm{GL}_n$-丛的 Harder-Narasimhan 分层推广至任意特征下任意半单群 $G$ 的 $\mathrm{Bun}_G$。
• 为 $G$-丛的 canonical reduction 提供一种完全几何的、与特征无关的存在性与唯一性证明。
• 将 Drinfeld 的相对紧化 $\overline{\mathrm{Bun}}_P$ 推广至 $G$ 的导出群非 simply connected 的情形。
• 为主丛引入一种新的斜率概念，统一所有半单群及其特征下的约化理论。
• 通过 $\overline{\mathrm{Bun}}_P$ 及其相关映射，显式描述分层及其闭包。

提出的方法

• 以 Drinfeld 的相对紧化 $\overline{\mathrm{Bun}}_P$ 为核心几何工具，用于构造和分析 Harder-Narasimhan 分层。
• 应用 Tannakian 形式化，通过最高权表示上的滤子来解释 $G$-丛的约化，从而实现 canonical reduction 的几何处理。
• 对 Bruhat 分解建立 Tannakian 解释，以比较约化并证明控制抛物子群相对位置的关键不等式。
• 为任意半单 $G$ 构造广义的 Drinfeld 紧化 $\overline{\mathrm{Bun}}_P$，修正目标堆栈以确保代数性与适当分层。
• 通过映射 $j_{\check{\theta}}$ 从乘积 $X^{\check{\theta}} \times \mathrm{Bun}_{P,\check{\lambda}_P + \check{\theta}}$ 构造分层为 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$ 内的局部闭子堆栈 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$。
• 利用 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$ 是 $\mathrm{Bun}_{Z,0}$ 的主齐性空间这一事实，从 simply connected 覆盖向下传递分层，确保分层分解的正确性。

实验结果

研究问题

• RQ1 如何将 $\mathrm{Bun}_{\mathrm{GL}_n}$ 的 Harder-Narasimhan 分层推广至任意特征下任意半单群 $G$ 的 $\mathrm{Bun}_G$？
• RQ2 在正特征下，定义 $G$-丛 canonical reduction 的正确几何与代数框架是什么？
• RQ3 如何将 Drinfeld 的紧化 $\overline{\mathrm{Bun}}_P$ 推广至导出群非 simply connected 的半单群？
• RQ4 是否存在一种自然、内在的 $G$-丛斜率概念，使得所有半单群的约化理论可统一处理？
• RQ5 Harder-Narasimhan 分层中各分层的闭包行为如何？能否通过几何方式描述？

主要发现

• 在任意特征下，$\mathrm{Bun}_G$ 的 Harder-Narasimhan 分层存在，且为局部闭子堆栈 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$ 的不交并，其中 $P$ 为抛物子群，$\check{\lambda}_P$ 为余权。
• 在任意特征下，$G$-丛的 canonical reduction 存在且唯一，其证明基于 Bruhat 分解的 Tannakian 解释与关于约化相对位置的关键不等式。
• $\mathrm{Bun}_G$ 中分层闭包可描述为斜率更低的分层之并，且通过 $\overline{\mathrm{Bun}}_P$ 的分层实现简洁统一的描述。
• 为任意半单群 $G$ 构造了广义的 Drinfeld 紧化 $\overline{\mathrm{Bun}}_P$，其在 $\check{\theta} \in \check{\Lambda}_{G,P}^{\mathrm{pos}}$ 参数化下，可分解为局部闭子堆栈 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}^{\check{\theta}}$。
• 在特征 0 下，canonical reduction 在相关丛上诱导的滤子与 Tannakian 形式化相容，从而可研究其在族中的行为。
• 每个分层 $\mathrm{Bun}_G^{P,\check{\lambda}_P}$ 的子堆栈结构通过映射 $j_{\check{\theta}}$ 从 $X^{\check{\theta}} \times \mathrm{Bun}_{P,\check{\lambda}_P + \check{\theta}}$ 直接定义，映射进入 $\overline{\mathrm{Bun}}_{P,\check{\lambda}_P}$。