[論文レビュー] Some remarks on the group of derived autoequivalences

Fabrice Rosay|ArXiv.org|Jul 22, 2009

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

ひとこと要約

この論文は、代数閉体上の滑らかで射影的な多様体の導来自己同値群の自明成分が、その自己同型群の自明成分とピカール群の自明成分の半直積に同型であることを確立する。この構造的結果を用いて、与えられた多様体と導来同値となる滑らかで射影的な多様体は高々可算個であることを証明し、導来同値におけるカーネルの有界性に関する予想を提示する。

ABSTRACT

We prove that the neutral component of the group of derived autoequivalences of a smooth projective variety is the semi-direct product of the neutral component of its Picard group and its group of automorphisms. We use this result to prove several results concerning pairs of derived equivalent varieties.

研究の動機と目的

• 滑らかで射影的な多様体の有界導来カテゴリの三角自己同値群の自明成分の構造を特定すること。
• この構造的結果を応用して、導来同値な多様体の有限性性質を理解すること。
• 導来同値におけるフーリエ＝ムーカイカーネルの有界性に関する予想を再定式化し、その証拠を提供すること。
• 与えられた多様体と導来同値となる滑らかで射影的な多様体の数が高々可算個であることを示すこと。
• 導来自己同値群の連結成分に基づいた、導来同値な多様体の同型判定基準を確立すること。

提案手法

• 完全なカーネルを持つ積分作用素を用いて、$ D(X) $ の正確な自己同値をパラメトライズする代数群スキーム $\mathrm{Aut}^D_X$ を構成する。
• 積分作用素の合成法則を用いて、このようなカーネルのモジュライ空間に群構造を定義する。
• Toën-Vaquié の枠組みを適用して、$\mathrm{Aut}^D_X$ が局所代数群スキームであることを示す。
• 自己同値を自己同型と線分束のねじれに分解することで、$ (\mathrm{Aut}^D_X)^0 \cong \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $ を証明する。
• [17] の有界性基準（命題 3.11）を用いて、カーネルのコホモロジー的境界と家族の擬コンパact性を関連付ける。
• Lemma 3.6 (Favero) を適用して、二つの多様体が、非常に線分束によるねじれ作用素を含む $\mathrm{Aut}^D$ の連結成分が同型であるならば、それらの多様体は同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な多様体の導来自己同値群の自明成分の構造は何か？
• RQ2 与えられた多様体と導来同値となる滑らかで射影的な多様体は、高々何個存在するか？
• RQ3 二つの導来同値な多様体が同型であると示すにはどのような条件下で十分か？
• RQ4 導来同値な多様体間のフーリエ＝ムーカイ変換のカーネルは、コホモロジー次元に関して一様に有界とみなせるか？
• RQ5 カーネルのコホモロジー的境界に基づいた、導来同値類の有限性に関する予想的基準は存在するか？

主な発見

• 導来自己同値群 $ \mathrm{Aut}^D(X)^0 $ の自明成分は、線分束の引き戻しによる作用を伴う半直積 $ \mathrm{Aut}^\circ(X) \ltimes \mathrm{Pic}^\circ(X) $ に同型である。
• 代数閉体上での滑らかで射影的な多様体に対して、与えられた多様体と導来同値となる滑らかで射影的な多様体は高々可算個（同型を除いて）存在する。
• 二つの滑らかで射影的な多様体 $ Y $ と $ Z $ が、非常に線分束によるねじれ作用素を含む $\mathrm{Aut}^D$ の連結成分が同型であるならば、それらは同型である。
• 導来同値のカーネル族 $ \mathcal{K}_i^\cdot $ が（コホモロジー的境界の意味で）有界であるという予想は、導来同値類の有限性条件に同値である。
• コホモロジー次元 $ \dim \mathbb{H}^j(X, \mathcal{K}_i^\cdot \otimes \mathcal{L}^l) $ が $ l \in [0,d] $ に対して有界で、$ d \leq 2\dim X $ ならば、そのようなカーネルの数は有限であるため、同型を除いて導来同値な多様体の数も有限である。
• 強力な生成子 $ \mathcal{L}^\oplus \cdots \oplus \mathcal{L}^{-d} $ が $ D^b_{qc}(X \times X) $ に存在し、$ d \leq 2\dim X $ ならば、有界性基準の適用が保証される。