[论文解读] Orthogonal powers and Möbius conjecture for smooth time changes of horocycle flows

Livio Flaminio, Giovanni Forni|arXiv (Cornell University)|Nov 12, 2018

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

一句话总结

本文证明了紧商空间上非平凡光滑时间变换的Horocycle流满足AOP（渐近正交幂次）性质，从而推出Sarnak的Möbius正交性猜想。通过结合Ratner对时间变换Horocycle流的joinings分类结果与作者的上同调结果，本文证明：若此类流的不同幂次存在非平凡joinings，则时间变换函数必须上同调于常数；否则，AOP性质成立，进而推出所有与该时间变换流的一次时间映射拓扑共轭的唯一遍历系统均满足Möbius正交性。

ABSTRACT

We derive, from the work of M. Ratner on joinings of time-changes of horocycle flows and from the result of the authors on its cohomology, the property of orthogonality of powers for non-trivial smooth time-changes of horocycle flows on compact quotients. Such a property is known to imply P. Sarnak's Möbius orthogonality conjecture, already known for horocycle flows by the work of J. Bourgain, P. Sarnak and T. Ziegler.

研究动机与目标

• 建立紧商空间上非平凡光滑时间变换Horocycle流的AOP（渐近正交幂次）性质。
• 证明当时间变换函数不上同调于常数时，此类流满足Sarnak的Möbius正交性猜想。
• 通过直接利用Ratner的joinings分类与作者的上同调特征刻画，回答Kanigowski、Lemańczyk与Ulcigrai提出的问题。
• 证明Möbius正交性猜想对所有与该时间变换流的一次时间映射测度共轭的拓扑唯一遍历系统均成立。

提出的方法

• 利用Ratner对时间变换Horocycle流的joinings分类，分析流的不同幂次之间联合分布的结构。
• 应用作者对Horocycle流中余边界（coboundaries）的上同调特征刻画，确定时间变换函数上同调于常数的条件。
• 利用时间变换函数τ属于W^s(Γ\G)且s > 2的事实，确保Sobolev空间技术所需的足够正则性。
• 分析测地流在不变分布上的作用，并利用谱分解研究流的转移算子行为。
• 应用Sobolev空间理论与G-等距嵌入技术，将覆盖空间上的分布与基空间上的分布联系起来。
• 在不变分布子空间上运用对偶性与投影技术，证明任何消去τ的不变分布必恒为零。

实验结果

研究问题

• RQ1 在何种条件下，光滑时间变换Horocycle流的不同幂次会存在非平凡joinings？
• RQ2 在紧商空间上，光滑时间变换函数τ在何种情况下上同调于常数？
• RQ3 在时间变换Horocycle流的背景下，AOP性质如何与Möbius正交性猜想相关联？
• RQ4 能否将Ratner的joinings分类与上同调结果结合，推导出时间变换流的正交性性质？
• RQ5 Sobolev正则性s > 2在确保此类流的AOP性质有效性中起何种作用？

主要发现

• 若光滑时间变换Horocycle流的不同幂次存在非平凡joinings，则时间变换函数τ必上同调于常数。
• 对于时间变换函数τ不上同调于常数的光滑时间变换Horocycle流，AOP性质成立，意味着其幂次渐近正交。
• Möbius正交性猜想对所有与该时间变换流的一次时间映射测度共轭的拓扑唯一遍历系统均成立。
• 该结果直接由Ratner的joinings分类与作者对Horocycle流的上同调特征刻画推导得出，回答了Kanigowski、Lemańczyk与Ulcigrai提出的一个开放问题。
• 分析表明，所有消去τ的不变分布必恒为零，从而证明τ仅在joinings为平凡时才可能上同调于常数。
• 证明依赖于测地流在不变分布上作用的谱分析，以及在特征值μ = 1/4情形下Jordan块的结构。