[논문 리뷰] On the Chow ring of certain algebraic hyper-Kähler manifolds

C. Voisin|arXiv (Cornell University)|2006. 02. 18.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 대수적 하이퍼카일러 다양체의 찬 링에 대한 빌라르의 추측을 일반화한 버전을 제안하고 증명한다. 이는 선다발과 접선다발의 체른 클래스 간 다항식 관계가 코homology에서 성립할 경우 그 관계가 찬 군으로 올라간다는 것을 보여준다. 이는 베티 수에 대한 제한 조건 하에서 $K3$ 표면의 하이버트 스킴과 삼차 4차곡면의 팔로 변호에 대해 추측을 확립하며, 코homological 소멸과 변형 기법을 사용한다.

ABSTRACT

We study a generalization of a conjecture made by Beauville on the Chow ring of hyper-Kähler algebraic varieties. Namely we prove in a number of cases that polynomial cohomological relations involving only CH^1(X) and the Chern classes of X are satisfied in CH(X). These cases are : punctual Hilbert schemes of a K3 surface S parameterizing subschemes of length n, for n<2b_2(S)_tr+5; Fano varieties of lines in a cubic fourfold.

연구 동기 및 목표

• 하이퍼카일러 다양체의 찬 링에 대한 빌라르 추측을 선다발과 접선다발의 체른 클래스를 포함하는 관계로 확장한다.
• 전이성 랭크에 대한 제한 조건 하에서 $K3$ 표면의 하이버트 스킴 $S^{[n]}$ 에 대해 추측을 확립한다.
• 하이버트 스킴이 아닌 경우에도 삼차 4차곡면의 선의 팔로 변호에 대해 추측을 증명한다.
• 특수한 경우의 $K3$ 표면에 대한 $S^m$ 의 찬 링에 대한 더 강력한 추측을 증명하여 추측에 대한 증거나를 제공한다.

제안 방법

• 다항식 표현이 $CH(S^m)$ 에서 0이 되는 조건에서, 그 코homological 클래스가 0이 되는 경우에 대해, $m$ 과 대칭성 조건 하에서 다항식 표현의 소멸을 보이는 핵심 추측(추측 0.6)을 증명한다.
• [$K3$ 표면에 관한 [5]의 결과를 사용하여 문제를 $CH(S^m)$ 내의 $c_1(L)$, $o$, $ riangle_S$ 간의 관계로 환원한다.
• 변형 이론과 특수화 추론을 적용하여 삼차 4차곡면의 선의 팔로 변호에 대해 추측을 검증한다.
• 블로크-스리니바스 추론을 사용하여 $ ilde{F} imes F$ 상의 사이클을 유리 동치로 연결하며, $ ilde{ heta}$ 의 작용을 활용한다.
• $Pic ilde{F}$ 와 $CH_1( ilde{F})$ 가 삼차 4차곡면과 그 팔로 변호의 기하학에 의해 제어된다는 사실을 활용한다.
• 알려진 $H^*(S^{[n]})$ 의 코homological 구조와 버르비츠키의 결과를 사용하여 저차원 차원에서 찬 링을 분석한다.

실험 결과

연구 질문

• RQ1 하이퍼카일러 다양체에서 선다발과 접선다발의 체른 클래스 간 모든 다항식 코homological 관계가 찬 군에서도 성립하는가?
• RQ2 어떤 $n$ 과 $K3$ 표면 $S$ 에 대해 일반화된 빌라르 추측이 $S^{[n]}$ 에 대해 성립하는가?
• RQ3 하이퍼카일러 다양체가 하이버트 스킴이 아니더라도 삼차 4차곡면의 선의 팔로 변호에 대해 추측이 성립하는가?
• RQ4 대칭성 또는 제한 조건 하에서, $CH(S^m)$ 내의 다항식 표현의 코homological 클래스가 0일 경우 그 표현이 0임을 유추할 수 있는가?
• RQ5 symmetric product 를 통해 $S^{[n]}$ 의 찬 링과 $S^m$ 의 찬 링 간 정확한 관계는 무엇인가?

주요 결과

• 추측 0.3은 $n \nleq 2b_2(S)_{tr} + 4$ 인 경우 $Y = S^{[n]}$ 에 대해 성립하며, 원래의 빌라르 추측을 접선다발 계급을 포함하도록 확장한다.
• 하이버트 스킴이 아니지만 $Pic(F) = \mathbb{Z}$ 를 만족하는 삼차 4차곡면의 선의 팔로 변호에 대해 추측이 증명된다.
• 모든 $n$ 에 대해 $Y = S^{[n]}$ 에서 $2n-2$, $2n-1$, $2n$ 차원에서 추측이 성립하며, 이는 $b_2(S)_{tr}$ 와 무관하다.
• 더 강력한 정리 1.1은 $c_1(L)$, $c_i(\mathcal{O}_{[n]})$, $c_j(T_n)$ 에 대한 다항식 표현이 코homologous to zero 이면, 동일한 제한 조건 하에서 $CH(S^{[n]})$ 내에서도 0임을 보여준다.
• 증명은 추측 0.6 의 특수한 경우를 검증하는 데 의존하며, 이 추측은 $pr_i^*o$, $pr_j^*c_1(L)$, $pr_{kl}^* riangle_S$ 의 대칭적 표현이 코homology에서 0일 경우 $CH(S^m)$ 내에서도 0이 된다는 것이다.
• 팔로 변호의 경우 변형 이론, 변환 $ phi$ 의 작용, 블로크-스리니바스 방법을 통해 사이클 클래스의 유리 동치를 보여주는 방식으로 확립된다.