[论文解读] Singular systems of linear forms and non-escape of mass in the space of lattices

Shirali Kadyrov, Dmitry Kleinbock+2 more|arXiv (Cornell University)|Jul 20, 2014

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

一句话总结

本文在未模形式的格空间中，对线性型奇异系统及轨迹发散或‘平均逃逸’的格，建立了猜想意义下最优的豪斯多夫维数上界。通过运用埃斯金-马吉尔斯-莫泽的积分不等式，并结合对Horospherical集合的新型归纳覆盖论证，证明了此类集合的维数至多为 $\dim(X_{m+n}) - \frac{mn}{m+n}$，推广了此前在丢番图逼近与质量不逃逸方面的结果。

ABSTRACT

Singular systems of linear forms were introduced by Khintchine in the 1920s, and it was shown by Dani in the 1980s that they are in one-to-one correspondence with certain divergent orbits of one- parameter diagonal groups on the space of lattices. We give a (conjecturally sharp) upper bound on the Hausdorff dimension of singular systems of linear forms (equivalently the set of points with divergent trajectories) as well as the dimension of the set of points with trajectories 'escaping on average' (a notion weaker than divergence). This extends work by Cheung, as well as by Chevallier and Cheung, on the vector case. Our method differs considerably from that of Cheung and Chevallier, and is based on the method of integral inequalities developed by Eskin, Margulis and Mozes.

研究动机与目标

• 确定 $m \times n$ 矩阵中奇异线性型系统的豪斯多夫维数，其对应于格空间上对角流的发散轨道。
• 通过引入轨迹‘平均逃逸’的较弱概念，扩展对齐齐性动力系统中质量不逃逸的理解。
• 使用一种与以往方法不同的新方法，对这类集合的维数提供猜想意义下最优的上界，该上界可能精确匹配实际维数。
• 统一并推广Cheung与Chevallier在高秩情形下关于奇异系统的相关结果。

提出的方法

• 作者利用Dani对应关系，将奇异线性型系统与格空间 $X_{m+n}$ 上对角一参子群 $g_t$ 的发散轨道联系起来。
• 定义‘平均逃逸’为轨迹在任意紧集内所花时间的渐近比例为零，其为完全发散的较弱条件。
• 关键的技术工具是埃斯金、马吉尔斯与莫泽所发展的积分不等式，用于控制Horospherical子群上测度的增长。
• 证明过程通过在离散时间区间 $\{1, \dots, N\}$ 的子集上进行归纳覆盖论证，将其分解为最大区间 $J_i$（轨道逃逸）与 $I_j$（未逃逸）。
• 对每类区间，通过 $\tilde{\alpha}$-范数控制扩张，估计覆盖满足 $g_t^L u x$ 保持在可控区域内的点 $u \in U$ 所需的半径为 $e^{-(m+n)tL}$ 的球的个数。
• 归纳步骤结合了非逃逸区间的体积增长估计与逃逸区间中修正版的引理5.2，后者控制避免大 $\tilde{\alpha}$-值的 $u$-轨道数量。

实验结果

研究问题

• RQ1 $m \times n$ 实矩阵中奇异线性型系统的豪斯多夫维数是多少，即其在格空间中对角流作用下的轨道发散？
• RQ2 ‘平均逃逸’轨迹的格集合的维数与发散轨道集合的维数相比如何？其上界为何？
• RQ3 埃斯金-马吉尔斯-莫泽的积分不等式方法能否被调整以控制高秩情形下质量不逃逸集合的维数？
• RQ4 上界 $\dim(X_{m+n}) - \frac{mn}{m+n}$ 对于奇异系统集合是否为最优？它是否推广了 $m=n=1$ 与 $m+n=3$ 的先前结果？
• RQ5 当 $\max(m,n) > 1$ 时，$X_{m+n}$ 上对角流的动力学与 $\mathrm{SL}(2,\mathbb{R})$ 情形有何不同，特别是在非退化发散轨道方面？

主要发现

• 本文建立了集合中轨迹‘平均逃逸’的格的豪斯多夫维数的猜想意义下最优上界 $\dim(X_{m+n}) - \frac{mn}{m+n}$。
• 该上界表明，$m \times n$ 矩阵中平均奇异系统的豪斯多夫维数至多为 $mn - \frac{mn}{m+n}$，推广了Cheung与Chevallier的结果。
• 该方法提供了一种与Cheung和Chevallier不同的新途径，依赖于归纳覆盖论证与积分不等式，而非动力或几何分解。
• 作者证明了对任意 $x \in X_{m+n}$，集合 $\{u \in U : ux \text{ 逃逸于平均}\}$ 的豪斯多夫维数至多为 $mn - \frac{mn}{m+n}$，这是主要技术结果。
• 结果确认了发散或逃逸轨迹集合的余维数为 $\frac{mn}{m+n}$，与高秩丢番图逼近中的猜想值一致。
• 证明依赖于一种新型归纳覆盖方案，将时间区间划分为逃逸与非逃逸块，对每类应用不同界，并使用 $\tilde{\alpha}$-范数控制楔积中的扩张。