[論文レビュー] K-equivalence in Birational Geometry

Chin-Lung Wang|arXiv (Cornell University)|Apr 12, 2002

Algebraic Geometry and Number Theory参考文献 44被引用数 19

ひとこと要約

本稿は双有理幾何におけるK同値性を概説し、最小モデルプログラム（MMP）におけるその役割および導来カテゴリ、コホモロジー、モチーフ的不変量との関連を焦点とする。K同値な多様体は、導来カテゴリやチャウモチーフが同型であるといった、深い幾何的・コホモロジカルな性質を共有すると提案する。複素コボルディズムの意味で、K同値性は古典的フロップへの分解が可能であり、3次元多様体およびハイパーカイラー多様体における主要な結果が得られている。

ABSTRACT

We give a survey of the background and recent development on the $K$-equivalence relation among birational manifolds. After a brief historical sketch of birational geometry, we define the $K$-partial ordering and $K$-equivalence in a birational class and discuss geometric situations that lead to these notions. One application to the filling-in problem for threefolds is given. We discuss the motivic aspect of $K$-equivalence relation. We believe that $K$-equivalent manifolds have the same Chow motive though we are unable to prove it at this moment. Instead we discuss various approaches toward the corresponding statements in different cohomological realizations. We also formulate the {\it Main Conjectures} and prove a weak version of it. Namely, up to complex cobordism, $K$-equivalence can be decomposed into composite of classical flops. Finally we review some other current researches that are related to the study of $K$-equivalence relation.

研究の動機と目的

• K同値性が双有理幾何における中心的同値関係として果たす役割を、特に最小モデルプログラム（MMP）の文脈で明確化すること。
• 完全な証明が存在しないにもかかわらず、K同値な多様体が同型なチャウモチーフを持つかどうかを調査すること。
• K同値性とD同値性（導来カテゴリ同値性）の関係を、特に3次元多様体およびハイパーカイラー多様体において探求すること。
• 複素コボルディズムを介してK同値性を古典的フロップへの弱い分解にすることを確立し、特に3次元多様体において有効である。
• K同値性がコホモロジカル不変量およびフロップやオルビフォールドコホモロジーなどの幾何的構造に与える影響を検討すること。

提案手法

• 共通の解消を介したプルバックによる正則除的の等しさとして定義される、双有理同値性の改良版としてK同値性を導入する。
• 3次元多様体に対して最小モデルプログラム（MMP）を適用し、除的収縮とフリップを用いてK同値なモデルを構成する。
• フロップがフーリエ＝ムカイ変換を介して導来同値性を誘導することを示すために、導来カテゴリ同値性を用いる。特に滑らかでかつ終身的な3次元多様体において有効である。
• ブリッジランドおよびカワマタの結果を応用し、Gorenstein終身的特異点をもつものも含めた、すべての3次元多様体フロップにおける導来同値性を証明する。
• ヒューブレヒツのハイパーカイラー多様体に関する研究を活用し、双有理的ハイパーカイラー4次元多様体がムカイフロップを介してD同値であることを示す。
• コホモロジカル不変量におけるK同値性の下での対応サイクルを、同型写像のグラフの極限として幾何的構成することを提案する。

実験結果

リサーチクエスチョン

• RQ1 K同値な滑らかな射影的多様体は、同型なチャウモチーフを持つのか？
• RQ2 双有理的射影的多様体において、K同値性はD同値性（導来カテゴリ同値性）に等しいのか？
• RQ3 3次元多様体におけるK同値性は、複素コボルディズムの意味で、古典的フロップの有限合成に分解可能か？
• RQ4 特異的または滑らかでない多様体に対して、オルビフォールドコホモロジーやp進測度がK同値性を検出する役割を果たすのか？
• RQ5 双有理的ハイパーカイラー多様体はどの程度ムカイフロップに分解可能であり、それによってD同値性が導かれるのか？

主な発見

• 3次元多様体におけるK同値性は、複素コボルディズムの意味で有限個の古典的フロップの合成に分解可能であり、主な予想の弱い形を支持する。
• 滑らかな3次元多様体では、ブリッジランドが示し、チェンおよびカワマタが拡張したように、K同値性はフーリエ＝ムカイ変換を介して導来同値性を意味する。
• ハイパーカイラー4次元多様体の場合は、双有理写像がムカイフロップに分解され、このような多様体はD同値である。これはD同値性予想の特殊なケースを確認する。
• Gorenstein終身的特異点をもつ3次元多様体フロップに対しても、導来カテゴリ同値性が成り立つことが、チェンおよびカワマタによって示された。
• ハイパーカイラー多様体における対応サイクルは、同型写像のグラフの極限として生じるが、複数の既約成分をもつ可能性がある。
• 強力な証拠があるにもかかわらず、K同値な多様体が同型なチャウモチーフを持つという予想は未解決のままであるが、さまざまなコホモロジカル実現がそれを支持している。