[論文レビュー] The desingularization of the theta divisor of a cubic threefold as a moduli space

Arend Bayer, Sjoerd Viktor Beentjes+5 more|arXiv (Cornell University)|Nov 24, 2020

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

この論文は、3次3次元多様体のシータ divisor の特異点除去が、チャーン類 $v = (3, -H, -H^2/2, H^3/6)$ を持つギーゼッカー安定層のモジュライ空間に同型であることを確立している。このモジュライ空間は滑らかで4次元である。モジュライ空間は、その唯一の特異点を blowing up することによって特異なシータ divisor を解消し、3次3次元多様体自体を例外除集合として持つ。この結果、導来圏と安定性条件を用いて、3次3次元多様体のカテゴリー的および古典的トーリー定理の新たな証明が得られる。

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次3次元多様体の特異点除去されたシータ divisor の幾何的実現を、安定層のモジュライ空間として行う。
• チャーン類 $v = (3, -H, -H^2/2, H^3/6)$ を持つギーゼッカー安定層のモジュライ空間が滑らかで4次元であることを証明する。
• このモジュライ空間が、その唯一の特異点におけるシータ divisor の blowing up に同型であり、例外除集合として3次3次元多様体自身を有することを示す。
• クズネツォフ成分とセール不変安定性条件を用いて、3次3次元多様体のカテゴリー的トーリー定理を新たな方法で証明する。
• 中間ジャコビアンを介して、このモジュライ空間がシータ divisor の解消をパラメトライズすることを示し、古典的トーリー定理を回復する。

提案手法

• 滑らかな3次3次元多様体 $X$ 上の、指定されたチャーン類 $v$ を持つギーゼッカー安定層のモジュライ空間 $\overline{M}_X(v)$ を構成する。
• 三角圏上のブリッジランドの安定性条件理論を用い、クズネツォフ成分 $\mathrm{Ku}(X)$ 上にセール不変安定性条件を定義する。
• 点 $P$ のスクリャッパー層 $\mathcal{O}_P$ の $\mathrm{Ku}(X)$ への射影 $K_P$ が、任意のセール不変安定性条件のもとで安定であることを示す。
• クラス $v$ の $\sigma$-安定対象のモジュライ空間 $M_\sigma(v)$ が、$\overline{M}_X(v)$ に同型であることを証明する。
• $\overline{M}_X(v)$ から中間ジャコビアン $J(X)$ へのアーベル・ジャコビ写像が有理写像であり、$\overline{M}_X(v)$ の部分集合 $X$ のみが $\Theta$ の特異点 $0$ に写されることを示す。
• 弱ムカイ補題と位相比較の議論を用いて、不安定化対象を除外し、特定の層の $\sigma$-安定性を証明することで、モジュライ空間の同型を導く。

実験結果

リサーチクエスチョン

• RQ1 3次3次元多様体のシータ divisor の特異点除去は、安定層のモジュライ空間として実現可能か？
• RQ2 3次3次元多様体上でのチャーン類 $v = (3, -H, -H^2/2, H^3/6)$ を持つギーゼッカー安定層のモジュライ空間は滑らかで4次元的か？
• RQ3 このモジュライ空間から中間ジャコビアンへのアーベル・ジャコビ写像は、3次3次元多様体を唯一の例外除集合として持つように、シータ divisor を解消するか？
• RQ4 クズネツォフ成分における安定対象のモジュライ空間を用いて、3次3次元多様体のカテゴリー的トーリー定理を証明できるか？
• RQ5 モジュライ空間 $\overline{M}_X(v)$ の同型型は、3次3次元多様体 $X$ を同型を除いて一意に決定するか？

主な発見

• チャーン類 $v = (3, -H, -H^2/2, H^3/6)$ を持つ滑らかで4次元の、かつ既約な3次3次元多様体 $X$ 上のギーゼッカー安定層のモジュライ空間 $\overline{M}_X(v)$ は、滑らかで4次元である。
• モジュライ空間 $\overline{M}_X(v)$ は、中間ジャコビアン $J(X)$ 内のシータ divisor $\Theta$ の唯一の特異点 $0$ における blowing up に同型である。
• この blowing up の例外除集合は、3次3次元多様体 $X$ 自身と同型であり、$\overline{M}_X(v)$ 内の非局所自由層をパラメトライズする。
• アーベル・ジャコビ写像 $\overline{M}_X(v) \to J(X)$ は有理写像であり、$\overline{M}_X(v)$ 内の $X$ のみが $\Theta$ の点 $0$ に写される。
• セール不変安定性条件 $\sigma$ に対して、クズネツォフ成分 $\mathrm{Ku}(X)$ 内のクラス $v$ の $\sigma$-安定対象のモジュライ空間 $M_\sigma(v)$ は、$\overline{M}_X(v)$ に同型である。
• $\overline{M}_X(v)$ の同型型は、3次3次元多様体 $X$ を同型を除いて一意に決定するため、カテゴリー的および古典的トーリー定理の新たな証明が得られる。