[논문 리뷰] Geodesic flow on the Teichmueller disk of the regular octagon, cutting sequences and octagon continued fractions maps

John Smillie, Corinna Ulcigrai|arXiv (Cornell University)|2010. 04. 13.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 17

한 줄 요약

이 논문은 정팔면체의 테이히뮐러 원판 위의 지측선 흐름과 선형 궤도의 기호적 코딩을 위한 연분수 알고리즘 사이의 기하학적 연결을 수립한다. 알고리즘을 테이히뮐러 원판 위의 재규격화로 해석함으로써, 저자들은 정팔면체 페레이 맵에 대한 자연스러운 확장과 불변 측도를 구성하고, 유한한 불변 측도를 가지는 가속화된 정팔면체 가우스 맵을 정의함으로써, 모듈러 표면 위의 고전적 연분수와 지측선 흐름 사이의 역학적 유사성을 완성한다.

ABSTRACT

In this paper we give a geometric interpretation of the renormalization algorithm and of the continued fraction map that we introduced in arxiv:0905.0871 to give a characterization of symbolic sequences for linear flows in the regular octagon. We interpret this algorithm as renormalization on the Teichmueller disk of the octagon and explain the relation with Teichmueller geodesic flow. This connection is analogous to the classical relation between Sturmian sequences, continued fractions and geodesic flow on the modular surface. We use this connection to construct the natural extension and the invariant measure for the continued fraction map. We also define an acceleration of the continued fraction map which has a finite invariant measure.

연구 동기 및 목표

• 정팔면체의 테이히뮐러 원판 위의 지측선 흐름과 선형 궤도의 기호적 코딩을 위한 연분수 알고리즘 사이의 역학적 대응을 수립하는 것.
• 연분수 알고리즘을 테이히뮐러 원판 위의 재규격화로 해석하고, 이를 모듈러 표면의 고전적 경우와 유사하게 테이히뮐러 지측선 흐름과 연결하는 것.
• 정팔면체 페레이 맵에 대한 자연스러운 확장과 그 불변 측도를 구성하는 것(이는 무한함)과 함께, 유한한 불변 측도를 가지는 가속화된 맵(정팔면체 가우스 맵)을 정의하는 것.
• 정팔면체 내 선형 흐름의 기호 역학과 베치 군의 기하학, 그리고 테이히뮐러 원판의 관련 타일링 사이의 관계를 명확히 하는 것.

제안 방법

• 정팔면체의 테이히뮐러 원판을 애매한 변형(방향 전환 포함)의 공간으로 정의하여 표면의 역학을 모델링한다.
• 정팔면체의 베치 군을 사용하여 테이히뮐러 원판를 타일링함으로써 재규격화 과정의 기초를 마련한다.
• SU에서 제시된 연분수 알고리즘을 테이히뮐러 원판 위의 재규격화 맵으로 해석하고, 표면의 역학을 통해 테이히뮐러 지측선 흐름과 연결한다.
• 테이히뮐러 오비폴드 위의 테이히뮐러 지측선 흐름의 횡단면으로서 정팔면체 페레이 맵의 자연스러운 확장을 구성한다.
• 페레이 맵의 가속화로 정팔면체 가우스 맵을 정의하여, 유한한 불변 측도의 존재를 보장한다.
• 자연스러운 확장 영역에서 밀도 $ \frac{du\,dv}{(u-v)^2} $를 가지는 측도의 불변성을 증명하고, 섬유 적분을 통해 정팔면체 가우스 맵의 불변 측도를 유도한다.

실험 결과

연구 질문

• RQ1 정팔면체 내 선형 궤도의 기호적 코딩을 위한 연분수 알고리즘을 어떻게 테이히뮐러 지측선 흐름을 통해 기하학적으로 해석할 수 있는가?
• RQ2 정팔면체 페레이 맵과 테이히뮐러 원판 위의 테이히뮐러 지측선 흐름 사이의 정확한 관계는 무엇인가?
• RQ3 지측선 흐름의 역학을 이용하여 정팔면체 페레이 맵의 자연스러운 확장과 불변 측도를 어떻게 구성할 수 있는가?
• RQ4 베치 군과 그가 테이히뮐러 원판 위에 작용하는 방식은 재규격화 체계를 뒷받침하는 데 어떤 역할을 하는가?
• RQ5 페레이 맵의 가속화(정팔면체 가우스 맵)는 어떻게 유한한 불변 측도를 유도하며, 그 측도의 밀도는 무엇인가?

주요 결과

• 정팔면체 페레이 맵의 자연스러운 확장은 도메인 $ D_{\hat{G}} \subset \mathbb{R}\mathbb{P}^1 \times \mathbb{R}\mathbb{P}^1 $ 위의 전단사 변환으로 구성되며, 밀도 $ \frac{du\,dv}{(u-v)^2} $를 가지는 측도를 유지한다.
• 정팔면체 가우스 맵은 페레이 맵의 가속화로 정의되어 유한한 불변 측도를 가지며, 기울기 좌표에서 $ \sqrt{2} $와 $ 1+\sqrt{2} $를 포함하는 조각별 표현으로 주어진다.
• 정팔면체 가우스 맵의 불변 측도는 자연스러운 확장의 밀도를 섬유에 따라 적분하여 도출되며, 명시적인 조각별 밀도로는 $ \frac{du}{u - \cot(\gamma(7\pi/8))} - \frac{du}{1+\sqrt{2}-u} $, $ \frac{du}{1+\sqrt{2}-u} $, 및 $ \frac{du}{\sqrt{2}-u} $로 구성된다.
• 도메인 $ D_{\hat{G}} $ 는 두 가지 분할(18)과 (19)을 가지며, 이는 $ \hat{G} $ 가 $ D_{\hat{G}} $ 를 자신에게로 보내며 전단사임을 증명하는 데 사용된다.
• $ \hat{G} $ 가 측도 $ \frac{du\,dv}{(u-v)^2} $ 를 유지함을 보이기 위해, $ \hat{G} $ 의 역분지가 분수선형 변환임을 이용하여 집합을 역상으로 분해한다.
• 이 구성은 정팔면체 가우스 맵이 고전적 가우스 맵과 유사하게 유한한 불변 측도를 가지며, 모듈러 표면의 경우와 동일한 역학적 유사성을 완성함을 확인한다.