[논문 리뷰] Bloch's conjecture and valences of correspondences for K3 surfaces

Claudio Pedrini|arXiv (Cornell University)|2015. 10. 20.

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

한 줄 요약

이 논문은 복소 K3 표면에 대해 Bloch의 추측 — 동치가 없는 대응이 알바네제 핵 위에 자명하게 작용한다 — 이 모든 대응이 잘 정의된 차수를 가진다는 것과 동치임을 증명한다. 핵심 기여는 유한성(차수를 통해)과 Bloch의 추측 사이의 구조적 연결고리로, 이는 심플렉틱 자기동형사상, 일정한 원주 곡선, 그리고 3에서 6까지의 종수에 대한 분할 K3 표면의 가군에서 프랑체르띠형 추측에 응용된다.

ABSTRACT

Bloch's conjecture for a surface $X$ over an algebraically closed field $k$ states that every homologically trivial correspondence $Γ$ acts as 0 on the Albanese kernel $T(X_Ω)$, where $Ω$ is a universal domain containing $k$. Here we prove that, for a complex K3 surface $X$, Bloch's conjecture is equivalent to the existence of a valence for every correspondence. We also give applications of this result to the case of a correspondence associated to an automorphisms of finite order and to the existence of constant cycle curves on $X$. Finally we show that Franchetta's conjecture, as stated by K.O'Grady, holds true for the family of polarized K3 surfacees of genus $g$, if $ 3 \le g \le 6$

연구 동기 및 목표

• 복소 K3 표면에서 Bloch의 추측과 모든 대응이 차수를 가지는 것 사이의 동치성을 확립하는 것.
• 이 동치성의 함의를 유한군 작용, 특히 심플렉틱 자기동형사상과 그에 관련된 프로젝터에 대해 조사하는 것.
• K3 표면에서 일정한 원주 곡선의 모티브적 특성화를 제공하고, 이를 심플렉틱 군 작용에 의한 몫 표면과 연결하는 것.
• 3 ≤ g ≤ 6 인 분할 K3 표면의 가중치 가중치에서 프랑체르띠의 추측이 성립하는지 확인하며, 이는 일반 섹션 X_η의 차수 군 A₀의 유리성과 연결된다.

제안 방법

• K3 표면의 정밀한 차수-쿠른트 분해를 사용하여, 알바네제 핵 T(X)를 제어하는 추상적 동치 모티브 t₂(X)를 분리한다.
• 대응의 차수 개념을 적용: 대응 Γ가 v(Γ)를 가진다는 것은 Γ + v(Γ)Δ_X 가 열화된 대응의 이상 I(X)에 속한다는 것을 의미한다.
• 유한군 G의 자기동형사상에 대응하는 프로젝터 p = (1/n)∑_{g∈G}Γ_g 를 분석하여, 심플렉틱 자기동형사상의 경우 v(p) = -1, 비심플렉틱인 경우 v(p) = 0 임을 보인다.
• 함수체 위의 차수 모티브의 범주에서 국소화 수열과 콜리미트 추론을 사용하여 일반 섹션의 차수 군과 전체 공간의 차수 군을 연결한다.
• 곡선 위의 가중치 가중치 가중치에서 A₀(X_η) ≃ ℚ 와 A²(𝒳)의 유한차원성 사이의 동치를 이용하여 프랑체르띠 유형 결과를 증명한다.
• 모티브 기법을 적용하여, 차수 ≠ -1 인 대응에 의한 고정점 곡선이 반드시 일정한 원주 곡선임을 보여, 그 존재에 대한 모티브 기준을 제공한다.

실험 결과

연구 질문

• RQ1 복소 K3 표면에 대해 Bloch의 추측은 A²(X×X) 내의 모든 대응이 차수를 가지는 것과 동치인가?
• RQ2 유한군의 자기동형사상에 대응하는 프로젝터의 차수는 무엇이며, 이는 자기동형사상이 심플렉틱인지 여부에 따라 어떻게 달라지는가?
• RQ3 K3 표면에서 일정한 원주 곡선은 모티브적으로 특성화될 수 있으며, 이를 심플렉틱 군 작용에 의한 몫 표면과 어떻게 연결할 수 있는가?
• RQ4 3 ≤ g ≤ 6 인 분할 K3 표면의 가중치 가중치에서 프랑체르띠의 추측이 성립하는가? 그리고 이는 일반 섹션의 A₀의 유리성과 어떻게 관련되는가?
• RQ5 K3 표면의 가중치 가중치에서 A²(𝒳)의 유한차원성은 일반 섹션의 A₀의 유리성과 어떻게 관련되는가?

주요 결과

• 복소 K3 표면 X에 대해 Bloch의 추측이 성립하는 것은 A²(X×X) 내의 모든 대응이 잘 정의된 차수를 가지는 것과 동치이다.
• K3 표면에서 유한군 G의 자기동형사상에 대해, 해당 프로젝터 p는 모든 자기동형사상이 심플렉틱일 경우 차수 -1, 비심플렉틱일 경우 차수 0를 가진다.
• G가 심플렉틱으로 작용할 경우, X의 G-고정점을 가진 일정한 원주 곡선과 X/G의 최소 분해 표면 Y의 일정한 원주 곡선 사이에 1:1 대응이 존재한다.
• 분할 K3 표면의 가중치 가중치에서 프랑체르띠의 추측은 3 ≤ g ≤ 6 이면, 일반 섹션 X_η에 대해 A₀(X_η) ≃ ℚ 이면 성립한다.
• 기저 S가 매끄러운 곡선인 K3 표면의 가중치 가중치 f:𝒳→S 에서, A₀(X_η) ≃ ℚ 이다. 이는 A²(𝒳) 가 유한차원 ℚ-벡터 공간임과 동치이다.
• 차수가 -1이 아닌 대응에 의한 고정점 곡선은 반드시 일정한 원주 곡선이며, 이는 그 존재에 대한 모티브 기준을 제공한다.