[论文解读] Flat G-bundles and regular strata for reductive groups

Christopher L. Bremer, Daniel S. Sage|arXiv (Cornell University)|Sep 24, 2013

Advanced Algebra and Geometry参考文献 18被引用 8

一句话总结

本文通过正则层（regular strata）——即带有额外正则半单性条件的基本层（fundamental strata）——构建了代数曲线上的平坦 $G$-丛的几何分类框架，通过将结构群约化至环群 $ς{G}$ 中的最大环（maximal torus），实现了光滑模空间的构造。关键结果是此类丛的模空间同构于商空间 $ς{A}(S,r)/\hat{W}_S$，其中 $ς{A}(S,r)$ 参数化 $S$-形式类型，$ς{W}_S$ 是环 $S$ 的仿射 Weyl 群。该结果推广了关于亚纯联络与等单变型的经典结果。

ABSTRACT

Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bundle and used this theory to define its slope. In this paper, the authors study fundamental strata that satisfy an additional regular semisimplicity condition. Flat G-bundles that contain regular strata have a natural reduction of structure to a (not necessarily split) maximal torus in LG, and the authors use this property to compute the corresponding moduli spaces. This theory generalizes a natural condition on algebraic connections (the GL_n case), which plays an important role in the global analysis of meromorphic connections and isomonodromic deformations.

研究动机与目标

• 将正则层理论从 $\mathrm{GL}_n$ 推广至任意约化群 $G$，扩展亚纯联络与等单变型的框架。
• 通过证明平坦 $G$-丛在正则层条件下可自然约化至环群 $ς{G}$ 中的一个（可能非分裂的）最大环 $S$，建立其几何分类。
• 利用 $S$-形式类型空间 $ς{A}(S,r)$ 及其关于仿射 Weyl 群 $ς{W}_S$ 的商，计算此类丛的模空间。
• 通过框架化范畴 $ς{C}^\mathrm{fr}_x(S,r)$ 提供模空间的解析，该范畴通过商映射映射到无框架模空间。

提出的方法

• 引入正则层的概念：作为被最大环 $S \subset \hat{G}$ 在分次意义下中心化的基本层，推广 $ς{GL}_n$ 的情形。
• 利用 Moy-Prasad 滤过及其相关李代数，定义深度 $r$ 的层及其非退化性条件。
• 构造深度 $r$ 的 $S$-形式类型空间 $ς{A}(S,r)$，该空间参数化李代数 $S$ 中形式联络矩阵模更高阶项。
• 应用仿射 Bruhat 分解与通过 $ς{G}_{x,r}$ 的规范变换，将联络共轭为 $\mathfrak{s}\frac{dz}{z}$ 形式，确保正则半单性。
• 利用 $N(S)$ 在 $ς{A}(S,r)$ 上的作用与投影 $\rho_{\mathfrak{s}}$ 关联不同形式类型，定义商空间 $ς{A}(S,r)/\hat{W}_S$ 作为模空间。
• 证明去框架函子 $\u03c2{C}^\mathrm{fr}_x(S,r) \to \u03c2{C}(S,r)$ 恰好对应于商映射 $\u03c2{A}(S,r) \to \u03c2{A}(S,r)/\hat{W}_S$，从而确立框架化范畴是无框架模空间的解析。

实验结果

研究问题

• RQ1 如何在平坦 $G$-丛的背景下，将正则层的概念从 $\mathrm{GL}_n$ 推广至任意约化群 $G$？
• RQ2 包含正则层的平坦 $G$-丛的模空间的几何结构是什么？
• RQ3 结构群约化至 $ς{G}$ 中的最大环 $S \subset \hat{G}$ 如何影响此类丛的分类？
• RQ4 仿射 Weyl 群 $ς{W}_S$ 在形式类型参数化与模空间构造中起什么作用？
• RQ5 框架化模空间范畴 $ς{C}^\mathrm{fr}_x(S,r)$ 与无框架模空间 $ς{C}(S,r)$ 之间有何关系？

主要发现

• 包含正则层的平坦 $G$-丛的模空间同构于 $\u03c2{A}(S,r)/\hat{W}_S$，其中 $\u03c2{A}(S,r)$ 是深度 $r$ 的 $S$-形式类型空间。
• 每个具有正则层的平坦 $G$-丛均存在一个规范等价代表，形式为 $\mathfrak{s}\frac{dz}{z}$，其中 $\mathfrak{s} = \operatorname{Lie}(S)$，确认了向最大环的约化。
• $\u03c2{W}_S$ 在 $\u03c2{A}(S,r)$ 上的作用实现了商空间作为正确模空间，且 $N(S)$ 的作用诱导了形式类型上的群作用。
• 去框架函子 $\u03c2{C}^\mathrm{fr}_x(S,r) \to \u03c2{C}(S,r)$ 恰好对应于商映射 $\u03c2{A}(S,r) \to \u03c2{A}(S,r)/\hat{W}_S$，表明框架化范畴是无框架模空间的解析。
• 当 $r > 0$ 或 $r = 0$ 且 $H_x = G$ 时，模空间 $\u03c2{C}(S,r)$ 是光滑的，且通过形式类型空间的商构造实现几何化。
• 该理论统一并推广了先前关于等单变型与联络模空间的结果，特别是将 Boalch 与 Frenkel-Gross 的构造推广至任意约化群。