[論文レビュー] Derived Reid's recipe for abelian subgroups of SL3(C)

Sabin Cautis, Alastair Craw+1 more|arXiv (Cornell University)|May 14, 2012

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、SL₃(ℂ) の有限アーベル部分群 G に対する導来リードのレシピを確立し、Bridgeland-King-Reid 同値が各既約表現 χ を G-ヒルベルトスキーム Y の例外的部分多様体に台を持つ複体へ写すこと、すなわち、リードのレシピの完全な圏化を示している。主な結果は、Ψ(O₀ ⊗ χ) のコホロロジー層を例外的 divisor や曲線による線束の twisted として明示的に計算することであり、特に対象的幾何データを伴った三次元への McKay 対応の拡張を実現している。

ABSTRACT

For any finite subgroup G in SL3(C), work of Bridgeland-King-Reid constructs an equivalence between the G-equivariant derived category of C^3 and the derived category of the crepant resolution Y = G-Hilb(C^3) of C^3/G. When G is abelian we show that this equivalence gives a natural correspondence between irreducible representations of G and certain sheaves on exceptional subvarieties of Y, thereby extending the McKay correspondence from two to three dimensions. This categorifies Reid's recipe and extends earlier work from [CL09] and [Log10] which dealt only with the case when C^3/G has one isolated singularity.

研究の動機と目的

• 次元2から3次元への古典的 McKay 対応の拡張を、有限アーベル部分群 G ⊂ SL₃(ℂ) に対するリードのレシピの圏化によって行う。
• 各非自明な既約的特徴 χ ∈ G∨ に対して、Bridgeland-King-Reid 同値 Ψ: Dᴳ(C³) → D(Y) による層 O₀ ⊗ χ の像を計算する。
• Ψ(O₀ ⊗ χ) の正確な幾何的台および層論的構造、特に次数 −2, −1, 0 におけるコホロロジー層を特定する。
• C³/G が孤立特異点をもたない場合にのみ成立していた従来の結果を、一般化し、非孤立特異点の場合を含む。

提案手法

• G-ヒルベルトスキーム Y の組合せ的データを記述するため、ジュニア単体 ∆ の CT-分割を用い、例外的軌道の体系的解析を可能にする。
• Y 上のトーリック divisor における sink-source グラフ理論を応用し、Ψ(O₀ ⊗ χ) に関連する歪順交換立方体内の写像の消失集合を特定する。
• 導来カテゴリのデータから線束の歪順交換立方体を構成し、矢印には Y 上での消失 divisor をマークする。
• 命題 4.2 を用いて、立方体内の写像の消失と、Ψ(O₀ ⊗ χ) のコホロロジー層の台との関係を確立する。
• 各立方体の全複体を計算し、Ψ(O₀ ⊗ χ) のコホロロジー層 H⁻², H⁻¹, H⁰ を抽出する。これらが divisor または曲線上の twisted 構造層として特定されることを示す。
• 具体例 G = 1/15(1,5,9) を用いた明示的計算により結果の検証を実施し、リードのレシピおよび導来データの詳細な図を提示する。

実験結果

リサーチクエスチョン

• RQ1 Bridgeland-King-Reid 同値 Ψ は、有限アーベル部分群 G ⊂ SL₃(ℂ) の各非自明特徴 χ に対して、層 O₀ ⊗ χ にどのように作用するか。
• RQ2 C³/G が非孤立特異点をもつ場合に、Ψ(O₀ ⊗ χ) の正確な幾何的台および層論的構造は何か。特に、次数 −2, −1, 0 のコホロロジー層の構造は。
• RQ3 リードのレシピを三次元に圏化することは可能か。すなわち、既約表現に単なる台ではなく、実際に twisted 層（の形）を割り当てられるか。
• RQ4 Ψ(O₀ ⊗ χ) のコホロロジー層は、CT-分割および Y 上のトーリック divisor の sink-source グラフの組合せ論とどのように関係するか。
• RQ5 自明特徴 χ₀ は導来同値において果たす役割は何か。また、C³/G の原点上のファイバー ZF とはどのように関係するか。

主な発見

• 各非自明な χ ∈ G∨ に対して、複体 Ψ(O₀ ⊗ χ) は、Y 内の例外的部分多様体 Zχ に台を持つ、シフトされた coherent 層の押し出しと同型である。
• Ψ(O₀ ⊗ χ) のコホロロジー層は、次数 −2, −1, 0 のみに非ゼロであり、すべてのケースで H⁻² = 0 である。
• χ が単一の divisor E をマークする場合、Ψ(O₀ ⊗ χ) は H⁰ ≅ L⁻¹_χ ⊗ O_E かつ H⁻¹ = H⁻² = 0 を満たす。
• χ が単一の曲線 C をマークする場合、Ψ(O₀ ⊗ χ) は H⁰ ≅ L⁻¹_χ ⊗ O_C かつ H⁻¹ = H⁻² = 0 を満たす。
• χ が divisor の鎖をマークする場合、H⁻² は内部 divisor の非退化和集合上の twisted 構造層であり、H⁻¹ および H⁰ はゼロである。
• 自明特徴 χ₀ の場合、複体 Ψ(O₀ ⊗ χ₀) は H⁻² ≅ O_{E₄₅₇₁₀}、H⁻¹ ≅ O_{C₁₂∩₁₃}(−1)、H⁰ = 0 を満たし、原点上の非等次元的ファイバーを反映している。