[論文レビュー] Partially hyperbolic diffeomorphisms homotopic to the identity on 3-manifolds

Thomas Barthelmé, Sérgio R. Fenley+2 more|arXiv (Cornell University)|Dec 31, 2017

Mathematical Dynamics and Fractals参考文献 13被引用数 6

ひとこと要約

本研究のお知らせは、3次元多様体上の部分的双曲的微分同相写像が恒等写像にホモトープである場合、葉層構造論と剛性論的議論を用いて、多様体がシエーベルト被覆されているか、双曲的である場合には、動的整合性を示し、離散化されたアノソフ流れに同相であることを分類する。主な結果は、このような微分同相写像が、アノソフ流れの時間1写像であるか、二重平行移動の振る舞いを示すが、その後者については、双曲的多様体では特定の条件下で除外される。

ABSTRACT

We announce some results towards the classification of partially hyperbolic diffeomorphisms on 3-manifolds, and outline the proofs in the case when the diffeomorphism is dynamically coherent. Detailed proofs are long and technical and will appear later.

研究の動機と目的

• 葉層構造に基づく内側から外側への戦略を用いて、恒等写像にホモトープな3次元多様体上の部分的双曲的微分同相写像を分類すること。
• 幾何的制約のもとで、非可積分な中心安定・不安定バンドルの障害を解消し、動的整合性を証明すること。
• シエーベルト多様体および双曲的3次元多様体において、このような微分同相写像が離散化されたアノソフ流れに同相であることを示すこと。
• 双曲的多様体において、二重平行移動の振る舞いを示す非動的整合的例の存在を除外すること。
• JSJ分解と疑似アノソフ的流れの存在を仮定することで、一般の非可約3次元多様体、特にグラフ多様体へ分類結果を拡張すること。

提案手法

• 弱葉層を用いて、中心安定・不安定バンドルの可積分性を解析するための葉層理論の使用。
• R被覆アノソフ流れの理論とその逆写像を応用し、二重平行移動の例の候補を構成する。
• 葉同相性と分岐葉層の最小性を用いて、動的整合性を導出する。
• シエーベルト被覆構造を用いて、シエーベルト多様体における動的整合性を強制する「シエーベルトのテクニック」を構築する。
• 非サスペンションアノソフ流れに対してC¹の逆写像（例えばη）が存在しないことに基づく剛性論的議論により、双曲的多様体における二重平行移動の排除。
• JSJ分解を用いて一般の非可約3次元多様体への結果の拡張を試み、特に非アトロイダルな部分多様体における規制的疑似アノソフ的流れの存在を仮定する。

実験結果

リサーチクエスチョン

• RQ1 恒等写像にホモトープな3次元多様体上の任意の部分的双曲的微分同相写像は、離散化されたアノソフ流れに同相であるか？
• RQ2 幾何的および位相的制約のもとで、3次元多様体における動的整合性はどのような条件下で成立するか？
• RQ3 両方の弱葉層が保存されるが、一意的可積分でない「二重平行移動の振る舞い」が、双曲的3次元多様体に存在しうるか？
• RQ4 シエーベルト被覆構造を用いて、シエーベルト多様体における動的整合性を強制できるか？
• RQ5 JSJ分解は、特にグラフ多様体を含む一般の非可約3次元多様体への分類結果の拡張において、どのような役割を果たすか？

主な発見

• シエーベルト被覆された3次元多様体では、恒等写像にホモトープな任意の部分的双曲的微分同相写像は動的整合的であり、離散化されたアノソフ流れに同相である。
• 双曲的3次元多様体では、逆写像ηがC¹でないという仮定のもとで、二重平行移動例（非動的整合的）の存在は除外される。これは非サスペンションアノソフ流れにおいて成立する。
• 非サスペンションR被覆アノソフ流れにおいて、逆写像ηがC¹でないことは、C¹の二重平行移動微分同相写像の構成を妨げる。
• 弱葉層とその最小性の理論により、分岐する葉およびその交点が固定されることを証明した後、動的整合性が導かれる。
• 一般の非可約3次元多様体では分類は未解決のままだが、非アトロイダルな部分多様体では疑似アノソフ的流れを伴う、主定理の類似が予想される。
• グラフ多様体の場合は、非アトロイダルな部分多様体がなく、基本群に中心がないため、未解決のままであり、新しい技術の開発が求められる。