[論文レビュー] Koszul Algebras and Sheaves over Projective Space

Roberto Martínez-Villa|ArXiv.org|May 28, 2004

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

ひとこと要約

本稿は、多項式代数と外積代数上のグレーディング付きコシュールモジュール間のコシュール双対性を用いて、射影空間上の整合的層の相対アウスランダー＝レーセン理論を確立する。$ \operatorname{Coh}(\mathbb{P}^n)$におけるアウスランダー＝レーセン成分のうち、有限個を除きすべて$ \mathbb{Z}\Delta$の形をしていることが示され、コシュールモジュールの層化を用いた局所自由層の特徴付けがなされ、任意の高いランクの不分解ベクトル bundle が存在することを証明する。

ABSTRACT

We are going to show that the sheafication of graded Koszul modules $% K_Γ$ over $Γ_{n}=K[ x_{0},x_{1}...x_{n}] $ form an important subcategory $\overset{\wedge}{K}_Γ$ of the coherents sheaves on projective space, $Coh(P^{n}).$ One reason is that any coherent sheave over $P^{n}$ belongs to $\overset{\wedge}{K}_Γ$up to shift. More importantly, the category $K_Γ$ allows a concept of almost split sequence obtained by exploiting Koszul duality between graded Koszul modules over $Γ$ and over the exterior algebra $Λ.$ This is then used to develop a kind of relative Auslander-Reiten theory for the category $\mathit{Coh(P}^{n})$, with respect to this theory, all but finitely many Auslander-Reiten components for $\mathit{Coh(P}^{n})$ have the shape extit{ZA}$_{\infty}.$ We also describe the remaining ones.

研究の動機と目的

• カテゴリ$\operatorname{Coh}(\mathbb{P}^n)$に対して、コシュール双対性を用いた相対アウスランダー＝レーセン理論を構築すること。
• 多項式代数$\Gamma_n = K[x_0, \dots, x_n]$上のグレーディング付きコシュールモジュールの層化を用いて、$\mathbb{P}^n$上の整合的層を特徴付けること。
• $\operatorname{Coh}(\mathbb{P}^n)$におけるアウスランダー＝レーセン成分の構造を特定し、すべての成分が有限個を除き$\mathbb{Z}\Delta$の形をしていることを示すこと。
• 特定のコシュールモジュールの層化として得られる、局所自由層（ベクトル bundle）の新しい特徴付けを提供すること。

提案手法

• 多項式代数$\Gamma_n$と外積代数$\Lambda_n$間のコシュール双対性を用い、BGG対応を介して導来同値を確立する。
• $\Gamma_n$-グレーディング付きコシュールモジュールの層化によってなる、$\operatorname{Coh}(\mathbb{P}^n)$の全部分圏$\widehat{K}_\Gamma$を定義する。
• $\Lambda$を$\Gamma_n$のイデアル代数とするとき、$K_\Lambda$と$K_{\Gamma^{op}}$の双対性を用いて、$\widehat{K}_\Gamma$における相対的ほぼ分裂系列を構成する。
• 商圏$QGr\Gamma$と関手$\sim$を用い、グレーディング付きモジュールと$\mathbb{P}^n$上の整合的層を関連付ける。$f$を同次元の元とするとき、$\widetilde{M} = (\Gamma[f^{-1}] \otimes M)_0$である。
• セールの定理を適用し、$X = \mathbb{P}^n$が同次イデアル$I$によって定義されるとき、$\Gamma_* : \operatorname{Coh}(X) \to QGr\Gamma$の同値を確立し、逆関手として$\sim$を用いる。
• コシュールモジュールおよびその層化におけるシフト関手$\sigma$の作用を分析し、アウスランダー＝レーセン成分の構造を解明する。成分は$\mathbb{Z}\Delta$または特定の無限ジグザグ型の形をしていることが示される。

実験結果

リサーチクエスチョン

• RQ1 カテゴリ$\operatorname{Coh}(\mathbb{P}^n)$におけるアウスランダー＝レーセン成分の構造は何か？ また、コシュール双対性とはどのように関係しているか？
• RQ2 多項式代数$\Gamma_n$上のどのグレーディング付きモジュールが$\mathbb{P}^n$上の局所自由層に対応するか？
• RQ3 コシュール双対性を用いて、$\operatorname{Coh}(\mathbb{P}^n)$において相対的ほぼ分裂系列を定義できるか？ また、それらはカテゴリの構造をどのように明らかにするか？
• RQ4 $\mathbb{P}^n$上に任意の高いランクの不分解ベクトル bundle が存在するか？ また、それらはどのように構成されるか？

主な発見

• $\operatorname{Coh}(\mathbb{P}^n)$におけるアウスランダー＝レーセン成分のうち、有限個を除きすべて$\mathbb{Z}\Delta$の形をしている。ここで$\Delta$は$\Gamma_n/J^2$の分離されたクーヴィーであり、$J$はジャコブソン根である。
• $\Gamma_n$上のコシュールモジュールの層化によって得られる全部分圏$\widehat{K}_\Gamma \subset \operatorname{Coh}(\mathbb{P}^n)$が存在し、$\mathbb{P}^n$上の任意の整合的層は、あるシフトを除いて$\widehat{K}_\Gamma$の対象と同型である。
• 任意の不分解コシュール$\Lambda$-モジュール$M$に対し、$\pi F(M)$の相対アウスランダー＝レーセン成分は、$\mathbb{Z}\Delta$の非負部分に含まれるか、または特定の無限ジグザグ構造を持つ。
• $\pi F(M)$が局所自由であるとき、そのアウスランダー＝レーセン成分に属するすべての層が局所自由であり、このような成分は$M$が$\mathbb{Z}\Delta$の非負部分にあるときにのみ生じる。
• $\pi F(\sigma^j M_i)$のランクは$j$と$i$とともに厳密に増加するため、$n > 1$のとき、$\mathbb{P}^n$上に任意の高いランクの不分解ベクトル bundle が存在することが示される。
• このような bundle の構成は、$0 \to X \to Y \to Z \to 0$の形の完全系列に依拠しており、$\operatorname{rk}(Y) = \operatorname{rk}(X) + \operatorname{rk}(Z)$を満たす。また、$\sigma$作用によるモジュールの再帰的ランク増加が関与する。