[論文レビュー] 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$.

研究の動機と目的

• 原点における局所的複素解析的微分同相写像群 $ \mathrm{Diff}({\mathbb C}^n,0) $ 内の可解部分群の最大可能導来長を特定すること。
• 次元 $ 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 $ を超えることはない。