[論文レビュー] Double quintic symmetroids, Reye congruences, and their derived equivalence

Shinobu Hosono, Hiromichi Takagi|arXiv (Cornell University)|Feb 24, 2013

Algebraic Geometry and Number Theory参考文献 18被引用数 11

ひとこと要約

本稿は、先行する鏡像対称性の研究における予想を解決するために、Reye型合同性を示すCalabi-Yau三様体 $X$ と、双対な多様体の線形断面として構成された二重5次的対称行列Calabi-Yau三様体 $Y$ の間で、$\mathbb{P}^{14}$ 内の双対多様体において、$\widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 上の部分多様体 $\Delta$ に台を持つカーネルを有するFourier-Mukai変換によって、導来同値性を確立する。

ABSTRACT

We consider Calabi-Yau threefolds Y defined as smooth linear sections of the double cover of the quintic symmetric determinantal hypersurface in P^{14}. In our previous works, we have shown that these Calabi-Yau threefolds Y are naturally paired with Reye congruence Calabi-Yau threefolds X, and X and Y have several interesting properties from the view point of mirror symmetry and projective geometry. In this paper, we prove the derived equivalence between Y and X.

研究の動機と目的

• 先行する鏡像対称性の研究における予想に従い、Reye型合同性Calabi-Yau三様体 $X$ と二重5次的対称行列Calabi-Yau三様体 $Y$ の間の導来同値性を証明すること。
• $\mathscr{Y}$ と $\widehat{\mathscr{X}}$ の解体の積上の幾何的に定義された部分多様体 $\Delta$ からFourier-Mukaiカーネルを構成すること。
• $X$ をパラメータとする $Y$ 上の genus 3、degree 5 の曲線族を通じて、導来同値性の幾何的起源を理解すること。
• 特に基本群およびBrauer群を含む位相的不変量が導来同値性のもとで不変でないことを明らかにすること。

提案手法

• 曲面束 $\mathscr{Z} \to \mathscr{Y}$ と $\mathbb{P}^2$-バンドル $\widehat{\mathscr{X}} \to \mathrm{G}(2,V)$ を介して、フラッグ多様体 $\mathrm{F}(2,3,V)$ を引き戻すことにより、部分多様体 $\Delta \subset \widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ を構成する。
• $\widetilde{\mathscr{Y}}$ および $\widehat{\mathscr{X}}$ 上のLefschetz集合を用いて、$\Delta$ の理想層 $\mathcal{I}$ の局所自由な解体を得る。
• カーネルとして $\mathcal{I}|_{Y \times X}$ を定義し、Calabi-Yau三様体 $Y$ および $X$ への理想層の制限を行うことで、Fourier-Mukai函手を定義する。
• 解体およびカーネル構造を用いて、Fourier-Mukai函手が導来同値性 $\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$ を誘導することを証明する。
• カーネルのファイバー $I_x$（$x \in X$ に対して）が、$Y$ 内の genus 3、degree 5 の滑らかな曲線 $C_x$ を定義することを確認し、$n_3^Y(5) = 100$ が位相的不変量と一致することを示す。
• Atiyah-Hirzebruchスペクトル系列を用いて $H_1$ と $K^1_{\text{top}}$ をBrauer群と関連づけ、$\mathrm{Br}(Y)$ に $\mathbb{Z}_2$ が含まれ、$\mathrm{Br}(X) \simeq 0$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Reye型合同性Calabi-Yau三様体 $X$ の導来カテゴリは、その双対である二重5次的対称行列三様体 $Y$ の導来カテゴリと同値のままであろうか？
• RQ2 明確なカーネルを有するFourier-Mukai変換によって、導来同値性は幾何的に実現可能であろうか？
• RQ3 曲線族の観点から、$Y$ 上のBPS数 $n_3^Y(5) = 100$ の幾何的意味は何か？
• RQ4 このCalabi-Yau対において、基本群およびBrauer群は導来同値性のもとで不変であろうか？
• RQ5 BPS数 $n_{14}^X(20) = 500$ は、$X$ 上の曲線のパラメータ空間の個数として幾何的に解釈可能であろうか？

主な発見

• Reye型合同性Calabi-Yau三様体 $X$ と二重5次的対称行列Calabi-Yau三様体 $Y$ の導来カテゴリは同値である：$\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$。
• 導来同値性は、フラッグ多様体 $\mathrm{F}(2,3,V)$ から構成された、部分多様体 $\Delta \subset \widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ に台を持つカーネルを有するFourier-Mukai変換によって実現される。
• カーネルのファイバー $I_x$（$x \in X$ に対して）は、$Y$ 内の genus 3、degree 5 の滑らかな曲線 $C_x$ を定義し、その個数 $n_3^Y(5) = 100$ は $(-1)^{\dim X} e(X) \times 2 = 100$ と一致する。
• $X$ の基本群は $\mathbb{Z}_2$、$Y$ の基本群は自明であるため、$\pi_1$ は導来同値性のもとで不変ではないことが示された。
• $Y$ のBrauer群には非自明な2階捩れ元が含まれており、$\mathrm{Br}(X) \simeq 0$ であるため、$\mathrm{Br}$ は導来同値性のもとで不変ではない。
• $n_{14}^X(20) = 500$ は $(-1)^{\dim Y} e(Y) \times 10 = 500$ と整合的であるが、係数10の幾何的意味はまだ明確でない。