[论文解读] On Grothendieck--Serre's conjecture concerning principal G-bundles over reductive group schemes:I

Ivan Panin, Anastasia Stavrova+1 more|arXiv (Cornell University)|May 9, 2009

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

一句话总结

本文证明了格罗滕迪克–塞尔猜想在主G-丛关于半局部环上连通的、单连通的、单代数群概形情形下的关键情况。通过形变技巧与étale上同调的消失性，本文证明：对于无限域上光滑仿射概形的半局部环上的各向同性、单连通、单代数群概形，若一个G-丛在分式域上平凡，则其在基环上已平凡。

ABSTRACT

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme isotropic over R. We prove that for any Noetherian k-algebra A, the map of etale cohomology sets H^1(A\otimes_k R,G)-> H^1(A\otimes_ k K,G), induced by the inclusion of R into K, has trivial kernel. This implies the Serre-Grothendieck conjecture for such groups G. The main theorem for A=k and some other results of the present paper are used significantly in arXiv:1211.2678 to prove the Serre-Grothendieck conjecture for all reductive groups over a regular semi-local ring containing an infinite field.

研究动机与目标

• 建立重性群概形上主G-丛的étale上同调限制映射的核平凡性。
• 在重要特例中证明格罗滕迪克–塞尔猜想：即在光滑概形的半局部环上，各向同性、单连通、单代数群概形的情形。
• 提供后续证明正则半局部环上完整猜想所需的基础结果。
• 将猜想的有效性扩展至非各向同性情形，其中已知存在反例。
• 发展一种形变理论方法，将分式域上的平凡化提升至基环上。

提出的方法

• 使用形变技术：在多项式环扩张上构造一个主G-丛，使其形变原始丛，并在局部化下平凡化。
• 应用法德耶夫–夏皮罗引理，将结果从单连通情形推广至半单单连通代数群概形。
• 利用将李群概形嵌入GL_N所产生的étale上同调长正合列，将丛的平凡性与上同调消失性联系起来。
• 利用从射影空间到仿射概形的态射恒为常值的事实，推导出平凡化可从射影直线下降至基环。
• 利用P^1上O(1)系数的H^1的消失性，证明若向量丛在闭子概形上平凡，则其在整条P^1上平凡。
• 应用尼森维奇与哈布什–纳加塔定理，确保重性群的商概形为仿射，从而支持下降论证。

实验结果

研究问题

• RQ1 对于半局部环上各向同性、单连通、单代数群概形，限制映射H^1_et(R⊗_k A, G) → H^1_et(K⊗_k A, G)的核是否平凡？
• RQ2 能否通过在多项式环上的形变，将分式域上平凡的G-丛提升为基环上的平凡丛？
• RQ3 群概形G与基环R在何种条件下，可使étale上同调平凡性蕴含全局平凡性？
• RQ4 G的非各向同性在多大程度上阻碍格罗滕迪克–塞尔猜想的有效性？
• RQ5 在半局部基上，若G-丛在射影直线上平凡，能否通过上同调下降将其平凡化下降至基环？

主要发现

• 定理1.1表明：对任意诺特k-代数A，当G是O上各向同性、单连通、单代数群概形时，映射H^1_et(O⊗_k A, G) → H^1_et(K⊗_k A, G)的核平凡。
• 定理1.2构造了O⊗_k A上G-丛在O[t]⊗_k A上的形变，使其在局部化下平凡，并在t=0时恢复原始丛。
• 定理1.3证明：若B[t]上G-丛在由首一多项式h(t)定义的局部化下平凡，且h(1)可逆，则该丛在B[t]上平凡。
• 定理1.6将结果推广至包含无限域的正则半局部整环，证明各向同性、单连通G的核平凡性成立。
• 定理9.6的证明利用P^1上H^1(P^1, O)的消失性与上同调下降，表明若向量丛在P^1的闭子概形上平凡，则其在整个P^1上平凡。
• 引理12.1的下降论证表明：若G-丛在半局部基上的射影直线上平凡，则其在基环上平凡，此结论依赖于G-商概形的仿射性。