[論文レビュー] The Burnside problem for $ ext{Diff}_{ ext{Vol}}(\mathbb{S}^2)$

Sebastián Hurtado, Alejandro Kocsard+1 more|arXiv (Cornell University)|Jul 15, 2016

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

ひとこと要約

本稿は、2次元球面 $\mathbb{S}^2$ 上の体積保存 $ C^{\infty} $-微分同相群におけるバーンサイド問題を解決し、任意の有界指数を持つ有限生成周期部分群が必ず有限であることを証明する。この議論は、コycle力学による非指数的導関数成長と $ \mathbb{S}^2 $ の幾何学的剛性を組み合わせ、このような群が非自明な周期的作用を維持できず、矛盾を来すことを示している。

ABSTRACT

Let $S$ be a closed surface and $ ext{Diff}_{ ext{Vol}}(S)$ be the group of volume preserving diffeomorphisms of $S$. A finitely generated group $G$ is periodic of bounded exponent if there exists $k \in \mathbb{N}$ such that every element of $G$ has order at most $k$. We show that every periodic group of bounded exponent $G \subset ext{Diff}_{ ext{Vol}}(S)$ is a finite group.

研究の動機と目的

• 有界指数を持つ $\mathrm{Diff}_{\omega}(\mathbb{S}^2)$ 内の有限生成周期部分群が必ず有限であるかどうかを特定すること。
• 線形群にとどまらず、非線形変換群、特に体積保存微分同相群へのバーンサイド問題の理解を拡張すること。
• 不変測度を伴う高次元多様体、特に双曲多様体やトーラス上での周期的群の有限性結果を確立すること。
• 特に非指数的導関数成長と変位関数を用いた幾何学的・力学的剛性を用いて、無限周期的作用を除外すること。
• 群コycleおよび上昇技術を用いて、滑らかさおよび可測力学における周期的作用を統一的に分析する枠組みを提供すること。

提案手法

• 生成子の数を $k$ として、$k$ 個の記号における完全シフト上に、$\mathrm{Diff}(\mathbb{S}^2)$-コycleとして群作用を符号化する。
• 群元の非指数的導関数成長を用いて、周期性と矛盾する双曲的周期点を除外する。
• リブシツ型定理およびカトクの閉じる補題を適用し、導関数成長と力学的双曲性を結びつける。
• 群元の上への上昇を $\mathbb{R}^2$ の普遍被覆に施し、上昇元の変位関数 $\mathcal{D}(\tilde{g})$ を分析する。
• トーラス上での回転ベクトルホモモルフィズム $\rho_\mu$ の像の有限性を用いて、問題を有限変位に還元する。
• コロナリー6.2を適用し、有界変位を伴う $\mathbb{R}^q$ 上の周期的位相同相が恒等写像でなければならないことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有界指数を持つ $\mathrm{Diff}_{\omega}(\mathbb{S}^2)$ 内の有限生成周期部分群は、必ず有限であるか？
• RQ2 コンパクトな曲面における体積保存微分同相群に対して、バーンサイド問題が正しく解決可能か？
• RQ3 不変測度や幾何的構造（例：双曲性やシンプレクティック形式）が、周期的部分群を有限に強制するか？
• RQ4 力学的剛性および導関数成長の制約が、滑らかな変換群における周期的群の構造をどの程度制限するか？
• RQ5 トーラス上での回転ベクトルホモモルフィズムは、周期的位相同相の研究を有限変位解析に還元するために用いることができるか？

主な発見

• 有界指数を持つ $\mathrm{Diff}^\infty_\omega(\mathbb{S}^2)$ 内の任意の有限生成周期部分群は有限である。
• このような群における導関数の非指数的成長は、指数的群成長と両立せず、群が無限であると仮定すると矛盾を来す。
• 次元 $q \geq 3$ のコンパクトな双曲多様体 $M$ に対して、$\mathrm{Homeo}(M)$ 内の任意の周期的部分群は有限である。有限生成の仮定は不要である。
• 不変Borel確率測度を伴う $q$-トーラス上では、測度保存位相同相の任意の有限生成周期的部分群は有限である。
• トーラス上での回転ベクトルホモモルフィズム $\rho_\mu$ は、$\mathrm{Homeo}_0(\mathbb{T}^q)$ 内の周期的部分群を $\mathbb{T}^q$ の有限部分群に写像し、有限変位への還元を可能にする。
• 有界変位関数を伴う $\mathbb{R}^q$ 上の周期的位相同相は、コロナリー6.2を上昇元に適用することで恒等写像でなければならない。