[论文解读] Quantitative Density under Higher Rank Abelian Algebraic Toral Actions

Zhiren Wang|arXiv (Cornell University)|Apr 1, 2010

Mathematical Dynamics and Fractals参考文献 9被引用 5

一句话总结

本文将Bourgain-Lindenstrauss-Michel-Venkatesh关于一维环面上作用的定量遍历性结果推广至高秩阿贝尔代数作用在高维环面上的情形。研究证明了在非CM数域的单位群作用于K⊗QR的紧致商空间上，轨道的密度具有有效多项式型界，且该密度速率由单位的对数Mahler度量与数域的判别式控制。关键贡献在于为这类作用给出了Katok-Spatzier刚性定理的定量、测度意义有效的版本。

ABSTRACT

We generalize Bourgain-Lindenstrauss-Michel-Venkatesh's recent one-dimensional quantitative density result to abelian algebraic actions on higher dimensional tori. Up to finite index, the group actions that we study are conjugate to the action of $U_K$, the group of units of some non-CM number field $K$, on a compact quotient of $K\otimes_{\mathbb Q}\mathbb R$. In such a setting, we investigate how fast the orbit of a generic point can become dense in the torus. This effectivizes a special case of a theorem of Berend; and is deduced from a parallel measure-theoretical statement which effectivizes a special case of a result by Katok-Spatzier. In addition, we specify two numerical invariants of the group action that determine the quantitative behavior, which have number-theoretical significance.

研究动机与目标

• 将Bourgain-Lindenstrauss-Michel-Venkatesh的一维定量遍历性结果推广至高维环面上的阿贝尔代数作用。
• 对高秩阿贝尔环面作用下的Berend极小性定理的特例进行有效化。
• 利用底层数域的数论不变量，建立轨道等分布速度的有效界。
• 从测度论角度推导出单位群作用在扭环面上的Katok-Spatzier刚性定理的有效版本。

提出的方法

• 通过非CM数域K的单位群UK作用于紧致商空间X = (K⊗QR)/I，构造高秩阿贝尔作用。
• 利用Minkowski关于连续极小值与凸体的定理，构造一个算子范数受控的共轭同构ψ: Rd → Rd。
• 在环面X上应用傅里叶分析，以控制轨道测度的傅里叶系数衰减速率。
• 结合熵与L2-范数估计，实现从测度论结果到拓扑遍历性结果的过渡。
• 运用丢番图逼近技巧及对数Mahler度量的界，控制稳定子与轨道基数的大小。
• 通过参数调节论证推导出有效遍历性界，该界将判别式D(K)、调节子FUK与理想范数N(I)联系起来。

实验结果

研究问题

• RQ1 在高秩阿贝尔代数作用下，高维环面上一个典型点的轨道以何种速率变得处处稠密？
• RQ2 哪些数论不变量控制此类作用中等分布的定量速率？
• RQ3 Katok-Spatzier刚性定理的测度论结果能否在单位群作用于数域环面的背景下实现有效化？
• RQ4 轨道的稠密性在多大程度上依赖于单位群的对数Mahler度量与数域的判别式？
• RQ5 对于虽不均匀分布但依然稠密的轨道，能否建立有效遍历性界？

主要发现

• 在扭环面X上，单位群作用下典型点的轨道达到(log log log N(I))^{-ι1 F^2_{UK}}-稠密，且有效常数ι1(d), ι2(d), c23(d)明确给出。
• 稠密速率由单位群的对数Mahler度量F_{UK}与判别式D(K)控制，当D(K)较大时，D(K)^{d/2}被吸收进对数因子。
• 对于有理点β ∈ (O_K / I)^*，轨道UK.β在X中ρ₀-稠密，其中ρ₀ ≤ ||ψ|| (log log log N(I))^{-ι1 F^2_{UK}}，且||ψ|| ≲_d D(K)^{(d-1)/(2d)}。
• 轨道大小|G.x|的下界为F_{UK}^{-r} (log(2^{-d} N(I)))^r，其中r = rank(U_K)，表明大轨道是实现有效稠密性的必要条件。
• 当判别式D(K)相对于调节子足够大时，有效稠密界对所有β ∈ (O_K / I)^*（当N(I)较大时）一致成立。
• 主要结果(8.4)表明，理想I(β)的范数满足NI(β) ≤ N(I) (log log log N(I))^{-c21 F^2_{UK}}，其中c21仅依赖于d，当D(K)足够大时成立。