[論文レビュー] Duality between S^2 P^4 and the Double Quintic Symmetroid

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

Algebraic structures and combinatorial models参考文献 5被引用数 10

ひとこと要約

本稿は、導来カテゴリの分解と特異点解消を用いて、第二対称積 $\mathsf{S}^2\mathbb{P}^4$ と二重五次的対称行列多様体の間のホモロジカルプロジェクト型双対性を確立し、これらの多様体の線型切断の導来同値性を理解するためのカテゴリカル枠組みを提供する。

ABSTRACT

We obtain homological properties of the second symmetric product of P^4 and the double cover of the symmetric determinantal quintic hypersurface in P^{14} (the double quintic symmetroids), which indicate the homological projective duality between (suitable noncommutative resolutions of) them. Among other things, we construct their good desingularizations and also (dual) Lefschetz collections in the derived categories of the desingularizations. These are expected to give (dual) Lefschetz decompositions of suitable noncommutative resolutions. The desingularization of the double quintic symmetroids also contains its interesting birational geometries.

研究の動機と目的

• 第二対称積 $\mathsf{S}^2\mathbb{P}^4$ と二重五次的対称行列多様体 $\mathscr{Y}$ の間のホモロジカルプロジェクト型双対性を確立し、特異的多様体へと枠組みを拡張する。
• 対称積と二重対称行列多様体それぞれの良い特異点解消 $\widetilde{\mathscr{X}}$ と $\widetilde{\mathscr{Y}}$ を構成する。
• $\mathcal{D}^b(\widetilde{\mathscr{X}})$ に双対 Lefschetz コレクションを定義し、$\mathcal{D}^b(\widetilde{\mathscr{Y}})$ に Lefschetz コレクションを定義することで、双対 Lefschetz 分解を可能にする。
• これらの構成を、$\mathscr{X}$ と $\mathscr{Y}$ の導来カテゴリの非可換解消と関連づけ、特に線型切断から得られる Calabi–Yau 3次元多様体の文脈において考察する。
• Plücker 関係式と行列不変量を用いて、$\mathsf{S}^2\mathbb{P}^4$ と五次的対称行列多様体の二重被覆の間の幾何学的・ホモロジカルな双対性を明確にする。

提案手法

• $\mathsf{S}^2\mathbb{P}^4$ の特異点解消 $\widetilde{\mathscr{X}}$ を、行列のランクの各層に沿った blow-ups によって構成する。
• 五次的対称行列多様体 $\mathscr{H}$ のランク $\leq 3$ の部分集合を分岐被覆とする二重被覆 $\mathscr{Y} \to \mathscr{H}$ の特異点解消 $\widetilde{\mathscr{Y}}$ を構成する。
• 導来カテゴリ $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ 及びその例外的対象を用いて、$\mathcal{D}^b(\widetilde{\mathscr{Y}})$ における Lefschetz コレクションを定義する。
• カテゴリカル双対性を用いて、$\mathcal{D}^b(\widetilde{\mathscr{Y}})$ のコレクションに対応する双対 Lefschetz コレクションを $\mathcal{D}^b(\widetilde{\mathscr{X}})$ に定義する。
• $\mathrm{Gr}(3,6)$ の Plücker 埋め込みを用い、$\mathbb{P}(\wedge^3(\wedge^2 V_4))$ の座標を、不変な分解を介して対称行列 $v$ と $w$ に関連付ける。
• 行列恒等式 $|v_{IJ}| - \epsilon_{I\check{I}}\epsilon_{J\check{J}}|w_{\check{I}\check{J}}| = 0$ と $v.w = d\cdot \mathrm{id}_4$ および $d = \pm \sqrt{\det w}$ を用いて、Plücker 関係式を $v$ と $w$ の項で導出する。

実験結果

リサーチクエスチョン

• RQ1 $\mathsf{S}^2\mathbb{P}^4$ の導来カテゴリは、二重五次的対称行列多様体のそれと双対的な Lefschetz 分解を許容するか？
• RQ2 非可換解消 $\mathscr{Y}$ を構成し、その導来カテゴリが $\widetilde{\mathscr{X}}$ の Lefschetz コレクションに対応する双対コレクションを許容するようにできるか？
• RQ3 Gr(3,6) 上の Plücker 関係式は、二重対称行列の文脈において、対称行列 $v$ と $w$ とどのように関係するか？
• RQ4 行列 $v$ と $w$ のランク条件は、二重被覆 $\mathscr{Y} \to \mathscr{H}$ の幾何にどのように関係するか？
• RQ5 二重対称行列多様体の線型切断 $Y = \mathscr{Y} \cap \mathbb{P}(L)$ の導来カテゴリは Calabi–Yau か？ また、$X = \mathscr{X} \cap \mathbb{P}(L^\perp)$ の導来カテゴリとどのように関係するか？

主な発見

• 二重対称行列多様体 $\mathscr{Y}$ は、五次的対称行列多様体 $\mathscr{H}$ のランク $\leq 3$ の部分集合を分岐被覆として得られ、$n \geq 4$ のとき特異的であるが、良い特異点解消 $\widetilde{\mathscr{Y}}$ を持つ。
• 対称積 $\mathsf{S}^2\mathbb{P}^4$ は、$\mathcal{D}^b(\widetilde{\mathscr{X}})$ に双対 Lefschetz コレクションを備えた特異点解消 $\widetilde{\mathscr{X}}$ を持つ。
• $\mathcal{D}^b(\widetilde{\mathscr{X}})$ と $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ は双対 Lefschetz 分解を許容しており、ホモロジカルプロジェクト型双対性を示している。
• Plücker 関係式 $p_{IJK}$ は、行列不変量を用いて表される：$|v_{IJ}| - \epsilon_{I\check{I}}\epsilon_{J\check{J}}|w_{\check{I}\check{J}}| = 0$ および $v.w = d\cdot \mathrm{id}_4$ で $d = \pm \sqrt{\det w}$。
• ラプラス展開と Plücker 関係式により、$\det v = \det w$ が成り立つことが確認され、二つの行列系の整合性が裏付けられる。
• 行列 $v$ と $w$ のランクは制約を受ける：$\mathrm{rk}(v) \neq 3$、$\mathrm{rk}(w) \neq 3$、かつ $\mathrm{rk}(v) = 2 \Leftrightarrow \mathrm{rk}(w) = 2$、また $\mathrm{rk}(v) \leq 1 \Leftrightarrow \mathrm{rk}(w) \leq 1$。