[논문 리뷰] Some remarks on Fano threefolds of index two and stability conditions

Laura Pertusi, Song Yang|arXiv (Cornell University)|2020. 04. 06.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 12

한 줄 요약

이 논문은 피카르 랭크가 1이고 인덱스가 2인 팔란 3차원의 직선의 이상층이 바이어, 라호즈, 마크라, 스텔라리에 의해 구축된 브리지갈란 스태빌리티 조건 하에서 쿠즈네цов 성분에서 안정적임을 증명한다. 이는 직선의 하이르베르트 스킴을 안정 대상의 모듈리 공간으로서의 모듈러 해석을 제공하며, 삼차 3차원의 경우 비어 있지 않은 모듈리 공간의 스무스성을 증명하고, 4차 이중 3차원의 스태빌리티 매니폴드의 연결 성분을 묘사한다.

ABSTRACT

We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macrì and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on $\mathsf{Ku}(X)$.

연구 동기 및 목표

• 피카르 랭크가 1이고 인덱스가 2인 팔란 3차원에서의 직선 하이르베르트 스킴에 대해 브리지갈란 스태빌리티 조건을 이용한 모듈러 기술을 제공하는 것.
• 삼차 3차원의 쿠즈네цов 성분에서 안정 대상의 비어 있지 않은 모듈리 공간의 스무스성을 확립하는 것.
• 4차 이중 3차원의 쿠즈네цов 성분에 대한 스태빌리티 매니폴드의 연결 성분을 묘사하는 것.
• 삼차 3차원일 때, 세르 포괄자가 관련 궤도 내의 스태빌리티 조건을 유지하는가를 보이는 것.
• 스태빌리티 조건의 성질을 이용하여 삼차 3차원에 대한 카테고리적 토렐리 정리의 별개 증명을 제공하는 것.

제안 방법

• 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 를 $\operatorname{D}^b(X)$ 에서 $\mathcal{O}_X$ 와 $\mathcal{O}_X(H)$ 의 오른쪽 수직선으로 사용하며, 여기서 $H = -\frac{1}{2}K_X$ 이다.
• 바이어, 라호즈, 마크라, 스텔라리에 의해 구축된 스태빌리티 조건 $\sigma(\alpha, \beta)$ 를 쿠즈네цов 성분에 적용한다.
• 스태빌리티 조건의 궤도 $\mathcal{K}$ 를 $\widetilde{\mathrm{GL}}^+_2(\mathbb{R})$ 의 작용 하에서 식별하며, 이는 관련된 스태빌리티 구조를 매개변수화한다.
• 약한 무카이 보조정리와 세르 dualit의 응용을 통해 대상의 안정성 분석 및 $\hom^1$-차원에 대한 제약 조건 유도.
• 경계에서의 지지 성질과 중심 전하의 분리성 조건을 활용하여 엄격하게 반안정 대상의 존재를 배제한다.
• 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 에서의 정확한 수열을 이용한 다이어그램 추적 기법을 적용하여, 비자명한 확장의 가정 하에 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 인덱스가 2인 팔란 3차원에서의 직선 이상층이 구축된 스태빌리티 조건 하에서 쿠즈네цов 성분에서 안정적인가?
• RQ2 이러한 팔란 3차원에서의 직선 하이르베르트 스킴은 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 의 안정 대상의 모듈리 공간으로서 실현될 수 있는가?
• RQ3 삼차 3차원의 경우, 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 에서의 안정 대상에 대한 비어 있지 않은 모듈리 공간이 궤도 $\mathcal{K}$ 의 스태빌리티 조건 하에서 스무스한가?
• RQ4 궤도 $\mathcal{K}$ 는 4차 이중 3차원의 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 의 스태빌리티 매니폴드에서 최대 차원의 연결 성분인가?
• RQ5 삼차 3차원일 때, 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 의 세르 포괄자가 궤도 $\mathcal{K}$ 의 스태빌리티 조건을 유지하는가?

주요 결과

• 인덱스가 2이고 차수 $\neq 1$ 인 팔란 3차원에 대해, 직선의 하이르베르트 스킴 $\Sigma(X)$ 는 클래스 $[\mathcal{I}_\ell]$ 를 가진 $\sigma$-안정 대상의 모듈리 공간 $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$ 과 동형이다.
• 차수가 1인 경우, $\Sigma(X)$ 는 $M_\sigma(\operatorname{Ku}(X), [\mathcal{I}_\ell])$ 의 기약 성분이다.
• 삼차 3차원의 경우, $\sigma \in \mathcal{K}$ 에 대해 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 에서의 모든 비어 있지 않은 안정 대상 모듈리 공간은 스무스하다.
• 삼차 3차원일 때, 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 의 세르 포괄자는 궤도 $\mathcal{K}$ 의 스태빌리티 조건을 유지한다.
• 궤도 $\mathcal{K}$ 는 4차 이중 3차원의 쿠즈네цов 성분 $\operatorname{Ku}(X)$ 의 스태빌리티 매니폴드에서 최대 차원의 연결 성분이다.
• 삼차 3차원에 대한 카테고리적 토렐리 정리의 증명이 세르 포괄자가 $\mathcal{K}$ 를 유지하고, $\mathcal{I}_\ell$ 과 $\mathcal{J}_\ell$ 의 안정성 분석을 통해 재증명된다.