[논문 리뷰] A brief remark on orbits of $SL(2,Z)$ in the euclidean plane

Antonin Guilloux|arXiv (Cornell University)|2009. 02. 11.

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})$ 내 임의의 격자로 일반화하는 것.

제안 방법

• 모든 원소가 0이 아닌 $\mathbb{R}^2 \setminus \{0\}$을 $\mathrm{SL}(2,\mathbb{R})/U$로 동치시켜, 여기서 $U$는 유니포텐트 상삼각행렬 부분군이다.
• 벡터 $v$에 대해 첫 번째 열이 $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}$와 정확히 일치함을 보인다. 즉, 스케일링된 정수 격자 점들로 이루어진 집합이다.
• 군 원소 수열의 컴 pact성과 수렴성 논증을 통해 $\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)$로부터 양의 거리를 유지하기 때문에 발생한다.
• 모든 $p,q$가 서로소 정수일 때 $v_0 = t(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}$ 배수로 스케일링된 원시 정수 벡터의 모든 스칼라 배수로 이루어진 집합이다.
• 높이 $h(v_0)$가 유리 방향 $p:q$의 높이라면, 항등식 $\rho(v_0) |v_0|^2 = h(v_0)^2$가 성립한다.
• $\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$ 내에서 닫혀 있다.