[论文解读] Toroidal affine Nash groups

Mahir Bilen Can|arXiv (Cornell University)|Sep 22, 2015

Finite Group Theory Research参考文献 8被引用 6

一句话总结

本文建立了仿射 Nash 群的罗森利希特结构定理的类比，引入了环形仿射 Nash 群作为仿射代数群的反仿射类比。证明了每个仿射 Nash 群都存在一个最小的正规子群，使得商群为几乎线性；对于连通群，存在一个分解，即最大环形子群与最大几乎线性正规子群的直积，且环形部分的几乎线性分量与几乎线性部分的交集具有有限指数。

ABSTRACT

A toroidal affine Nash group is the affine Nash group analogue of an anti-affine algebraic group. In this note, we prove analogues of Rosenlicht's structure and decomposition theorems: (1) Every affine Nash group $G$ has a smallest normal affine Nash subgroup $H$ such that $G/H$ is an almost linear affine Nash group, and this $H$ is toroidal. (2) If $G$ is a connected affine Nash group, then there exist a largest toroidal affine Nash subgroup $\ant{G}$ and a largest connected, normal, almost linear affine Nash subgroup $\aff{G}$. Moreover, we have $G=\ant{G}\aff{G}$, and $\ant{G}\cap \aff{G}$ contains $\aff{(\ant{G})}$ as an affine Nash subgroup of finite index.

研究动机与目标

• 开发仿射 Nash 群的结构理论，类比于罗森利希特对代数群的定理。
• 定义并表征环形仿射 Nash 群，作为反仿射代数群的 Nash 类比。
• 建立连通仿射 Nash 群分解为最大环形子群与最大几乎线性正规子群。
• 证明这两个子群的交集包含环形子群的几乎线性部分作为有限指数子群。
• 通过代数化与整体函数理论，将 Chevalley 型分解结果推广至 Nash 范畴。

提出的方法

• 将环形仿射 Nash 群定义为连通的反线性仿射 Nash 群，即不具有非平凡几乎线性商群的群。
• 利用代数化函子将仿射 Nash 群与实代数群联系起来，借助 Hrushovski 和 Pillay 的结果：仿射 Nash 群是实代数群的有限覆盖。
• 将罗森利希特定理（即存在最小正规子群使得商群仿射）应用于与 Nash 群关联的代数群。
• 通过代数化下代数群中反仿射部分与仿射部分的原像，构造最大环形子群与最大几乎线性正规子群。
• 利用李代数比较与有限态射，证明两个子群的交集包含环形子群的几乎线性部分作为有限指数子群。
• 利用一个既是仿射又是反仿射的 Nash 群必为平凡群的事实，证明最小性与最大性性质。

实验结果

研究问题

• RQ1 反仿射代数群的正确 Nash 群类比是什么？它如何表征？
• RQ2 每个仿射 Nash 群是否都存在一个最小正规子群，使得商群为几乎线性？
• RQ3 连通仿射 Nash 群能否被分解为最大环形子群与最大几乎线性正规子群，且交集受控？
• RQ4 环形子群与几乎线性子群的交集是否在环形子群的几乎线性部分中具有有限指数？
• RQ5 代数群的结构定理如何通过代数化推广至 Nash 范畴？

主要发现

• 每个仿射 Nash 群 $G$ 都存在一个最小正规仿射 Nash 子群 $H$，使得 $G/H$ 为几乎线性，且 $H$ 是环形的。
• 对于连通仿射 Nash 群 $G$，存在最大环形子群 $G_{\text{ant}}$ 与最大连通、正规、几乎线性子群 $G_{\text{aff}}$，满足 $G = G_{\text{ant}} G_{\text{aff}}$。
• 交集 $G_{\text{ant}} \cap G_{\text{aff}}$ 包含 $(G_{\text{ant}})_{\text{aff}}$ 作为仿射 Nash 子群，且具有有限指数。
• 最大几乎线性子群 $G_{\text{aff}}$ 是 $G$ 中唯一的极大连通几乎线性 Nash 子群，$G_{\text{ant}}$ 是唯一的极大环形子群。
• 分解 $G = G_{\text{ant}} G_{\text{aff}}$ 与代数化相容，且 $G_{\text{ant}}$ 与 $G_{\text{aff}}$ 的李代数生成 $G$ 的李代数。
• 环形子群的几乎线性部分 $(G_{\text{ant}})_{\text{aff}}$ 是 $G_{\text{ant}} \cap G_{\text{aff}}$ 的有限指数子群。