[論文レビュー] Arithmetic mirror symmetry for the 2-torus

Yankı Lekili, Timothy Perutz|arXiv (Cornell University)|Nov 20, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 55被引用数 25

ひとこと要約

本稿は、穴あきトーラスの相対フューカイヤカテゴリと $ℚ[[q]]$ 上のテート曲線上の完全複体のカテゴリの間に導来同値を構成することによって、2次元トーラスにおけるホモロジカルミラー対称性の算術的精錬を確立する。穴あきトーラスのラップドフューカイヤカテゴリが $ℚ$ 上でテート曲線の中心ファイバー上の一貫した層のカテゴリと導来同値であることを証明し、この文脈におけるミラー対称性の最初の詳細な算術的幾何的実現を提供する。

ABSTRACT

This paper explores a refinement of homological mirror symmetry which relates exact symplectic topology to arithmetic algebraic geometry. We establish a derived equivalence of the Fukaya category of the 2-torus, relative to a basepoint, with the category of perfect complexes of coherent sheaves on the Tate curve over the "formal disc" Spec Z[[q]]. It specializes to a derived equivalence, over Z, of the Fukaya category of the punctured torus with perfect complexes on the curve y^2+xy=x^3 over Spec Z, the central fibre of the Tate curve; and, over the "punctured disc" Spec Z((q)), to an integral refinement of the known statement of homological mirror symmetry for the 2-torus. We also prove that the wrapped Fukaya category of the punctured torus is derived-equivalent over Z to bounded complexes of coherent sheaves on the central fiber of the Tate curve.

研究の動機と目的

• 穴あき2次元トーラスの相対フューカイヤカテゴリと $ℚ[[q]]$ 上のテート曲線上の完全複体のカテゴリとの間に導来同値を確立すること。
• 特に $ℚ$ 上で、$ℂ$ 上ではなく算術的代数幾何を統合することによってホモロジカルミラー対称性を精錬すること。
• 穴あきトーラスのラップドフューカイヤカテゴリが $ℚ$ 上でテート曲線の中心ファイバー上の一貫した層のカテゴリと導来同値であることを示すこと。
• 生成する部分代数上の $A_\infty$-構造分類を用いて、2次元トーラスのミラーを $ℚ[[q]]$ 上のワイエルシュトラス型曲線として特定すること。
• 三角形内の格子点数の数え上げとテート曲線上のシータ関数を介して、穴あきトーラスのシンプレクティック位相と算術幾何を結びつけること。

提案手法

• 著者らは、相対フューカイヤカテゴリ $\EuF(T,z)$ からテート曲線上のねじれ複体のdgカテゴリ $\EuT$ への $\u211a[[q]]$-線形 $A_\infty$-関手 $\psi$ を定義する。
• 2つの完全ラグランジュ部分多様体 $L_0^\#$ と $L_\infty^\#$ で生成される、$\EuF(T,z)$ のフルでスプリット生成な部分カテゴリ $\EuA$ を特定し、これがフューカイヤカテゴリを quasi-equivalence までに生成することを示す。
• 生成する部分代数 $\EuA$ 上の $A_\infty$-構造を分類することでミラーを構成し、ワイエルシュトラス型曲線がまさにこのような構造をパラメトライズすることを示す。
• フロアコホモロジー群 $HF^0(L_0^\#, L_{(1,-3n)}^\#)$ の標準基底と、テート曲線上のラインバンドル $\EuO(3n\sigma)$ の切断との一致を確立し、環同型を構成する。
• ミラーの斉次座標環とテート曲線上のシータ関数の環との間の自然な同一視を用い、三角形内の格子点数の数え上げと関連付ける。
• 生成する部分代数上の $A_\infty$-構造の一意性に依拠し、ミラー関手 $\psi$ が quasi-equivalence とミラー曲線の自己同型を除いて一意に定まることを示す。

実験結果

リサーチクエスチョン

• RQ1 ホモロジカルミラー対称性は、$ℂ$ ではなく $ℚ$ 上の算術的代数幾何を統合することで、どのように精錬できるか？
• RQ2 $ℚ[[q]]$ 上の完全複体のカテゴリとして、穴あき2次元トーラスの正確な整数的ミラーは何か？
• RQ3 穴あきトーラスのラップドフューカイヤカテゴリは、$ℚ$ 上のスキーム上の一貫した層のカテゴリと導来同値であるか？
• RQ4 テート曲線上のシータ関数は、フロアコホモロジーなどのシンプレクティック不変量や格子点数の数え上げとどのように関係するか？
• RQ5 フューカイヤカテゴリの生成する部分カテゴリ上の $A_\infty$-構造によって、2次元トーラスのミラーは一意に定まるか？

主な発見

• $ℚ[[q]]$ 上の相対フューカイヤカテゴリ $\EuF(T,z)$ は、$ℚ[[q]]$ 上のテート曲線 $\EuT$ 上の完全複体のdgカテゴリと導来同値である。
• $\u211a$ 上で、穴あきトーラスのフューカイヤカテゴリは、$ℚ$ 上のスペクトルの中心ファイバーである $y^2 + xy = x^3$ 上のワイエルシュトラス型曲線上の完全複体のカテゴリと導来同値である。
• 穴あきトーラスのラップドフューカイヤカテゴリは、$ℚ$ 上でテート曲線の中心ファイバー上の一貫した層のカテゴリと導来同値である。
• 生成する部分代数上の $A_\infty$-構造によってミラーが一意に定まり、この構造を実現する唯一の曲線がワイエルシュトラス型曲線である。
• フロアコホモロジーとミラー上のラインバンドルの切断の間の標準的環同型は、$HF^0$ と $H^0(\EuO(3n\sigma))$ の標準基底の一致によって誘導され、積に関して保存される。
• ミラー関手 $\psi$ は、quasi-equivalence とミラー曲線の自己同型を除いて一意に定まり、特に $\sigma$ と $\omega$ のワイエルシュトラスデータを保存する場合、自己同型は自明であることが示された。