强幂零 Jacobian 自同构的 Pascal 有限性及其逆命题边界

《Journal of Algebra》：Strongly nilpotent automorphisms are Pascal finite

　　

研究人员比较形如 F=X+H∈K[X]ⁿ 的两类多项式映射，其中 K 为域，X=(X₁,…,X_n)，H=(H₁,…,H_n) 且对 1≤i≤n 满足 ord H_i≥2；即具有强幂零 Jacobian 矩阵（strongly nilpotent Jacobian matrix）J_H 的多项式映射与 Pascal 有限自同构（Pascal finite automorphisms）。研究人员得出结论：在特征零（characteristic zero）中，每个具有强幂零 Jacobian 矩阵 J_H 的多项式映射均为 Pascal 有限，但反之不成立。研究人员观察到，在特征零中 Nagata 自同构（Nagata's automorphism）为 Pascal 有限，而其 J_H 并非强幂零。考虑 Vasyunin 例子（Vasyunin example）使研究人员得出结论：并非每个二次多项式自同构（quadratic polynomial automorphism）都是 Pascal 有限。

研究背景与问题：论文讨论域 K 上形如 F=X+H∈K[X]ⁿ 的多项式映射（polynomial map，由多项式分量构成的映射），其中 X=(X₁,…,X_n)，H 的分量消没阶至少为 2。可逆多项式映射对应 K-自同构；Keller 映射满足 det J_F=const≠0。Jacobian 猜想断言特征零时 det J_F 为非零常数即 F 可逆。对 F 作平移和线性部分归一化可写为 F=X+H，并与 Pascal depth 相容。近期 Johnston 用平面树组合框架给出 J_H 强幂零时逆映射的改进度界，促使研究人员比较强幂零 Jacobian 矩阵与 Pascal 有限自同构两类多项式映射，考察 Pascal 有限性的代数结构及其与强幂零 Jacobian 的关系。研究人员证明特征零中 J_H 强幂零的多项式映射均为 Pascal 有限，但逆命题不成立；Nagata 自同构为 Pascal 有限而 J_H 非强幂零；Vasyunin 例子说明并非每个二次多项式自同构均 Pascal 有限。该研究把 Pascal 差分算法与强幂零滤链、加权次数结合，给出不依赖维数 n 的 Pascal depth 界并恢复 Johnston 的逆度界，同时厘清 Pascal 有限、tame、局部有限等类的关系。

关键技术方法：研究人员采用 Pascal 差分算子 Δ_F(P)=P°F?P 及 P_k=Δ_F^k(X) 定义 Pascal 有限性和 Pascal depth τ_K(F)；利用线性共轭不变性和强幂零 J_H 的滤链 0=V₀?…?V_r=Kⁿ（J_H(v)V_i?V_i?1）选取基并赋权，估计 P_kⁱ 的加权次数；结合 P_kⁱ 的消没阶与总度估计得到 Pascal depth 和逆映射度界；对 Vasyunin 例子用递推关系、单项式正系数及次数无界证明非局部有限。无样本队列。

研究结果：
**2 Pascal finite automorphisms**：定义 σ_F、Δ_F、P_k 和 τ_K(F)，给出逆映射公式 G=Σ(?1)^lP_l；汇总共轭不变、三角及可三角化映射 Pascal 有限、逆与迭代保持、任意两个 Pascal 有限复合不必 Pascal 有限、Gorni-Zampieri 配对等价等性质；指出 Pascal 有限自同构是局部有限（locally finite，轨道张成有限维）的子类，但局部有限不必 Pascal 有限；对形式 F=X+H 两者等价；在特征零且 (J_H)²=0 时 F Pascal 有限且 F^?1=X?H，H_i=L_i³ 且 (J_H)³=0 时亦 Pascal 有限。
**3 Relation with tame automorphisms**：定义初等、仿射、tame（tame automorphism，由初等和仿射自同构有限复合）及线性三角化；指出 Pascal 有限自同构不构成子群，因两个 Pascal 有限三角映射的复合可非 Pascal 有限；相关结果说明 Pascal 有限与 tame 互不包含且交集非空：仿射线性映射若线性部分不幂零则 tame 非 Pascal；Nagata 自同构为 wild 但 Pascal 有限（Δ_F³(X)=0）且非 tame，故 Pascal 有限非 tame；初等/三角映射及某些扩展给出交集例。
**4 Strongly nilpotent Jacobian matrices**：定义 J_H 强幂零及指数 r；定理表明强幂零等价于 J_H(v₁)…J_H(v_n)=0、可经线性共轭化为上三角主对角零、F 线性三角化；由此 J_H 强幂零推出 F 为多项式自同构；并指出二次、三次及一般映射中幂零与强幂零在低维成立、高维失效的维数阈值；Johnston 的逆度界为 deg F^?1≤(deg F)^r?1。
**5 Strong nilpotency and Pascal finiteness in characteristic zero**：
**5.1 Maps with strongly nilpotent Jacobian matrix are Pascal finite**：由强幂零?线性三角化?Pascal 有限证明特征零中 J_H 强幂零映射均 Pascal 有限；Nagata 映射 Pascal 有限但 J_H 非强幂零，说明反之不成立。
**5.2 A degree bound independent of the dimension**：先得 deg F^?1≤(deg F)^τ_K(F)?1；再用强幂零滤链和加权次数证明 deg P_kⁱ≤D^r?1，进而 τ_K(F)≤μ_r=?(D^r?1?d)/(d?1)?+2 且 deg F^?1≤D^r?1=(deg F)^r?1，该界只依赖 r 不依赖 n，恢复 Johnston 界；r≤2 时 τ_K(F)=r=2 且 F^?1=X?H；给出 n=4、r=3 而 τ_K(F)=2 的例子，并说明 τ_K(F) 与 r 三种大小关系均可出现，τ_K(F) 不由 r 决定。
**5.3 Vasyunin example**：Vasyunin 映射 J_H 幂零但非强幂零且 tame；通过显式逆映射和递推证明 σ_F^k(F) 某些分量单项式系数恒正、次数无界，故 F 非局部有限，从而非 Pascal 有限；推论并非每个二次多项式自同构 Pascal 有限。
**6 Final remarks**：比较 Pascal 有限框架与 Johnston 树组合方法，指出齐次情形消没阶界与 d 叉树叶子数 L_k=(d?1)k+1 仅数值巧合；Δ_F 会同时混合不同高度树的贡献，故 Δ_F^k(X) 不能逐项分离高度恰为 k 的树，当前仅能证明该阶界联系。研究结论翻译：在特征零中，每个具有强幂零 Jacobian 矩阵 J_H 的多项式映射均为 Pascal 有限，但反之不成立；Nagata 自同构为 Pascal 有限而其 J_H 非强幂零；Vasyunin 例子表明并非每个二次多项式自同构均为 Pascal 有限。