[論文レビュー] Autoequivalences of toric surfaces

Nathan Broomhead, David Ploog|arXiv (Cornell University)|Oct 8, 2010

Algebraic Geometry and Number Theory参考文献 16被引用数 6

ひとこと要約

本稿では、任意の滑らかで射影的トーリック表面の導来カテゴリの自己同型群が、標準的自己同型（ラインバンドルのねじれ、自己同型、シフト）および $-2$-曲線に付随する球面的ねじれによって生成されることを確立する。さらに、これらの生成子の間の関係を特定し、完全な記述を多くの場合に与える。また、完全列を介して球面的対象と例外的集合列を結びつける。

ABSTRACT

We show that the autoequivalence group of the derived category of any smooth projective toric surface is generated by the standard equivalences and spherical twists obtained from -2-curves. In many cases we give all relations between these generators. We also prove a close link between spherical objects and certain pairs of exceptional objects.

研究の動機と目的

• 滑らかで射影的なトーリック表面の導来カテゴリの自己同型群の完全な構造を特定すること。
• この群の生成子を同定し、それが標準的自己同型および $-2$-曲線に由来する球面的ねじれであることを示すこと。
• 多くの場合において、これらの生成子の間の関係を記述し、単なる生成を超えて構造的関係を明らかにすること。
• 完全列を介して球面的対象と例外的集合列の間の構造的関係を確立すること。
• トーリック表面に限らず、類似の性質を有する特定の非トーリックな有理型表面へと結果を一般化すること。

提案手法

• 滑らかで射影的な表面の自己同型を分析するため、導来カテゴリ理論および三角カテゴリ技法の使用。
• $-2$-曲線 $C$ に対して $\mathcal{O}_C$ が球面的対象であることに基づく球面的ねじれ関手の応用。
• $\mathcal{D}(X)$ 内の双対性を分析するため、自己双対性 $\operatorname{Hom}(A,B) \cong \operatorname{Hom}(B,A\otimes\omega_X[2])^*$ を用いる。
• 標準的バンドル $\omega_X$ 及びその反標準的類 $-K_X$ の関係を用い、交線論を用いて $-K_X$ が大であることを示す。
• 特に $\mathbf{k}^*$-表面の文脈において、$-2$-曲線および他の曲線からのラインバンドルによるピカール群の分解。
• 一般型表面に関する Ishii と Uehara の結果を応用し、トーリック表面（負の標準的バンドルを有する）と対比する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なトーリック表面の導来カテゴリの自己同型群は何によって生成されるか？
• RQ2 $-2$-曲線に由来する球面的ねじれは、標準的自己同型を超えて自己同型群にどのように寄与するか？
• RQ3 特定のトーリック表面において、自己同型群の生成子の間にはどのような関係が存在するか？
• RQ4 導来カテゴリにおけるトーリック表面の球面的対象と例外的集合列の関係は何か？
• RQ5 トーリック表面に関する結果は、$\mathbf{k}^*$-作用を有し、自明な安定化部分群を有する非トーリックな有理型表面へどの程度一般化可能か？

主な発見

• 任意の滑らかで射影的なトーリック表面 $X$ の自己同型群 $\operatorname{Aut}(\mathcal{D}(X))$ は、標準的自己同型および $-2$-曲線に由来する球面的ねじれによって生成される。
• 多くの場合において、本稿は生成子のすべての関係を含む、自己同型群の完全な表示を与える。
• $-K_X$ は、交線論および擬効果的コーンを用いて、すべてのトーリック表面で大であることが示された。
• $X$ が有理型で自明な安定化部分群をもち、かつ $F^+$ と $F^-$ が同時に $-2$-曲線でない場合、包含写像 $\operatorname{Pic}_\Delta(X) \subset \operatorname{Pic}(X)$ は分解する。
• トーリック表面における球面的対象は、$E'$ と $E$ が例外的で、$S$ が球面的である完全列 $E' \to E \to S$ から生じる。これにより、例外的対象と球面的対象が結びつけられる。
• $B(X)$ は球面的ねじれの群として $\operatorname{Aut}(\mathcal{D}(X))$ の正規部分群であり、自己同型群全体は $A(X)$ と $B(X)$ によって生成される。