[論文レビュー] Derived equivalences by quantization

D. Kaledin|ArXiv.org|Apr 28, 2005

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

ひとこと要約

本稿は、正標数における量子化を用いて、特異なアフィン多様体 $Y$ のシンプレクティック解体 $X$ の一貫層の導来カテゴリと、非可換代数 $R$ の有限生成左加群の導来カテゴリの間の導来同値を確立する。主な結果は、このような同値が $Y$ 上で局所的に成り立つことであり、$G_m$-作用とティルティング生成子の仮定の下で、3次元を超える高次元における McKay 対応の一般化を達成する。

ABSTRACT

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves on $X$ is equivalent to the dervied category of finitely generated left modules over a non-commutative algebra $R$, a non-commutative resolution of $Y$ in a sense close to that of M. Van den Bergh. We also prove some applications, such as: two resolutions are derived-equivalent; every resolution $X$ admits a "resolution of the diagonal"; the cohomology groups of the fibers of the map $X o Y$ are spanned by fundamental classes of algebraic cycles.

研究の動機と目的

• 3次元を超える高次元におけるシンプレクティック解体への McKay 対応の一般化を図ること。
• シンプレクティック解体 $X$ の一貫層の導来カテゴリと、非可換代数 $R$ の有限生成左加群の導来カテゴリの間の導来同値を確立すること。
• $Y$ の同じ多様体の2つのシンプレクティック解体 $X$ と $X'$ に対して、$D^b_{\text{coh}}(X)$ と $D^b_{\text{coh}}(X')$ が $Y$ 上で局所的に同値であることを証明すること。
• 正標数への還元と Fedosov 量子化を用いた方法を用いて、$X$ 上のティルティング生成子を構成すること。
• $Y$ の非可換解体 $R$ の導来カテゴリと $X$ の導来カテゴリが同値であることを、$G_m$-作用が正の重みを持つ条件下で示すこと。

提案手法

• 正標数への還元を行い、[BK3] で開発された有限体上の Fedosov 量子化を適用して、非可換代数 $R$ を構成する。
• シンプレクティック $\mathbb{G}_m$-作用の下で $\mathbb{G}_m$-同変となるように、量子化手順により $X$ 上にティルティングベクトルバンドル $\mathcal{E}$ を構成する。
• スペクトル系列と Künneth 公式を用いて、そのコホモロジー群が次数 $l$ で重み $l$ の純粋性を持つことを示し、$\mathcal{E}$ がティルティング生成子であることを証明する。
• 等置コホモロジーの局所化定理を用いて、自然な写像 $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ がパラメータ $u$ を逆元に持つと同型となり、その像が代数的サイクルで生成される $k[u]$-部分加群に含まれることを示す。
• 分解の対角（定理 1.9）の存在を活用して、分解のすべての項が $\mathcal{E}^N$ の直和成分であることを保証し、チャーン類と Poincaré 対称性の利用を可能にする。
• 射影公式と等置コホモロジーのスペクトル系列を用いて、問題をコホモロジーの純粋性と $\mathbb{G}_m$-作用との整合性の証明に還元する。

実験結果

リサーチクエスチョン

• RQ1 3次元を超える高次元におけるシンプレクティック解体への McKay 対応は、3次元を超えて一般化可能か？
• RQ2 シンプレクティック解体 $X$ の一貫層の導来カテゴリと非可換代数 $R$ の加群の導来カテゴリの間に導来同値が存在する条件は何か？
• RQ3 同じ特異多様体 $Y$ の2つのシンプレクティック解体 $X$ と $X'$ に対して、$X$ の導来カテゴリは $X'$ の導来カテゴリと同値か？
• RQ4 正標数への還元と Fedosov 量子化を用いて、$X$ 上のティルティング生成子を構成可能か？
• RQ5 $\mathbb{G}_m$-作用が正の重みを持つ場合、等置コホモロジー写像の像が代数的サイクルで生成される $k[u]$-部分加群に含まれるか？

主な発見

• $Y$ 上で局所的に、シンプレクティック解体 $X$ の一貫層の導来カテゴリ $D^b_{\text{coh}}(X)$ と、非可換代数 $R$ の有限生成左加群の導来カテゴリが同値である。
• $Y$ の同じ多様体の2つのシンプレクティック解体 $X$ と $X'$ に対して、$D^b_{\text{coh}}(X)$ と $D^b_{\text{coh}}(X')$ は $Y$ 上で局所的に同値であり、Kawamata の $K$-同値性が $D$-同値性を導く一般化を達成する。
• $X$ 上にティルティング生成子 $\mathcal{E}$ が存在し、正標数への還元と Fedosov 量子化を用いて構成され、$\mathbb{G}_m$-同変である。
• コホモロジーの純粋性により、等置コホモロジーのスペクトル系列が崩壊し、$H^*_{\mathbb{G}_m}(X,\Lambda) \cong H^*(X,\Lambda)[u]$ が成り立つ。
• 自然な写像 $\tau: H^*_{\mathbb{G}_m,c}(X,\Lambda) \to H^*_{\mathbb{G}_m}(X,\Lambda)$ は $u$ を逆元に持つと同型となり、その像は代数的サイクルで生成される $k[u]$-部分加群に含まれる。
• 対角の分解（定理 1.9）により、分解のすべての項が $\mathcal{E}^N$ の直和成分であることが保証され、証明におけるチャーン類と Poincaré 対称性の利用が可能になる。