[논문 리뷰] Erratum to the paper: Compact hyperkaehler manifolds: basic results

Daniel Huybrechts|ArXiv.org|2001. 06. 03.

Geometry and complex manifolds참고 문헌 3인용 수 9

한 줄 요약

이 논문은 Huybrechts의 이전 작업에서 잘못된 증명을 수정하여, Demailly-Paun 정리와 함께 사용된 타당한 증명으로 잘못된 명제를 대체함으로써, 컴act hyperkähler 다양체에 대한 프로젝티브성 기준을 수정한다. 주요 기여는 다음과 같다: 컴act hyperkähler 다양체는 그의 첫 번째 체르니코프 클래스에 대해 베이유빌-보고몰로프 이차형식이 양수인 선다발을 가질 때이고, 그때에만 프로젝티브하다는 것이다.

ABSTRACT

This is an Erratum to the paper: Compact hyperkaehler manifolds: basic results. (alg-geom/9705025, Inv. math. 135). We give a correct proof of the projectivity criterion for hyperkaehler manifolds. We use a recent result of Demailly and Paun math.AG/0105176.

연구 동기 및 목표

• 컴act hyperkähler 다양체에 대한 프로젝티브성 기준에 관한 원본 논문에서 잘못된 증명을 수정하기.
• Demailly-Paun 정리를 사용하여 매우 일반적인 hyperkähler 다양체에 대한 켈러 원추의 타당한 특성화를 확립하기.
• 매우 일반적인 hyperkähler 다양체에서 켈러 원추가 양의 원추와 일치함을 증명하기.
• 컴act hyperkähler 다양체가 그의 선다벨의 첫 번째 체르니코프 클래스에서 베이유빌-보고몰로프 형식이 양수인 경우에만 프로젝티브하다는 것을 증명하기.
• 원본 증명이 잘못된 명제(Prop. 3.8)에 의존하였고, 이는 이제 분석 기하학과 양의 코어런트의 기반에 기초한 타당한 증거로 대체됨을 명확히 하기.

제안 방법

• 켈러 다양체의 켈러 원추를 모든 분석적 부분집합에서 양수인 계열의 연결 성분으로 특성화하기 위해 Demailly-Paun 정리를 활용한다.
• Fujiki의 (2p,2p)-계열의 변형 불변성 결과를 적용하여, 일부 정수 코homology 계열이 소규모 변형에서 여전히 순수한 유형 (2p,2p)을 유지함을 보인다.
• Beauville-Bogomolov 이차형식 $ q_X $를 사용하여 코homology 계열의 통합을 대수적 불변량과 연결함으로써, $ \int_X \beta \alpha^{2(n-p)} = c_\beta q_X(\alpha)^{n-p} $ 를 (2p,2p)-계열에 대해 보여준다.
• 변형 공간에서 매우 일반적인 점들의 조밀성을 이용하여, 양의 원추에 속한 임의의 계열을 근처 변형에서의 켈러 계열로 근사한다.
• Bonavero와 Ji-Shiffman의 결과를 적용하여, 의사효과 원추 내부에 속한 계열은 모이셰존이 되고, 따라서 프로젝티브 구조를 가짐을 보인다.
• 양의 (1,1)-코어런트의 약한 극한을 구성하여, 양의 원추에 속한 임의의 계열이 의사효과 원추의 내부에 있음을 증명한다.

실험 결과

연구 질문

• RQ1 Huybrechts의 논문에서 프로젝티브성 기준의 원본 증명이 왜 잘못되었으며, 어떤 특정 오류가 이를 무효화했는가?
• RQ2 어떤 조건에서 컴act hyperkähler 다양체의 켈러 원추가 그의 양의 원추와 일치하는가?
• RQ3 컴act hyperkähler 다양체의 프로젝티브성은 선다벨의 첫 번째 체르니코프 클래스에서의 베이유빌-보고몰로프 형식의 양수성만으로 특성화될 수 있는가?
• RQ4 Demailly-Paun 정리는 hyperkähler 다양체의 맥락에서 켈러 원추의 타당한 특성화를 어떻게 가능하게 하는가?
• RQ5 변형 공간에서 매우 일반적인 점들이 소규모 변형에서 (2p,2p)-계열이 여전히 순수한 유형을 유지하도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 매우 일반적인 컴act hyperkähler 다양체 $ X $ 의 켈러 원추 $ \mathcal{K}_X $ 는 그의 양의 원추 $ \mathcal{C}_X $ 와 일치한다. 즉, $ \mathcal{K}_X = \mathcal{C}_X $ 이다.
• 매우 일반적인 hyperkähler 다양체에서 의사효과 계열의 원추 내부는 $ \mathcal{K}_X = \mathcal{C}_X $ 와 같다. 즉, $ \mathcal{C}_X $ 에 속한 모든 계열은 Kähler 형식에 의해 아래에서 유계인 닫힌 양의 (1,1)-코어런트로 표현될 수 있다.
• 임의의 기약 분석적 부분집합 $ Y \subset X $ 에 대해, 차원이 $ 2p $ 인 여부에 따라, 코homology 계열 $ [Y] \in H^{2p,2p}(X,\mathbb{Z}) $ 는 $ X $ 의 모든 소규모 변형에서 순수한 유형 (2p,2p)을 가지며, 모든 $ \alpha \in H^2(X,\mathbb{C}) $ 에 대해 $ \int_Y \alpha^{2(n-p)} = c_{[Y]} q_X(\alpha)^{n-p} $ 를 만족한다.
• 컴act hyperkähler 다양체 $ X $ 는 그의 선다벨 $ L $ 이 존재하여 $ q_X(c_1(L)) > 0 $ 를 만족할 때에만 프로젝티브하다. 이는 이제 수정된 논증을 통해 엄밀히 입증되었다.
• 변형 공간 $ \mathrm{Def}(X) $ 에서 매우 일반적인 점들의 집합은 조밀하며, 이러한 점들에 대해, 어떤 소규모 변형도 홀수 차원의 분석적 부분집합을 가질 수 없다.
• 원본 명제 3.8는 잘못되었으며, 이는 켈러 원추에서 양수인 일부 계열이 모든 비라쇼널 모델에서 양의 코어런트로 표현될 수 있다고 암시했지만, 이러한 양수성은 알려진 예에서 실패할 수 있음을 반박한다.