[論文レビュー] Examples for exceptional sequences of invertible sheaves on rational surfaces

Markus Perling|arXiv (Cornell University)|Apr 3, 2009

Algebraic structures and combinatorial models参考文献 13被引用数 15

ひとこと要約

本稿は、$\mathbb{P}^2$ の $t$ 個の異なる点への blown-up により得られる有理的表面における、可逆層の強く例外的な系列の明示的例を、toric 系とクーヴィー代数を用いて構成する。関連する自己準同型代数 $A_X$ は、吹き上げ点の幾何的データによって符号化された関係を持つパス代数の有限次元商であることが示され、表面の非可換モデルを提供する。

ABSTRACT

In this article we survey recent results of joint work with Lutz Hille on exceptional sequences of invertible sheaves on rational surfaces and give examples.

研究の動機と目的

• 有理的表面、特に $\mathbb{P}^2$ の $t$ 点への blown-up における、可逆層の強く例外的な系列の明示的例を提供すること。
• 有理的表面における toric 幾何学とその俉層の導来カテゴリの間の関係を調査すること。
• このような系列から生じる tilting バンドルの自己準同型代数を用いた特異点の非可換解消を構成すること。
• 吹き上げ点の幾何的データと関係のイデアルを関連させることで、これらの代数のパラメータ空間を明示的に記述すること。

提案手法

• 有理的表面における可逆層の強く例外的な系列をパrametrizeするために、toric 系を用いる。
• オイラー形式とリーマン・ロッホを用いて、コホロロジーの消滅条件を除法子上の数値的制約に還元する。
• tilting バンドル $\mathcal{T} = \bigoplus \mathcal{O}(E_i)$ の自己準同型代数 $A_X$ を与えるパス代数を持つクーヴィーと関係を構成する。
• 関係 $A_X$ は、例えば $\ker(H_i \otimes V^* \to S^2V^*)$ のような、線分束の全体切断間の自然な写像の核として特定される。
• 吹き上げられた点に双対する $V^*$ の超平面として、$H_i = \Gamma(X, \mathcal{O}(H - R_i))$ の標準的同型を用いる。
• すべての $\mathbb{P}^2$ の $t$ 点への同時 blown-up に対して、普遍的な toric 系を確立し、モジュライ空間 $\mathcal{M}$ をイデアルのパラメータ空間に埋め込む。

実験結果

リサーチクエスチョン

• RQ1 Toric 系を用いて、有理的表面における可逆層の強く例外的な系列をどのように明示的に構成できるか。
• RQ2 このような系列に対応する自己準同型代数 $A_X = \operatorname{End}(\bigoplus \mathcal{O}(E_i))$ の構造はいかなるものか。
• RQ3 代数 $A_X$ の関係は、$\mathbb{P}^2$ 上の吹き上げ点の幾何学的性質をどのように反映するか。
• RQ4 すべての $\mathbb{P}^2$ の $t$ 個の異なる点への blown-up に対して、普遍的な toric 系を定義できるか。
• RQ5 これらの代数のパラメータ空間へ、モジュライ空間 $\mathcal{M}$ をイデアル $I_X$ を通じてどのように埋め込むことができるか。

主な発見

• tilting バンドル $\mathcal{T}$ に関連する自己準同型代数 $A_X$ は、$\dim A_X = 9t + 15$ である有限次元である。
• $A_X$ のクーヴィーは、$t$ 個の異なる点への $\mathbb{P}^2$ のすべての blown-up において普遍的であり、パス代数 $A$ の生成子が $18t + 6$ 個存在する。
• イデアル $I_X$ は、三種類の関係によって生成される：$\ker(H_i \otimes V^* \to S^2V^*)$、$\ker(\bigoplus H_i \to V^*)$、および $\ker(V^* \otimes V^* \to S^2V^*)$。
• ベクトル空間 $e_i A_X e_j$ は、例えば $H_i = \Gamma(X, \mathcal{O}(H - R_i))$ のような線分束の全体切断として明示的に記述される。
• 吹き上げ点の幾何的データは、$H_i \subset V^*$ の包含関係に符号化されており、これが $A_X$ の関係を定義する。
• この構成により、代数 $A_X$ を用いた特異点の非可換解消が得られ、$A_X \cong A/I_X$ が成り立つ。