[论文解读] Partially hyperbolic dynamics in dimension 3

Pablo D. Carrasco, Federico Rodriguez Hertz+2 more|arXiv (Cornell University)|Jan 5, 2015

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

一句话总结

本文综述了三维流形中部分双曲动力系统，聚焦于三维流形的拓扑结构与动力性质（如可达性、动力共轭性及遍历性）之间的相互作用。研究结果表明，在三维情形下，非退化的部分双曲性受到JSJ分解的结构限制；若一个三维流形支持具有Anosov环面边界的部分双曲微分同胚，则其必须具有多个边界环面，这意味着此类流形必为Seifert纤维化或无环面的（atoroidal）流形，且其动力行为由流形的几何结构所决定。

ABSTRACT

Partial hyperbolicity appeared in the sixties as a natural generaliza- tion of hyperbolicity. In the last 20 years in this area there has been great activity. Here we survey the state of the art in some topics, focusing especially in partial hyperbolicity in dimension 3. The reason for this is not only that it is the smallest dimension in which non-degenerate partial hyperbolicity can occur, but also that the topology of 3-manifolds influences this dynamics in revealing ways.

研究动机与目标

• 理解三维流形上部分双曲微分同胚的结构与分类。
• 研究三维流形的拓扑结构（特别是通过JSJ分解）如何约束部分双曲系统中的动力行为。
• 分析可达性、动力共轭性与遍历性在三维部分双曲系统中的作用。
• 确立具有Anosov环面边界的流形必须具有多个边界环面，从而排除单环面边界的可能。
• 阐明Seifert纤维化、Anosov环面与三维流形中非同伦等价纤维化存在之间的关系。

提出的方法

• 本文利用JSJ分解将三维流形分类为Seifert型与无环面/无筒型（acylindrical）部分，分析部分双曲动力如何与该分解相互作用。
• 研究在PSL(2,R)上右乘对角矩阵的作用，表明该作用诱导出具有明确稳定、不稳定与中心方向的部分双曲微分同胚。
• 通过左不变黎曼度量分析动力系统，其诱导出切丛分解为E^s、E^u与E^c子丛。
• 利用sl(2,R)的李代数结构在单位元处定义不变子丛，并通过右平移将其延拓至整个群。
• 应用不可压缩环面与带状面的理论，证明具有Anosov环面的流形必须具有多个边界环面，使用同调与特征值论证。
• 证明依赖于如下事实：环面边界上的双曲自同构若要保持同调包含映射的核，则必须有特征值1，但这与双曲性矛盾。

实验结果

研究问题

• RQ1 能否利用底层三维流形的拓扑结构完全分类三维部分双曲动力系统？
• RQ2 三维流形边界上存在Anosov环面时，对其边界环面数量有何限制？
• RQ3 JSJ分解与Seifert纤维化如何与三维流形上非同伦等价Seifert纤维化的存在相互作用？
• RQ4 在何种条件下，三维流形上的部分双曲微分同胚是动力共轭的或遍历的？
• RQ5 为何三维是非退化部分双曲性首次出现的最小维度？这一事实如何影响动力行为？

主要发现

• 在PSL(2,R)上右乘对角矩阵的作用诱导出具有明确稳定、不稳定与中心方向的部分双曲微分同胚，各方向分别对应于该矩阵的特征子空间。
• 该微分同胚在未来沿稳定叶面呈指数收缩，在过去沿不稳定叶面呈指数扩张，且在中心叶面上保持等距。
• 切丛分解为三个不变子丛：E^s（指数收缩）、E^u（指数扩张）与E^c（等距），构成部分双曲分裂。
• 任何支持具有Anosov环面边界的部分双曲微分同胚的三维流形，必须具有多于一个边界环面；若仅有一个环面边界，则诱导的同调映射必有特征值1，与双曲性矛盾。
• 若一个三维流形在其边界上存在两个非同伦等价的Seifert纤维化，则其必同胚于圆柱体、克莱因瓶上的扭I-丛或环面与区间之积——而这些流形均无法支持单个Anosov环面边界。
• 具有不可压缩环面边界分量的三维流形的JSJ分解可将其分离为Seifert部分与无环面/无筒部分，且该分解在同伦意义下唯一。