[論文レビュー] Derived equivalences of surfaces via numerical tilting

Morgan V. Brown, Ian Shipman|arXiv (Cornell University)|Dec 13, 2013

Algebraic Geometry and Number Theory参考文献 37被引用数 7

ひとこと要約

本稿は、数値ティルティングを用いて、曲面上の連接層の導来圏とアーベル圏の同値性を導出するフレームワークを確立し、ティルティング bundle と有理性の基準を結びつける。スロープ安定性とティルティングを用いて、アーベル圏 A を coh(X) と体系的に比較し、次元 2 におけるフォーリエ＝ムーカイ同値性、ティルティング同値性、およびマケイ対応を統一する。

ABSTRACT

There are many examples of equivalences of triangulated categories $\mathbf{D}^b(X) \cong \mathbf{D}^b(\mathbf{A})$ where $X$ is a smooth quasi-projective variety and $\mathbf{A}$ is an interesting abelian category. Viewing $\mathbf{A}$ as a subcategory of $\mathbf{D}^b(X)$, one would like to compare it to $\mathbf{coh}(X)$. We consider tilting equivalences, Fourier-Mukai equivalences, and the McKay correspondence in dimension two (and three in the last case). In all three cases, we compute the relationship between $\mathbf{coh}(X)$ and $\mathbf{A}$ in a natural way in terms of slope stability and tilting. For surfaces admitting a tilting bundle, these considerations lead naturally to a criterion for rationality.

研究の動機と目的

• D^b(X) ≅ D^b(A) による導来同値性の下で、アーベル圏 A と coh(X) の関係を理解すること。
• 数値ティルティングを用いて、次元 2 におけるティルティング同値性、フォーリエ＝ムーカイ同値性、およびマケイ対応の取り扱いを統一すること。
• ティルティング bundle の存在とその導来同値性を用いたアーベル圏 A に基づく、曲面の有理性の基準を開発すること。
• ティルティングによって得られる D^b(X) の部分圏が、安定性条件とティルティング理論を通じて、標準的圏 coh(X) とどのように関係するかを特定すること。

提案手法

• 数値ティルティング安定性を用いて、D^b(X) 内のアーベル圏 A を coh(X) と比較する。
• ティルティング理論を適用して、ティルティング bundle を持つ曲面上で D^b(X) と D^b(A) 間の同値性を構成する。
• スロープ安定性を用いて、D^b(X) の部分圏の構造と coh(X) との関係を分析する。
• 次元 2 および 3 におけるマケイ対応を、ティルティングによる導来同値性の特別な場合として分析する。
• ティルティング、フォーリエ＝ムーカイ、マケイ対応の 3 つの枠組みにおける導来同値性を比較し、共通の構造を明らかにする。
• ティルティング bundle の存在と関連するアーベル圏 A を用いた、曲面の有理性の基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 導来同値性 D^b(X) ≅ D^b(A) の下で、アーベル圏 A を coh(X) と自然に比較する方法は何か？
• RQ2 スロープ安定性とティルティングは、曲面上の導来同値性の文脈で、A と coh(X) をどのように結びつけるか？
• RQ3 ティルティング同値性、フォーリエ＝ムーカイ同値性、およびマケイ対応は、数値ティルティングの枠組みでどのように統一されるか？
• RQ4 曲面上にティルティング bundle が存在する場合、それが曲面の有理性の基準に繋がるか？
• RQ5 数値ティルティングによって構成された A が、D^b(X) と D^b(A) の構造的性質にどのような影響を与えるか？

主な発見

• 本稿は、導来同値性の下で、スロープ安定性とティルティングを用いて、アーベル圏 A と coh(X) の自然な比較を確立する。
• ティルティング bundle を持つ曲面では、導来同値性がアーベル圏 A に移行することで、有理性の基準が得られることを示す。
• フレームワークは、数値ティルティングの視点から、次元 2 におけるティルティング、フォーリエ＝ムーカイ、マケイ対応を統一する。
• A と coh(X) の関係は、安定性条件とティルティング理論を通じて体系的に分析され、特徴づけられる。
• この方法により、A が D^b(X) 内にどのように構造づけられるかが明らかになり、特にティルティング bundle の存在時に X の幾何的性質と深く関係していることが示された。
• 結果として、導来圏とティルティングを用いた有理性の同定に向けた概念的かつ計算的アプローチが提供される。