[论文解读] On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic

Roman Fedorov|arXiv (Cornell University)|Jan 17, 2015

Algebraic Geometry and Number Theory参考文献 18被引用 8

一句话总结

本文在基 scheme 满足一定几何条件的前提下，证明了在正特征混合的正则局部环上，关于主丛的格罗滕迪克–塞雷猜想，适用于分裂的半单群概形。通过变形技巧以及利用优质三元组和拟初等纤维丛的丛粘合方法，作者证明了具有有理截面的丛的平凡性，将该猜想推广至此前仅知含域的环或低维情形的范围之外。

ABSTRACT

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R contains a field. We prove the conjecture for a large class of regular local rings not containing fields in the case when G is split.

研究动机与目标

• 将格罗滕迪克–塞雷猜想推广至不包含域的正则局部环的混合特征情形。
• 在主 G-丛具有有理截面时，证明其在这些环上的平凡性。
• 将此前仅对含域的环或低维情形成立的结果进行推广。
• 提出一种基于优质三元组和拟初等纤维丛的新方法论框架，适用于混合特征情形。

提出的方法

• 在基 scheme U 上构造一个优质三元组 (qU: X → U, f, ∆)，以参数化丛及其平凡化。
• 利用有理截面的存在性，构造一个在 A1_U 上的 G-丛 F，该丛在有限子概形上平凡，并在 0×U 处与原丛匹配。
• 通过涉及 Xgσ∗(h) → Xg 和 (A1_U)h → A1_U 的图表实施粘合构造，从而在 A1_U 上构造出一个全局的 G-丛。
• 利用粘合与平凡化及截面条件相容的事实，将问题约化至已知情形。
• 利用光滑群概形的 fppf 上同调与 étale 上同调之间的典范同构，分析上同调核。
• 在正交群的上同调正合序列中运用图表追逐法，证明 H1 上限制映射的单射性。

实验结果

研究问题

• RQ1 格罗滕迪克–塞雷猜想是否对混合特征下正则局部环上的分裂半单群概形成立？
• RQ2 能否通过几何与变形技巧，将该猜想推广至不包含域的环？
• RQ3 基 scheme 的何种条件可确保在混合特征下，具有有理截面的主丛是平凡的？
• RQ4 优质三元组与拟初等纤维丛如何用于在混合特征下从局部数据构造全局丛？
• RQ5 正交群的 H1(fppf) 上限制映射的单射性是否足以推出分裂情形下该猜想的成立？

主要发现

• 在基 scheme 满足温和几何条件的前提下，格罗滕迪克–塞雷猜想对混合特征下正则局部环上的分裂半单群概形成立。
• 在特殊纤维为一般正则且奇点集与特殊纤维的交集具有 codimension ≥2 的假设下，该猜想得以证明。
• 证明了对分裂半单 G，限制映射 H1_fppf(R, G) → H1_fppf(K, G) 的单射性，从而推出具有有理截面的丛的平凡性。
• 该方法适用于正交群，且当 2 可逆时，通过 Witt 消去法将结果推广至二次型的同构。
• 作者证明了该猜想对优秀离散赋值环上射影概形上有限个闭点的半局部环成立。
• 即使在二维情形下，该结果也是全新的，尤其当剩余域为有限域时，此前方法失效。