[논문 리뷰] Bridgeland Moduli spaces for Gushel-Mukai threefolds and Kuznetsov's Fano threefold conjecture

Shizhuo Zhang|arXiv (Cornell University)|2020. 12. 22.

Algebraic Geometry and Number Theory참고 문헌 46인용 수 4

한 줄 요약

이 논문은 구슈엘-무카이 및 쿼드릭 듀얼 스타트 3차원의 쿠즈네초프 성분에서 브리지젤드 안정 조건을 조사하며, 안정된 대상의 모듈리 공간을 구축하고 그 기하학을 분석한다. 이는 이러한 3차원의 쿠즈네초프 성분들이 서로 동치가 아니라는 것을 증명함으로써, 쿠즈네초프의 팔로 3차원 다양체 추측의 핵심 케이스를 반증하며, 모듈리 공간의 접공간 구조에 근본적인 장애가 있음을 보여준다.

ABSTRACT

We study the Hilbert scheme $\mathcal{H}$ of twisted cubics on a special smooth Gushel-Mukai threefolds $X_{10}$. We show that it is a smooth irreducible projective threefold if $X_{10}$ is general among special Gushel-Mukai threefolds, while it is singular if $X_{10}$ is not general. We construct an irreducible component of a moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}$ as a divisorial contraction of $\mathcal{H}$. We also identify the minimal model of Fano surface $\mathcal{C}(X_{10}')$ of conics on a smooth ordinary Gushel-Mukai threefold with moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}'$. As a result, we show that the Kuznetsov's Fano threefold conjecture is not true

연구 동기 및 목표

• 특수한 구슈엘-무카이 3차원에서 비틀린 세로의 하이르베르트 스킴의 기하학과 브리지젤드 모듈리 공간과의 관계를 조사한다.
• 쿼드릭 듀얼 스타트 3차원과 구슈엘-무카이 3차원의 쿠즈네초프 성분이 카테고리적으로 동치인지 여부를 규명한다.
• 유도 범주 내 안정 대상의 모듈리 공간 분석을 통해 쿠즈네초프의 팔로 3차원 다양체 추측의 핵심 케이스를 해결한다.
• 쿼드릭 듀얼 스타트 3차원의 선의 팔로 표면이 구슈엘-무카이 3차원에서의 원의 모듈리 공간과 동형일 수 없다는 것을 확립한다.

제안 방법

• 특수한 구슈엘-무카이 3차원 $X_{10}$에서 비틀린 세로의 하이르베르트 스킴 $\mathcal{H}$를 구축하고, 이중 덮개 $\pi: X_{10} \to Y_5$의 분 branching locus $\mathcal{B}$에 기반한 스킴의 매끄러움을 분석한다.
• 쿠즈네초프 성분 $\mathcal{K}u(X_{10})$에 브리지젤드 안정 조건 $\sigma'$를 정의하고, $\mathcal{H}$로부터 유도된 $s = 1 - 3L + \frac{1}{2}P$에 대해 모듈리 공간 $\mathcal{M}_{\sigma'}(\mathcal{K}u(X_{10}), s)$을 구축한다.
• 모듈리 공간 내 안정 대상의 접공간 구조를 $\mathcal{K}u(Y_2)$ 및 $\mathcal{K}u(X_{10})$에서 분석하여, 특이점에서 차원의 불일치를 보여준다.
• 푸리에-무카이 유도자와 수치적 그로텐디크 군 간의 등장사상(등장사상)을 이용해 모듈리 공간을 비교하고, 동치성 가정 하에 모순을 이끌어낸다.
• $\mathcal{H}$에 대한 분할 기법을 적용하여, 비틀린 세로가 $Y_5$에서 비틀린 세로 또는 원으로 사상되는 경우를 구분하고, 그 특이점 집합을 연구한다.
• 가능한 동치성 $\widetilde{\Phi}$에 의해 유도되는 사상 $\gamma: \Sigma(Y) \to p(\mathcal{C}(X'))$를 사용하여, 모듈리 공간의 동형이 매끄러움과 접공간 차원의 모순을 낳음을 보여준다.

실험 결과

연구 질문

• RQ1 구슈엘-무카이 3차원의 쿠즈네초프 성분은 쿼드릭 듀얼 스타트 3차원의 성분과 동치일 수 있는가?
• RQ2 분지 구역에 직선이나 원이 포함되어 있을 경우, 특수한 구슈엘-무카이 3차원에서 비틀린 세로의 하이르베르트 스킴이 여전히 매끄러운가?
• RQ3 쿼드릭 듀얼 스타트 3차원의 선의 팔로 표면은 구슈엘-무카이 3차원에서의 원의 모듈리 공간과 동형일 수 있는가?
• RQ4 가능한 동치성 하에서 $\mathcal{K}u(Y_2)$ 및 $\mathcal{K}u(X_{10})$의 브리지젤드 모듈리 공간의 접공간 차원이 일치하는가?
• RQ5 쿠즈네초프 성분 $\mathcal{K}u(Y_2)$와 $\mathcal{K}u(X_{10})$ 사이에 푸리에-무카이 동치가 존재하는 데 있어 기하학적 장애는 무엇인가?

주요 결과

• 일반적인 경우, 즉 분지 구역 $\mathcal{B}$에 직선이나 원이 포함되지 않을 경우, 특수한 구슈엘-무카이 3차원 $X_{10}$에서 비틀린 세로의 하이르베르트 스킴 $\mathcal{H}$는 매끄럽고 기약적이다.
• 만약 $X_{10}$가 일반적이지 않다면, $\mathcal{H}$는 특이점이 생기며, 이는 유한한 개수의 고립된 점들과, 공통된 직선 성분을 가진 분해 가능한 비틀린 세로를 매개변수화하는 유한한 수의 유리 곡선들로 이루어진다.
• 모듈리 공간 $\mathcal{M}_{\sigma'}(\mathcal{K}u(X_{10}), s)$는 $\mathcal{H}$의 변형 수축으로서 구성되며, 쿠즈네초프 성분 내 브리지젤드 안정 대상을 기하학적으로 실현한다.
• 매끄럽고 일반적인 구슈엘-무카이 3차원 $X_{10}'$에서 원의 최소 모델 $\mathcal{C}_m(X_{10}')$은 $\mathcal{K}u(X_{10}')$ 내 브리지젤드 안정 대상의 모듈리 공간과 일치한다.
• 논문은 모듈리 공간 내 대응하는 점들에서 접공간 차원이 어떤 동치성 하에서도 일치할 수 없음을 보여, $\mathcal{K}u(Y_2) \not\simeq \mathcal{K}u(X_{10})$임을 증명한다. 특히 특이점이나 차원의 급격한 변화가 발생할 경우 더욱 뚜렷하다.
• 모든 경우에서 모순이 발생한다: $Y_2$와 $X_{10}'$가 모두 일반일 때, 한쪽만 특이일 때, 또는 둘 다 일반적이지 않을 때도 모두 동치성이 존재할 수 없음을 보여, 그러한 동치는 존재하지 않는다.