[논문 리뷰] The desingularization of the theta divisor of a cubic threefold as a moduli space

Arend Bayer, Sjoerd Viktor Beentjes외 5명|arXiv (Cornell University)|2020. 11. 24.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 삼차 3차곡면의 $θ$- divisor의 비특이화가 $v = (3, -H, -H^2/2, H^3/6)$를 가진 Gieseker-안정층의 모듈리 공간과 동형임을 증명한다. 이 모듈리 공간은 매끄럽고 4차원이다. 모듈리 공간은 유일한 특이점을 중심으로 $θ$-divisor를 블로잉업하여 특이 $θ$-divisor를 해결하며, 삼차 3차곡면 자체가 예외적 인피니티로 나타나며, 이는 유도 범주와 안정 조건을 통해 삼차 3차곡면에 대한 카테고리적 및 고전적 Torelli 정리에 대한 새로운 증명을 제공한다.

ABSTRACT

We show that the moduli space $\overline{M}_X(v)$ of Gieseker stable sheaves on a smooth cubic threefold $X$ with Chern character $v = (3,-H,-H^2/2,H^3/6)$ is smooth and of dimension four. Moreover, the Abel-Jacobi map to the intermediate Jacobian of $X$ maps it birationally onto the theta divisor $Θ$, contracting only a copy of $X \subset \overline{M}_X(v)$ to the singular point $0 \in Θ$. We use this result to give a new proof of a categorical version of the Torelli theorem for cubic threefolds, which says that $X$ can be recovered from its Kuznetsov component $\operatorname{Ku}(X) \subset \mathrm{D}^{\mathrm{b}}(X)$. Similarly, this leads to a new proof of the description of the singularity of the theta divisor, and thus of the classical Torelli theorem for cubic threefolds, i.e., that $X$ can be recovered from its intermediate Jacobian.

연구 동기 및 목표

• 삼차 3차곡면의 비특이화된 $θ$-divisor를 안정층의 모듈리 공간으로서 기하학적 실현을 확립한다.
• Chern 특성수 $v = (3, -H, -H^2/2, H^3/6)$를 가진 Gieseker-안정층의 모듈리 공간이 매끄럽고 4차원임을 증명한다.
• 이 모듈리 공간이 $θ$-divisor의 유일한 특이점에서의 블로잉업과 동형이며, 예외적 인피니티로 삼차 3차곡면이 존재함을 보인다.
• Kuznetsov 성분과 Serre-불변 안정 조건을 사용하여 삼차 3차곡면에 대한 카테고리적 Torelli 정리를 새로운 방식으로 증명한다.
• 중간 아벨-자코비 함수를 통해 이 모듈리 공간이 $θ$-divisor의 해소를 매개함을 보여, 고전적 Torelli 정리를 회복한다.

제안 방법

• 지정된 Chern 특성수 $v$를 가진 삼차 3차곡면 $X$ 위의 Gieseker-안정층의 모듈리 공간 $\overline{M}_X(v)$를 구성한다.
• 삼각 범주에 대한 Bridgeland의 안정 조건 이론을 사용하여 Kuznetsov 성분 $\mathrm{Ku}(X)$ 위에 Serre-불변 안정 조건을 정의한다.
• 스카이크래퍼 층 $\mathcal{O}_P$ 의 $\mathrm{Ku}(X)$ 위로의 사영 $K_P$ 가 임의의 Serre-불변 안정 조건 하에서 안정됨을 보인다.
• $\mathrm{Ku}(X)$ 내에서 $v$ 클래스의 $\sigma$-안정 객체의 모듈리 공간 $M_\sigma(v)$ 가 $\overline{M}_X(v)$ 와 동형임을 증명한다.
• 모듈리 공간 $\overline{M}_X(v)$ 에서 중간 아벨-자코비 함수가 $J(X)$ 로 가는 것이 유리적이고, 오직 $X \subset \overline{M}_X(v)$ 만이 특이점 $0 \in \Theta$ 로 수축됨을 보인다.
• 약한 Mukai 보조정리와 위상 비교 논증을 적용하여 불안정한 객체를 배제하고, 특정한 층의 $\sigma$-안정성을 증명함으로써 모듈리 공간 간의 동형을 이끌어낸다.

실험 결과

연구 질문

• RQ1 삼차 3차곡면의 $θ$-divisor의 비특이화는 안정층의 모듈리 공간으로 실현될 수 있는가?
• RQ2 삼차 3차곡면 위에서 Chern 특성수 $v = (3, -H, -H^2/2, H^3/6)$를 가진 Gieseker-안정층의 모듈리 공간은 매끄럽고 4차원인가?
• RQ3 이 모듈리 공간에서 중간 아벨-자코비 함수가 $J(X)$ 로 가는 것은, 삼차 3차곡면만을 예외적 인피니티로 수축함으로써 $θ$-divisor를 해소하는가?
• RQ4 Kuznetsov 성분 내 안정 객체의 모듈리 공간을 통해 삼차 3차곡면에 대한 카테고리적 Torelli 정리를 증명할 수 있는가?
• RQ5 모듈리 공간 $\overline{M}_X(v)$ 의 동형 유형은 삼차 3차곡면 $X$ 를 동형사상으로 유일하게 결정하는가?

주요 결과

• Chern 특성수 $v = (3, -H, -H^2/2, H^3/6)$를 가진 삼차 3차곡면 $X$ 위의 Gieseker-안정층의 모듈리 공간 $\overline{M}_X(v)$ 는 매끄럽고 기약적이며 차원이 4이다.
• 모듈리 공간 $\overline{M}_X(v)$ 는 $θ$-divisor $\Theta \subset J(X)$ 의 유일한 특이점에서의 블로잉업과 동형이다.
• 이 블로잉업의 예외적 인피니티는 삼차 3차곡면 $X$ 자체와 동형이며, $\overline{M}_X(v)$ 내의 국소적으로 자유롭지 않은 층들을 매개한다.
• 중간 아벨-자코비 함수 $\overline{M}_X(v) \to J(X)$ 는 유리적이고, 오직 $X \subset \overline{M}_X(v)$ 만이 점 $0 \in \Theta$ 로 수축된다.
• Kuznetsov 성분 $\mathrm{Ku}(X)$ 내에서 $\sigma$-안정 객체의 모듈리 공간 $M_\sigma(v)$ 는 임의의 Serre-불변 안정 조건 $\sigma$ 에 대해 $\overline{M}_X(v)$ 와 동형이다.
• $\overline{M}_X(v)$ 의 동형 유형은 삼차 3차곡면 $X$ 를 유일하게 결정하며, 이는 카테고리적 및 고전적 Torelli 정리에 대한 새로운 증명을 이끌어낸다.