[논문 리뷰] Finiteness results for hyperkaehler manifolds

Daniel Huybrechts|ArXiv.org|2001. 09. 04.

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

한 줄 요약

이 논문은 컴acts한 하이퍼카일러 다양체의 디피오모르피즘 유형이 그 정수 계량 2차 코homology와 첫 번째 폰트랴긴 클래스로 정의되는 degree-2n−2 다항식에 의해 유한한 모호성 이내로 결정됨을 증명한다. Kollár–Matsusaka, Hitchin–Sawon의 결과 및 주기 함수의 전사성에 기반하여, 고정된 코homological 데이터(베아빌-보고몰로프 형식 또는 그 비정규화된 형태) 하에서 고정된 다양체 위의 비가역 해석 기하 구조의 변형 유형의 유한성을 증명한다.

ABSTRACT

In this short note we prove that the number of deformation types of compact hyperkaehler manifolds with prescribed second cohomology and second Chern class is finite. The proof uses the finiteness result of Kollar and Matsusaka, a formula by Hitchin and Sawon and the surjectivity of the period map.

연구 동기 및 목표

• 고정된 코homological 데이터 하에서 컴acts한 하이퍼카일러 다양체에 대한 유한성 결과를 확립하기 위해.
• 4n차원 컴acts한 하이퍼카일러 다양체의 디피오모르피즘 유형이 그 정수 계량 2차 코homology와 첫 번째 폰트랴긴 클래스로 정의되는 degree-2n−2 다항식에 의해 유한한 모호성 이내로 결정됨을 보여주기 위해.
• 고정된 매끄러운 다양체에 대해 비가역 해석 기하 구조의 변형 유형이 유한 개 뿐만 존재할 수 있음을 증명하기 위해.
• 비정규화된 베아빌-보고몰로프 형식 또는 고정된 노름을 가진 클래스를 고정했을 때도 유한성이 유지되는지 보여주기 위해.
• 격자와 주기 데이터를 통한 하이퍼카일러 다양체의 모듈리 및 변형 유형을 이해하기 위한 코homological 프레임워크를 제공하기 위해.

제안 방법

• 교차수의 유계성을 가진 다항식 다양체에 대한 Kollár과 Matsusaka의 유한성 결과를 활용한다.
• Hitchin–Sawon 공식을 적용하여 상위 차수 코homology 클래스와 베아빌-보고몰로프 이차형식을 연결한다.
• 비가역 해석 기하 다양체에 대한 주기 함수의 전사성을 이용하여 변형 유형을 제어한다.
• Fujiki의 공식을 활용하여 토드 클래스의 제곱근 적분을 베아빌-보고몰로프 형식과 연결한다.
• Nieper의 결과를 활용하여 코homology 클래스의 지수 함수와의 적분이 양의 배수의 이차형식에 의해 지배됨을 보여준다.
• 유한성 문제에 있어서 원시 형식 $q_X$보다 더 자연스러운 불변량인 비정규화된 베아빌-보고몰로프 형식 $\tilde{q}_X$를 사용한다.

실험 결과

연구 질문

• RQ1 컴acts한 하이퍼카일러 다양체의 디피오모르피즘 유형은 그 정수 코homology와 폰트랴긴 클래스에 의해 유한한 모호성 이내로 결정될 수 있는가?
• RQ2 고정된 컴acts한 다양체 위에 존재할 수 있는 비가역 해석 기하 구조의 변형 유형은 몇 개인가?
• RQ3 비정규화된 베아빌-보고몰로프 형식 또는 고정된 노름을 가진 클래스를 고정했을 때도 변형 유형의 유한성이 유지되는가?
• RQ4 주기 함수의 전사성과 코homological 제약 조건이 함께 작용하면 변형 유형의 유한성이 유도되는가?
• RQ5 비가역 유한성 정리에서 원시 형식 $q_X$를 비정규화된 형식 $\tilde{q}_X$로 대체해도 일반성을 잃지 않고 유한성 결과를 유지할 수 있는가?

주요 결과

• 고정된 컴acts한 다양체 $M$에 대해, $M$ 위의 비가역 해석 기하 복소 구조의 변형 유형은 유한 개 뿐이다.
• 4n차원 컴acts한 하이퍼카일러 다양체의 디피오모르피즘 유형은 $H^2(M,\mathbb{Z})$와 $p_1(M)$로 정의되는 degree-$2n-2$ 다항식에 의해 유한한 모호성 이내로 결정된다.
• 고정된 격자에 대해 비정규화된 베아빌-보고몰로프 형식 $\tilde{q}_X$를 고정했을 때도 유한성이 성립한다.
• 임의의 고정된 양의 정수 $k$에 대해, $\tilde{q}_X(\alpha) = k$를 만족하는 클래스 $\alpha \in H^2(X,\mathbb{Z})$를 가진 비가역 해석 기하 다양체의 변형 유형은 유한 개 뿐이다.
• Fujiki의 공식 $c \cdot q_X(\alpha) = \int_X \sqrt{\mathrm{td}(X)} \alpha^2$의 상수 $c$는 $\left(\int_X \sqrt{\mathrm{td}(X)}\right)^{-1}$의 양의 유리수 배수이며, 이는 형식의 양의성을 보장한다.
• 비정규화된 형식 $\tilde{q}_X$는 원시 형식 $q_X$의 양의 정수 배수이며, $q_X$를 $\tilde{q}_X$로 대체함으로써 모듈리 문제에 대해 더 약하지만 동치인 유한성 진술을 얻을 수 있다.