[论文解读] On multidegrees of polynomial automorphisms of C^3

Jakub Zygadło|ArXiv.org|Mar 31, 2009

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

一句话总结

本文证明了对于任意正整数 $a$ 和 $b$，存在一个常数 $c_0$，使得对所有 $c \geq c_0$，存在一个具有多重度 $(a,b,c)$ 的 $\mathbb{C}^3$ 上的驯服多项式自同构。该构造通过递归多项式扰动以及初等映射与线性映射的复合，实现了第三坐标中任意高的次数，同时保持了驯服性。

ABSTRACT

We prove that for every pair of positive integers a, b there exists a number c_0 such that for every c>=c_0 one can find a tame polynomial automorphism of C^3 with multidegree equal to (a,b,c).

研究动机与目标

• 解决一个开放问题：是否每个正整数三元组 $ (a,b,c) $ 都可以实现为 $\mathbb{C}^3$ 上多项式自同构的多重度。
• 在给定 $a$ 和 $b$ 的前提下，建立 $c$ 的充分条件，以确保存在具有多重度 $ (a,b,c) $ 的驯服自同构。
• 通过初等映射与线性映射的复合，显式构造驯服自同构，利用多项式扰动中递归的系数选择。
• 将 $n=2$ 时所需的次数可除性条件推广至 $n=3$ 的情形，此时尚未知存在此类限制。

提出的方法

• 将多项式自同构 $ F: \mathbb{C}^3 \to \mathbb{C}^3 $ 的多重度定义为 $ \operatorname{mdeg}F = (\deg F_1, \deg F_2, \deg F_3) $。
• 通过初等映射的复合：$ F = F_2 \circ F_1 $，其中 $ F_1 $ 在 $ z^a $ 和 $ z^b $ 中添加单项式，$ F_2 $ 添加涉及 $ x^{e/a} - y^{e/b} $ 的项，其中 $ e = \operatorname{lcm}(a,b) $。
• 引入一个关于 $ x,z $ 的校正多项式 $ u(x,z) $，其次数小于 $ b $，通过递归定义以抵消第三坐标中低次项。
• 通过二项式系数及低阶 $ u_k $ 的乘积，递归设定 $ u_{i} $，以确保第三坐标首项次数为 $ c $。
• 通过分析来自 $ x^i z^{d-ia} $、$ y^j z^{d-jb} $ 和 $ (y + z^m + u)^j $ 的单项式，界定第三坐标的最大次数，证明其等于 $ \max\{c, d - r\} $，其中 $ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $。
• 建立 $ c_0 = \operatorname{lcm}(a,b) - r $，确保当 $ c \geq c_0 $ 时，可保证得到所需的多重度 $ (a,b,c) $。

实验结果

研究问题

• RQ1 对于哪些正整数三元组 $ (a,b,c) $，存在 $\mathbb{C}^3$ 上具有多重度 $ (a,b,c) $ 的驯服多项式自同构？
• RQ2 当 $c$ 足够大时，即使 $\gcd(a,b) > 1$，是否每个三元组 $ (a,b,c) $ 都能实现为驯服自同构的多重度？
• RQ3 是否存在一个仅依赖于 $a$ 和 $b$ 的统一常数 $c_0$，使得所有 $c \geq c_0$ 都能实现此类自同构？
• RQ4 该构造能否通过仅使用初等映射与线性映射，实现显式且递归的构造，以保持驯服性？

主要发现

• 对于任意固定的 $ a, b > 2 $，存在常数 $ c_0 = \operatorname{lcm}(a,b) - r $，其中 $ r = \min\{b-1, (a-1)(\lfloor b/a \rfloor + 1)\} $，使得对所有 $ c \geq c_0 $，均存在具有多重度 $ (a,b,c) $ 的驯服自同构。
• 该构造显式地通过初等映射与线性映射的复合构建了此类自同构，第三坐标的次数精确为 $ c $，通过在修正多项式 $ u(x,z) $ 中递归选择系数实现。
• 当 $\gcd(a,b) = 1 $ 时，$ c_0 = (a-1)(b-1) $ 已足够，从而恢复了经典的 Frobenius 硬币问题结果。
• 当 $ a=2 $ 时，对所有 $ b > 2 $ 成立，特别是对形如 $ (2n, 3n) $ 和 $ (2n, 5n) $ 的对，对所有 $ n \geq 1 $ 均为驯服的。
• 该构造仅在 $ c_0 $ 以下的有限多个 $ c $ 处失败，其余情况可通过在 $ u(x,z) $ 中递归调整系数覆盖。
• 本文确认，当 $ a \mid b $ 或 $ a \leq 2 $，或当 $ c $ 是 $ a $ 与 $ b $ 的非负整数组合时，此类自同构存在，从而推广了先前的结果。