[논문 리뷰] Plurisubharmonicity and geodesic convexity of energy function on Teichmüller space

Инканг Ким, Xueyuan Wan외 1명|arXiv (Cornell University)|2018. 09. 01.

Analytic and geometric function theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 테이히뮐러 공간 내에서 리만 다양체에서 하이퍼볼릭 표면으로의 조화 맵의 에너지 함수의 로그가 엄격히 복소다중극성임을 증명하며, 이는 테이히뮐러 공간의 스타인성질에 대한 새로운 증명을 제공한다. 또한 에너지 함수가 위르-페테르스온 지오데식선을 따라 엄격히 볼록임을 증명하고, 정확한 이차 변화 공식을 유도하며, 지오데식 길이 함수를 포함한 공식들을 도출한다. 이와 동시에 $ E(t)^c $ 가 $ c > 5/6 $ 일 때 엄격히 볼凸하고 $ c = 5/6 $ 일 때 볼凸함을 보여준다.

ABSTRACT

Let $π:\mc{X} o \mc{T}$ be Teichmüller curve over Teichmüller space $\mc{T}$, such that the fiber $\mc{X}_z=π^{-1}(z)$ is exactly the Riemann surface given by the complex structure $z\in \mc{T}$. For a fixed Riemannian manifold $M$ and a continuous map $u_0: M o \mc{X}_{z_0}$, let $E(z)$ denote the energy function of the harmonic map $u(z):M o \mc{X}_z$ homotopic to $u_0$, $z\in \mathcal T$. We obtain the first and the second variations of the energy function $E(z)$, and show that $\log E(z)$ is strictly plurisubharmonic on Teichmüller space, from which we give a new proof on the Steinness of Teichmüller space. We also obtain a precise formula on the second variation of $E^{1/2}$ if $\dim M=1$. In particular, we get the formula of Axelsson-Schumacher on the second variation of the geodesic length function. We give also a simple and corrected proof for the theorem of Yamada, the convexity of energy function $E(t)$ along Weil-Petersson geodesics. As an application we show that $E(t)^c$ is also strictly convex for $c>5/6$ and convex for $c=5/6$ along Weil-Petersson geodesics. We also reprove a Kerckhoff's theorem which is a positive answer to the Nielsen realization problem.

연구 동기 및 목표

• 테이히뮐러 공간에서 에너지 함수의 로그의 복소다중극성성을 확립하여, 이 공간의 스타인 성질에 대한 새로운 증명을 제공한다.
• 테이히뮐러 공간 설정에서 조화 맵의 에너지 함수 $ E(z) $ 의 정확한 일차 및 이차 변화 공식을 도출한다.
• 위르-페테르스온 지오데식선을 따라 $ E(t)^c $ 가 $ c > 5/6 $ 일 때 엄격히 볼凸하고 $ c = 5/6 $ 일 때 볼凸함을 증명하며, 기존의 지오데식 길이 함수 결과를 확장한다.
• 조화 맵 에너지 방법을 통해 지오데식 길이 함수의 이차 변화 공식을 재구성하고 수정한다.
• 테이히뮐러 공간에서 에너지 함수의 볼凸성과 적절성에 기반하여 야마다의 정리에 대한 단순화되고 수정된 증명을 제공하고, 에너지 함수를 이용해 킬러코프의 니엘센 실현 정리를 재증명한다.

제안 방법

