[論文レビュー] Non-birational Calabi-Yau threefolds that are derived equivalent

Andrei Căldăraru|ArXiv.org|Jan 10, 2006

Algebraic Geometry and Number Theory参考文献 16被引用数 5

ひとこと要約

本稿は、高次多項式を有する楕円曲線のファイブレーションを用いて、非双有理的だが導来同値なカーミー・ヤウ3次元多様体の存在を示す理論的枠組みを構築する。Picard数2、非等曲的で次数 $ n $ のファイブレーション、および十分に大きな $ \mathbb{Z}_2 $ を法とする単元群という条件下で、このようなペアが存在することを示し、非双有理的フーリエ＝ムカイ同値性の強力な証拠を提供するとともに、古典的トーリー問題に対する反例の可能性を示唆する。

ABSTRACT

We argue that the existence of genus one fibrations with multisections of high degree on certain Calabi-Yau threefolds implies the existence of pairs of such varieties that are not birational, but are derived equivalent. It also (likely) implies the existence of non-birational counterexamples to the Torelli problem for Calabi-Yau threefolds.

研究の動機と目的

• 非双有理的だが導来同値なカーミー・ヤウ3次元多様体の存在を確立すること。
• 未解決の問題に対する否定的解答の証拠を提供すること：双有理的でないがフーリエ＝ムカイ同値なカーミー・ヤウ3次元多様体は存在するか？
• カーミー・ヤウ3次元多様体におけるトーリーの原理の失敗が、非双有理的多様体の間で生じうるかどうかを調査すること。
• 導来同値性、ホッジ構造、および楕円ファイブレーション上の層のモジュライ空間との関係を調査すること。
• このような例が、$ \mathbf{Z}[1/2] $-ホッジ構造が同型である非双有理的古典的トーリー定理の反例をもたらす可能性があると示唆すること。

提案手法

• 核複体を $ X \times Y $ のcodimension-2部分多様体に持ち、特に相対モジュライ空間上の普遍層を用いてフーリエ＝ムカイ変換を用いる。
• グロテンディーク＝リーマン＝ロッホを適用して、押し出しのチャーン類を計算し、核のランクが2の場合に $ c_3(i_*U^\cdot) $ が2で割り切れるのを証明する。
• ランク2の核を持つこと、$ U(\mathbb{Z}_n)/\mathbb{Z}_2 $ が少なくとも3つの元を持つこと、および次数 $ n $ のファイブレーション $ X \to S $ の楕円ファイブレーションを分析することで、導来同値性を構成する。
• Picard数2で、ファイブレーションにおいて至るところ孤立した非還元的特異点をもつ滑らかで、射影的なカーミー・ヤウ3次元多様体 $ X $ の存在に依存する。
• 導来同値性が $ H^3 $ の自由部分に整数ホッジ等長写像を誘導することを主張し、$ \mathbf{Z}[1/2] $-ホッジ構造が同型であることを示唆する。
• $ X' $ と $ X'' $ が互いのファイブレーション上のランク2のねじれのない層のモジュライ空間として得られる可能性を提起し、対称的な関係を示唆する。

実験結果

リサーチクエスチョン

• RQ1 非双有理的カーミー・ヤウ3次元多様体のペアが導来同値に存在し得るか？
• RQ2 カーミー・ヤウ3次元多様体におけるトーリーの原理の失敗は、必ず双有理的多様体に限られるのか？
• RQ3 導来カテゴリがカーミー・ヤウ3次元多様体の非双有理的性を検出でき、これはBモデルのトポロジカル量子場理論の同値性を意味するのか？
• RQ4 導来同値性によって誘導されるホッジ等長写像は $ \mathbf{Z} $ 上で整数的か、それとも $ \mathbf{Z}[1/2] $ 上でのみか？
• RQ5 各々が相手のファイブレーション上のランク2の層のモジュライ空間であるようなカーミー・ヤウ3次元多様体のペアを構成できるか？

主な発見

• 提示された条件下で、非双有理的だが導来同値な滑らかで射影的なカーミー・ヤウ3次元多様体 $ X' $ と $ X'' $ が存在する。$ \mathbf{D}(X') \cong \mathbf{D}(X'') $ である。
• 導来同値性は $ H^3(X', \mathbb{Z}) $ と $ H^3(X'', \mathbb{Z}) $ の自由部分の間の等長写像を誘導し、$ \mathbf{Z}[1/2] $-ホッジ構造が同型であることを示唆する。
• $ \mathbf{Z}[1/2] $-ホッジ構造の同型は、$ \mathbf{Z} $ 上への拡張が期待され、古典的トーリー問題に対する反例の可能性を示唆する。
• この構成は、高次多項式を有する楕円ファイブレーションに依存し、$ n \geq 7 $ に対して有効であるが、7次以上の楕円曲線の式が不足しているため、明示的な例は未だ得られていない。
• 多くの例が $ n \leq 6 $ の条件下で既知であり、$ n > 6 $ に対しても障害が見えないため、このようなペアの存在は強く支持されている。
• 本稿は、$ X' $ と $ X'' $ が互いのファイブレーション上のランク2の層のモジュライ空間として実現可能であると予想し、これは対称的な導来同値性の存在とホッジ等長写像の整数性をさらに支持する。