[論文レビュー] The distribution of periodic torus orbits on homogeneous spaces

Manfred Einsiedler, Elon Lindenstrauss+2 more|ArXiv.org|Jul 31, 2006

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

ひとこと要約

本稿は、特にPGL_n(R)における対角的トーラスに対して、同調空間上の周期的トーラス軌道の等分布に関する結果を確立する。判別式 ≤ Δ であるような例外的集合のサイズが O(Δ^ε) である範囲で、このような軌道が等分布することを示す。証明は、トーラス作用の測度剛性と、周期的軌道のwell-separatedness（良好に分離された性質）を組み合わせており、高ランクの場合には等分布が成立しない反例を提示する。これらの結果を応用して、全実体における理想類に関するミンコフスキーの定理を強化する。

ABSTRACT

We prove results towards the equidistribution of certain families of periodic torus orbits on homogeneous spaces, with particular focus on the case of the diagonal torus acting on quotients of $\PGL_n(\R)$. After attaching to each periodic orbit an integral invariant (the discriminant) our results have the following flavour: certain standard conjectures about the distribution of such orbits hold up to exceptional sets of at most $O(Δ^ε)$ orbits of discriminant $\leq Δ$. The proof relies on the well-separatedness of periodic orbits together with measure rigidity for torus actions. We also give examples of sequences of periodic orbits of this action that fail to become equidistributed, even in higher rank. We give an application of our results to sharpen a theorem of Minkowski on ideal classes in totally real number fields of cubic and higher degrees.

研究の動機と目的

• PGL_n(R)の算術的商における最大R-分裂トーラスの周期的軌道の分布を理解すること。
• そのような軌道が極限においてどれほど等分布するかを定量化し、障害要因と例外的集合を同定すること。
• 周期的軌道の判別式と、レギュレーター、理想類といった数論的不変量との間の関係を確立すること。
• ランクが高くなる場合に、軌道体積が増大しても等分布が成立しないような明示的反例を構成すること。
• 力学的結果を応用して、全実数体の次数 ≥3 における理想類に関するミンコフスキーの定理を強化すること。

提案手法

• 各周期的H軌道に、算術的複雑性を測る判別式不変量を割り当てる。この不変量は軌道のサイズを制御する。
• トーラス作用の測度剛性定理を用いて、周期的軌道上の不変測度の極限的挙動を分析する。
• 周期的軌道のwell-separatedness（良好に分離された性質）を応用し、重複を避けて等分布推定における重なりを制御する。
• クロージング補題の議論を用いて、ほぼ周期的点から周期的軌道を構成し、コンパクト集合内にあり、長さが有界であることを保証する。
• 数体とその単数群による軌道のパrameterizationを用いて、判別式とレギュレーターを制御した軌道の列を明示的に構成する。
• 全実体の整数環における単数のノルムと軌道の幾何学的性質との関係を、対数埋め込みと体積推定を用いて関連付ける。

実験結果

リサーチクエスチョン

• RQ1 PGL_n(R)における対角的トーラスの周期的H軌道が、その判別式が増大するにつれて商空間内でどれほど等分布するか。
• RQ2 等分布に失敗する周期的軌道の例外的集合のサイズは何か。また、判別式とともにどのように増大するか。
• RQ3 ランクが高い場合に、体積が増大しても等分布が成立しない周期的軌道の列を構成可能か。
• RQ4 全実体における単数群のレギュレーターは、周期的トーラス軌道の幾何学的性質とどのように関係するか。
• RQ5 軌道分布に関する力学的結果を用いて、例えば全実体の次数 ≥3 における理想類に関するミンコフスキーの定理といった代数的数論の古典的定理を強化可能か。

主な発見

• 判別式 ≤ Δ であるが等分布に失敗する周期的H軌道の数は、任意の ε > 0 に対して O(Δ^ε) 以下である。
• 任意の ε > 0 に対して、固定されたコンパクト部分集合 Ω'δ に含まれる判別式 ≤ Δ である周期的軌道の総体積は Δ^{1−ε} のオーダーで増大する。
• PGL_n(Z)\PGL_n(R) 内に、判別式 ≤ Δ で、そのような軌道の数が Δ^{a_n}（ある a_n > 0）のオーダーで増大するが、その不変測度が等分布しないような周期的H軌道の列が存在する。
• このような反例では、弱収束の意味で、少なくとも b_n > 0 の正の割合の質量がカスプへと逃げるため、等分布が成立しない。
• これらの結果により、ミンコフスキーの定理が強化される：全実体の次数 ≥3 において、ある条件下で、判別式が有界な理想類の数は、判別式の任意のべきよりも速く増大する。
• 構成は、判別式に対して相対的に小さいレギュレーターを持つ全実体の存在に依拠しており、これはダウクスの結果による。対数埋め込みを用いて、幾何学と算術との関係を確立する。