[论文解读] Variations on a theme of Grothendieck

Johan Martens, Michael Thaddeus|arXiv (Cornell University)|Oct 30, 2012

Algebraic Geometry and Number Theory参考文献 6被引用 9

一句话总结

本文将格罗滕迪克关于射影直线上的主丛约化至极大环面的古典结果，推广到多种几何与堆论设定，包括轨道丛、叠、链状曲线以及环作用结构。它建立了此类约化在自同构与韦尔群作用下的存在性与唯一性，并证明了这些丛的自同构群概形是光滑、仿射且连通的。

ABSTRACT

Grothendieck and Harder proved that every principal bundle over the projective line with split reductive structure group (and trivial over the generic point) can be reduced to a maximal torus. Furthermore, this reduction is unique modulo automorphisms and the Weyl group. In a series of six variations on this theme, we prove corresponding results for principal bundles over the following schemes and stacks: (1) a line modulo the group of nth roots of unity; (2) a football, that is, an orbifold of genus zero with two marked points; (3) a gerbe over a football whose structure group is the nth roots of unity; (4) a chain of lines meeting in nodes; (5) a line modulo an action of a split torus; and (6) a chain modulo an action of a split torus. We also prove that the automorphism groups of such bundles are smooth, affine, and connected.

研究动机与目标

• 将格罗滕迪克1955年关于主G-丛在P¹上约化至极大环面的结果推广至更一般的底堆栈与概形。
• 为诸如足球轨道丛、µn-等变直线以及节点曲线链等非平凡几何对象上的主丛，建立约化至极大环面的存在性与唯一性。
• 证明此类丛的自同构群概形始终光滑、仿射且连通，将经典情形下的结构性质进一步拓展。
• 为通过环作用链与叠对半单群的紧化提供基础结果。

提出的方法

• 使用平展上同调，并通过将G-丛的同构类识别为H¹(X, G)来分析有理平凡丛。
• 应用哈德勒于1968年将格罗滕迪克结果推广至任意域上的分裂半单群及平凡通解纤维丛的结论。
• 运用下降理论及正特征下中心化子的理论，特别利用斯坦贝格关于半单元素与环的定理。
• 利用卡蒂埃对偶性与到Z上切瓦莱模型的基变换，将一般情形约化至代数闭域情形。
• 对幂p阶的未幂零子群µpr使用归纳法，结合p-李函子与相对弗罗贝尼乌斯态射的性质。
• 通过光滑概形中连通纤维的闭性区域证明中心化子的连通性。

实验结果

研究问题

• RQ1 格罗滕迪克关于P¹上主G-丛约化至极大环面的定理能否推广至如足球轨道丛或µn-等变直线等堆？
• RQ2 任意有理平凡G-丛在环作用链状曲线上是否总能约化至极大环面，且在自同构与韦尔群作用下唯一？
• RQ3 此类丛的自同构群概形是否始终光滑、仿射且连通，即使在正特征下？
• RQ4 在正特征下，当n为特征的幂时，半单群中µn-子群的中心化子行为如何？
• RQ5 结果在多大程度上依赖于导出群为单连通，这又如何影响中心化子结构？

主要发现

• 任意有理平凡G-丛在P¹上均可约化至极大环面T，推广了格罗滕迪克的原始结果。
• 约化至极大环面在丛的自同构与韦尔群作用下唯一。
• 此类丛的自同构群概形即使在正特征下也始终光滑、仿射且连通。
• 对任意同态µn → G，若G的导出群为单连通，则其像的中心化子连通。
• 若基域为代数闭域，则半单群中µn-子群的中心化子光滑，且其极大环面在G中亦为极大。
• 中心化子连通性的证明依赖于到Z上切瓦莱模型的基变换，以及光滑概形中连通纤维区域的闭性。