[論文レビュー] Autoequivalences of derived categories on the minimal resolutions of $A_n$-singularities on surfaces

Akira Ishii, Hokuto Uehara|ArXiv.org|Sep 9, 2004

Algebraic structures and combinatorial models参考文献 14被引用数 7

ひとこと要約

この論文は、表面の $A_n$-特異点の最小解消における一貫層の導来カテゴリの自己同値の完全な群を決定する。球面的対象とねじり関手を用いて、群がフォーリエ＝ムカイ変換、線形充足群、自己同型、シフト関手、球面的ねじり関手によって生成されることを証明し、正確な半直積構造への分解を示す。

ABSTRACT

In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.

研究の動機と目的

• 最小解消 $X$ における導来カテゴリ $D_{Z}(X)$ の自己同値の完全な群を同定すること。
• 標準的群 $A(X) = (\operatorname{Aut}X \ltimes \operatorname{Pic}X) \times \mathbb{Z}$ を超えて、$\operatorname{Auteq}D_{Z}(X)$ の構造を理解すること。
• 非フォーリエ＝ムカイ自己同値が存在するかを特定し、球面的ねじり関手を用いてそれらを特徴づけること。
• 自己同値群を、FM変換とすべての対象に自明に作用する関手の正規部分群に正確に代数的分解すること。

提案手法

• 最小解消における $(-2)$-曲線の鎖 $Z = C_1 \cup \cdots \cup C_n$ に台を持つ一貫層の導来カテゴリ $D_{Z}(X)$ に注目する。
• 球面的対象 $\alpha_i = \mathcal{O}_{C_i}(-1)$ および $\alpha_0 = \alpha_{n+1} = \omega_Z$ を定義し、評価写像の写像コーンを用いてねじり関手 $T_{\alpha_i}$ を構成する。
• 積分関手（フォーリエ＝ムカイ変換）の理論を用い、スペクトル系列とコホホロジー的退化条件を介して、関手が層複体に与える作用を分析する。
• 特定の層分解の長さに関する帰納法を適用し、ねじり関手による不変性を用いて、複雑な場合を単純な場合に還元する。
• スペクトル系列からのコホホロジー的制約と Ext-群の消滅を用いて、非自明な拡張が排除されることを保証し、$E_2$-退化を確保する。
• 関手 $D_{Z}(X)$ が $Z$ の形式的近傍にのみ依存することを活用し、局所的 $A_n$-特異点 $\operatorname{Spec} \mathbb{C}[[x,y,z]]/(x^2 + y^2 + z^{n+1})$ に還元可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最小解消における $A_n$-特異点の $\operatorname{Auteq}D_{Z}(X)$ の完全な構造は何か？
• RQ2 すべての $D_{Z}(X)$ の自己同値が、フォーリエ＝ムカイ変換と球面的ねじり関手の合成として表現可能か？
• RQ3 $($-2$)$-曲線配置に台を持つ球面的対象は、自己同値群の生成にどのように寄与するか？
• RQ4 すべての対象に自明に作用する自己同値の部分群（正規部分群 $N(D_{Z}(X))$）は自明か、非自明か？
• RQ5 球面的ねじり関手、線形充足群、$X$ の自己同型群の間の正確な代数的関係は何か？

主な発見

• 群 $\operatorname{Auteq}D_{Z}(X)$ は半直積に分解される：$\operatorname{Auteq}D_{Z}(X) = \operatorname{Auteq}^{\text{FM}}D_{Z}(X) \ltimes N(D_{Z}(X))$ であり、$N(D_{Z}(X))$ はすべての対象に自明に作用する関手の正規部分群である。
• $\operatorname{Auteq}^{\text{FM}}D_{Z}(X)$ は、球面的ねじり関手 $T_{\alpha_i}$（$1 \leq i \leq n$）、線形充足群 $\operatorname{Pic}X$、自己同型群 $\operatorname{Aut}X$、およびシフト関手 $[1]$ によって生成される。
• 球面的ねじり関手 $B = \langle T_{\alpha_i} \mid 1 \leq i \leq n+1 \rangle$ は $B \cong \mathbb{Z}/(n+1)\mathbb{Z}$ を満たし、$\alpha_{n+1} = \omega_Z$ である。
• 交差 $B \cap \operatorname{Pic}X$ は、$1 \leq i \leq n$ に対して $\mathcal{O}_X(C_i)$ によるテンソル積によって生成され、球面的ねじり関手が線形充足群に含まれないことを示している。
• 群 $\left< B, \operatorname{Pic}X \right>$ は $B \rtimes \mathbb{Z}/(n+1)\mathbb{Z}$ に同型であり、非自明な半直積構造を示している。
• 球面的ねじり関手 $T_{\alpha_i}$ はすべての球面的自己同値を生成し、$\operatorname{Auteq}^{\text{FM}}D_{Z}(X)$ 全体は $B$、$\operatorname{Pic}X$、$\operatorname{Aut}X$、$[1]$ によって生成される。