[论文解读] Horocycle flows for laminations by hyperbolic Riemann surfaces and Hedlund's theorem

Matilde Martínez, Shigenori Matsumoto+1 more|arXiv (Cornell University)|Nov 14, 2007

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

一句话总结

本文将Hedlund关于双曲曲面上的抛物线流的经典定理推广至由双曲黎曼曲面构成的叶状结构。论文建立了抛物线流拓扑传递的条件，证明若叶状结构中存在非单连通的叶，则抛物线流是极小的；该结论在通用双曲叶状结构（一个具有单连通叶的极小叶状结构的关键例子）中得到验证。

ABSTRACT

We study the dynamics of the geodesic and horocycle flows of the unit tangent bundle $(\hat M, T^1\mathcal{F})$ of a compact minimal lamination $(M,\mathcal F)$ by negatively curved surfaces. We give conditions under which the action of the affine group generated by the joint action of these flows is minimal, and examples where this action is not minimal. In the first case, we prove that if $\mathcal F$ has a leaf which is not simply connected, the horocyle flow is topologically transitive.

研究动机与目标

• 将Hedlund关于抛物线流的定理从紧致双曲曲面推广至由双曲黎曼曲面构成的叶状结构。
• 识别抛物线流在叶状结构的单位切丛上拓扑传递或极小的充分条件。
• 在叶状结构所生成的非传递、类齐性空间的背景下，分析测地线流与抛物线流的动力学行为。
• 构造抛物线流轨道闭包非代数（依Ratner定理意义）的例子，挑战经典单连通流闭包结果的适用性。

提出的方法

• 作者研究由紧致极小叶状结构$(M, \mathcal{F})$构成的单位切丛$\hat{M}$，其上由$PSL(2,\mathbb{R})$作用诱导出测地线流与抛物线流。
• 利用测地线流与抛物线流联合作用生成的仿射群，分析轨道闭包的极小性。
• 极小性证明依赖反证法：假设存在非稠密的轨道闭包$K$，则通过Zorn引理构造一个极小不变紧集$K_0$，从而导出测地线流存在全局横截面——与已知结果（命题5）矛盾。
• 对于通用双曲叶状结构$\mathcal{H}$，证明使用有限正则覆盖的逆极限构造法，将抛物线流提升至逆极限空间$\hat{\mathcal{H}}$。
• 论证利用了Hedlund定理在每个有限覆盖$\Sigma_\alpha$上的结果，证明对$\hat{\mathcal{H}}$中任意基本开集$U$，存在时间$t$使得$h_t(z) \in U$，通过从有限覆盖中提升开集实现。
• 分析区分了具有非单连通叶的叶状结构（此时证明抛物线流极小）与具有单连通叶的叶状结构（通过逆极限结构证明极小性，如叶状结构情形）。

实验结果

研究问题

• RQ1 在由双曲曲面构成的叶状结构的单位切丛上，抛物线流在何种条件下为极小流？
• RQ2 叶状结构中抛物线轨道的闭包是否可能非代数（依Ratner定理意义）？若可能，其条件为何？
• RQ3 联合测地线-抛物线流的极小性是否蕴含抛物线流本身的极小性？（如论文中所猜想。）
• RQ4 尽管所有叶均为单连通，通用双曲叶状结构上的抛物线流是否仍为极小流？
• RQ5 当叶状结构中某一片叶非单连通时，会引发何种动力学性质，特别是关于闭测地线轨道的存在性及其与抛物线流的相互作用？

主要发现

• 若由双曲曲面构成的叶状结构中存在非单连通的叶，则其单位切丛上的抛物线流为拓扑传递。
• 存在非单连通叶意味着存在闭测地线轨道，且若该轨道的抛物线轨道稠密，则抛物线流为极小流。
• 在通用双曲叶状结构上，抛物线流为极小流，尽管其所有叶均为单连通，这表明该叶状结构是一个具有单连通叶的紧致极小叶状结构。
• 本文构造了抛物线流轨道闭包非代数（依Ratner定理意义）的例子，表明叶状结构中抛物线轨道的闭包不一定是齐性子流形。
• 在定理4的证明中，通过Zorn引理构造的极小轨道闭包$K_0$，仅当其为整个空间时才在测地线流下不变，否则将导致矛盾，除非抛物线轨道是稠密的。
• 作者证明：在仿射作用为极小的极小叶状结构中，所有测地线流的周期点的抛物线轨道必为稠密，从而在两流之间建立了强关联。