[논문 리뷰] Triangle varieties and surface decomposition of hyper-Kähler manifolds

Claire Voisin|arXiv (Cornell University)|2018. 10. 28.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 프로젝티브 하이퍼카일러 다양체에 대한 표면 분해 가능성(surface decomposability)의 개념을 도입하며, 이는 힐버트 스킴과 LSV 4차원 다양체를 포함한 구체적인 클래스에 대해 표면의 곱으로부터 힐버트 2형식이 올라오는 분해를 의미한다. 이러한 분해는 빈스키-푸지끼 관계를 유도하고 빈스키의 약한 분할 추측에 기하학적 통찰을 제공한다. 주요 결과는 표면 분해 가능성에 의해 약한 분할 성질이, 특히 피카르 라티스와 수직인 교차류의 최고차수 거듭제곱에서 비례성 조건을 확인하는 것으로 귀결된다는 것이다.

ABSTRACT

We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-Kähler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting conjecture. We show that surface decomposability relates to the Beauville-Fujiki relation, a constraint on the cohomology ring of the variety, and that general varieties with $h^{2,0} ot=0$ are not surface decomposable. We also formalize the notion of triangle variety that is useful to produce surface decomposition. We show the existence of these geometric structures on most explicitly constructed classes of projective hyper-Kähler manifolds of Picard number $1$.

연구 동기 및 목표

• 하이퍼카일러 다양체의 코homological 및 차우 이론적 성질을 이해하기 위한 기하학적 메커니즘으로서 표면 분해 가능성의 개념을 체계화하고 연구하기.
• 모든 프로젝티브 하이퍼카일러 다양체가 표면 분해 가능하다면, 이는 빈스키의 약한 분할 추측을 지지할 것이다.
• 표면 분해 가능성과 하이퍼카일러 다양체의 코homology 환에서의 빈스키-푸지끼 관계 사이의 연결 고리를 확립하기.
• 특히 피카르 수가 1인 경우, 힐버트 스킴과 LSV 4차원 다양체를 포함한 구체적인 하이퍼카일러 다양체 클래스에 대해 표면 분해 가능성을 검증하기.
• 피카르 라티스와 수직인 교차류의 최고차수 거듭제곱에 대해, 약한 분할 성질을 차우 이론적 조건으로 환원하기.

제안 방법

• 표면 분해 가능성의 정의를 일반적으로 유한한 사상 φ: Γ → X 및 ψ: Γ → S₁ × … × Sₙ 을 통해 도입하며, 이때 φ*σ_X = ψ*(∑ pr_i*σ_i) 를 만족시키는 하이퍼카일러 다양체 X의 힐버트 2형식 σ_X 와 표면 S_i 상의 힐버트 2형식 σ_i 를 고려한다.
• 호지 이론을 사용하여 표면 분해 가능성은 H²(X, ℚ)_tr 내의 모든 전이성 클래스에 대해서도 동일한 관계를 유도함을 보인다.
• 표면 분해 가능성은 무르포르드-테이트 군에 대한 약한 조건 하에서 빈스키-푸지끼 공식 ∫_X α^{2n} = λ q(α)^n 이 성립함을 증명한다.
• K3 및 아벨 표면의 점형 힐버트 스킴과 LSV 4차원 다양체 J(Y)에 대해 구체적인 표면 분해를 구성한다. 이는 삼각형 다양체의 구조를 통해 이루어진다.
• 기저 B = (ℙ⁵)* 위에서 Z×_B…×_B Z → J(Y) 인 상대적 합 사상 μ₅ 를 이용하여 표면 분해를 실현한다. 여기서 Z 는 codimension-4 대수적으로 코이시otropic 부분다양체이다.
• f: Z → Σ 인 유리 함수와 그 5중 곱을 이용하여 μ₅*σ_J(Y) = ∑ pr_i*σ_Σ 임을 보이고, 이로써 필요한 표면 분해를 구성한다.

실험 결과

연구 질문

• RQ1 모든 프로젝티브 하이퍼카일러 다양체는 표면의 곱으로부터의 2형식의 올림으로서 표면 분해 가능할 수 있는가, 즉 표면의 합의 2형식으로부터 올려진다?
• RQ2 표면 분해 가능성은 하이퍼카일러 다양체의 코homology 환에서 빈스키-푸지끼 관계를 유도하는가?
• RQ3 표면 분해 가능성은 피카르 라티스와 수직인 교차류에 대해 약한 분할 성질을 어느 정도 유도하는가? 특히, 이는 0차원 사이클과의 비례성 조건에 의해 결정된다.
• RQ4 일반적인 피카르 수가 1인 하이퍼카일러 다양체, 예를 들어 LSV 4차원 다양체 J(Y)에 대해 표면 분해를 명시적으로 구성할 수 있는가?
• RQ5 약한 분할 성질은 NS(X_t)^⊥Λ 내의 교차류 D 에 대해 D^{2n} 이 CH₀(X_t) 내의 0차원 사이클과 비례함과 동치인가?

주요 결과

• 무르포르드-테이트 군 조건이 만족될 경우, 표면 분해 가능성은 X 의 코homology 환에서 ∫_X α^{2n} = λ q(α)^n 인 빈스키-푸지끼 관계를 유도한다.
• h^{2,0} ≠ 0 인 일반적인 프로젝티브 다양체는 표면 분해 가능하지 않으며, 이는 차원 2n ≥ 4 인 경우 조건이 엄격함을 보여준다.
• LSV 4차원 다양체 J(Y) 는 codimension-4 대수적으로 코이시otropic 부분다양체 Z 위에서의 5중 합 사상 μ₅ 를 통해 표면 분해 가능하며, μ₅*σ_J(Y) = ∑ pr_i*σ_Σ 임을 확인할 수 있다.
• J(Y) 의 표면 분해는 유리 함수 f: Z → Σ 와 기저 B = (ℙ⁵)* 위에서의 상대적 합 사상 μ₅ 를 통해 구성되며, 이는 올림 조건을 기하학적으로 실현한다.
• NS(X_t)^⊥Λ 내의 교차류에 대해 약한 분할 성질이 성립하는 것은 D^{2n} 이 CH₀(X_t) 내의 0차원 사이클과 비례할 때이고, 이는 추측을 최고차수의 차우 이론적 조건으로 환원한다.
• 힐버트 스킴과 LSV 4차원 다양체에 대한 표면 분해의 구성은, 피카르 수가 1으로 변형된 경우에도 이러한 구조의 존재를 확인한다.