[论文解读] Pointwise equidistribution for one parameter diagonalizable group action on homogeneous space

Ronggang Shi|arXiv (Cornell University)|May 8, 2014

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

一句话总结

本文建立了齐性空间上单参数 $\mathrm{Ad}$-对角化群作用的逐点等分布性，证明了对于不稳定广义球面子群 $U$ 中几乎所有 $u$，当 $T \to \infty$ 时，轨迹 $\{g_t u x\}_{0 \leq t \leq T}$ 关于不变概率测度 $\mu_{\overline{Gx}}$ 实现等分布。关键结果表明，不稳定广义球面子群 $G^+$ 上的哈尔测度在每个点 $x \in L/\Gamma$ 处关于 $(g_t, \mu_{\overline{Gx}})$ 是通用的，将等分布结果从幂零流推广到了 $\mathrm{Ad}$-对角化流。

ABSTRACT

Let $Γ$ be a lattice of a semisimple Lie group $L$. Suppose that one parameter Ad-diagonalizable subgroup $\{g_t\}$ of $L$ acts ergodically on $L/Γ$ with respect to the probability Haar measure $μ$. For certain proper subgroup $U$ of the unstable horospherical subgroup of $\{g_t\}$ we show that given $x\in L/Γ$ for almost every $u\in U$ the trajectory $\{g_tux: 0\le t\le T\}$ is uniformly distributed with respect to $μ$ as $T o \infty$.

研究动机与目标

• 研究齐性空间上单参数 $\mathrm{Ad}$-对角化群作用的逐点等分布性，特别是当不变测度相对于哈尔测度为奇异时的情形。
• 确定不稳定广义球面子群 $G^+$ 上的哈尔测度是否在每个点 $x \in L/\Gamma$ 处关于 $(g_t, \mu_{\overline{Gx}})$ 是通用的。
• 在齐性动力系统的背景下，将等分布结果从幂零流推广到 $\mathrm{Ad}$-对角化流。
• 为支持在 $G^+$ 上的测度（即使相对于哈尔测度为奇异）建立 $g_t$-作用下轨迹的通用性。

提出的方法

• 利用不稳定广义球面子群 $G^+$ 的 $g_1$-扩张性质，确保 $g_t$ 作用在李代数 $\mathfrak{g}^+$ 中的向量上实现扩张。
• 应用 $\mathfrak{sl}_2$-三元组的表示理论，构造一个含有一参数群 $\{g_t\}$ 生成元 $z$ 的半单子代数 $\mathfrak{g}_1 \subset \mathfrak{g}$。
• 从对应于正根 $\beta_i$ 的根空间构造一个交换子代数 $\mathfrak{u} \subset \mathfrak{g}_1$，其中满足 $\beta_i + \beta_j \notin \Phi^+$，确保 $\mathfrak{u}$ 是交换的且 $g_1$-扩张。
• 利用 $\rho(z)v = av$ 且 $a > 0$ 对非平凡表示 $\rho$ 成立的事实，证明 $V^{\mathfrak{u}} \subset V^+$，从而确认 $U_a \leq G^+$ 的 $g_1$-扩张性质。
• 在齐性动力系统的背景下应用伯克霍夫遍历定理，表明对任意 $f \in C_c(L/\Gamma)$，函数 $f(g_t u x)$ 的时间平均收敛于 $\int f \, d\mu_{\overline{Gx}}$，对 $\mu_{G^+}$-几乎处处的 $u$ 成立。
• 依赖实半单李群的结构、卡坦分解和根空间分解，分析 $g_t$-作用在 $L/\Gamma$ 上的动力学行为。

实验结果

研究问题

• RQ1 在 $\mathrm{Ad}$-对角化单参数流下，不稳定广义球面子群 $G^+$ 上的哈尔测度是否在每个点 $x \in L/\Gamma$ 处关于 $(g_t, \mu_{\overline{Gx}})$ 是通用的？
• RQ2 当不变测度不是完整哈尔测度时，是否可以为 $\mathrm{Ad}$-对角化流建立逐点等分布性？
• RQ3 在什么条件下，轨迹 $\{g_t u x\}_{0 \leq t \leq T}$ 会随着 $T \to \infty$ 而关于 $\mu_{\overline{Gx}}$ 实现等分布？
• RQ4 李代数和根系的何种结构性质可确保子群 $U \leq G^+$ 是 $g_1$-扩张的？

主要发现

• 在定理 1.1 的假设下，不稳定广义球面子群 $G^+$ 上的哈尔测度在每个点 $x \in L/\Gamma$ 处关于 $(g_t, \mu_{\overline{Gx}})$ 是通用的。
• 对几乎所有 $u \in G^+$，当 $T \to \infty$ 时，轨迹 $\{g_t u x\}_{0 \leq t \leq T}$ 关于 $\mu_{\overline{Gx}}$ 实现等分布。
• 通过 $\mathfrak{sl}_2$-三元组和根空间分解构造 $g_1$-扩张的交换子群 $U_a \leq G^+$，确保了等分布所需的扩张性质。
• 关键技术步骤是通过表示理论证明 $V^{\mathfrak{u}} \subset V^+$，从而推出 $U_a$ 是 $g_1$-扩张的。
• 该结果在 $g_1$ 投影到 $G$ 的每个单个因子上非平凡的条件下成立，确保了非退化的扩张。
• 该方法适用于情形 $G = \mathrm{SL}_2(\mathbb{R}) \times \{1\} \subset \mathrm{SL}_3(\mathbb{R})$，$\Gamma = \mathrm{SL}_3(\mathbb{Z})$，此时结果为新且非平凡的。