[論文レビュー] Invariance of orientation data for ind-constructible Calabi-Yau $A_{\infty}$ categories under derived equivalence

Ben Davison|arXiv (Cornell University)|Jun 28, 2010

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

ひとこと要約

この論文は、動的ドナルドソン＝トーマス理論の文脈において、ind-構成可能 Calabi-Yau $A_{\infty}$-圏における方向性データが、導来同値のもとで不変であることを確立している。導来圏とクイバーの変形を用いて方向性データを構成することで、自然な方向性データの選択がクラスター変換やフロップの間で保存されることを証明し、非一意性にもかかわらず、動的不変量の整合性を保証している。

ABSTRACT

We study orientation data, as introduced by Kontsevich and Soibelman in order to define well-behaved integration maps from the motivic Hall algebra of 3-dimensional Calabi-Yau categories to rings of motives. We start with an example that demonstrates the role of orientation data in this story, before working through the technical details. We give an account of orientation data in the case of categories of compactly supported sheaves on noncompact Calabi-Yau three-folds. We finally study how this structure behaves under pullbacks along quasi-equivalences of categories, prove Kontsevich and Soibelman's conjecture regarding this behaviour, and also some stronger theorems regarding flops and more general tilts.

研究の動機と目的

• 動的ドナルドソン＝トーマス理論における統合写像を定義する際の曖昧さを、方向性データを導入することで解消すること。
• 特に Calabi-Yau $A_{\infty}$-圏において、方向性データが導来同値のもとで不変であることを確立すること。
• 自然な方向性データの選択が、クラスター変換やフロップ（例：コンパクト化の場合）の間で保存されることを示すこと。
• 構成可能分解と重み付きオイラー特性を用いた、動的 DT 不変量の計算の整合的な枠組みを提供すること。
• 幾何的変換の下で、動的不変量の環構造を保つために方向性データが果たす役割を明確にすること。

提案手法

• Ext-代数から得られる双関手と順序付きベクトル空間を用いて、$A_{\infty}$-圏における方向性データを構成する。
• 導来圏の加群の圏をモデル化するために、$A_{\infty}$ ヨネダ埋め込みとねじれ対象を適用する。
• 微分の余核上の二次形式 $Q = \langle d(\bullet), \bullet \rangle$ を用いて方向性データを定義する。
• 次元数え上げと双対性を用いて、二次形式が分解可能であることを示し、$J_2(\operatorname{Spec}(k))$ において自明であることを示す。
• クイバーの変形を用いてコンパクト化のケースを分析し、導来同値を介した方向性データの引き戻しが一貫していることを示す。
• ベイジドの重み付きオイラー特性と構成可能関数を用いて、方向性データと動的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 動的ドナルドソン＝トーマス理論における方向性データは、Calabi-Yau $A_{\infty}$-圏の導来同値のもとで不変であるか？
• RQ2 自然な方向性データの選択は、クラスター変換やフロップの間で一貫して定義可能か？
• RQ3 微分の余核上の二次形式 $Q = \langle d(\bullet), \bullet \rangle$ は、方向性データの自明性とどのように関係するか？
• RQ4 方向性データの不変性が、構成可能分解の下で動的 DT 不変量の整合性をどの程度保証するか？
• RQ5 非自明な変形（例：コンパクト化の場合）によって誘導される導来同値を経て、方向性データは保存されるか？

主な発見

• ind-構成可能 Calabi-Yau $A_{\infty}$-圏における方向性データは、導来同値のもとで不変であり、動的 DT 理論における整合性を保証する。
• 微分の余核上の二次形式 $Q = \langle d(\bullet), \bullet \rangle$ は分解可能であり、$J_2(\operatorname{Spec}(k))$ において自明であることを示唆する。
• コンパクト化の場合、変形されたクイバーを介した導来同値による方向性データの引き戻しは、元のものと同型であり、$\sqrt{-1} \in k$ を仮定しなくても成立する。
• 次元数え上げにより、$\sqrt{-1} \in k$ の下で $\dim(U)$ が偶数であることが示され、$J_2(\mathfrak{V}_{r,3})$ における $l$ の自明性が示される。
• 自然な方向性データの選択は、クラスター変換やフロップ（例：コンパクト化フロップ）の間で貼り合わされ、不変量が保存される。
• この構成により、幾何的変換の下で動的 DT 不変量の環構造が保たれることを保証し、理論における主要な問題を解決する。