Birkhoff genericity on affine subspaces in horospheres

技术摘要：霍洛斯费尔（Horosphere）内仿射子空间的 Birkhoff 遍历性

问题陈述
本文研究了在单参数简单均匀扩张对角流作用下，位于 unimodular 格空间 $X = \mathrm{SL}_{n+1}(\mathbb{R})/\mathrm{SL}_{n+1}(\mathbb{Z})$ 中扩张型霍洛斯费尔轨道内仿射子空间上点的 Birkhoff 遍历性。具体而言，作者考虑了对角子群 $\{a_t\}$ 在点 $u x_0$ 上的作用，其中 $u$ 变化于扩张型霍洛斯费尔子群 $U^+_a \cong \mathbb{R}^n$ 的一个真仿射子空间 $A$ 中。

虽然 Birkhoff 遍历定理保证了整个空间 $X$ 中的几乎所有点都是遍历的，且先前的研究已经确立了对角作用下平滑测度在子流形上的遍历性，但本研究旨在解决一个特定问题：即限制在仿射子空间 $A$ 上的初始点是否是遍历的。作者试图确定在何种条件下，沿对角流作用于 $A$ 中点的时平均值会收敛于关于 $G$-不变概率测度 $\mu_X$ 的空间平均值。

研究方法
证明策略扩展了 Shi、Shah 等人的技术，将动力系统方法与丢番图逼近相结合。该方法通过以下几个关键阶段进行：

1. 质量不逃逸性（Non-escape of Mass）： 作者首先证明了对于仿射子空间中的几乎所有点，其轨迹不会“逃逸到无穷远”（即时平均测度的质量不会集中在尖点处）。这是通过构造一个 Margulis 高度函数 $\alpha_\varepsilon$，并分析其沿交换对角子群 $\{b_t\}$ 轨迹的指数增长率来实现的。他们将此增长率与定义该仿射子空间的矩阵的丢番图指数 $\omega(A)$ 联系起来。若 $\omega(A) < n$，则增长率受到控制，从而确保非发散性。

2. 单参数幂零不变性与测度刚性： 利用上述非逃逸结果以及 Ratner 关于幂零流的测度刚性定理，作者表明任何时平均测度的弱-*极限在幂零子群下都是不变的。如果此类极限测度不是全 $G$-不变测度，则它必须支撑在一个“奇异子流形”（即适当代数子群的闭轨道）上。

3. 规避奇异子流形： 为了证明极限测度确实是全 $G$-不变测度，作者必须证明轨迹会规避这些奇异子流形。他们构造了一个相对于奇异子流形 $N$ 的专门高度函数 $\beta_N$。该函数被设计为在流 $\{a_t\}$ 的作用下（具体通过流的 $c_t$ 分量）发生收缩，而在 $\{b_t\}$ 分量作用下发生扩张。

4. 丢番图障碍： 论证的核心在于将高度函数无法收缩（这意味着轨迹保持在奇异子流形附近）与仿射子空间的特定丢番图性质联系起来。作者证明，如果轨迹不实现等分布，则该仿射子空间必须满足两个特定的“坏”丢番图条件之一：

   • 定义矩阵的丢番图指数 $\omega(A) \ge n$。
   • 仿射子空间在特定意义下是“Liouville”的：即它可以被定义在实数域 $F$（其次数 $m \ge 2$ 且满足 $n+1 = mr$）上的低维仿射子空间任意好地逼近。

主要贡献与结果

• 主定理（定理 1.2）： 作者证明，若 $\omega(A) < n$，则对于 $A$ 中的几乎所有点 $u$，其轨道是 Birkhoff 遍历的，除非该仿射子空间对于某个次数 $m \ge 2$ 且满足 $n+1 = mr$的实数域$F$是$(F, r-1)$-Liouville 的。

  • 一个重要的推论是，如果 $n+1$ 是质数，则可能性 (2) 不会发生；因此，对于质数 $n+1$ 且 $\omega(A) < n$ 的情况，几乎所有点都是 Birkhoff 遍历的。
  • 条件 $\omega(A) < n$ 被证明是优的；若 $\omega(A) > n$，则子空间中的每个点都会发生质量逃逸。

• Dirichlet 不可改进性（定理 1.4）： 作为应用，作者推导出对于此类仿射子空间上的几乎所有点，Dirichlet 逼近定理无法被改进。具体而言，Dirichlet 可改进向量与该仿射子空间的交集在子空间内的勒贝格测度为零。这一结果削弱了先前工作中建立不可改进性的条件（特别是针对 $d=1, n \ge 3$ 的情况）。

• 对数密度结果（定理 1.5）： 本文为 Dirichlet 逼近可以被因子 $\delta$ 改进的时间集合 $T$ 建立了精确的对数密度结果。对于子空间上的几乎所有点，这些密度由连续且严格递增的函数 $f(\delta)$ 和 $g(\delta)$ 给出，且与具体点无关。

• 新型高度函数构造： 本文的技术创新在于构造了一个专门用于衡量与数域相关的奇异子流形之间距离的高度函数 $\beta_N$。该函数结合了标准的 Margulis 高度与一个衡量到奇异集“距离”的几何项，并在对角流作用下满足特定的收缩性质。

意义与主张
本文声称对霍洛斯费尔内仿射子空间的 Birkhoff 遍历性提供了完整的特征化，识别了阻止遍历性的精确丢番图障碍。作者将其工作定位为对现有关于非退化曲线和子群作用研究（引用了 Shi, Kleinbock, Weiss, Solan, 和 Wieser 的工作）的补充。

其意义在于：

1. 泛化： 将 Birkhoff 遍历性结果从曲线和一般子流形扩展到具有特定结构且具体的仿射子空间情形。
2. 最优性： 证明了丢番图指数条件是尖锐的；文中明确指出，若指数过大，由于质量逃逸，遍历性将完全失效。
3. 丢番图应用： 为这些子空间上的 Dirichlet 定理的非改进性提供了动力学证明，并通过对数密度量化了改进发生的频率。
4. Liouville 现象： 强调了与次数 $m \ge 2$ 的数域相关的特定“Liouville”障碍，这种现象在 $n+1$ 为质数时不会发生。

作者并未声称解决 $\omega(A) = n$ 这一关键情况，也未提出新的实验应用，而是专注于对遍历性及其丢番图后果的理论分类。