• 테이히뮐러 공간 $ \tilde{\rho} $ 위에서 리만 표면을 매개변수화하기 위해 테이히뮐러 곡선 $ \rho: \tilde{\rho} \to \tilde{\rho} $ 를 사용하며, 각 섹션 $ \tilde{\rho}_z $ 는 하이퍼볼릭 메트릭을 지닌다.
• 고정된 리만 다양체 $ (M^n, g) $ 에서 섹션 $ \tilde{\rho}_z $ 로의 조화 맵 이론을 적용하여, 고정된 사상 $ u_0 $ 와 동치위상일 조건에서 존재성과 유일성을 보장하는 조화 대표를 확보한다.
• 복소 구조의 무한소 변형과 관련된 벨트라미 디퍼렌셜을 사용하여 에너지 함수 $ E(z) = \frac{1}{2} \int_M |du(z)|^2 d\mu_g $ 의 일차 및 이차 변화를 계산한다.
• 풀백 메트릭의 트레이스와 벨트라미 디퍼렌셜 $ q $ 를 포함하는 이차 변화 공식을 유도하며, $ \delta^2 E(u_0)(W_0, W_0) \leq \int_M \frac{|q|^2}{\phi_0^2} \text{Tr}_g(u_0^* \Phi_0) d\mu_g $ 를 보인다.
• 곡률 추정과 트레이스 부등식을 조합하여 이차 변화의 양성함을 확립하며, $ \frac{d^2}{dt^2} E(t) \geq \int_M \frac{|q|^2}{3\phi_0^2} \text{Tr}_g(u_0^* \Phi_0) d\mu_g > 0 $ 를 증명한다.
• 이차 변화 결과를 활용하여 $ \frac{d^2}{dt^2} E(t)^c $ 를 분석하고, $ \left( \frac{dE}{dt} \right)^2 \leq 6E \frac{d^2E}{dt^2} $ 를 포함하는 이차 부등식을 통해 $ c > 5/6 $ 일 때 엄격한 볼凸성 조건을 도출한다.

실험 결과

연구 질문

• RQ1 에너지 함수 $ \log E(z) $ 의 로그는 테이히뮐러 공간에서 엄격히 복소다중극성인가?
• RQ2 에너지 함수 $ E(t) $ 는 위르-페테르스온 지오데식선을 따라 엄격히 볼凸하는가? 그리고 어떤 거듭제곱 $ c $ 에서 $ E(t)^c $ 가 볼凸 또는 엄격히 볼凸하는가?
• RQ3 도메인 다양체의 차원이 1인 경우, $ E^{1/2}(t) $ 의 정확한 이차 변화 공식은 무엇인가?
• RQ4 지오데식 길이 함수의 이차 변화는 에너지 함수 프레임워크에서 재구성될 수 있는가?
• RQ5 에너지 함수의 볼凸성과 적절성에 기반하여 니엘센 실현 문제는 재증명될 수 있는가?

주요 결과

• 에너지 함수 $ \log E(z) $ 는 테이히뮐러 공간에서 엄격히 복소다중극성이며, 이는 테이히뮐러 공간의 스타인 성질에 대한 새로운 증명을 제공한다.
• 위르-페테르스온 지오데식선을 따라 에너지 함수 $ E(t) $ 의 이차 변화는 엄격히 양수이며, 야마다의 정리에서 제시한 $ E(t) $ 의 엄격한 볼凸성 결과를 확인한다.
• Weil-Petersson 지오데식선을 따라 $ E(t)^c $ 는 $ c > 5/6 $ 일 때 엄격히 볼凸하고 $ c = 5/6 $ 일 때 볼凸하며, 이 임계값 $ 5/6 $ 은 일차 및 이차 도함수를 포함하는 이차 부등식에서 유도된다.
• 지오데식 곡선으로 특수화할 경우(에너지가 길이의 제곱임을 고려), 본 논문은 액셀슨과 숨처의 지오데식 길이 함수에 대한 이차 변화 공식을 재확인하고 수정한다.
• 채우는 곡선의 가족에 대한 에너지 함수의 합은 적절하고 엄격히 볼凸이며, 이는 군 작용에 대해 불변인 유일한 최소점이 존재함을 의미한다. 이는 킬러코프의 니엘센 실현 정리에 대한 새로운 증명을 제공한다.
• 차원이 1인 경우 $ E^{1/2}(t) $ 의 이차 변화는 명시적으로 유도되며, 이는 기존의 지오데식 길이 함수의 이차 변화 공식을 정확히 복원한다.