[論文レビュー] Rigidity for $C^1$ actions on the interval arising from hyperbolicity I: solvable groups

Christian Bonatti, Ignacio Monteverde+2 more|arXiv (Cornell University)|Sep 20, 2013

Mathematical Dynamics and Fractals参考文献 15被引用数 9

ひとこと要約

本稿は、可解的でアーベル的であるが可換な部分群を持つ群の $C^1$ 群作用について、その可換部分群上で双曲的であると仮定したときの剛性を確立する。このような作用は、滑らかな共役が存在しない場合でも、正確な乗数の制御を伴ってアフィン作用と位相的共役であることが示され、双曲的力学と非指数的成長の性質を用いて例外的な極小集合や有限軌道の存在を除外する。

ABSTRACT

We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result concerning the multipliers of the homotheties, despite the fact that the conjugacy is not necessarily smooth. Some consequences for non-solvable groups are proposed. In particular, we give new proofs/examples yielding the existence of finitely-generated, locally-indicable groups with no faithful action by $C^1$ diffeomorphisms of the interval.

研究の動機と目的

• アーベル的であるが可換な部分群を持つ群の $C^1$ 作用を、双曲的条件のもとで分類すること。
• 滑らかな共役が存在しない場合でも、アフィン群への位相的共役を確立すること。
• 反復作用における平行移動ベクトルと微分の動的挙動を分析し、例外的な極小集合の存在を除外すること。
• 非アーベル的像に対しても、乗数の振る舞いを制御することで剛性結果を拡張すること。
• 局所的に指示可能である設定において、区間上に忠実な $C^1$ 作用を持たない新しい例とその証明を提供すること。

提案手法

• アーベル部分群上で作用する行列 $A$ の双曲的性を用いて、微分の成長と軌道の拡大を制御する。
• $\log(Da)$ のゼロ平均と一意的エルゴード性を用いて、$Da^n$ の非指数的成長推定を適用する。
• 正規化された平行移動ベクトル $\vec{\tau}_{x_n}$ の構成と、安定・不安定部分空間への収束の分析。
• 双対ノルム $\|\cdot\|_*$ における錐領域と錐の拡大・収縮を用いて、ベクトルの方向を制御する。
• $|Da^n|$ が非指数的に成長することを用いて、平行移動ベクトルが不安定方向に収束する場合に、$Da^n$ の非指数的成長と矛盾が生じることを導く。
• トーラス安定性とカンティウェル＝コンロンの技法を、非自明な力学的性質を示す $C^1$ 作用に適応する。

実験結果

リサーチクエスチョン

• RQ1 区間上でのアーベル的であるが可換な部分群を持つ群の $C^1$ 作用が、どのような条件下でアフィン作用と位相的共役となるか？
• RQ2 アーベル部分群上での作用の双曲的性が、$C^1$ 群作用の剛性にどのように影響するか？
• RQ3 微分の制御と非指数的成長を用いて、有限軌道や例外的な極小集合の不在を確立できるか？
• RQ4 ホモセティの乗数が、このような群の非アーベル的 $C^1$ 作用にどのような制約を課えるか？
• RQ5 局所的に指示可能な、有限生成群のうち、区間上に忠実な $C^1$ 作用を持たないものはどれであり、なぜそうなるのか？

主な発見

• 群 $G = \mathbb{Z} \ltimes_A H$ の $C^1$ 作用が内部に全固定点を持たず、$A$ が双曲的であれば、その作用はアフィン作用と位相的共役である。
• 非アーベル的像の場合は、滑らかな共役が存在しない場合でも、ホモセティの乗数はきめ細かく制約される。
• 例外的な極小集合の不在は背理法により示される：平行移動ベクトルが不安定方向に収束するならば、微分の成長が $Da^n$ の非指数的成長と矛盾する。
• 正規化された平行移動ベクトル $\vec{\tau}_{x_n}$ は、初期の方向に応じて $A^T$ の安定または不安定部分空間に収束する。
• 証明は双対ノルム $\|\cdot\|_*$ における錐の議論に依拠しており、$E^u$ の周囲の小さな錐内のベクトルは逆方向反復において拡大される。
• この結果は、$A$ がノルムが1の固有値を持たず、$H$ が全 $\mathbb{Q}$-ランク $d$ を持つという仮定のもとで成り立つ。