[論文レビュー] Autoequivalences of derived categories of elliptic surfaces with non-zero Kodaira dimension

Hokuto Uehara|arXiv (Cornell University)|Jan 27, 2015

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

ひとこと要約

本稿では、非ゼロのコルダイラ次元をもつ滑らかで射影的な楕円的表面の導来圏の自己同型群を分類し、それが$(-2)$-曲線上のねじり関手、ファイバーに直交するラインバンドルによるテンソル積、表面の自己同型、およびファイバー次数$\lambda_S$によって定まる$\mathrm{SL}(2,\mathbb{Z})$の合同部分群を含む短完全系列に含まれることを示している。この結果は、K3表面や楕円曲線に対する既知の構造を、特異ファイバーをもつ高次元の楕円的表面へと拡張する。

ABSTRACT

We study the group of autoequivalences of the derived categories of coherent sheaves on smooth projective elliptic surfaces with non-zero Kodaira dimensions. We find a description of it when each reducible fiber is a cycle of $(-2)$-curves.

研究の動機と目的

• 滑らかで射影的な楕円的表面$S$について、$\kappa(S) \neq 0$であるときの自己同型群$\operatorname{Auteq}D(S)$の構造を特定すること。
• K3表面や楕円曲線に対する自己同型の既知の結果を、非自明な特異ファイバーをもつ楕円的表面へと拡張すること。
• $(-2)$-曲線上のねじり関手および安定層のモジュライ空間に関連するフーリエ＝ムカイ変換が、非標準的自己同型を生成する役割を果たすことを特定すること。
• 自己同型の作用を記録するホモモーフィズム$\Theta$の像を、偶数次元コホモロジーに述べることで、合同部分群$\Gamma_0(\lambda_S)$と関連づけること。

提案手法

• $S$上の純な安定層の細いモジュライ空間$J_S(a,b)$に関連するフーリエ＝ムカイ変換の使用、特に$J_S(b) \cong S$である場合。
• $(-2)$-曲線$G$のファイバー成分におけるねじり関手$T_{\mathcal{O}_G(a)}$の構成、これは表面特異点からの結果の一般化である。
• 自己同型が偶数次元コホモロジー$H^0(S,\mathbb{Z}) \oplus H^2(S,\mathbb{Z}) \cong \mathbb{Z}^2$に作用する分析により、$\mathrm{SL}(2,\mathbb{Z})$へのホモモーフィズム$\Theta$が得られる。
• スペクトル系列と、対象の台の長さに関する帰納法を用いた問題の簡略化、球的対象のコホモロジー層の性質の利用。
• 球的対象の分類とそれらのミューテーションの利用により、自己同型群の構造を制御すること。
• ファイバー次数$\lambda_S$を鍵となる不変量として用い、ホモモーフィズム$\Theta$の像における合同部分群$\Gamma_0(\lambda_S)$を定義すること。

実験結果

リサーチクエスチョン

• RQ1 コルダイラ次元が非ゼロで、ファイバーが可約な楕円的表面$S$について、自己同型群$\operatorname{Auteq}D(S)$の構造は何か？
• RQ2 $(-2)$-曲線上のねじり関手と、安定層のモジュライ空間からのフーリエ＝ムカイ変換は、非標準的自己同型を生成するためにどのように寄与するか？
• RQ3 自己同型が$S$の偶数次元コホモロジーに作用するのを記録するホモモーフィズム$\Theta$の像は何か？
• RQ4 ファイバーが$S$に同型となるランク1、次数$b$の層のモジュライ空間$J_S(b)$が非標準的自己同型を生じる条件は何か？
• RQ5 ファイバー次数の最大公約数としての不変量$\lambda_S$は、$\Theta$の像をどのように制約するか？

主な発見

• 自己同型群$\operatorname{Auteq}D(S)$は、$(-2)$-曲線上のねじり関手が生成する群、ファイバーと直交するラインバンドルによるテンソル積、$S$の自己同型、およびシフト関手を含む短完全系列に含まれる。
• $\Theta$の像は、$J_S(b) \cong S$のとき、合同部分群$\Gamma_0(\lambda_S)$と、$b \equiv \pm 1 \pmod{\lambda_S}$を満たす行列の集合との交わりに同型である。
• タイプ$\mathrm{I}_7$、$\mathrm{I}_2$、$\mathrm{II}$、$\mathrm{I}_1$の4つの特異ファイバーと、多重度$m > 2$の多重ファイバーをもつ有理楕円的表面について、$H_S = \{\pm 1\}$であるので、$\operatorname{Im}\Theta = \{ \gamma \in \Gamma_0(m) \mid b \equiv \pm 1 \pmod{m} \}$である。
• $\operatorname{Auteq}D(S)$は、標準的自己同型と$(-2)$-曲線上のねじり関手によって生成され、非標準的部分は$J_S(b) \cong S$のときのフーリエ＝ムカイ変換によって生じる。
• $\operatorname{Auteq}D(S)$の構造は、ファイバー次数$\lambda_S$と、$J_S(b) \cong S$の存在に完全に依存しており、楕円曲線や表面特異点からの結果を一般化する。
• 証明は、対象の台の長さに関する帰納法とスペクトル系列の議論を用いて、既知のケースに還元され、特に球的対象とそのミューテーションの構造を用いる。