[论文解读] Problems for problem session

Vladimir L. Popov|ArXiv.org|Apr 25, 2005

Advanced Differential Equations and Dynamical Systems参考文献 6被引用 6

一句话总结

本文在代数几何与群论中提出了关于特殊仿射克雷蒙群 $\operatorname{Aut}^*_{k}k^{[n]}$ 的基本开放问题，聚焦于根系、由局部幂零导子生成的性质，以及齐次空间的有理性。论文提出该群是有限 $\partial$-生成的，并猜想对于有限阶自同态 $\sigma$，有 $G/G^\sigma$ 的有理性，关键结果包括纳加塔自同态可通过单个导子实现 $\partial$-生成。

ABSTRACT

Below are the problems that I formulated at Open Problems Session of {\it Workshop on Group Actions on Rational Varieties}, McGill University and University of Montreal, Canada, March 2002. To appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.

研究动机与目标

• 针对对角环 $T$，对特殊仿射克雷蒙群 $\operatorname{Aut}^*_{k}k^{[n]}$ 的所有根与根向量进行分类。
• 确定 $\operatorname{Aut}^*_{k}k^{[n]}$ 是否为有限 $\partial$-生成，即是否由有限多个局部幂零导子及其加权版本的指数生成。
• 描述 $\operatorname{Aut}^*_{k}k^{[n]}$ 中极大环 $T$ 的中心化子与正规化子的结构。
• 研究由两个一参子群 $\exp tP$ 与 $\exp tQ$ 生成的群在何种条件下为有限维，其中 $P, Q$ 为局部幂零导子。
• 证明或否证：对于半单代数群 $G$ 与有限阶自同态 $\sigma$，齐次空间 $G/G^\sigma$ 是否有理。

提出的方法

• 将 $\operatorname{Aut}^*_{k}k^{[n]}$ 的根向量定义为满足 $\sigma \circ D \circ \sigma^{-1} = \chi(\sigma)D$ 的局部幂零导子 $D$，其中 $\sigma \in T$，$\chi$ 为对角环 $T$ 的特征标。
• 利用指数映射 $\exp tD$ 将局部幂零导子 $D$ 关联到 $\operatorname{Aut}^*_{k}k^{[n]}$ 的一参子群。
• 通过在 $\operatorname{Ker}D$ 中乘以元素构造新的局部幂零导子，得到 $fD$（$f \in \operatorname{Ker}D$），并对应生成自同构 $\exp fD$。
• 通过分解为子群 $\operatorname{SL}_n$、平移群 $\operatorname{T}_n$ 与德·琼奎耶尔群 $\operatorname{J}_n$，分析 $\operatorname{Aut}^*_{k}k^{[n]}$ 的群结构。
• 应用关于环作用线性化的已知结果，将维数小于 $n-1$ 的极大环不存在的性质与此类作用下 $\mathbb{A}^n$ 的有理性联系起来。
• 以纳加塔自同态为关键例子：$\sigma = \exp fD$，其中 $D = -2x_2D_1 + x_3D_2$ 且 $f = x_3x_1 + x_2^2 \in \operatorname{Ker}D$，表明其虽非坦群，但属于导子指数生成的群。

实验结果

研究问题

• RQ1 对于对角环 $T$，$\operatorname{Aut}^*_{k}k^{[n]}$ 的所有根与根向量是什么？
• RQ2 群 $\operatorname{Aut}^*_{k}k^{[n]}$ 是否为有限 $\partial$-生成，即是否由有限多个局部幂零导子及其加权版本的指数生成？
• RQ3 $\operatorname{Aut}^*_{k}k^{[n]}$ 中 $T$ 的中心化子与正规化子的结构如何？
• RQ4 当局部幂零导子 $P$ 与 $Q$ 满足何种条件时，包含 $\exp tP$ 与 $\exp tQ$ 的最小闭子群为有限维？
• RQ5 对于连通半单代数群 $G$ 与有限阶自同态 $\sigma$，齐次空间 $G/G^\sigma$ 是否有理？

主要发现

• 群 $\operatorname{Aut}^*_{k}k^{[n]}$ 包含根向量 $x_iD_j$（$i \neq j$）与 $D_i$，其对应的根分别为 $\varepsilon_i\varepsilon_j^{-1}$ 与 $\varepsilon_i$，对应于对角环 $T$。
• 在 $n=3$ 时，纳加塔自同态是 $\partial$-生成的：$\sigma = \exp fD$，其中 $D = -2x_2D_1 + x_3D_2$ 且 $f = x_3x_1 + x_2^2 \in \operatorname{Ker}D$，表明其属于由导子指数生成的群。
• 对于 $n=3$，基于文献 [KR]、[KR1]、[Ko]、[KM]、[KR2]、[KR3] 与 [KMKR] 的结果，所有体积保持的环作用在 $\mathbb{A}^3$ 上均线性化的结论为真。
• $\operatorname{Aut}^*_{k}k^{[2]}$ 是有限 $\partial$-生成的，因为其由 $\operatorname{SL}_2$、$\operatorname{T}_2$ 与 $\operatorname{J}_2$ 生成，而每一项均由有限个导子生成。
• 当 $\operatorname{ord} \sigma = 2$ 时，猜想 $G/G^\sigma$ 有理成立，因为此类空间存在 Borel 子群的稠密开轨道，而可解群的轨道是有理的。
• 由 $\exp tP$ 与 $\exp tQ$ 生成的最小闭子群为有限维，当且仅当导子 $P$ 与 $Q$ 满足特定代数相容性条件，尽管精确刻画仍为开放问题。