[论文解读] The Grothendieck-Serre Conjecture over Semilocal Dedekind Rings

Ning Guo|arXiv (Cornell University)|Feb 6, 2019

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

一句话总结

本文通过使用黏贴法与弱逼近将问题约化至完备离散赋值环的情形，再应用Bruhat–Tits理论处理非分裂半单群，从而证明了在半局部戴德金环上关于半单代数群概形的格罗滕迪克–塞尔猜想。关键结果是平展上同调映射 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 的单射性，这蕴含了在包含一个域的正规半局部环上，半单代数群模型的唯一性。

ABSTRACT

For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semisimple and anisotropic, in which case we take advantage of Bruhat-Tits theory to conclude. Finally, we show that the Grothendieck-Serre conjecture implies that any reductive group over the total ring of fractions of a regular semilocal ring $S$ has at most one reductive $S$-model.

研究动机与目标

• 将格罗滕迪克–塞尔猜想推广至半局部戴德金环，将尼森维奇关于局部环的结果推广至半局部环。
• 消除对半单代数群概形的等幂性条件，完整解决无需半单单连通等幂子群的半局部戴德金环情形。
• 建立在正规半局部环 $ S $ 的总分式环上，一个半单群的 $ S $-模型的唯一性。
• 通过弥补尼森维奇原始方法中的漏洞，提供半局部戴德金环情形下该猜想变体的完整证明。

提出的方法

• 使用受哈德勒弱逼近启发的黏贴技术，将问题约化至完备离散赋值环的情形。
• 应用扭结论证，将问题约化至 $ G $ 为半单且非分裂的情形，利用勒维子群的结构。
• 运用Bruhat–Tits理论分析具有完美剩余域的完备离散赋值环上半单代数群的结构。
• 利用平展上同调及自同构群概形与外自同构群概形的正合列，分析群模型的同构类。
• 利用上同调映射的单射性，证明任意两个 $ K $-群的 $ S $-模型必同构。
• 在点集的交换图表中进行图表追踪，证明映射 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ 的核是平凡的。

实验结果

研究问题

• RQ1 格罗滕迪克–塞尔猜想是否在半局部戴德金环上对半单代数群概形成立，即使不假设等幂性？
• RQ2 能否通过黏贴与完备化方法，在半局部戴德金环上建立平展上同调映射 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 的单射性？
• RQ3 由上同调单射性结果，是否可推出在正规半局部环上半单模型的唯一性？
• RQ4 能否通过弥补其含糊点与漏洞，将尼森维奇对离散赋值环的证明推广至半局部戴德金环？

主要发现

• 对任意半局部戴德金环 $ R $ 上的半单代数群概形 $ G $，其总分式域为 $ K $，其上拉映射 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 是单射的。
• 该结果将尼森维奇定理由局部环推广至半局部戴德金环，消除了对群概形等幂性的要求。
• 上同调映射的单射性意味着：在正规半局部环 $ S $ 的总分式域上，任意半单群至多有一个 $ S $-模型。
• 证明表明，映射 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ 的核是平凡的，这蕴含任意两个 $ S $-模型必同构。
• 该论证确认，在标准假设下，半局部戴德金环上的上同调单射性等价于半单模型的唯一性。
• 该结果完成了半局部戴德金环上格罗滕迪克–塞尔猜想的全部情形，涵盖了此前所有已知的特例。