[论文解读] Some structure theorems for algebraic groups

Michel Brion|arXiv (Cornell University)|Sep 10, 2015

Algebraic Geometry and Number Theory被引用 33

一句话总结

本文提供了两个关于域上代数群的基础结构定理的现代概形理论证明：每个代数群都存在一个最小的正规子群，使得商群是仿射的（定理1）；每个代数群也都存在一个最小的正规子群，使得商群是拟射的（定理2）。主要贡献在于使用基础代数几何，系统且清晰地处理了这些内容，确立了在完美域上，光滑连通代数群是阿贝尔簇对仿射群的扩张。

ABSTRACT

These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism groups.

研究动机与目标

• 使用现代代数几何，提供关于域上代数群的两个核心结构定理的可访问且自包含的证明。
• 阐明反仿射群的作用及其与阿贝尔簇的关系，特别是在代数闭域之外的背景下的关系。
• 确立在完美域上，光滑连通代数群是阿贝尔簇对仿射群的扩张，统一了关键的结构成分。
• 将这些结果应用于Picard概形与自同构群概形的结构，特别是在射影概形的背景下。
• 全面概述相关发展，包括Rosenlicht分解以及齐性空间的等变紧化。

提出的方法

• 通过仿射性的判定准则、概形的仿射化以及反仿射概形的刚性引理，证明定理1。
• 利用Albanese映射与阿贝尔扭子理论，基于[41]中关于阿贝尔簇的基础结果，证明定理2。
• 利用相对Frobenius映射及群概形作用的性质，分析连通分支与商群的结构。
• 运用扭子与齐性空间的理论，构造齐性空间的等变紧化。
• 应用Blanchard引理由概形的自同构群与其商群及紧化之间的关系。
• 在特征零下，利用等变解析的存在性，将连通代数群实现为光滑射影概形的自同构群。

实验结果

研究问题

• RQ1 代数群的最小正规子群是什么，其商群是仿射的？其结构性质如何？
• RQ2 代数群的最小正规子群是什么，其商群是拟射的？其构造在域扩张下如何行为？
• RQ3 反仿射代数群与阿贝尔簇之间有何关系？在何种情况下反仿射群必然是阿贝尔簇？
• RQ4 每个在完美域上的光滑连通代数群是否都能实现为阿贝尔簇对仿射群的扩张？
• RQ5 哪些代数群可作为光滑射影概形的连通自同构群出现？在何种条件下？

主要发现

• 定理1表明，每个域 $ k $ 上的代数群 $ G $ 都存在一个最小正规子群 $ H $，使得 $ G/H $ 是仿射的；$ H $ 是光滑、连通、在 $ G^0 $ 中中心化、可交换的，且 $ O(H) = k $，其构造在域扩张下保持不变。
• 定理2表明，每个代数群 $ G $ 都存在一个最小正规子群 $ N $，使得 $ G/N $ 是拟射的；$ N $ 是仿射且连通的，若 $ k $ 是完美域且 $ G $ 是光滑的，则 $ N $ 是光滑的，且其构造在域扩张下保持不变。
• 在完美域上，每个光滑连通代数群都是阿贝尔簇对光滑连通仿射代数群的扩张，统一了线性与反仿射部分。
• 反仿射群的结构可归结为阿贝尔簇的结构，但并非所有反仿射群都是阿贝尔簇，除非 $ k $ 是有限域的代数闭包。
• 每个在维数 $ n $ 上的光滑连通线性代数群 $ G $，都可作为维数至多为 $ 2n+2 $ 的正常射影单有理概形的连通自同构群出现。
• 在特征零下，每个连通代数群都是某个光滑射影单有理概形的连通自同构群，且每个有限维代数李代数都可作为某个拟射概形的导子李代数出现。