[논문 리뷰] From local Torelli to global Torelli

Kefeng Liu, Yang Shen|arXiv (Cornell University)|2015. 12. 28.

Geometry and complex manifolds참고 문헌 34인용 수 7

한 줄 요약

이 논문은 극화다양체에 대해 강한 국소 Torelli와 T-클래스의 개념을 도입하며, 강한 국소 Torelli가 T-클래스에 속한 다양체의 Torelli 공간에서 전역 Torelli 정리를 함의함을 증명한다. 주어진 주기 함수를 테이히뮐러 공간으로 올리고, 레벨 구조를 사용하여 주기 함수의 전역 단사성을 확립함으로써, Torelli 공간이 복소 유클리드 공간 내의 유계 강한 볼록 도메인으로에 비호몰로피적으로 매장됨을 보이며, 레벨 구조를 가진 모듈리 공간에 응용된다.

ABSTRACT

We introduce the notions of strong local Torelli and T-class for polarized manifolds, and prove that strong local Torelli implies global Torelli theorem on the Torelli spaces for polarized manifolds in the T-class. We discuss many new examples of projective manifolds for which such global Torelli theorem holds. As applications we prove that, in these cases, a canonical completion of the Torelli space is a bounded pseudoconvex domain in complex Euclidean space, and show that generic Torelli implies global Torelli on moduli space with certain level structure.

연구 동기 및 목표

• 고립된 경우를 초월하여 전역 Torelli 정리를 증명하기 위한 체계적인 프레임워크를 구축하기 위해.
• 모듈리 공간의 전역 Torelli 정리를 증명하는 데 어려움을 해결하기 위해 주기 함수를 기본 격자(테이히뮐러 공간)로 올리는 데 목적이 있다.
• 전역 Torelli 정리가 성립하는 극화다양체의 T-클래스를 정의하고 특성화하기 위해.
• 이러한 다양체의 Torelli 공간이 복소 유클리드 공간 내의 유계 강한 볼록 도메인임을 보여주기 위해.
• m ≥ 3 인 레벨 m-구조를 가진 모듈리 공간에서 전역 Torelli 정리가 성립함을 증명하기 위해.

제안 방법

• Torelli 공간에서의 전역 Torelli 정리에 대한 충분조건으로서 강한 국소 Torelli의 개념을 도입하기 위해.
• m ≥ 3 인 레벨 m-구조를 가진 매끄러운 모듈리 공간을 갖는 극화다양체의 집합으로서 T-클래스를 정의하기 위해.
• 레벨 구조를 가진 모듈리 공간의 기본 격자로서 테이히뮐러 공간을 구성하기 위해.
• 모듈리 공간에서 테이히뮐러 공간으로 주기 함수를 올리며, 강한 국소 Torelli 조건 하에서 단사성을 확보하기 위해.
• 단순연결성과 기본군의 동형을 이용하여, 레벨 구조를 가진 모듈리 공간에서의 주기 함수가 그 이미지 위로의 비호몰로피임을 증명하기 위해.
• 호지 이론과 복소기하학의 결과를 적용하여 주기 함수의 이미지를 유계 강한 볼록 도메인으로 식별하기 위해.

실험 결과

연구 질문

• RQ1 강한 국소 Torelli 조건이 어떤 조건에서 극화다양체에 대해 전역 Torelli 정리를 함의하는가?
• RQ2 극화다양체의 어떤 클래스들이 T-클래스에 속하며, 이러한 클래스가 Torelli 유형 정리에 있어 중요한 이유는 무엇인가?
• RQ3 레벨 구조와 테이히뮐러 공간의 사용이 전역 Torelli 정리를 증명하는 데서 발생하는 장애 요소를 어떻게 극복하는가?
• RQ4 T-클래스 다양체의 Torelli 공간은 어떤 기하적 구조를 갖는가? 그리고 이는 유계 대칭 도메인과 어떻게 관련되어 있는가?
• RQ5 레벨 m-구조를 가진 모듈리 공간에서 전역 Torelli 정리가 성립할 수 있으며, 이는 주기 함수에 대해 어떤 함의를 갖는가?

주요 결과

• 강한 국소 Torelli 조건은 T-클래스에 속한 다양체의 Torelli 공간에서 전역 Torelli 정리를 함의한다.
• T-클래스에 속한 극화다양체의 Torelli 공간은 복소 유클리드 공간 내의 유계 강한 볼록 도메인이다.
• 강한 국소 Torelli 조건이 성립할 경우, 레벨 m-구조를 가진 모듈리 공간에서의 주기 함수는 그 이미지 위로의 비호몰로피 사상이다.
• 레벨 구조를 가진 모듈리 공간의 기본군은 단형군 Γ와 동형이다.
• 테이히뮐러 공간으로 올린 주기 함수는 단사적이며, 그 이미지는 주기 도메인 D의 부분도메인이다.
• m ≥ 3 인 레벨 m-구조를 가진 모듈리 공간에서 전역 Torelli 정리는 성립하며, 이는 더 넓은 대칭 기하학적 다양체의 클래스로 결과를 확장한다.