[論文レビュー] Formal deformations and their categorical general fibre

Daniel Huybrechts, Emanuele Macrì+1 more|ArXiv.org|Sep 18, 2008

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿では、射影的多様体の形式的変形の一般線に沿った一貫した層のアーベル圏を、形式的変形データから直接構成し、ローレンツ級数体上での線型性を示している。特に対数的な正則バンドルを持つK3表面に対しては、一般線の導来圏が、シフト関手の平方に等しいセレーファンクターを持つ線型三角圏であることを証明し、幾何的実現を用いずに変形を研究するためのカテゴリカルな枠組みを提供する。

ABSTRACT

We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly from the formal deformation and is shown to be linear over the field of Laurent series. The various candidates for the derived category of the general fibre are compared. If the variety is a surface with trivial canonical bundle, we show that the derived category of the general fibre is again a linear triangulated category with a Serre functor given by the square of the shift functor.

研究の動機と目的

• 射影的多様体の形式的変形の一般線に対して、剛体解析的空間による幾何的実現を避けてカテゴリカルなアプローチを開発すること。
• 形式的変形データから直接、一般線上の一貫層のアーベル圏を構成すること。
• 三角圏の文脈において、一般線の導来圏の異なる候補の関係を比較すること。
• 特に対数的正則バンドルを持つK3表面に対しては、一般線の導来圏が、シフト関手の平方に等しいセレーファンクターを持つ線型三角圏であることを確立すること。
• Fourier–Mukai同値やK3表面の導来圏の自己同値の研究への応用を支える基盤的枠組みを提供すること。

提案手法

• 形式的変形の各レベルにおける一貫層の逆極限の商圏として、一般線上の一貫層のアーベル圏を構成する。
• ヴェルディエ商の理論を用いて、形式的変形とその一般線の導来圏を関連付ける。
• 形式的べき級数環の構造とその分数関数体（ローレンツ級数）を用いて、アーベル圏および導来圏の線型性を定義する。
• 線型三角圏およびセレーファンクターの理論を適用し、一般線の導来圏を分析する。
• K3表面のハイパーカイラー幾何を活用して、重要なカテゴリカル構造を保存する特別な形式的変形を構成する。
• 商函手の普遍性を活用して、元の多様体と一般線との間の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 形式的変形の一般線上の一貫層のアーベル圏は、幾何的実現を避けてどのように構成できるか？
• RQ2 三角圏の文脈において、一般線の導来圏の異なる候補の関係は何か？
• RQ3 対数的正則バンドルを持つK3表面の一般線の導来圏は、セレーファンクターを備えているか。もしそうなら、それはどのように表現されるか？
• RQ4 一般線のカテゴリカル構造は、K3表面の導来圏の自己同値を研究するのに利用できるか？
• RQ5 K3表面の一般線の導来圏において、セレーファンクターの明確な形は何か？

主な発見

• 一般線上の一貫層のアーベル圏は、形式的変形データから直接構成され、ローレンツ級数体上での線型性を有する。
• 対数的正則バンドルを持つK3表面の一般線の導来圏は、線型三角圏である。
• 一般線の導来圏におけるセレーファンクターは、シフト関手の平方と同型である。
• 一般線の導来圏の構成は、三角圏におけるヴェルディエ商技術と整合性を持つ。
• カテゴリカル枠組みにより、K3表面の導来圏の自己同値の変形論的アプローチが可能になる。
• 結果として、Szendrőiの予想（自己同値群からコホモロジー格子の直交群への準同型写像の像に関するもの）のカテゴリカルな証明が得られる。