[논문 리뷰] Bi-Lagrangian structures and Teichmüller theory

Brice Loustau, Andrew Sanders|arXiv (Cornell University)|2017. 08. 30.

Geometric and Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 실해석적 켈러 다양체의 복소화가 자연스럽게 복소 이라그랑주(파라-카이러) 기하학적 구조를 지닌다는 것을 보여줌으로써, 이중라그랑주(파라-카이러) 기하학과 테이히뮐러 이론 사이의 깊은 연결 고리를 확립한다. 이 틀을 표면 위 기하 구조의 모듈리 공간에 적용하여, 테이히뮐러 이론에서 알려진 결과들—예를 들어 위엘-피터슨 계량 및 테이히뮐러 공간 위의 아핀 기하학—을 미분기하학적 기계장치의 형식적 결과로 도출한다.

ABSTRACT

In this paper, we review or introduce several differential structures on manifolds in the general setting of real and complex differential geometry, and apply this study to Teichmüller theory. We focus on bi-Lagrangian i.e. para-Kähler structures, which consist of a symplectic form and a pair of transverse Lagrangian foliations. We prove in particular that the complexification of a real-analytic Kähler manifold has a natural complex bi-Lagrangian structure. We then specialize to moduli spaces of geometric structures on closed surfaces, and show that old and new geometric features of these spaces are formal consequences of the general theory. We also gain clarity on several well-known results of Teichmüller theory by deriving them from pure differential geometric machinery.

연구 동기 및 목표

• 테이히뮐러 이론의 기하적 구조를 이중라그랑주(파라-카이러) 기하학의 틀을 통해 통합하고 명확히 하기.
• 실해석적 켈러 다양체의 복소화가 자연스럽게 복소 이중라그랑주 구조를 지닌다는 것을 확립하기.
• 위엘-피터슨 계량 및 아핀 기하학과 같은 고전적 결과들을 심플렉틱 기하학과 파라복소 기하학의 시각에서 재해석하기.
• 복소 이중라그랑주 구조 이론을 도입하고 발전시키며, 복소 보트 접속 및 이중복소 켈러 구조를 포함하기.
• 켈러 다양체의 복소화에서 초히르미션 구조의 존재성과 성질을 탐구하며, 페이크스-칼레딘의 초카이러 구조와 대조하기.

제안 방법

• 실해석적 켈러 다양체의 복소화에 대해 자연스러운 심플렉틱 형식의 확장과 라그랑주 분할을 이용해 이중라그랑주 구조를 구성하기.
• 복소 라그랑주 분할에 적응된 보트 접속을 정의하고 이를 전체 심플렉틱 접속으로 확장하여 복소 이중라그랑주 접속을 정의하기.
• 이중복소 수를 사용해 복소 이중라그랑주 기하학의 대수적 구조를 특성화하고, 이중복소 켈러 구조의 정의를 가능하게 하기.
• 라그랑주 분할의 잎을 沿해 수직 평행 이동을 사용해 $\mathbb{C}P^1$의 복소화 위의 거의 초히르미션 기하학적 구조를 명시적으로 계산하기.
• 미분기하학적 계산을 통해 $N^c = \mathbb{C}P^1 \times \overline{\mathbb{C}P^1}$ 위에서 계량 $g$, 복소 구조 $I, J, K$, 심플렉틱 형식 $\omega_I, \omega_J, \omega_K$ 를 도출하기.
• 유도된 초히르미션 구조를 페이크스-칼레딘의 초카이러 구조와 비교하여, $\omega_J$ 가 닫혀 있지 않음을 보이고, 따라서 구조가 적분 가능하지 않음을 밝히기.

실험 결과

연구 질문

• RQ1 실해석적 켈러 다양체의 복소화가 자연스럽게 복소 이중라그랑주 구조를 지니는가?
• RQ2 테이히뮐러 이론의 고전적 결과들—예를 들어 위엘-피터슨 계량 및 아핀 기하학—이 이중라그랑주 기하학으로부터 도출될 수 있는가?
• RQ3 켈러 다양체의 복소화 위의 초히르미션 구조의 성격은 무엇이며, 페이크스-칼레딘의 초카이러 구조와 어떻게 비교되는가?
• RQ4 복소 이중라그랑주 접속과 이중복소 켈러 구조는 실기하학과 파라복소 기하학을 복소 설정에서 어떻게 일반화하는가?
• RQ5 복소 $\mathbb{C}P^1 \times \overline{\mathbb{C}P^1}$ 위의 거의 초히르미션 기하학적 구조는 적분 가능한가, 그리고 $\omega_J$ 의 닫혀 있지 않은 성질은 어떤 역할을 하는가?

주요 결과

• 실해석적 켈러 다양체의 복소화는 자연스럽게 복소 이중라그랑주 구조를 지닌다. 심플렉틱 형식과 두 개의 서로 수직인 라그랑주 분할이 실기하학적 구조에서 유도된다.
• 테이히뮐러 공간 위의 위엘-피터슨 계량은 이중라그랑주 접속과 모듈리 공간 위의 유도된 아핀 기하학적 구조의 형식적 결과로 나타난다.
• 복소 프로젝티브 구조의 변형 공간 $\mathcal{CP}(S)$ 는 기저 모듈리 공간의 이중라그랑주 기하학에 의해 유도된 표준적인 아핀 번들의 기하학적 구조를 지닌다.
• 복소 $\mathbb{C}P^1$ 의 복소화에서 수직 잎을 따라 평행 이동이 명시적으로 계산되었으며, 그 결과는 끝점에만 의존하고 $1 + z_0 w_0$ 를 포함하는 해석적 인자에 의존함을 보였다.
• 복소 $N^c = \mathbb{C}P^1 \times \overline{\mathbb{C}P^1}$ 위의 거의 초히르미션 기하학적 구조는 명시적으로 구성되었으며, $\omega_J$ 가 닫혀 있지 않아 적분 가능하지 않음을 나타내고, 리베이-시비타 접속이 $J$ 를 보존하지 못함을 시사한다.
• 유도된 계량과 복소 구조는 페이크스-칼레딘의 초카이러 구조와 다름을 보였으며, $\omega_J$ 가 닫혀 있지 않지만 $\omega_I$ 와 $\omega_K$ 는 닫혀 있고 $\omega_0^c = \omega_I - i\omega_K$ 를 만족한다.