[논문 리뷰] Weil-Petersson metric on the universal Teichmuller space I: Curvature properties and Chern forms

Leon A. Takhtajan, Lee-Peng Teo|ArXiv.org|2003. 12. 08.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 16

한 줄 요약

이 논문은 유니버설 테이히뮐러 공간 $T(1)$을 $L^2$ 내적을 통해 유도된 웰-피터슨 계량을 지닌 복소 힐버트 다양체로 설정한다. 이는 $T(1)$이 음의 리치 및 섹션 굴률을 지닌 카플러-아인슈타인 다양체임을 증명하며, 해석적 핵을 통해 리만 굴률 텐서를 계산하고, 유니버설 테이히뮐러 곡선에 대한 문드포르-밀러-모리타 특성 형식을 유도하여, 유한차원 테이히뮐러 공간에 대한 명시적 굴률 공식을 응용으로서 도출한다.

ABSTRACT

We prove that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold. We show that the connected component of the identity of T(1), the Hilbert submanifold T_{0}(1), is a topological group. We define a Weil-Petersson metric on T(1) by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration over the universal Teichmuller space. As an application, we derive Wolpert curvature formulas for the finite-dimensional Teichmuller spaces from the formulas for the universal Teichmuller space.

연구 동기 및 목표

• 유니버설 테이히뮐러 공간 $T(1)$에 웰-피터슨 계량을 정의하는 것. 이는 본질적으로 바나흐 다양체이자 접공간에 자연스럽게 헤르미트 계량이 존재하지 않는 공간이다.
• 접공간에 $L^2$ 내적을 부여하여 $T(1)$을 복소 힐버트 다양체로 설정함으로써 잘 정의된 카플러 구조를 확보하는 것.
• 유니버설 커버 위에서의 쌍곡 라플라스 연산자의 해석적 핵을 사용하여 $T(1)$의 웰-피터슨 계량에 대한 리만 굴률 텐서를 계산하는 것.
• 유니버설 테이히뮐러 곡선의 수직 접공간에 대한 문드포르-밀러-모리타 특성 형식을 유도하는 것.
• 유니버설 설정에서 유한차원 테이히뮐러 공간에 대한 월퍼트의 굴률 공식을 회복하고 일반화하는 것.

제안 방법

• 유니버설 테이히뮐러 공간 $T(1)$의 항등원에서의 접공간에서의 접벡터들에 대한 힐버트 공간 내적을 통해 웰-피터슨 계량을 정의하며, 벨트라미 디퍼렌셜에 대한 $L^2$-추정을 활용한다.
• 변분 공식과 쌍곡 라플라스 연산자의 해석적 핵을 사용하여 리만 굴률 텐서를 계산하며, 다중 주요값 적분 형태로 표현된다.
• 쌍곡 계량의 이차 변동과 $\frac{1}{(z - \bar{w})^2}$ 항을 포함하는 적분 핵을 사용하여 굴률 공식을 도출한다.
• 유니버설 테이히뮐러 곡선의 수직 범주에 대한 체른 형식 $c_1(V)$는 벨링-키릴로프 심플렉틱 형식을 사용하여 구성되며, 해석적 핵과 연결된다.
• 단위 원판 $\mathbb{U}$ 위에서의 복소해석학을 활용하며, 형태 $\iint \iint \frac{\mu(w)\overline{\nu(u)}\nu(v)}{(w-\bar{z})^2(w-\bar{u})^2(v-\bar{u})^2(v-\bar{z})^2} d^2v d^2u d^2w$의 삼중 적분의 $L^2$-노름 추정을 슈르 유형 추정을 통해 유도한다.
• 유니버설 공식을 $T(\Gamma)$에 대한 임베딩을 통해 $T(\Gamma)$로 당김으로써 유한차원 테이히뮐러 공간에 대한 굴률 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 유니버설 테이히뮐러 공간 $T(1)$에 대해, 접공간에 자연스럽게 헤르미트 계량이 존재하지 않는 본질적 바나흐 다양체로서 웰-피터슨 계량을 일관적으로 정의할 수 있는가?
• RQ2 특히 리치 및 섹션 굴률 측면에서 $T(1)$의 웰-피터슨 계량의 굴률 성질은 무엇인가?
• RQ3 유니버설 테이히뮐러 곡선의 피브레이션에 대해 문드포르-밀러-모리타 특성 형식을 어떻게 구성할 수 있는가?
• RQ4 유니버설 설정에서 유한차원 테이히뮐러 공간에 대한 월퍼트의 굴률 공식을 유도할 수 있는가?
• RQ5 쌍곡 라플라스 연산자의 해석적 핵은 $T(1)$에서 굴률 텐서를 계산하는 데 어떤 역할을 하는가?

주요 결과

• 유니버설 테이히뮐러 공간 $T(1)$은 접공간에 $L^2$ 내적을 통해 웰-피터슨 계량을 부여받으며, 이는 복소 힐버트 다양체로 만든다.
• 항등원의 연결 성분인 $T_0(1)$은 위상군이며, 웰-피터슨 계량은 $T(1)$에 카플러-아인슈타인 구조를 제공한다.
• 쌍곡 라플라스 연산자의 해석적 핵을 사용하여 $T(1)$의 웰-피터슨 계량에 대한 리만 굴률 텐서를 명시적으로 계산하였다.
• $T(1)$의 리치 굴률과 섹션 굴률은 모두 음수이며, 이는 그가 쌍곡 기하학적 성질을 지닌다는 것을 확인한다.
• 유니버설 테이히뮐러 곡선의 수직 접공간에 대한 첫 번째 체른 형식 $c_1(V)$는 벨링-키릴로프 심플렉틱 형식과 일치한다.
• 문드포르-밀러-모리타 특성 형식을 계산하여, 유한차원 테이히뮐러 공간 $T(\Gamma)$에 대한 월퍼트의 굴률 공식을 극한 경우로 도출하였다.