[논문 리뷰] The Donaldson hyperk\"ahler metric on the almost-Fuchsian moduli space

Samuel Trautwein|arXiv (Cornell University)|2018. 09. 04.

Geometry and complex manifolds참고 문헌 15인용 수 6

한 줄 요약

이 논문은 임의의 종수 2 이상의 닫힌 곡면에 대한 약-푸크스 방식 모듈리 공간 위에서 도널드슨의 초켈러 계량의 완전한 증명을 제공한다. 울렌벡의 초등각 3차원 다양체 이론, 호지의 테이히뮐러 × 쌍대 테이히뮐러 공간으로의 명시적 사상, 버스의 동시 균일화 이론, 히치닌의 히긴스 번들의 이론을 활용하여, 저자들은 초켈러 구조가 테이히뮐러 공간의 쌍대접속기반 위의 웨일-피터슨 계량을 피엑스–칼레딘 구조를 통해 확장하고, 최소 표면의 면적을 켈러 포텐셜로 실현함을 보여준다.

ABSTRACT

Donaldon constructed a hyperkahler moduli space $\mathcal{M}$ associated to a closed oriented surface $\Sigma$ with $ extrm{genus}(\Sigma) \geq 2$. This embeds naturally into the cotangent bundle $T^*\mathcal{T}(\Sigma)$ of Teichmuller space or can be identified with the almost-Fuchsian moduli space associated to $\Sigma$. The later is the moduli space of quasi-Fuchsian threefolds which contain a unique incompressible minimal surface with principal curvatures in $(-1,1)$. Donaldson outlined various remarkable properties of this moduli space for which we provide complete proofs in this paper: On the cotangent-bundle of Teichmuller space, the hyperkahler structure on $\mathcal{M}$ can be viewed as the Feix--Kaledin hyperkahler extension of the Weil--Petersson metric. The almost-Fuchsian moduli space embeds into the $ extrm{SL}(2,\mathbb{C})$-representation variety of $\Sigma$ and the hyperkahler structure on $\mathcal{M}$ extends the Goldman holomorphic symplectic structure. Here the natural complex structure corresponds to the second complex structure in the first picture. Moreover, the area of the minimal surface in an almost-Fuchsian manifold provides a Kahler potential for the hyperkahler metric. The various identifications are obtained using the work of Uhlenbeck on germs of hyperbolic $3$-manifolds, an explicit map from $\mathcal{M}$ to $\mathcal{T}(\Sigma) imes \overline{\mathcal{T}(\Sigma)}$ found by Hodge, the simultaneous uniformization theorem of Bers, and the theory of Higgs bundles introduced by Hitchin.

연구 동기 및 목표

• 도널드슨이 제시한 약-푸크스 방식 국소에서의 초켈러 모듈리 공간 성질들에 대한 완전한 증명을 제공하는 것.
• 테이히뮐러 공간의 쌍대접속기반 위의 웨일-피터슨 계량을 피엑스–칼레딘 구조를 통해 확장한 초켈러 구조로서, 약-푸크스 방식 모듈리 공간 위의 초켈러 구조를 확립하는 것.
• 약-푸크스 방식 공간 위의 초켈러 계량이 SL(2,ℂ)-표현 다양체 위의 골드먼 복소해밀토니안 구조를 확장하는지 보여주는 것.
• 약-푸크스 다양체 내의 최소 표면의 면적을 초켈러 계량에 대한 켈러 포텐셜로 식별하는 것.
• 울렌벡의 기저, 호지의 사상, 버스의 균일화, 히치닌의 히긴스 번들 이론을 통합하여 기하학적, 복소해석학적, 게이지 이론적 관점을 통합하는 것.

제안 방법

• 초등각 3차원 다양체의 기저 이론을 활용하여 최소 표면 근처의 국소 구조를 분석한다.
• 호지의 매개변수화를 이용해 약-푸크스 방식 모듈리 공간에서 테이히뮐러 공간과 그 쌍대공간의 곱으로의 명시적 사상을 구성한다.
• 버스의 동시 균일화 정리를 적용하여, 준푸크스 방식 표현을 테이히뮐러 × 쌍대 테이히뮐러 공간의 점으로 실현한다.
• 피엑스–칼레딘 구조를 활용하여 웨일-피터슨 켈러 형식을 쌍대접속기반 위의 초켈러 구조로 확장한다.
• 히치닌의 히긴스 번들 대응을 활용하여 초켈러 계량이 SL(2,ℂ)-표현 다양체 위의 복소해밀토니안 구조와 관련이 있음을 보인다.
• 주어진 초켈러 계량에 대해, 주어진 주요 곡률이 (−1,1)에 속하는 비압축 가능한 최소 표면의 면적이 켈러 포텐셜이 되는지 확인한다.

실험 결과

연구 질문

• RQ1 약-푸크스 방식 모듈리 공간 위의 초켈러 구조는 테이히뮐러 공간 위의 웨일-피터슨 계량과 어떻게 관련이 있는가?
• RQ2 약-푸크스 공간 위의 초켈러 계량은 웨일-피터슨 켈러 형식의 피엑스–칼레딘 확장으로서 실현될 수 있는가?
• RQ3 모듈리 공간 위의 초켈러 구조는 SL(2,ℂ)-표현 다양체 위의 골드먼 복소해밀토니안 구조를 확장하는가?
• RQ4 약-푸크스 다양체 내의 최소 표면의 면적은 초켈러 계량 내에서 기하학적으로 어떤 역할을 하는가?
• RQ5 울렌벡의 기저, 호지의 사상, 버스의 균일화, 히치닌의 히긴스 번들은 어떻게 함께 작용하여 초켈러 구조를 실현하는가?

주요 결과

• 약-푸크스 방식 모듈리 공간 위의 초켈러 구조는 테이히뮐러 공간의 쌍대접속기반 위의 웨일-피터슨 계량을 피엑스–칼레딘 구조를 통해 확장한 것이다.
• 약-푸크스 방식 모듈리 공간은 자연스럽게 SL(2,ℂ)-표현 다양체에 매립되며, 초켈러 계량은 골드먼 복소해밀토니안 구조를 확장한다.
• 모듈리 공간 위의 자연스러운 복소구조는 초켈러 삼중체의 두 번째 복소구조와 일치하며, 피엑스–칼레딘 구조와 일관된다.
• 각 약-푸크스 다양체 내의 비압축 가능한 최소 표면의 유일한 면적이 초켈러 계량에 대한 켈러 포텐셜로 작용한다.
• 울렌벡의 기저, 호지의 매개변수화, 버스의 균일화, 히치닌의 히긴스 번들 등 다양한 기하학적·해석학적 구조들이 통합되어 초켈러 계량이 실현된다.