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

Claire Voisin|arXiv (Cornell University)|2014. 03. 16.

Algebraic Geometry and Number Theory인용 수 13

한 줄 요약

이 논문은 트ivial 초월군을 가진 다양체 안의 일반적인 완전교차에서 일반화된 호지 및 블로흐 추측의 등치성에 대한 조건 없는 약화된 형태를 확립한다. 만약 그러한 완전교차의 최고 코homology가 차원 $c$인 대수적 사이클에 의해 매개화된다면, 기하학적 코노이유 범위 $\geq c$를 의미하는 코homological 매개화 조건 하에, $CH_i(Y)_{\mathbb{Q}}$가 $i \leq c-1$일 때 0이 되며, 이는 이전의 조건부 결과를 델리뉴의 혼합 호지 이론과 쌍대성 추론을 사용하여 조건 없는 프레임워크로 확장한다.

ABSTRACT

We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.

연구 동기 및 목표

• 트ivial 초월군을 가진 다양체 안의 일반적인 완전교차에 대해 일반화된 호지 추측과 블로흐 추측 간의 등치성에 대한 조건 없는, 약간 약화된 형태를 확립하기.
• 만약 완전교차 $Y$의 최고 코homology가 차원 $c$인 대수적 사이클에 의해 매개화된다면, 코homological 조건 하에 $CH_i(Y)_{\mathbb{Q}} = 0$가 $i \leq c-1$일 때 성립함을 증명하기.
• 이전 결과의 일반성을 제한하던 레프셰츠 표준 추측에 대한 의존성을 제거하기.
• 완전교차의 맥락에서 기하학적 코노이유, 호지 코노이유, 초월군의 구조 간의 관계를 명확히 하기.
• 저차수 초월군의 영성에 이르는 코homological 기준—코homology가 사이클에 의해 매개화됨을 통해—을 제공하고, $K3$ 표면과 6차 4차원 다양체에 응용하기.

제안 방법

• 차원 $c$인 대수적 사이클에 의한 코homology 매개화의 개념을 정의하며, $H^m(Y,\mathbb{Q})$에 대해 단사인 $P^*$를 가지며, 비영인 유리수 계수 $N$을 통해 교차 형식과 호환되는 $CH^{m-c}(T \times Y)_{\mathbb{Q}}$의 대응 $P$가 존재함을 요구한다.
• 델리뉴의 혼합 호지 구조 이론을 사용하여, $H^m(Y,\mathbb{Q})$가 차원 $c$인 사이클에 의해 매개화된다면, 그의 초월 코homology가 코드리미너 $\geq c$인 부분다양체 위에 지지됨을 보이며, 이는 기하학적 코노이유 $\geq c$를 의미한다.
• 쌍대성과 코homology의 레프셰츠 정리들을 적용하여, $P^*$의 단사성과 $Y$의 코homology의 구조, 차원 $m - c$인 $W$에 대한 사상 $j: W \to Y$의 존재를 연결한다.
• 환경 다양체 $X$에서의 트ivial 초월군은 $X$의 모든 유리 코homology가 대수적임을 의미하므로, 사이클 클래스가 코homology를 생성하며, 이는 대수적 사이클 기법의 사용을 가능하게 한다.
• 매개화 조건과 일반화된 블로흐 추측 간의 연결 고리를 확립하며, 주어진 코homological 가정 하에 조건이 $CH_i(Y)_{\mathbb{Q}}$의 영성, 즉 $i \leq c-1$일 때 성립함을 보인다.
• 특수한 경우, 예를 들어 $K3$ 표면과 6차 4차원 다양체에 결과를 적용하여, 만약 $H^4(X,\mathbb{Q})$의 $i$-불변 부분이 1차 사이클에 의해 매개화된다면, $CH_0(X)^+_{0} = 0$임을 보이며, 이는 특정 $K3$ 표면에서 $\mu_S^{-}$의 소멸을 암시한다.

실험 결과

연구 질문

• RQ1 트ivial 초월군을 가진 다양체 안의 완전교차 $Y$에 대해, 어떤 코homological 조건이 $CH_i(Y)_{\mathbb{Q}} = 0$를 $i \leq c-1$일 때 유도할 수 있는가?
• RQ2 $H^m(Y,\mathbb{Q})$가 차원 $c$인 대수적 사이클에 의해 매개화된다는 조건이, 레프셰츠 표준 추측을 가정하지 않더라도 저차수 초월군의 영성을 보장하는가?
• RQ3 레프셰츠 표준 추측 대신 코homological 매개화 조건을 사용함으로써, 트ivial 초월군을 가진 다양체 안의 일반적인 완전교차에 대해 일반화된 블로흐 추측을 조건 없이 증명할 수 있는가?
• RQ4 특히 완전교차 맥락에서 코homology가 사이클에 의해 매개화됨과 기하학적 코노이유 사이의 정확한 관계는 무엇인가?
• RQ5 $K3$ 표면 $S$에 대해 $CH_0(S)_{\text{hom}} \otimes CH_0(S)_{\text{hom}}$에서의 사상 $\mu_S^{-}$의 소멸은, 특정한 6차 4차원 다양체 $X$의 $H^4(X,\mathbb{Q})$가 1차 사이클에 의해 매개화됨으로써 유도되는가?

주요 결과

• 논문은 조건 없이 증명한다. 만약 일반적인 완전교차 $Y$의 최고 코homology $H^m(Y,\mathbb{Q})$가 정의 0.3의 의미에서 차원 $c$인 대수적 사이클에 의해 매개화된다면, 주어진 교차 형식과의 호환성 하에 $CH_i(Y)_{\mathbb{Q}} = 0$가 $i \leq c-1$일 때 성립한다.
• 이 결과는 이전에 레프셰츠 표준 추측이 필요한 차원 $\geq 4$에 대해 [13]의 주요 결과의 약화된 그러나 조건 없는 형태이다. 이는 델리뉴의 혼합 호지 이론과 쌍대성의 사용으로 인해 이제 더 이상 레프셰츠 표준 추측이 필요로 하지 않는다.
• $H^m(Y,\mathbb{Q})$가 차원 $c$인 사이클에 의해 매개화된다는 조건은 기하학적 코노이유 $\geq c$를 의미하며, 이 조건은 레프셰츠 표준 추측을 가정하지 않더라도 $CH_i(Y)_{\mathbb{Q}}$의 영성, 즉 $i \leq c-1$일 때 성립함을 보여준다.
• $\mathbb{P}^2$ 위의 6차 곡선에 대해 분지하는 이중 덮개인 $K3$ 표면 $S$에 대해, 관련된 6차 4차원 다양체 $X$의 $H^4(X,\mathbb{Q})$의 $i$-불변 부분이 1차 사이클에 의해 매개화된다면, 사이클 이론에서 핵심적인 질문인 $\mu_S^{-}$의 소멸이 유도된다.
• 논문은 $H^m(Y,\mathbb{Q})$가 차원 $c$인 사이클에 의해 매개화된다면, 차원 $m - c$인 매끄러운 사영 다양체 $W$와 사상 $j: W \to Y$가 존재하여 $j_*: H^{m-2c}(W,\mathbb{Q}) \to H^m(Y,\mathbb{Q})_{\text{tr}}$가 전사임을 보이며, 이는 코homological 조건의 기하학적 실현을 제공한다.
• 이 결과는 차원 2와 3에서는 일반화된 블로흐 추측과 동치이며, 레프셰츠 표준 추측이 성립할 경우 고차원에서도 동치이다. 따라서 이는 이 설정에서 추측들을 통합하는 코homological 기준을 확립한다.