[논문 리뷰] The generalized Hodge and Bloch conjectures are equivalent for general complete intersections

Claire Voisin|arXiv (Cornell University)|2011. 07. 13.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 Lefschetz 표준 추측을 가정할 때, 트ivial 초등 군을 가진 매끄럽고 사영한 다양체의 일반적인 완전교차에서 일반화된 Hodge 및 Bloch 추측의 동치성을 확립한다. 만약 그러한 완전교차의 퇴화 cohomology의 기하학적 coniveau가 ≥ c이면, 그 차원 ≤ c−1인 사이클의 초등 군이 자명하다는 것을 증명하며, 이는 Hodge 이론적 coniveau와 대수적 사이클의 자명성 간의 연결 고리를 제공한다.

ABSTRACT

Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The generalized Bloch conjecture for $Y$ is this statement with "geometric coniveau" replaced by "Hodge coniveau".

연구 동기 및 목표

• 매끄럽고 사영한 다양체에서 초등 군이 자명한 일반적인 완전교차에 대해 일반화된 Hodge 및 Bloch 추측의 동치성을 확립한다.
• 일반적인 완전교차의 퇴화 cohomology에서 기하학적 coniveau ≥ c이면, 그 차원 ≤ c−1인 사이클의 초등 군이 자명하다는 것을 보인다.
• 단형성 및 분해 기법을 통해 Theorem 0.2(호지 coniveau와 초등 군 단사성)의 함의를 기하학적 coniveau 설정으로 확장한다.
• 일반적인 완전교차에 대해 일반화된 Hodge 추측이 주어진 coniveau 조건 하에서 낮은 차원의 초등 군의 자명성으로부터 유도될 수 있음을 보여준다.

제안 방법

• Hodge 구조와 대수적 사이클을 연결하기 위해 Lefschetz 표준 추측을 기본 가정으로 사용한다.
• 단형성 논증을 적용하여 매우 일반적인 완전교차의 원시 cohomology 위의 호지 구조가 단순함을 보이며, 따라서 부분호지 구조는 반드시 전체 원시 cohomology여야 한다는 것을 보인다.
• Fulton-MacPherson 컴actification과 구성 공간의 blow-up을 사용하여 점의 Hilbert 스킴에서의 특이점을 해결하며, 특히 (3,1) 및 (2,2) 유형의 국소를 중심으로 다룬다.
• 변형 $\widetilde{X^4_0}$의 함의적 구성법을 사용하여, $X$가 성질 $\mathcal{P}_{2n-2}$를 만족하면 $\widetilde{X^4_0}$도 마찬가지로 만족함을 보장한다.
• Hayman의 정리를 적용하여, 특정 부분다양체를 따라 blow-up을 통해 $\sigma: X(4)_0 \dashrightarrow \mathrm{Hilb}^4(X)$의 유리 사상이 사상으로 변환됨을 보였다.
• 어느 길이-3 부분스킴도 매끄러운 표면에 포함되므로, 일반적인 경우는 표면의 경우로 감소되며, 이 경우에 알려진 결과를 적용할 수 있다.

실험 결과

연구 질문

• RQ1 일반적인 완전교차의 퇴화 cohomology에서 기하학적 coniveau ≥ c이면, 그 차원 ≤ c−1인 사이클의 초등 군이 자명한가?
• RQ2 초등 군이 자명한 다양체에서 일반적인 완전교차에 대해 일반화된 Hodge 및 Bloch 추측이 동치인가?
• RQ3 단형성 및 분해 기법을 통해 일반적인 완전교차에 대해 일반화된 Hodge 추측이 낮은 차원의 초등 군의 자명성으로부터 유도될 수 있는가?
• RQ4 Lefschetz 표준 추측은 어느 정도까지 호지 이론적 coniveau 조건을 대수적 사이클의 자명성으로 이행시키는 데 기여하는가?

주요 결과

• 매끄럽고 사영한 다양체 $X$에서 초등 군이 자명한 일반적인 완전교차 $Y$의 퇴화 cohomology가 기하학적 coniveau ≥ c를 만족하면, $Y$ 위의 차원 ≤ c−1인 사이클의 초등 군은 자명하다.
• Lefschetz 표준 추측을 가정할 경우, 일반적인 완전교차에 대해 일반화된 Hodge 및 Bloch 추측은 동치이다.
• 구성 공간의 blow-up을 통한 $\widetilde{X^4_0}$의 구성은 $X$가 성질 $\mathcal{P}_{2n-2}$를 만족하면 $\widetilde{X^4_0}$도 마찬가지로 만족함을 보장하며, 이는 코homological 성질의 내림을 가능하게 한다.
• 특정 국소 $M$을 따라 blow-up을 수행함으로써, $\sigma: X(4)_0 \dashrightarrow \mathrm{Hilb}^4(X)$의 유리 사상은 Hayman의 정리를 통해 사상으로 변환된다.
• 어느 주어진 길이-3 부분스킴도 매끄러운 표면에 포함되므로, 문제는 표면의 경우로 감소되며, 이 경우에 알려진 결과를 적용할 수 있다.
• 결과적으로 일반적인 완전교차에 대해 Lefschetz 표준 추측 하에 일반화된 Hodge 추측이 성립함은 Bloch 추측이 성립함과 동치임을 시사한다.