[논문 리뷰] Veech groups, irrational billiards and stable abelian differentials

Ferrán Valdez|ArXiv.org|2009. 05. 11.

Mathematical Dynamics and Fractals참고 문헌 2인용 수 5

한 줄 요약

이 논문은 무리각 다각형 빌리어드와 기약 안정 아벨 미분에서 유래한 비콤팩트 평탄한 표면의 Veech 군을 연구한다. 무리각 빌리어드의 경우, Veech 군은 SO(2,R)에 속하며 공진성이 없는 조건에서는 무한히 생성됨을 증명한다. 비평행 잔여항을 가진 안정 아벨 미분의 경우 군은 유한하며, 평행 잔여항을 가진 경우는 특정 부분군 N에 속하며 이는 이산적이거나 N과 동일할 수 있다.

ABSTRACT

We describe Veech groups of flat surfaces arising from irrational angled polygonal billiards or irreducible stable abelian differentials. For irrational polygonal billiards, we prove that these groups are non-discrete subgroups of SO(2,R) and we calculate their rank.

연구 동기 및 목표

• 비콤팩트이고 무한 차수인 평탄한 표면의 Veech 군을 특성화하는 것.
• Deligne-Mumford 컴actsification의 경계에서 기약 노드형 리만 표면 위의 안정 아벨 미분으로 Veech 군의 개념을 확장하는 것.
• 로크 누스 몬스터와 동형인 평탄한 표면을 무수히 많이 구성하여 SO(2,R) 내에서 무한히 생성된 Veech 군을 가짐을 보이는 것.
• 특이점과 호로노미 벡터의 기하학적 및 동역학적 성질에 기반해 Veech 군의 구조를 분석하는 것.
• Veech 군이 유한, 이산, 또는 SO(2,R) 내 최대 부분군 N과 동일한 조건을 규명하는 것.

제안 방법

• 유한 또는 무한 각 특이점을 가진 온전한 평탄한 표면의 개념을 도입하여, 잘 정의된 거리 완비성을 확보한다.
• 무리각을 가진 비유계 다각형에 대해 Katok-Zemljakov 구성법을 적용하여 로크 누스 몬스터와 동형인 평탄한 표면을 생성한다.
• 비콤팩트 표면에서 방향을 유지하는 애파인 호메오모르피즘의 도함수로 Veech 군을 정의한다.
• 형태 $\begin{pmatrix} \cos(2\lambda_j\pi) & -\sin(2\lambda_j\pi) \\ \sin(2\lambda_j\pi) & \cos(2\lambda_j\pi) \end{pmatrix}$ 의 회전 행렬과 호로노미 벡터를 사용해 Veech 군을 생성한다.
• 군론적 기준을 적용: 안정 미분의 잔여항 집합이 $\mathbf{C} \simeq \mathbf{R}^2$ 에서 평행하지 않으면 Veech 군은 유한하다.
• 모든 잔여항이 평행할 경우, Veech 군은 $N = \langle \{ \begin{smallmatrix} 1 & s \\ 0 & t \end{smallmatrix} \mid t>0, s\in\mathbb{R} \}, -\mathrm{Id} \rangle$ 에 속하며, 이는 이산이거나 $N$ 과 동일하다.

실험 결과

연구 질문

• RQ1 무리각 다각형 빌리어드에서 유도된 평탄한 표면의 Veech 군은 어떤 구조를 가지는가?
• RQ2 노드형 리만 표면 위의 안정 아벨 미분에서 Veech 군이 유한하거나 무한한 조건은 무엇인가?
• RQ3 무한히 생성된 Veech 군을 가진 SO(2,R) 내에서 무수히 많은 평탄한 표면을 구성할 수 있는가?
• RQ4 각도의 공진성이 없는 조건이 Veech 군의 질량과 구조에 어떤 영향을 미치는가?
• RQ5 안정 미분의 Veech 군이 이산이거나 최대 부분군 N과 동일한지를 결정하는 요소는 무엇인가?

주요 결과

• 적어도 하나의 무리각을 가진 모든 무리각 다각형 빌리어드에 대해 Veech 군은 SO(2,R)의 비이산 부분군이다.
• 내부 각의 수열 $\lambda_j\pi$ 가 공진성이 없는 경우 Veech 군은 무한히 생성된다.
• 안정 아벨 미분의 잔여항이 $\mathbf{C}$ 에서 평행하지 않으면 Veech 군은 유한하다.
• 모든 잔여항이 평행할 경우 Veech 군은 부분군 $N = \langle \{ \begin{smallmatrix} 1 & s \\ 0 & t \end{smallmatrix} \mid t>0, s\in\mathbb{R} \}, -\mathrm{Id} \rangle$ 에 속한다.
• 모든 호로노미 벡터가 수평일 경우 Veech 군은 $N$ 과 동일하며, 그렇지 않으면 $N$ 의 이산 부분군이다.
• 로크 누스 몬스터와 동형이며 SO(2,R) 내에서 무한히 생성된 Veech 군을 가진 평탄한 표면의 무수히 많은 가족 $\mathcal{S}_n = \{S_i\}_{i\in I}$ 이 존재한다.