[논문 리뷰] Non-algebraic Hyperkaehler manifolds

Frédéric Campana, Keiji Oguiso외 1명|ArXiv.org|2008. 04. 10.

Geometry and complex manifolds참고 문헌 16인용 수 13

한 줄 요약

이 논문은 비대수적 하이퍼카일러 다양체를 조사하며, 그들의 대수적 차원과 피브레이션에 초점을 맞춘다. 4차원 하이퍼카일러 다양체에 대해 대수적 차원이 0, 2 또는 4임을 증명하고, 대수적 차원이 차원의 절반일 경우 대수적 감소가 해석적 라그랑주임을 확인하는 추측을 확인한다. 결과는 네퍼 선다발의 구조와 네론-세버르 그룹 위의 브이유빌 형식에 기반한다.

ABSTRACT

We study the algebraic dimension a(X) of a compact hyperkaehler manfold of dimension 2n. We show that a(X) is at most n unless X is projective. If a compact Kaehler manifold with algebraic dimension 0 and Kodaira dimension 0 has a minimal model, then only the values 0,n and 2n are possible. In case of middle dimension, the algebraic reduction is holomorphic Lagrangian. If n = 2, then - without any assumptions - the algebraic dimension only takes the values 0,2 and 4. The paper gives structure results for "generalised hyperkaehler" manifolds and studies nef lines bundles.

연구 동기 및 목표

• 비대수적 케이스에서 하이퍼카일러 다양체의 대수적 차원에 대한 추측을 해결하기.
• 네론-세버르 그룹의 평행 및 타원형 케이스에서 대수적 감소의 구조를 규명하기.
• 특히 4차원에서 대수적 감소가 해석적이고 라그랑주가 되는 조건을 설정하기.
• 대수적 차원을 결정하는 데 있어 네퍼 선다발과 그 준가역성의 역할을 조사하기.
• 카우다르 차원 0인 켈러 다양체에 대해 최소 모델의 존재가 높은 차원에서의 추측의 타당성과 연결되는지 연결하기.

제안 방법

• $ H^2(X,\mathbb{Z}) $ 위의 브이유빌 형식을 사용하여 네론-세버르 그룹을 쌍곡형, 평행형 또는 타원형으로 분류한다.
• 거의 해석적 피브레이션 이론과 메르모르피크 감소 이론을 적용하여 대수적 감소의 구조를 분석한다.
• 반긍정적 및 네퍼 설정에서 코homology 소멸과 대수적 차원을 연결하기 위해 리만-르플라즈 정리와 하드 레프슈체츠 정리를 활용한다.
• 네퍼 선다발 위의 승수 아이디얼과 특이 메트릭을 사용하여 양의 차원 부분다양체의 존재를 연구한다.
• 코homology의 반연속성과 최소 모델 이론의 결과를 이용하여 최소 모델에 대한 가정 하에 대수적 차원을 제약한다.
• 추측의 동기를 제공하기 위해 K3 표면 위의 점들에 대한 하이루베르 스킴 $ S^{[n]} $ 를 주요 예시로 분석한다.

실험 결과

연구 질문

• RQ1 차원 $ 2n $ 인 하이퍼카일러 다양체의 대수적 차원은 항상 $ 0, n, 2n $ 값만을 취하는가?
• RQ2 만약 $ a(X) = n $ 이면, 대수적 감소는 해석적이고 라그랑주적인가?
• RQ3 네론-세버르 그룹이 평행형이고 $ a(X) > 0 $ 이면, 대수적 감소의 구조는 어떠한가?
• RQ4 비대수적 하이퍼카일러 다양체가 비자명한 네퍼 선다발을 가질 수 있는 조건은 무엇인가?
• RQ5 효과적 캐논리컬 다발을 가진 $ a(Y) = \kappa(Y) = 0 $ 이고 $ \dim Y \leq 2n-1 $ 인 컴acts 켈러 다양체 $ Y $ 가 최소 모델을 가진다면, 이는 고차원에서의 추측을 의미하는가?

주요 결과

• 4차원 하이퍼카일러 다양체에 대해 대수적 차원은 $ 0 $, $ 2 $, 또는 $ 4 $ 이며, 이 경우 추측 1.1을 확인한다.
• 네론-세버르 그룹이 타원형이면 $ a(X) = 0 $ 이며, 이는 다양체가 비대수적이며 비자명한 대수적 감소를 갖지 않는다는 의미이다.
• 네론-세버르 그룹이 평행형이고 $ a(X) > 0 $ 이면, 대수적 감소는 해석적 라그랑주이거나(따라서 $ a(X) = n $), 아니면 거의 해석적이지 않으며, 그 피브레이션의 대수적 차원이 0인 경우이다.
• 평행형 네론-세버르 그룹을 가진 비대수적 하이퍼카일러 다양체는 최소한 차원 2 이상의 양의 차원을 가진 컴팩트 부분다양체를 포함한다.
• 비대수적 하이퍼카일러 다양체 위에 비자명한 헤르미트 반긍정적 선다발 $ L $ 이 있으면 $ \kappa(L) = a(X) $ 이며, 이는 이타카 피브레이션과 대수적 감소를 연결한다.
• 모든 컴팩트 켈러 다양체 $ Y $ 가 $ \dim Y \leq 2n-1 $, $ a(Y) = \kappa(Y) = 0 $, 그리고 효과적 캐논리컬 다발을 가진다면, 추측은 일반적으로 성립한다.