[論文レビュー] D-equivalence and K-equivalence

Yūjirō Kawamata|ArXiv.org|May 27, 2002

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

ひとこと要約

本稿は、滑らかで射影的多様体に対して、D同値（一様な束の導来カテゴリの同値）とK同値（共通の解消において同型な正則除因子を持つ被約同型）が一致するという予想を検討する。フーリエ＝ムカイ変換と正則被覆スタックを用いて、一般型の多様体に対してD同値がK同値を意味することを証明し、Q-因子的で終着性を持つ3次元多様体に対してはその正則スタックを介して導来同値性を確立する。これによりD = K予想に対する強い証拠が得られる。

ABSTRACT

Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. They are called {\it $D$-equivalent} if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories, while {\it $K$-equivalent} if they are birationally equivalent and the pull-backs of their canonical divisors to a common resolution coincide. We expect that the two equivalences coincide at least for birationally equivalent varieties. We shall provide a partial answer to the above problem in this paper.

研究の動機と目的

• 双有理同型な滑らかで射影的多様体に対して、D同値とK同値が一致するという予想を検討すること。
• 導来カテゴリの同値性が、同型な正則除因子を持つ被約同型を意味する条件を確立すること。
• 正則被覆スタックを用いて、ボンダル＝オロフの定理を高次元多様体および特異点を含む場合に拡張すること。
• 特定の幾何的仮定の下で両方向への含意を示すことで、D = K予想の部分的解決を提供すること。

提案手法

• 一様な束の導来カテゴリ間の同値性を表現するために、フーリエ＝ムカイの積分関手を用いる。
• 任意の完全同値が、積多様体の導来カテゴリ内のカーネル対象から生じることを示すために、オリヴの代表可能性定理を適用する。
• 特にQ-因子的で終着性を持つ3次元多様体を扱うために、正則被覆スタックを用いる。
• 局所自由層によるグローバルな解体を構成し、高次直接像の消去定理を用いて導来関手の整合性を保証する。
• Galois被覆のための等変導来カテゴリを用いて、スタックの導来カテゴリと元の多様体の導来カテゴリとの関係を関係づける。
• スパニングクラスおよび高次ホモトピー空間の消去を用いて、関手の同値性を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般型の滑らかで射影的多様体に対して、D同値はK同値を意味するか？
• RQ2 D = K予想は、特に終着性特異点を持つ3次元多様体に対して拡張可能か？
• RQ3 導来同値性が、同型な正則除因子を持つ被約同型を意味する条件は何か？
• RQ4 K同値の下で、正則被覆スタックの導来カテゴリと元の多様体の導来カテゴリは同値か？
• RQ5 正則スタックの導来同値性は、元の多様体の導来同値性を意味するか？

主な発見

• 一般型の滑らかで射影的多様体、あるいは反正則バンドルが一般型である多様体に対して、D同値はK同値を意味する。
• 滑らかで射投影的で2次元の多様体に対しては、同型を除いてD同値な多様体は高々有限個であり、Xに(−1)-曲線が含まれておらず、相対的に最小な楕円的有理曲面でもない場合、任意のD同値なYはXと同型である。
• Q-因子的で終着性を持つ3次元多様体に対しては、K同値がその正則被覆スタックの導来同値性を意味する。
• Galois被覆の等変導来カテゴリを用いて、正則スタック間の導来カテゴリの同値性が確立される。
• スタックの導来カテゴリの同値性は、特異多様体の通常の導来カテゴリに降下しない。
• 正則被覆スタックの構成により、古典理論が失敗する特異多様体に対してもD同値性の結果を拡張可能となる。