[논문 리뷰] Shadows of Teichmüller Discs in the Curve Graph

Robert L. Tang, Richard Webb|arXiv (Cornell University)|2015. 10. 14.

Geometric and Algebraic Topology참고 문헌 14인용 수 3

한 줄 요약

이 논문은 테이히뮐러 원판과 관련된 여러 자연스러운 곡선 집합—예를 들어, 시스톨, 실린더 곡선, 직선 정점 순환—이 곡선 그래프에서 일관되게 쌍대 콘벡스이며, 모든 집합이 유니버설 하우스도르프 거리 이내에서 일치함을 입증한다. 저자들은 테이히뮐러 원판 위의 균형점 개념을 도입하여 마수르와 믹스키의 균형 시간 개념을 일반화하였으며, 이러한 점들이 근접한 점 사영과 시스톨을 근사함을 증명하고, 반투명 표면 위의 유클리드 기하학을 통해 평면 길이와 균형 조건을 분석하기 위해 보조 다각형을 사용한다.

ABSTRACT

We consider several natural sets of curves associated to a given Teichmüller disc, such as the systole set or cylinder set, and study their coarse geometry inside the curve graph. We prove that these sets are quasiconvex and agree up to uniformly bounded Hausdorff distance. We describe two operations on curves and show that they approximate nearest point projections to their respective targets. Our techniques can be used to prove a bounded geodesic image theorem for a natural map from the curve graph to the filling multi-arc graph associated to a Teichmüller disc.

연구 동기 및 목표

• 테이히뮐러 원판의 거친 기하학을 분석함으로써 시스톨, 실린더 곡선, 직선 정점 순환과 같은 자연스러운 곡선 집합의 성질을 이해한다.
• 정방향이 일정하지 않은 곡선을 위한 테이히뮐러 원판 위의 균형점 개념을 마수르와 믹스키의 균형 시간 개념으로 일반화한다.
• 테이히뮐러 원판과 관련된 다양한 곡선 집합이 유니버설 하우스도르프 거리 이내에서 일관되게 쌍대 콘벡스이자 근사적으로 동치임을 증명한다.
• 테이히뮐러 원판과 관련된 곡선 그래프에서 충만한 다중활선 그래프로 가는 사상에 대해 유계 지오데식 영상 정리를 확립한다.
• 특히 보조 다각형을 포함한 도구들을 개발하여 반투명 표면 위에서 곡선 길이와 균형 조건의 효과적인 기하학적 분석을 가능하게 한다.

제안 방법

• 반투명 표면 위의 지오데식 대표를 통해 각 곡선과 관련된 자연스러운 기하학적 기준을 갖는 트레인 트랙과 연결된 정점 순환의 합집합으로서 직선 정점 순환을 정의한다.
• 모든 q ∈Δ 에서 곡선 α 가 사용하는 고리 연결의 조합적 패턴에 기반하여 길이나 방향에 관계없이 독립적인 트레인 트랙 τΔ(α) 를 구성한다.
• 기하학적 분석을 기본 유클리드 기하학으로 단순화하기 위해 보조 다각형 Pq(α) 를 도입하여 균형점과 최소 평면 길이의 명시적 계산을 가능하게 한다.
• 모든 회전에 대해 수평 및 수직 길이가 유계 비율 내에서 일치하는 점 X ∈Δ 를 곡선 α 의 균형점으로 정의하며, 지오데식 위의 균형 시간 개념을 일반화한다.
• 근사 리프시츠 사상과 근접한 점 사영 근사 기법을 포함한 거친 기하학 기법을 사용하여 곡선 그래프 내에서 시스톨 집합과 곡선 집합 간의 관계를 규명한다.
• 보편적인 상수 O(2^{32g}) 를 갖는 명시적 상수를 도출하기 위해 보편적인 포함 관계에 대해 쌍대 콘벡스성과 하우스도르프 거리의 상한을 제어하기 위해 보로베츠의 넓은 실린더 정리를 적용한다.

실험 결과

연구 질문

• RQ1 테이히뮐러 원판 상의 평면 시스톨, 외부 길이 시스톨, 하이퍼볼릭 길이 시스톨, 실린더 곡선, 직선 정점 순환 집합은 곡선 그래프에서 근사적으로 동치인가?
• RQ2 테이히뮐러 지오데식에 대한 균형 시간 개념은 방향이 일정하지 않은 곡선을 위한 테이히뮐러 원판 위의 균형점 개념으로 일반화될 수 있는가?
• RQ3 시스톨 집합과 직선 정점 순환 집합으로의 가장 가까운 점 사영 간의 관계는 어떻게 되며, 이는 균일하게 근사될 수 있는가?
• RQ4 곡선 그래프 내의 지오데식이 관련된 반투명 표면 위의 고리 연결 다중활선으로 가는 사상에 의해 영향을 받는 이미지의 거친 기하학은 어떠한가?
• RQ5 보조 다각형을 사용하여 테이히뮐러 원판 상의 곡선의 균형점과 최소 평면 길이를 효과적으로 계산할 수 있는가?

주요 결과

• 곡선 그래프 C(S) 내에서 집합 V(Δ), sys(Δ), sysExt(Δ), sysHyp(Δ), cyl(Δ), 및 c cyl(Δ) 는 모두 유니버설 하우스도르프 거리 이내에서 일치한다.
• 직선 정점 순환의 집합 V(Δ) 는 유니버설 쌍대 콘벡스이며, 쌍대 콘벡스성 상수 Q1 을 갖는다. 또한 α ↦ V(τΔ(α)) 사상은 V(Δ) 로의 가장 가까운 점 사영을 유니버설 오차 P1 이내로 근사한다.
• 시스톨 집합 sys(Δ), sysExt(Δ), sysHyp(Δ) 는 유니버설 쌍대 콘벡스이며 상수 Q2 를 갖는다. 또한 α ↦ sys(Gα) 사상은 sys(Δ) 로의 가장 가까운 점 사영을 유니버설 오차 P2 이내로 근사한다.
• V(Δ) 의 A-근접 영역과 교차하지 않는 C(S) 내의 지오데식 G 에 대해, 이미지 AΔ(G) 는 충만한 다중활선 그래프 FMA(Δ) 내에서 최대 지름 B 를 갖는다. 이는 보편 상수 A 와 B 를 갖는 유계 지오데식 영상 정리를 증명한다.
• 곡선 α 에 대해 테이히뮐러 원판 Δ 상의 균형점 X 는 α 를 지나는 모든 테이히뮐러 지오데식 Gα 에 대해 dΔ(X, Gα) ≤ log 2 를 만족하며, sys(X) 는 sys(Δ) 로의 어떤 가장 가까운 점 사영과도 유니버설로 가까이 있다.
• 정점 순환 v ∈ V(τ) 에 대응하는 균형점 Xv 의 볼록 hull H 는 sys(H), sys(X), V(τ) 가 C(S) 내에서 유니버설로 가까이 있으며, sys(H) 는 유니버설로 유계 지름을 갖는다.