[논문 리뷰] Teichmueller geodesics with d-dimensional limit sets

Anna Lenzhen, Babak Modami외 1명|arXiv (Cornell University)|2016. 08. 29.

Morphological variations and asymmetry참고 문헌 17인용 수 3

한 줄 요약

이 논문은 종수 $d+1$ 표면의 테이히뮐러 공간에서, 테이히뮐러 경로의 경계에 $d$차원 단체인 프로젝티브 측도 다발의 집합을 갖는 테이히뮐러 경로를 구성한다. 무리수 기울기 다발을 가진 $d+1$개의 돌린 정사각형 토러스를 수직 슬릿을 따라 붙인 구성 방식을 사용하여, 기울기의 연속 분수 성장 조건이 만족될 경우 경로의 극한 집합이 $d$차원 단체를 형성함을 보여, 마수어의 높은 차원 극한 집합에 대한 질문에 답한다.

ABSTRACT

We construct an example of a Teichmueller geodesic ray whose limit set in Thurston boundary of Teichmueller space is a d-dimensional simplex.

연구 동기 및 목표

• 테이히뮐러 경로의 극한 집합 차원이 1보다 큰지 여쭤본 마수어의 오랜 질문을 해결하기 위해.
• 임의의 $d \geq 2$에 대해, 테이히뮐러 경로의 극한 집합이 $\mathcal{PMF}(S)$에서 $d$차원 단체가 되는 구체적인 예를 구성하기 위해.
• 이러한 높은 차원 극한 집합이 $d+1$개의 돌린 정사각형 토러스와 무리수 다발이 슬릿을 따라 붙은 특정 기하 구조에서 유래됨을 보여주기 위해.
• 극한 집합이 각 토러스에 지지된 에르고딕 측도 다발들에 의해 생성된 $d$차원 단체의 전체이므로, 이 집합이 $\mathcal{PMF}(S)$에서 완전한 단체임을 입증하기 위해.

제안 방법

• 고도 $d+1$ 표면인 $X_0$를 구성하기 위해, 각각 무리수 기울기 다발 $\theta^i$를 가진 $d+1$개의 돌린 정사각형 토러스 $T^i$를 고정 크기 $s_0$의 수직 슬릿을 따라 붙인다.
• 홀로모르픽 2차 미분형식 $\phi_0$가 단일 영점의 차수 $2d$를 가지며, 이 방향으로 시작하는 테이히뮐러 경로 $\mathbf{r}$를 정의한다.
• 기울기 $\theta^i$의 연속 분수 전개에서 계수의 특정 성장 조건을 사용하여 경로의 점근적 행동을 제어한다.
• 표면의 두꺼운 부분과 얇은 부분에서의 극한 길이와 너비 추정치를 이용해 단순 폐곡선의 쌍곡 길이와 비틀림을 추정한다.
• 시간에 따라 다른 시점에서 연속 분수의 수렴근에 대응하는 곡선 길이를 비교하기 위해 $\sim$, $\asymp$, $\stackrel{\ast}{\asymp}$를 사용한 대략적 추정을 적용한다.
• 극한 집합이 $d+1$개의 에르고딕 측도 다발 $\nu^i$를 포함하고 있으며, 이들의 볼록 hull이 $\mathcal{PMF}(S)$에서 $d$차원 단체를 형성함을 보인다.

실험 결과

연구 질문

• RQ1 테이히뮐러 경로의 극한 집합이 테이히뮐러 공간의 테르스턴 경계에서 차원이 1보다 큰가?
• RQ2 초기 표면과 경로 방향에 대한 기하학적 및 역학적 조건은 무엇이어야 $d$차원 극한 집합을 유도하는가?
• RQ3 각 토러스의 다발 기울기에서 연속 분수 성장 조건이 경로의 점근적 행동에 어떻게 영향을 주는가?
• RQ4 극한 집합이 $d+1$개의 에르고딕 측도 다발에 의해 생성된 $d$차원 단체의 전체일 수 있는가?

주요 결과

• 모든 $d \geq 2$에 대해, $\mathcal{PMF}(S)$에서 $d$차원 단체가 되는 테이히뮐러 경로가 존재한다.
• 극한 집합은 각각 별개의 토러스에 지지된 $d+1$개의 에르고딕 측도 다발 $\nu^0, \nu^1, \dots, \nu^d$의 볼록 hull이다.
• 극한 집합이 완전한 차원을 가지기 위해, 기울기 $\theta^i$의 연속 분수 전개 계수에 특정 성장 조건이 필요하다는 점에 기반한다.
• 경로를 따라 곡선의 점근적 길이 추정치는 극한 집합이 단체의 모든 측도를 포함함을 보여주며, 이는 쌍곡 길이와 비틀림의 대략적 추정을 통해 확인된다.
• 극한 집합은 점이나 1차원 간격이 아니라 완전한 $d$차원 단체이며, 마수어의 질문에 긍정적으로 답한다.