[논문 리뷰] K3 categories, one-cycles on cubic fourfolds, and the Beauville-Voisin filtration

Junliang Shen, Qizheng Yin|arXiv (Cornell University)|2017. 12. 19.

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

한 줄 요약

이 논문은 삼차 4차곡면 $Y$의 차수 1 체인 군 $\mathrm{CH}_1(Y)$에 대한 필터를 도입하여, $K3$ 카테고리에 대한 O'Grady의 층/사이클 대응의 비가환적 유사체를 제안한다. 이는 낮은 차수의 유리곡선 위에 지지된 층들에 대해 추측을 검증하고, 비가환 $K3$ 카테고리 $\mathcal{A}_Y$의 안정 대상 모듈리 공간의 $\mathrm{CH}_0$에 대해 Beauville–Voisin 필터를 구성하며, 대응하는 대칭부분다양체의 존재를 증명한다.

ABSTRACT

We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov's noncommutative $K3$ category associated to a nonsingular cubic 4-fold. By introducing a filtration on the $\mathrm{CH}_1$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category $\mathcal{A}_Y$. This is a noncommutative analog of O'Grady's conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sheaves supported on low degree rational curves. Our method provides systematic constructions of (a) the Beauville-Voisin filtration on the $\mathrm{CH}_0$-group and (b) algebraically coisotropic subvarieties of a holomorphic symplectic variety which is a moduli sace of stable objects in $\mathcal{A}_Y$.

연구 동기 및 목표

• 삼차 4차곡면에 관련된 비가환 $K3$ 카테고리로 유도된 카테고리의 $K3$ 표면의 기존 유도 카테고리에서 O'Grady의 층/사이클 대응을 확장한다.
• 비특이 삼차 4차곡면 $Y$에 대해 $\mathrm{CH}_1(Y)$에 필터를 구성하여, 추측 0.1에서 제시된 $K_0(\mathcal{A}_Y)$-필터의 후보로 삼는다.
• 삼차 4차곡면 $Y$ 내의 낮은 차수의 유리곡선 위에 지지된 층들에 대해 추측된 층/사이클 대응을 검증한다.
• $\mathcal{A}_Y$의 안정 대상 모듈리 공간 $M$에 대해 $\mathrm{CH}_0(M)$에 대한 Beauville–Voisin 필터를 체계적으로 구성한다.
• Fano 선 다각형의 기하적 구조를 활용하여 필터와 함께 모듈리 공간에 대칭부분다양체를 생성한다.

제안 방법

• 삼차 4차곡면 $Y$의 Fano 선 다각형 $F$ 내의 특수선과 정규선을 사용하여 $\mathrm{CH}_1(Y)$에 필터 $S_\bullet(Y)$를 도입한다. 여기서 $S_i(Y)$는 $i$개의 선과 $\mathbb{Z}$-배수의 정규류 $[H]^3$에 의해 생성된다.
• 다른 곡선을 통해 $F$에서 $Y$로의 대응 $[P]_*$를 정의한다. 이는 $B \to F$의 유리 함수 $q$를 통해 이루어지며, $F$-상수 사이클 곡선을 유도하는 토퍼션 점을 가진 타원곡선 표면 $B$를 사용한다.
• 사이클 클래스 사상 $\mathrm{cl}_Y: \mathrm{CH}^i(Y)_\mathbb{Q} \to H^{2i}(Y,\mathbb{Q})$와 $i \neq 3$일 때의 단사성을 이용하여 콘차르 특성류와 사이클 클래스를 연결한다.
• 모듈리 공간 $M$이 $\mathcal{A}_Y$의 안정 대상일 때, $R \subset M \times B^{(d)}$의 대응을 구성하고, $R_0$를 $M$과 $B^{(d)}$로의 전형적이고 일반적으로 유한한 사상이 되는 성분으로 정의한다.
• 모듈리 공간 $M$의 비퇴화 힐베르트-시멜란트 형태와 $p_M$, $p_{B^{(d)}}$를 통한 그의 풀백을 활용하며, Mumford 정리에 따라 근처 클래스가 $F$-상수 사이클이 되도록 보장한다.
• 표면 $B$의 타원곡선에서의 토퍼션 구조를 활용하여 $F$-상수 사이클 부분다양체의 조밀성을 보장하고, 대칭부분다양체를 구성한다.

실험 결과

연구 질문

• RQ1 삼차 4차곡면 $Y$에 관련된 비가환 $K3$ 카테고리 $\mathcal{A}_Y$에 대해 O'Grady의 유사한 층/사이클 대응이 존재하는가?
• RQ2 $\mathrm{CH}_1(Y)$에 대한 필터를 구성할 수 있는가? 이때 $i$번째 항이 $\mathcal{A}_Y$의 대상들 중 $d(\mathcal{E}) = i$인 것들과 대응하는가?
• RQ3 $\mathcal{A}_Y$의 안정 대상 모듈리 공간 $M$에 대해 $\mathrm{CH}_0(M)$에 대한 Beauville–Voisin 필터는 $\mathrm{CH}_1(Y)$-필터로부터 어떻게 유도되는가?
• RQ4 Fano 다각형과 타원곡선 표면 $B$의 기하적 구조로부터 유도된 모듈리 공간 $M$ 내에 대칭부분다양체가 존재하는가?
• RQ5 $B$의 타원곡선에서의 토퍼션 구조는 $M$ 내에서 $F$-상수 사이클 부분다양체의 조밀성을 얼마나 보장하는가?

주요 결과

• 특수선과 정규선을 통해 $\mathrm{CH}_1(Y)$에 대한 필터 $S_\bullet(Y)$를 구성하였으며, $S_i(Y)$는 $i$개의 선과 $\mathbb{Z}$-배수의 정규류 $[H]^3$에 의해 생성된다.
• 추측 0.1(b)에서 제안된 층/사이클 대응은 $Y$ 내의 차수 $\leq 3$인 유리곡선 위에 지지된 층들에 대해 검증되었다.
• $\mathrm{CH}^i(Y)_\mathbb{Q} \to H^{2i}(Y,\mathbb{Q})$의 사이클 클래스 사상 $\mathrm{cl}_Y$는 $i \neq 3$일 때 단사적이며, 이는 콘차르 특성류를 사이클 클래스와 식별할 수 있음을 허용한다.
• $\mathcal{A}_Y$의 안정 대상 모듈리 공간 $M$은 $c_3: K_0(\mathcal{A}_Y) \to \mathrm{CH}_1(Y)$를 통해 $S_\bullet(Y)$-필터의 풀백을 통해 $\mathrm{CH}_0(M)$에 대해 Beauville–Voisin 필터를 갖는다.
• $R \subset M \times B^{(d)}$ 내의 성분 $R_0$가 $M$과 $B^{(d)}$로의 전형적이고 일반적으로 유한한 사상이 되므로, $p_M$의 근처 클래스는 $F$-상수 사이클 부분다양체이다.
• 표면 $B$의 타원곡선의 토퍼션 구조를 활용하여 $M$ 내에 대칭부분다양체를 구성하였으며, 다중분할선 $C \subset B$와 $\mathrm{CH}_0(g^{-1}(t))$ 내의 토퍼션 점의 존재로 조밀성이 보장된다.