[论文解读] Grothendieck-Serre in the quasi-split unramified case

Kęstutis Česnavičius|arXiv (Cornell University)|Sep 11, 2020

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明了在非分歧的正则局部环上，关于拟分裂半单群概形的格罗滕迪克–塞雷猜想，确立了每个在一般意义下平凡的 torsor 都是平凡的。证明使用了离散赋值环上的诺特正规化的新版本，以及混合特征下光滑相对曲线的表示引理，通过切除和粘接技术将问题约化到仿射直线。

ABSTRACT

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.

研究动机与目标

• 在基环为非分歧且群概形为拟分裂的条件下，解决格罗滕迪克–塞雷猜想的混合特征情形。
• 将猜想推广至平坦且在戴德金域上几何正则的半局部环，扩大其适用范围以超越局部环。
• 为非分歧正则局部环上的拟分裂半单群建立一个乘积公式，连接阿代尔结构与全局结构。
• 证明：对于正则半局部环 $ R $，其上的半单群概形 $ H $ 是分裂的（分别拟分裂的）当且仅当其一般纤维是分裂的（分别拟分裂的），从而强化了猜想的推论。
• 通过利用粘接与相对曲线技术，为混合特征下的 torsor 提供新的上同调工具集。

提出的方法

• 开发了适用于离散赋值环的诺特正规化版本，以处理混合特征情形。
• 引入了混合特征下光滑相对曲线的表示引理，允许通过切除和粘接技术将问题约化到相对仿射直线。
• 在科恩–麦克aul伊相对曲线的背景下应用了林德尔型技巧，将 torsor 从一般纤维提升到整体空间。
• 使用粘接技术（例如引理 7.1）将 torsor 从光滑相对曲线下降到基环上的仿射直线。
• 利用非交换上同调与扭结技术，将问题约化为环面上的 torsor，借助 [CTS79] 和 [CTS87] 中的纯度结果。
• 利用博雷尔子群及其幂零部分的结构，将问题约化为环面 torsor，此时猜想已知成立。

实验结果

研究问题

• RQ1 格罗滕迪克–塞雷猜想是否在非分歧正则局部环上的拟分裂半单群概形的混合特征情形下成立？
• RQ2 该猜想能否推广至在戴德金环上平坦且几何正则的半局部环？
• RQ3 当群为拟分裂且环为非分歧时，一个 torsor 在其分式域上的平凡性是否足以保证其在环本身上也平凡？
• RQ4 在何种条件下，半单群概形的一般纤维决定了其在基环上的分裂或拟分裂状态？
• RQ5 在混合特征下，能否通过几何约化技术消除 torsor 平坦化的上同调障碍？

主要发现

• 格罗滕迪克–塞雷猜想在非分歧正则局部环上的拟分裂半单群概形上已得证，且映射 $ H^1(R, G) o H^1( ext{Frac}(R), G) $ 的核是平凡的。
• 该猜想被推广至在戴德金环上平坦且几何正则的半局部环，在此更广范围内，同样成立核平凡的结果。
• 建立了乘积公式：对非分歧正则局部环 $ R $，非零元素 $ r eq 0 $，以及拟分裂半单 $ R $-群 $ G $，有 $ G(reve{R}[1/r]) = G(reve{R})G(R[1/r]) $，其中 $ reve{R} $ 是 $ R $ 关于 $ r $-进拓扑的完备化。
• 对非分歧正则局部环 $ R $，其上的半单 $ R $-群概形 $ H $ 是分裂的当且仅当其一般纤维 $ H_{ ext{Frac}(R)} $ 是分裂的。
• 在等特征情形下，对正则半局部环 $ R $，其上的半单 $ R $-群概形 $ H $ 是拟分裂的当且仅当其一般纤维是拟分裂的。
• 证明了对正则半局部环 $ R $ 满足 $ 2 otin R^ imes $，有 $ H^1(R, ext{SO}_n) o H^1( ext{Frac}(R), ext{SO}_n) $ 和 $ H^1(R, ext{O}_n) o H^1( ext{Frac}(R), ext{O}_n) $ 的单射性，意味着 $ R $ 上非同构的非退化二次型在 $ ext{Frac}(R) $ 上仍保持非同构。