Infinite transitivity and polynomial vector fields

技术摘要：无限传递性与多项式向量场

问题陈述
本文研究了由根子群（具体为由环面正规化的 $\mathbb{G}_a$-子群）生成的群在仿射平面 $\mathbb{C}^2$ 上具有无限传递性的条件。一个作用是无限传递的，是指对于任意 $m$，该群能够将任意 $m$ 元组的不同点映射到任意其他 $m$ 元组的不同点。作者聚焦于由两个特定的一参数单幂子群生成的群 $G_{r,s}$：
$$L_r: (x + \alpha y^r, y) \quad \text{和} \quad R_s: (x, y + \beta x^s),$$
其中 $\alpha, \beta \in \mathbb{C}$，且 $r, s$ 为非负整数。

虽然此前已确立，仅当 $rs=2$时$G_{r,s}$才在其开轨道上具有无限传递性（且$rs=2$意味着在$\mathbb{C}^2 \setminus {0}$上具有无限传递性），但本文探讨的是更广泛的*泛*无限传递性问题。具体而言，旨在确定$G_{r,s}$在$(\mathbb{C}^2)^m$上的对角作用何时对任意$m$ 拥有 Zariski 开轨道。

方法论
作者采用了一种结合代数李理论与解析逼近技术的双管齐下的方法：

1. 李代数分析：研究的核心是 $\mathbb{C}^2$ 上具有零散度的多项式向量场的李代数 $\mathcal{L}$，该代数同构于装备了标准泊松括号 $\{f, h\} = \frac{\partial f}{\partial x}\frac{\partial h}{\partial y} - \frac{\partial f}{\partial y}\frac{\partial h}{\partial x}$ 的多项式李代数 $\mathbb{C}[x, y]$。作者分析了由特定单项式生成的子代数，例如 $\text{Lie}(x^p, y^q)$，以确定它们的余维数及其与单变量多项式子代数的交集性质。
2. 流的逼近：为了弥合李代数与变换群之间的鸿沟，作者利用了 Varolin 关于多项式流逼近的结果。这使得他们能够通过复合局部幂零导数的流来构造自同构。证明依赖于隐函数定理以及用代数流逼近解析流的能力，从而确保由特定导数的流生成的群具有开轨道作用。

主要贡献与结果

• 泊松子代数的结构：本文建立了由两个单项式生成的子代数 $\text{Lie}(x^p, y^q)$ 的精确描述。

  • 命题 7：对于 $\min(p, q) \ge 2$ 且 $\max(p, q) \ge 3$，该子代数与单变量多项式的交集由 $\text{Lie}(x^p, y^q) \cap \mathbb{C}[x] = x^p \mathbb{C}[x^{pq-p-q}]$ 给出（对 $y$ 同理）。
  • 推论 9：子代数 $\text{Lie}(x^p, y^q)$ 在 $\mathbb{C}[x, y]$ 中具有有限余维数，当且仅当 $(p, q) = (2, 3)$ 或 $(3, 2)$。
  • 定理 10：在相同条件下，由 $x^p - y$ 和 $y^q$ 生成的子代数是整个代数 $\mathbb{C}[x, y]$。

• 李代数的 2-生成性：

  • 命题 1：零散度多项式向量场的李代数 $\mathcal{L}$ 由两个局部幂零导数生成：$\partial_1 = y^2 \frac{\partial}{\partial x}$ 和 $\partial_2 = \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$。
  • 命题 11：具有常数散度的多项式向量场的李代数 $\tilde{\mathcal{L}}$（即 $\text{Aut}(\mathbb{C}^2)$ 的切代数）也是 2-生成的。

• 关于传递性的主要定理：

  • 定理 18（主要结果）：群 $G_{r,s}$ 在 $\mathbb{C}^2$ 上的作用是泛无限传递的，当且仅当 $rs \ge 2$。这扩展了此前仅限于 $rs=2$ 和穿孔平面的结果。
  • 定理 17：群 $G_{r,s}$ 在开子集 $O \subseteq \mathbb{C}^2$ 上无限传递地作用，当且仅当 $rs=2$。在这种情况下，$O = \mathbb{C}^2 \setminus {0}$。本文利用李代数框架为该结果提供了新的证明。

• 推广：

  • 命题 25：结果被推广到 Danielewski 曲面 $Y_p = \{(x, y, z) \in \mathbb{C}^3 : xy = p(z)\}$，表明由特定局部幂零导数生成的群在这些曲面上泛无限传递地作用。
  • 推论 29：作者构造了一对特定的 $\mathbb{G}_a$-子群（其中一个不是根子群），它们生成一个在 $\mathbb{C}^2$ 上无限传递的群，利用了零散度李代数的 2-生成性。

意义与主张
本文声称其主要意义在于将无限传递性的性质与底层切李代数的结构联系起来。通过证明当且仅当相关的李代数子代数具有有限余维数（具体为 $rs \ge 2$ 时）作用才是泛无限传递的，作者为传递性提供了一个结构判据。

作者指出，虽然李代数结果是纯代数的且在任意特征为零的域上有效，但群作用的传递性结果依赖于解析方法（特别是隐函数定理和流逼近）。他们明确声明，获得无限传递性的纯代数判据仍然是一个未解决的且有趣的问题。这项工作也作为将这些李代数技术应用于其他仿射曲面（如 Danielewski 曲面）的概念验证。