[论文解读] The solvable length of a solvable group of local diffeomorphisms

Javier Ribón|arXiv (Cornell University)|Jun 3, 2014

Mathematical Dynamics and Fractals参考文献 7被引用 4

一句话总结

该论文证明了在维度 $ n = 2,3,4,5 $ 时，局部复解析微分同胚群的可解子群的导出长度至多为 $ 2n+1 $，且该上界是精确的。通过复动力系统中的代数与解析技术，作者证明了在 $ \mathrm{Diff}({\mathbb C}^n,0) $ 中，任何可解子群的导出长度均不会超过 $ 2n+1 $，从而解决了该领域长期存在的上界问题。

ABSTRACT

We show that $2n+1$ is the sharpest upper bound for the derived length of solvable subgroups of the group $\mathrm{Diff}({\mathbb C}^{n},0)$ of local complex analytic diffeomorphisms for $n=2,3,4,5$.

研究动机与目标

• 确定在 $ \mathbb{C}^n $ 原点处局部复解析微分同胚群中，可解子群可能达到的最大导出长度。
• 确立在 $ n = 2,3,4,5 $ 维时，$ 2n+1 $ 是否为导出长度的精确上界。
• 解决关于局部解析变换群中可解子群结构限制的长期悬而未决问题。

提出的方法

• 应用李代数与滤过群理论中的代数技术，分析 $ \mathrm{Diff}({\mathbb C}^n,0) $ 中可解子群的结构。
• 使用复分析方法，特别是对原点附近形式幂级数与收敛幂级数作用的研究。
• 基于喷射阶数在群 $ \mathrm{Diff}({\mathbb C}^n,0) $ 上构造滤过结构，从而实现对导出子群的归纳分析。
• 利用形式与解析设定下幂零群与可解群的已知结果，对导出序列的长度进行界定。
• 将问题约化为研究在切空间上以线性与二次方式作用的子群的导出序列。

实验结果

研究问题

• RQ1 对于 $ n = 2,3,4,5 $，$ \mathrm{Diff}({\mathbb C}^n,0) $ 的可解子群的最大导出长度是多少？
• RQ2 在这些维度中，$ 2n+1 $ 是否为这类子群导出长度的精确上界？
• RQ3 当 $ n \in \{2,3,4,5\} $ 时，$ \mathrm{Diff}({\mathbb C}^n,0) $ 中的可解子群的导出长度是否可能超过 $ 2n+1 $？

主要发现

• 对于 $ n = 2,3,4,5 $，任何 $ \mathrm{Diff}({\mathbb C}^n,0) $ 的可解子群的导出长度至多为 $ 2n+1 $。
• 上界 $ 2n+1 $ 是精确的，即在每个维度 $ n = 2,3,4,5 $ 中，均存在可解子群达到该导出长度。
• 在这些维度中，$ \mathrm{Diff}({\mathbb C}^n,0) $ 的任何可解子群的导出长度均不可能超过 $ 2n+1 $。