[論文レビュー] Derived Category Automorphisms from Mirror Symmetry

R. Paul Horja|ArXiv.org|Mar 30, 2001

Algebraic structures and combinatorial models参考文献 24被引用数 25

ひとこと要約

この論文は、ホモロジカルミラー対称性にインspiredされ、滑らかで準射影的多様体の有界な両立層の導来カテゴリの自己同型を、$EZ$-球面的対象を用いて構成する。特定の幾何的条件下—例えば、ファノまたはカーボリ・ヤウの繊維を持つ平坦なファイブレーション $q: E \to Z$—の下では、$E$ 上の任意の可逆層が $EZ$-球面的対象となり、球面的ねじれ関手を介して導来カテゴリの自己同型を誘導する。

ABSTRACT

Inspired by the homological mirror symmetry conjecture of Kontsevich, we construct new classes of automorphisms of the bounded derived category of coherent sheaves on a smooth Calabi-Yau variety.

研究の動機と目的

• 既知の例を超えて、一般の幾何的設定における $EZ$-球面的対象を導入することにより、導来カテゴリ自己同型の理論を拡張すること。
• 部分多様体 $E \subset X$ とその上の平坦な準同型 $q: E \to Z$ からの幾何的データを用いて、$D^b(\text{coh}(X))$ の自己同値を体系的に構成すること。
• コンツェビチ、セイデル、トーマスによる球面的対象の構成を、特にカーボリ・ヤウおよびファノ型ファイブレーションを含むより広いクラスの多様体へ一般化すること。
• 可逆層が $E$ 上で $EZ$-球面的となる条件を確立し、球面的ねじれ関手を介して新しい自己同値を定義可能にする。
• $EZ$-球面的条件が、正規化のコーンへの変形および $X$ を正規化バンドル $N_{E/X}$ に局所解析的に置き換えることに対して安定であることを示すこと。

提案手法

• 条件 $\mathbf{R}\mathcal{H}om_E(\mathcal{E}, \mathcal{E}) \cong \mathcal{O}_E$ および $\mathbf{R}q_*\mathcal{E} \cong \mathcal{O}_Z$ を用いて、$D^b(\text{coh}(E))$ 内で $EZ$-球面的対象を定義する。
• canonical bundle の関係 $q^*\theta \otimes \omega_Z^{-1} \cong \mathbf{L}i^*\omega_X^{-1}$ を仮定し、双対性と整合性を保証する。
• Grauert–Grothendieck の定理を適用して、$\mathcal{H}^l(F, \Lambda^c \nu|_F) = 0$ ($0 < l < k+1$) を示し、$EZ$-球面的条件の成立を保証する。
• $EZ$-球面的対象に関連する球面的ねじれ関手を用いて、$D^b(\text{coh}(X))$ の自己同値を構成する。
• 正式完成や正規化のコーンへの変形といった変形論的技法を用い、$X$ の滑らかな変形が $N_{E/X}$ を保存する間、$EZ$-球面的条件が保存されることを示す。
• カーボリ・ヤウ完遂交差がモーリー・ファイブレーション構造を持つトーリック多様体に含まれる場合など、代表的な例で $EZ$-球面的条件が成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 部分多様体 $E \subset X$ とその上の平坦な準同型 $q: E \to Z$ に対して、$E$ 上の可逆層がいつ $EZ$-球面的となるかという幾何的条件は何か？
• RQ2 ホモロジカルミラー対称性の予想は、有界両立層の導来カテゴリの自己同値を構成するためにどのように利用できるか？
• RQ3 canonical bundle 条件 $q^*\theta \otimes \omega_Z^{-1} \cong \mathbf{L}i^*\omega_X^{-1}$ は、$EZ$-球面的性質を保証するために果たす役割は何か？
• RQ4 $EZ$-球面的条件は、環境多様体 $X$ の変形に関して、どのような意味で安定か？
• RQ5 カーボリ・ヤウ多様体を超えて、ファノまたは重み付き射影空間の繊維を持つ他のファイブレーションへ、導来カテゴリ自己同値の構成を一般化できるか？

主な発見

• 可逆層 $\mathcal{L}$ が $\mathbf{R}\mathcal{H}om_E(\mathcal{L}, \mathcal{L}) \cong \mathcal{O}_E$ および $\mathbf{R}q_*\mathcal{L} \cong \mathcal{O}_Z$ を満たすとき、与えられた canonical bundle 条件のもとで $EZ$-球面的となる。
• $E$ がカーボリ・ヤウ完遂交差 $X$ 内のトーリックカーラー除法の完遂交差であり、$q: E \to Z$ が繊維 $F \cong \mathbb{P}^k$ の平坦ファイブレーションであるとき、$EZ$-球面的条件が満たされる。
• ファイバー内のすべての $c$ および曲線 $C_\sigma$ に対して $D_c \cdot C_\sigma < 0$ が成り立つと、$\mathcal{O}(D_{c_1} + \cdots + D_{c_m})|_F$ は負になり、高次コホモロジーの消失を保証する。
• 負の条件から、$0 < l < k+1$ および $0 < c < d$ に対して $\mathrm{H}^l(F, \Lambda^c \nu|_F) = 0$ が成り立つことが、$EZ$-球面的性質の確認に不可欠な結果である。
• $EZ$-球面的対象 $\mathcal{E}$ に関連する球面的ねじれ関手は、$D^b(\text{coh}(X))$ の導来自己同値を誘導する。これは既知の構成を一般化する。
• $EZ$-球面的条件は、正規化のコーンへの変形および $X$ を $N_{E/X}$ の全空間に局所解析的に置き換えることに対して安定であり、この構成の頑健性を示している。