[논문 리뷰] On Teichmuller Space of Surface with Boundary

Feng Luo|ArXiv.org|2006. 01. 15.

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 3

한 줄 요약

이 논문은 이상적 삼각분할에서 유도된 직각 hyperbolic 육각형의 E-불변량을 사용하여 경계가 있는 컴acts한 hyperbolic 표면의 경계가 있는 Teichmüller 공간의 새로운 매개변수화를 제안한다. 주요 결과는 고정된 경계 길이를 가진 Teichmüller 공간이 E-불변량 좌표계에서 열린 볼록 다면체가 되며, 선형 프로그래밍 이중성에서 유도된 일정한 양성 및 삼각형 유사 부등식을 만족할 경우 hyperbolic 메트릭의 존재가 보장된다는 것이다.

ABSTRACT

We characterization hyperbolic metrics on compact surfaces with boundary using a variational principle. As a consequence, a new parametrization of the Teichmuller space of compact surface with boundary is produced. In the new parametrization, the Teichmuller space becomes an open convex polytope. It is conjectured that the Weil-Petersson symplectic form can be expressed explicitly in terms of the new coordinate.

연구 동기 및 목표

• 경계가 비어 있지 않은 고정된 경계 길이를 가진 컴팩트한 hyperbolic 표면의 Teichmüller 공간을 위한 새로운 좌표계를 개발한다.
• 직각 hyperbolic 육각형의 코사인 법칙에 기반한 변분 원리에 의해 hyperbolic 메트릭을 특성화한다.
• 새로운 E-불변량 좌표계 하에서 경계가 있는 Teichmüller 공간이 열린 볼록 다면체와 미분동형임을 보인다.
• 선형 프로그래밍의 이중성에 의해, 주어진 E-불변량을 가진 hyperbolic 메트릭의 존재를 위한 필요 및 충분 조건을 수립한다.

제안 방법

• 이상적 삼각분할의 각 변에 대해, 반대편 x-활의 길이의 합의 절반에서 면대변의 길이를 뺀 값을 E-불변량으로 정의한다.
• 직각 hyperbolic 육각형의 다이로그함수와 코사인 법칙에서 유도된 에너지 함수를 사용하여 Teichmüller 공간을 매개변수화한다.
• 변분 원리를 적용한다: hyperbolic 메트릭은 E-불변량으로 정의된 볼록 영역에서 에너지 함수의 임계점을 나타낸다.
• 양성 및 삼각형 유사 부등식을 만족하는 E-불변량 함수와 hyperbolic 메트릭 사이의 일대일 대응을 확립한다.
• 선형 프로그래밍의 이중성과 Farkas의 보조정리를 사용하여, E-불변량이 모든 본질적인 단순 루프에서 양성을 만족할 경우에만 해공간이 비어 있지 않음을 증명한다.
• 허용 가능한 E-불변량의 공간이 삼각분할의 변의 수 m에 대해 R^m 내의 열린 볼록 다면체임을 보인다.

실험 결과

연구 질문

• RQ1 경계가 있는 컴팩트한 hyperbolic 표면의 경계가 있는 Teichmüller 공간은 이상적 삼각분할에서 유도된 기하 불변량을 통해 명시적으로 매개변수화될 수 있는가?
• RQ2 E-불변량이 어떤 조건을 만족해야 주어진 불변량을 가진 hyperbolic 메트릭이 존재하는가?
• RQ3 직각 hyperbolic 육각형의 코사인 법칙에 기반한 변분 원리는 경계가 있는 표면에서 hyperbolic 메트릭을 어떻게 특성화하는가?
• RQ4 고정된 경계 길이를 가진 경계가 있는 Teichmüller 공간은 E-불변량 매개변수화 하에서 열린 볼록 다면체와 미분동형인가?
• RQ5 추측된 lin과 같이 Weil-Petersson 심플렉틱 형식은 새로운 E-불변량 좌표로 명시적으로 표현될 수 있는가?

주요 결과

• 고정된 경계 길이 l을 가진 경계가 있는 Teichmüller 공간 T(S,l)는 이상적 삼각분할의 변의 수 m에 대해 R^m 내의 열린 볼록 다면체와 미분동형이다.
• 표면 위에 hyperbolic 메트릭이 존재하는 것은 각 육각형 셀에서의 삼각형 유사 관계에서 유도된 부등식계를 만족하는 E-불변량이 존재하는 것과 동치이다.
• 다이로그함수와 코사인 법칙에서 유도된 에너지 함수 V는 해공간의 닫힘에서 최댓값을 가지며, 이 최댓값이 내부에 있을 조건은 hyperbolic 메트릭이 존재할 때이다.
• E-불변량 시스템의 해 존재성은 측정 라미네이션의 锥 D에 속한 모든 영이 아닌 벡터 y에 대해 ∑ y_i z_i > 0인 선형 함수의 양성과 동치이다.
• E-불변량 매개변수화는 Leibon의 닫힌 표면에 대한 작업을 일반화한 새로운 명시적이고 기하학적으로 의미 있는 Teichmüller 공간 좌표계를 제공한다.
• 허용 가능한 E-불변량의 공간은 직각 hyperbolic 육각형의 기하학과 삼각분할의 구조에서 유도된 선형 부등식으로 특성화된다.