[論文レビュー] 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

ひとこと要約

本稿は、一様格子空間における発散的または「平均的に脱出する」軌道を示す線形形式および格子のサインギュラー系のハウスドルフ次元について、予想的に鋭い上界を確立する。エスキン＝マルギリス＝モーゼスの積分不等式と、水平的集合における新規な帰納的被覆論法を用いて、このような集合の次元が $∕(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$ 行列における特異的線形形式系のハウスドルフ次元を特定すること。これは、一様格子空間上の対角的フローにおける発散的軌道に対応する。
• 軌道の「平均的脱出」というより弱い概念を導入することで、均質的ダイナミクスにおける質量の脱出なしの理解を拡張すること。
• 従来の手法とは異なる新規な手法を用いて、このような集合の次元に対する鋭い上界を提供すること。予想的には実際の次元と一致する。
• チエンとシェヴァリエの特異的線形形式に関する結果を、高ランク設定に統合・一般化すること。

提案手法

• 著者たちはダニの対応関係を用いて、一様格子空間 $X_{m+n}$ 上の対角的1パラメータ群 $g_t$ における発散的軌道と特異的線形形式系を結びつける。
• 「平均的脱出」とは、任意のコンパクト集合に漸近的にゼロの割合の時間を費やす軌道であると定義され、完全な発散より弱い条件である。
• 主要な技術的道具は、エスキン、マルギリス、モーゼスが開発した積分不等式であり、水平的部分群上の測度の増大を制御する。
• 証明は、離散的時間区間 $\{1, \dots, N\}$ の部分集合に対する帰納的被覆論法によって行われ、それらを軌道が脱出する最大区間 $J_i$ と脱出しない区間 $I_j$ に分解する。
• 各区間タイプに対して、$g_t^L u x$ が制御された領域にとどまるような点 $u \in U$ を被覆する半径 $e^{-(m+n)tL}$ の球の数を、$ͱ$-ノルムを用いて拡大を制御することで評価する。
• 帰納的ステップでは、非脱出区間からのボリューム増大と、脱出区間からの修正版コロナリー5.2の利用により、両方の境界を組み合わせる。コロナリー5.2は、大きな $ͱ$-値を避ける $u$-軌道の数を制御する。

実験結果

リサーチクエスチョン

• RQ1 対角的フローの下で軌道が発散する $m \times n$ 実行列の集合のハウスドルフ次元は何か？
• RQ2 「平均的に脱出する」軌道を持つ格子の集合の次元は、発散的軌道の集合の次元と比べてどうか？その上界は何か？
• RQ3 エスキン＝マルギリス＝モーゼスの積分不等式の手法は、高ランク設定における質量の脱出なし集合の次元を制御するために適応可能か？
• RQ4 集合の上界 $∕(X_{m+n}) - \frac{mn}{m+n}$ は特異的線形形式の集合に対して鋭いか？また、$m=n=1$ および $m+n=3$ の場合の従来の結果を一般化するか？
• RQ5 $Δ(m,n) > 1$ のとき、$X_{m+n}$ 上の対角的フローのダイナミクスは、$Δ\mathrm{SL}(2,\mathbb{R})$ の場合とどのように異なるか？特に、非退化な発散的軌道の観点から。

主な発見

• 本稿は、平均的に脱出する軌道を持つ格子の集合のハウスドルフ次元に対して、予想的に鋭い上界 $∕(X_{m+n}) - \frac{mn}{m+n}$ を確立する。
• この上界は、平均的に特異的とされる $m \times n$ 行列の集合のハウスドルフ次元が $mn - \frac{mn}{m+n}$ 以下であることを示し、チエンおよびシェヴァリエの結果を拡張する。
• 本手法はチエンおよびシェヴァリエとは異なる新規なアプローチであり、動的または幾何的分解ではなく、帰納的被覆論法と積分不等式に依存する。
• 著者たちは、任意の $x \in X_{m+n}$ に対して、$Δ u \in U : ux \text{ が平均的に脱出する} Δ$ のハウスドルフ次元が $mn - \frac{mn}{m+n}$ 以下であることを証明し、これが主な技術的結果である。
• この結果は、発散的または脱出する軌道の集合の余次元が $\frac{mn}{m+n}$ であることを確認し、高ランクディオファントス近似における予想値と一致する。
• 証明は、時間区間を脱出・非脱出ブロックに分割する新規な帰納的被覆スキームに依存しており、それぞれに異なる境界を適用する。また、外積における拡大を制御するために $ͱ$-ノルムが用いられる。