[論文レビュー] A brief remark on orbits of $SL(2,Z)$ in the euclidean plane

Antonin Guilloux|arXiv (Cornell University)|Feb 11, 2009

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

ひとこと要約

この論文は、ユークリッド平面上における $\mathrm{SL}(2,\mathbb{Z})$ の軌道の等分布性について、特に有理数の傾きを持つ直線の周囲に現れるギャップという幾何的現象に注目して、初等的な解析を提供する。ホロサイクル流れと周期不変性を用いて、固定された周期を持つ有理数の傾きを持つ点が離散的かつ閉じた部分集合をなしており、数値的可視化で観察されるギャップは、稠密な軌道とこれらの周期的集合との間の最小距離に起因することを説明する。

ABSTRACT

The repartition of dense orbits of $ extrm{SL}(2,\dr Z)$ in the euclidean plane is described by Ledrappier and Nogueira. We describe here the specific patterns one can see by experimentation, linking it to diophantine approximation theory.

研究の動機と目的

• ユークリッド平面上における $\mathrm{SL}(2,\mathbb{Z})$ の軌道の数値的可視化において、特に有理数の傾きを持つ直線の周囲に現れる目に見えるギャップという幾何的現象を説明すること。
• ユニポテンツ流れとホロサイクルの構造を用いて、$\mathrm{SL}(2,\mathbb{R})$ 内の初等的かつ自己完結的な説明を提供すること。
• $\mathrm{SL}(2,\mathbb{Z})$ の作用における有理数の傾きと固定された周期を持つ点の集合を特徴づけ、それが平面における離散的かつ閉じた部分集合をなしていることを示すこと。
• 任意の格子に対して一般化するため、$\mathrm{SL}(2,\mathbb{R})$ 内の任意の格子に対して、同様のギャップ現象が発生する条件を同定すること。

提案手法

• $\mathbb{R}^2 \setminus \{0\}$ を $\mathrm{SL}(2,\mathbb{R})/U$ という同次空間と同一視する。ここで $U$ はユニポテンツ上三角行列群である。
• 各ベクトル $v \in \mathbb{R}^2 \setminus \{0\}$ を、その第一列が $v$ に一致する行列に写す写像 $\sigma: \mathbb{R}^2 \setminus \{0\} \to \mathrm{SL}(2,\mathbb{R})$ を定義する。
• 有理数の傾きを持つベクトル $v_0$ の周期 $\rho(v_0)$ を、$\gamma \sigma(v_0) = \sigma(v_0) u(s)$ を満たす $\gamma \in \mathrm{SL}(2,\mathbb{Z})$ が存在するような最小の $s > 0$ として定義する。
• $p,q$ を互いに素な整数として $v_0 = t(p,q)$ とすると、周期は $\rho(v_0) = 1/t^2$ に等しく、高さ $h(v_0) = |(p,q)|$ を用いて $\rho(v_0) |v_0|^2 = h(v_0)^2$ という関係が成り立つことを示す。
• 周期 $\rho$ を持つ有理数の傾きを持つ点の集合 $\mathcal{P}(\rho)$ は、$\frac{1}{\sqrt{\rho}} \mathbb{Z} \wedge \mathbb{Z}$ に等しい、すなわちスケーリングされた整数格子点の集合であることを示す。
• 群の元の列に関するコンパクトネスと収束の議論を用いて、$\mathcal{P}(\rho)$ が $\mathrm{SL}(2,\mathbb{Z}) \backslash \mathrm{SL}(2,\mathbb{R})$ 内で閉じた部分集合であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 なぜ $\mathrm{SL}(2,\mathbb{Z})$ の軌道の可視化では、有理数の傾きを持つ直線に沿って明確なギャップが観察されるのか？
• RQ2 これらのギャップの背後にある幾何的または力学的性質は何か？
• RQ3 有理数の傾きと固定された周期を持つ点の集合を代数的および幾何的にどのように特徴づけられるか？
• RQ4 稠密な軌道が、周期的ホロサイクルに対応する閉じた離散的部分集合を避ける一般的な条件は何か？
• RQ5 ギャップ現象は、$\mathrm{SL}(2,\mathbb{Z})$ を超えて、他の格子や群作用へ一般化可能か？

主な発見

• $\mathrm{SL}(2,\mathbb{Z})$ の軌道の可視化におけるギャップは、稠密な軌道が、固定された周期 $\rho$ を持つ有理数の傾きを持つ点の集合 $\mathcal{P}(\rho)$ から正の距離を保つことによって生じる。
• 任意のベクトル $v_0 = t(p,q)$（$p,q$ は互いに素な整数）に対して、そのホロサイクル軌道の周期は $\rho(v_0) = 1/t^2$ に等しく、これは $\mathrm{SL}(2,\mathbb{Z})$ の作用に関して不変である。
• 周期 $\rho$ を持つすべての点の集合 $\mathcal{P}(\rho)$ は、正確に $\frac{1}{\sqrt{\rho}} \mathbb{Z} \wedge \mathbb{Z}$ に等しく、これは $1/\sqrt{\rho}$ 倍された原始的整数ベクトルのすべてのスカラー倍の集合である。
• 恒等式 $\rho(v_0) |v_0|^2 = h(v_0)^2$ が成り立ち、ここで $h(v_0)$ は有理数の方向 $p:q$ の高さである。
• $\mathcal{P}(\rho)$ は商空間 $\mathrm{SL}(2,\mathbb{Z}) \backslash \mathrm{SL}(2,\mathbb{R})$ 内で閉じているため、稠密な軌道から $\mathcal{P}(\rho)$ への距離は 0 に近づかない。
• 一般化された補題を証明した：$H \subset G$ が適切な性質を持つ閉部分群であり、$\Gamma$ が $G$ 内の格子であるとき、$g\Gamma g^{-1} \cap H$ が $H$ 内でコボリューム $\rho$ の格子であるような $Hg$ の集合は、$H \backslash G$ 内で閉じている。