[论文解读] A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups

J. S. Milne|arXiv (Cornell University)|Nov 23, 2013

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

一句话总结

本文以现代、易懂的方式重述了罗森利希特1956年对巴罗蒂-谢瓦莱定理的证明，表明在完美域上，每个光滑连通代数群都是一个阿贝尔簇对一个光滑仿射代数群的扩张。通过下降理论、反仿射群以及阿尔巴内塞映射的普遍性质，阐明了代数群的结构。

ABSTRACT

A fundamental theorem of Barsotti and Chevalley states that every smooth algebraic group over a perfect field is an extension of an abelian variety by a smooth affine algebraic group. In 1956 Rosenlicht gave a short proof of the theorem. In this expository article, we explain his proof in the language of modern algebraic geometry.

研究动机与目标

• 以现代代数几何的语言重新阐明并重新表述罗森利希特1956年对巴罗蒂-谢瓦莱定理的证明。
• 解决早期处理中关于下降和反仿射群结构的奠基性模糊点与漏洞。
• 确立连通代数群分解为仿射正规子群与阿贝尔簇商的唯一性与普遍性。
• 通过下降理论将定理的适用范围从代数闭域推广至完美域，建立在原始结果之上。
• 通过仿射群、反仿射群与阿贝尔簇之间的相互作用，提供理解代数群结构的全面框架。

提出的方法

• 使用现代代数几何的语言，特别是函子、概形与忠实平坦下降的语言，重新表述罗森利希特的证明。
• 应用阿尔巴内塞簇的普遍性质，将商 $ G/N $（其中 $ N $ 是最大的仿射正规子群）刻画为阿贝尔簇。
• 通过 $ G^{ ext{aff}} $ 构造反仿射群，其中 $ G_{ ext{ant}} = ext{ker}(G o G^{ ext{aff}}) $，将 $ G $ 分解为仿射部分与反仿射部分。
• 运用诺特同构定理与代数群的正合序列分析子群结构与商群。
• 应用下降理论，将结果从代数闭域推广至完美域，同时保持分解的唯一性。
• 证明乘法映射 $ G_{ ext{aff}} imes G_{ ext{ant}} o G $ 是一个正合序列，表明该群在代数群范畴中是纤维积。

实验结果

研究问题

• RQ1 罗森利希特原始证明中的巴罗蒂-谢瓦莱定理如何能以现代代数几何的语言重新表述？
• RQ2 在完美域上，连通代数群的结构在仿射群与阿贝尔簇群之间的确切关系是什么？
• RQ3 反仿射群构造 $ G_{ ext{ant}} $ 如何与 $ G $ 分解为仿射与阿贝尔部分相关联？
• RQ4 阿尔巴内塞映射在将商 $ G/N $ 刻画为阿贝尔簇的过程中起什么作用？
• RQ5 下降理论如何确保巴罗蒂-谢瓦莱定理在完美域上成立，而不仅限于代数闭域？

主要发现

• 在完美域上，每个光滑连通代数群 $ G $ 均存在唯一的极大连通仿射正规子群 $ N $，使得 $ G/N $ 为阿贝尔簇。
• 商映射 $ G o G/N $ 同时是仿射与射影的，因此 $ G $ 是拟射影的。
• 映射 $ G o G^{ ext{aff}} $ 的核 $ N $（记为 $ G_{ ext{ant}} $）满足 $ ext{Spec}( ext{H}^0(G_{ ext{ant}}, ext{O})) = ext{Spec}(k) $，即其为反仿射群。
• 分解 $ 1 o G_{ ext{aff}} imes G_{ ext{ant}} o G o 1 $ 是代数群的正合序列，且乘法映射是忠实平坦的。
• 在特征零的域上，反仿射群是半阿贝尔簇对向量群的扩张；在正特征域上，它们是阿贝尔簇对环面的扩张。
• 商 $ G/N $ 是 $ G $ 的阿尔巴内塞簇，且映射 $ G o G/N $ 是从 $ G $ 到阿贝尔簇的所有保持单位元的同态中的普遍映射。