[论文解读] Weak mixing directions in non-arithmetic Veech surfaces

Artur Avila, Vincent Delecroix|arXiv (Cornell University)|Apr 11, 2013

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

一句话总结

该论文证明了边数 $ n \neq 3,4,6 $ 的正多边形中的台球流在几乎所有不变曲面上是弱混合的，解决了动力系统领域长期存在的一个问题。通过运用陶氏（Teichmüller）理论和康采维奇-佐里奇（Kontsevich-Zorich）乘子的先进技术，作者表明非弱混合方向的集合的豪斯多夫维数严格小于一，即使该维数为正，且为这类方向具有正维数提供了必要条件，该条件在正五边形曲面上得到验证。

ABSTRACT

We show that the billiard in a regular polygon is weak mixing in almost every invariant surface, except in the trivial cases which give rise to lattices in the plane (triangle, square and hexagon). More generally, we study the problem of prevalence of weak mixing for the directional flow in an arbitrary non-arithmetic Veech surface, and show that the Hausdorff dimension of the set of non-weak mixing directions is not full. We also provide a necessary condition, verified for instance by the Veech surface corresponding to the billiard in the pentagon, for the set of non-weak mixing directions to have positive Hausdorff dimension.

研究动机与目标

• 解决长期悬而未决的问题：边数 $ n \neq 3,4,6 $ 的正多边形台球流是否在几乎所有不变曲面上是弱混合的。
• 理解非阿代尔维丘曲面上非弱混合方向的普遍性及其几何结构。
• 建立非弱混合方向集合具有正豪斯多夫维数的必要条件，并适用于如正五边形等曲面。
• 将弱混合性结果从一般情形推广至高度对称、刚性系统（如正多边形台球）的情形。

提出的方法

• 通过 $\mathrm{SL}(2,\mathbb{R})$ 在模空间上的作用及相关的康采维奇-佐里奇乘子，分析平移曲面上的定向流。
• 应用 $\mathrm{SL}(2,\mathbb{R})/\Gamma$ 上测地流的马尔可夫模型，以控制乘子行为中的递归性和大偏差。
• 利用涉及隧道曲线和特征函数的对偶维丘判别法，检测非弱混合方向。
• 采用动力学方法，通过大偏差估计和异常李雅普诺夫行为，界定异常集合的豪斯多夫维数。
• 利用三角群中的萨莱姆（Salem）元素构造非弱混合方向的显式例子，并通过Sage计算验证。
• 应用关于旋旋（holonomy）域和维丘群共轭结果，刻画异常方向中特征值的代数结构。

实验结果

研究问题

• RQ1 对于边数 $ n \neq 3,4,6 $ 的正多边形，其台球流是否在几乎所有不变曲面上是弱混合的？
• RQ2 非阿代尔维丘曲面上非弱混合方向集合的豪斯多夫维数是多少？
• RQ3 能否识别出非弱混合方向集合具有正豪斯多夫维数的必要代数条件？
• RQ4 正五边形维丘曲面是否包含非弱混合方向？若存在，其集合结构如何？
• RQ5 谱理论、陶氏动力学与丢番图性质之间的相互作用，如何约束异常方向中特征函数的存在性？

主要发现

• 当 $ n \neq 3,4,6 $ 时，正 $ n $ 边形中的台球流在几乎所有不变曲面上是弱混合的，解决了关键开放问题。
• 任何非阿代尔维丘曲面上的非弱混合方向集合的豪斯多夫维数严格小于一，即使该维数为正。
• 识别出非弱混合方向集合具有正豪斯多夫维数的必要条件，涉及维丘群中萨莱姆元素的存在性。
• 该条件在与正五边形相关的维丘曲面上得到验证，确认其非弱混合方向可具有正维数。
• 利用三角群 $ \Delta(2,q,\infty) $ 和 $ \Delta(q,\infty,\infty) $ 中的萨莱姆元素，构造了非弱混合方向的显式例子，其最小多项式通过计算代数方法求得。
• 通过Sage计算，对 $ \Delta(2,q,\infty) $ 中的萨莱姆元素完成了至 $ q=17 $ 的完整分类，对 $ \Delta(q,\infty,\infty) $ 完成了至 $ q=16 $ 的分类。