[論文レビュー] Log Crepant Birational Maps and Derived Categories

Yūjirō Kawamata|ArXiv.org|Nov 10, 2003

Algebraic Geometry and Number Theory参考文献 6被引用数 71

ひとこと要約

本稿は、$$\mathbb{Q}$$-除法を持つペアの間の対数的クレパント写像を導入することで、カワマタの導来カテゴリ―予想を対数的設定へと拡張する。2つのペアが共通の解消を通じて対数的クレパント写像で関連付けられているとき、それらに付随するデリーニュ＝マクマーレンスタック上の両立層の導来カテゴリ―が同値であることを証明する。主な結果として、標準的係数除法を持つトーリック多様体についての導来同値性が確立され、マケイ対応の一般化が得られる。

ABSTRACT

We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.

研究の動機と目的

• 導来カテゴリ―同値性予想を$$\mathbb{Q}$$-除法を持つ対数的終極ペアへ一般化すること。
• 特異点を扱う導来カテゴリ―理論において、デリーニュ＝マクマーレンスタックを用いた枠組みを構築すること。
• 対数的クレパント写像がペア$(X,B)$および$(Y,C)$に付随するスタック間の導来同値性を誘導することを証明すること。
• 導来カテゴリ―の層のカテゴリから双有理不変量を回復し、スタック上の両立層の導来カテゴリ―から多様体を再構成すること。
• 結果を非可換幾何学およびモジュライ的解釈と結びつけること。

提案手法

• 局所的に滑らかな被覆条件(*)を満たす$$\mathbb{Q}$$-除法を備えたペア$(X,B)$を定義し、$\pi:U\to X$を準有限かつ全射な準同型とすると、$\pi^*(K_X + B) = K_U$が成り立つことを保証する。
• ファイバー積から得られるエタール群体を用いて、このようなペアから関連するデリーニュ＝マクマーレンスタック$\mathcal{X}$および$\mathcal{Y}$を構成する。
• 予想2.2を定式化：$W$から出る適切な被約写像$\mu:W\to X$および$\nu:W\to Y$に対して$\mu^*(K_X + B) = \nu^*(K_Y + C)$が成り立つならば、$D^b(\text{Coh}(\mathcal{X})) \cong D^b(\text{Coh}(\mathcal{Y}))$が成り立つ。
• 対数的終極ペアが表面において条件(*)を満たすことが示され、同じ条件下で対数的クレパントであることが証明される。
• トーリック幾何とフラップおよび除法的収縮への分解を用いて、トーリックの場合の予想を検証する。
• プッシュフォワードおよびプルバックを介したフーリエ＝ムカイ関手を用いて同値性を構成し、セレ関手およびスパニングクラスを介して非可換環と関係付ける。

実験結果

リサーチクエスチョン

• RQ1 双有理同値な$$\mathbb{Q}$$-除法を持つ多様体ペアが、それらに付随するスタック上の両立層の導来カテゴリ―を同値に持つのはどのような条件下か？
• RQ2 導来カテゴリ―から、スタックに付随する対数的ペアの対数的正則不変量を回復できるか？
• RQ3 標準的係数除法を持つトーリックペアに付随するスタックの導来カテゴリ―は、対数的クレパント写像の下でも不変か？
• RQ4 スタックの導来カテゴリ―は、特にスパニング対象の自己準同型環を通じて、非可換幾何学とどのように関係するか？
• RQ5 スタックの導来カテゴリ―は、そのスパニングクラスから構成された非可換環上のモジュールの導来カテゴリ―と同値か？

主な発見

• トーリック多様体について、予想2.2が証明された：$f: X \dashrightarrow Y$が$g^*(K_X + B) = h^*(K_Y + C)$を満たすトーリックな適切な被約写像であれば、フーリエ＝ムカイ関手を介して$D^b(\text{Coh}(\mathcal{Y})) \cong D^b(\text{Coh}(\mathcal{X}))$が成り立つ。
• 導来カテゴリ―は、対数的正則除法子や多様体自体を、スタック上の両立層のカテゴリから再構成可能である、双有理不変量を回復する。
• 表面において、ペア$(X,B)$が条件(*)を満たすことは、それが対数的終極であることと同値であることが示され、次元2における完全な特徴付けが得られる。
• 写像が準同型でなくても、共通の解消を通じて対数的正則除法子が保存される限り、導来カテゴリ―の同値性は成り立つ。
• スタック$\mathcal{Y}$の導来カテゴリ―は、スパニング対象の自己準同型環として構成された非可換環$A_Y$上のモジュールの導来カテゴリ―と同値である。
• 異なる逆可換線分束によって定義されるセレ関手の不適合性により、異なる$n$に対するカテゴリ間の関手の図式は可換でないことが示され、同値性が自明に系に持ち上がらないことが示される。