[论文解读] Koszul Algebras and Sheaves over Projective Space

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

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

一句话总结

本文通过多项式代数与外代数上的分次Koszul模之间的Koszul对偶性，建立了射影空间上凝聚层的相对Auslander-Reiten理论。结果表明，$\operatorname{Coh}(\mathbb{P}^n)$ 中除有限多个外，所有Auslander-Reiten分量均具有 $\mathbb{Z}\Delta$ 的形状，并通过Koszul模的层化给出了局部自由层的刻画，证明了存在任意高秩的不可约向量丛。

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.

研究动机与目标

• 通过Koszul对偶发展范畴 $\operatorname{Coh}(\mathbb{P}^n)$ 的相对Auslander-Reiten理论。
• 通过多项式代数 $\Gamma_n = K[x_0, \dots, x_n]$ 上的分次Koszul模的层化，刻画 $\mathbb{P}^n$ 上的凝聚层。
• 确定 $\operatorname{Coh}(\mathbb{P}^n)$ 中Auslander-Reiten分量的结构，表明除有限多个外，其余均具有 $\mathbb{Z}\Delta$ 的形状。
• 以Koszul模的层化形式，为 $\mathbb{P}^n$ 上的局部自由层（向量丛）提供一种新刻画。

提出的方法

• 利用多项式代数 $\Gamma_n$ 与外代数 $\Lambda_n$ 之间的Koszul对偶性，通过BGG对应建立导出等价。
• 将范畴 $\widehat{K}_\Gamma$ 定义为 $\operatorname{Coh}(\mathbb{P}^n)$ 的全子范畴，由 $\Gamma_n$-分次Koszul模的层化构成。
• 通过 $K_\Lambda$ 与 $K_{\Gamma^{op}}$ 之间的对偶性，在 $\widehat{K}_\Gamma$ 中利用相对几乎分裂序列。
• 利用商范畴 $QGr\Gamma$ 与函子 $\sim$ 将分次模与 $\mathbb{P}^n$ 上的凝聚层关联，其中 $\widetilde{M} = (\Gamma[f^{-1}] \otimes M)_0$ 对齐次 $f$ 成立。
• 应用Serre定理，建立等价关系 $\Gamma_* : \operatorname{Coh}(X) \to QGr\Gamma$（$X = \mathbb{P}^n$ 由齐次理想 $I$ 定义），其逆为 $\sim$。
• 通过移位函子 $\sigma$ 在Koszul模及其层化上的作用分析Auslander-Reiten分量的结构，表明分量要么为 $\mathbb{Z}\Delta$，要么具有特定的无限之字形结构。

实验结果

研究问题

• RQ1 在范畴 $\operatorname{Coh}(\mathbb{P}^n)$ 中，Auslander-Reiten分量的结构是什么？它们与Koszul对偶性有何关联？
• RQ2 多项式代数 $\Gamma_n$ 上的哪些分次模对应于 $\mathbb{P}^n$ 上的局部自由层？
• RQ3 能否通过Koszul对偶性在 $\operatorname{Coh}(\mathbb{P}^n)$ 中定义相对几乎分裂序列？它们揭示了范畴的何种结构？
• RQ4 是否存在 $\mathbb{P}^n$ 上任意高秩的不可约向量丛？如何构造它们？

主要发现

• 在 $\operatorname{Coh}(\mathbb{P}^n)$ 中，除有限多个外，所有Auslander-Reiten分量均具有 $\mathbb{Z}\Delta$ 的形状，其中 $\Delta$ 是 $\Gamma_n/J^2$ 的分离箭头图，$J$ 为Jacobson根。
• Koszul模在 $\Gamma_n$ 上的层化构成 $\operatorname{Coh}(\mathbb{P}^n)$ 的全子范畴 $\widehat{K}_\Gamma \subset \operatorname{Coh}(\mathbb{P}^n)$，且 $\mathbb{P}^n$ 上任意凝聚层在平移意义下同构于 $\widehat{K}_\Gamma$ 中的对象。
• 对任意不可约Koszul $\Lambda$-模 $M$，$\pi F(M)$ 的相对Auslander-Reiten分量要么包含于 $\mathbb{Z}\Delta$ 的非负部分，要么具有特定的无限之字形结构。
• 若 $\pi F(M)$ 是局部自由的，则其Auslander-Reiten分量中所有层均为局部自由的，且此类分量恰好在 $M$ 属于 $\mathbb{Z}\Delta$ 的非负部分时出现。
• 层化 $\pi F(\sigma^j M_i)$ 的秩随 $j$ 与 $i$ 严格递增，表明当 $n > 1$ 时，$\mathbb{P}^n$ 上存在任意高秩的不可约向量丛。
• 此类丛的构造依赖于形如 $0 \to X \to Y \to Z \to 0$ 的正合列，其中 $\operatorname{rk}(Y) = \operatorname{rk}(X) + \operatorname{rk}(Z)$，并通过 $\sigma$-作用在模上的递推秩增长实现。