[论文解读] Anti-affine algebraic groups

Michel Brion|ArXiv.org|Oct 27, 2007

Finite Group Theory Research参考文献 11被引用 4

一句话总结

本文对任意域上的反仿射代数群进行了分类，表明在正特征时它们是半阿贝尔簇，而在特征零时则是阿贝尔簇与李代数的扩张。该分类给出了交换代数群的结构分解，并通过非完备反仿射群上的${\mathbb{G}}_m$-挠子丛构造了希尔伯特第十四问题的新反例。

ABSTRACT

We say that an algebraic group $G$ over a field is anti-affine if every regular function on $G$ is constant. We obtain a classification of these groups, with applications to the structure of algebraic groups in positive characteristics, and to the construction of many counterexamples to Hilbert's fourteenth problem.

研究动机与目标

• 对任意域上的反仿射代数群进行分类，特别是研究其结构及其在代数群分解中的作用。
• 理解反仿射群在罗森利希特分解中的角色及其与仿射群和幂零群的相互作用。
• 通过反仿射但非完备的代数群上的${\mathbb{G}}_m$-挠子丛构造希尔伯特第十四问题的新反例。
• 建立正特征完美域上连通代数群的结构结果。
• 与复李群（特别是托里oidal（Cousin）群）进行类比，并探讨此类类比的局限性。

提出的方法

• 在正特征下，通过阿贝尔簇的$k_s$-点上的伽罗瓦稳定子格对反仿射群进行分类。
• 在特征零下，使用三元组$(A, \Lambda, V)$扩展分类，其中$A$为阿贝尔簇，$\Lambda$为伽罗瓦稳定子格，$V$为$A$的李代数的子空间。
• 利用塞尔引入的从反仿射簇到交换代数群的普遍态射，推导结构结果。
• 应用上同调技术，特别是对阿贝尔簇计算$H^0$和$H^1$，以分析反仿射群上线丛的全局截面。
• 通过考虑反仿射群上与充分线丛相关的${\mathbb{G}}_m$-挠子丛，构造希尔伯特第十四问题的反例。
• 利用当$G$为反仿射且具有非平凡幂零部分时，$H^0(G, \mathcal{L})$允许无限滤子的事实，表明坐标环非有限生成。

实验结果

研究问题

• RQ1 在任意域上，反仿射代数群的完整分类是什么？其在特征零与正特征下的差异如何？
• RQ2 反仿射群在完美域上连通交换代数群的结构理论中如何定位？
• RQ3 反仿射群能否用于构造希尔伯特第十四问题的新反例？
• RQ4 反仿射群与复托里oidal李群之间存在何种关系？此类类比在多大程度上成立？
• RQ5 连通代数群的完备化中边界之余维数是多少？在何种条件下其为纯余维数一？

主要发现

• 反仿射群是光滑、连通且交换的，其上的每个正则函数均为常值。
• 在正特征下，反仿射群是参数化为$(A, \Lambda)$的半阿贝尔簇，其中$A$为阿贝尔簇，$\Lambda$为$A(k_s)$的伽罗瓦稳定子格。
• 在特征零下，反仿射群由三元组$(A, \Lambda, V)$参数化，其中$V$为$A$的李代数的子空间，且$A$是$G/G_{\operatorname{aff}}$的对偶。
• ${\mathbb{G}}_m$-挠子丛在反仿射但非完备群上（关联于充分线丛）的坐标环非有限生成，从而为希尔伯特第十四问题提供了反例。
• 对任意连通代数群$G$的完备化$\overline{G}$，边界$\overline{G} \setminus G$要么为空，要么为纯余维数一。
• 当$G$为反仿射且非完备时，$H^0(G, \mathcal{L})$允许一个无限递增滤子，其子商同构于$H^0(A, \mathcal{M})$，这意味着对某些$X$，$\mathcal{O}(X)$非有限生成。