[论文解读] Introduction to coherent sheaves on weighted projective lines

Xiao‐Wu Chen, Henning Krause|arXiv (Cornell University)|Nov 23, 2009

Algebraic structures and combinatorial models参考文献 19被引用 30

一句话总结

本文对加权射影直线上的凝聚层提供了全面的介绍，提出了两种互补的方法：一种是通过公理化特征刻画，另一种是通过阿贝尔范畴的‘扩张’范畴构造。主要贡献在于对范畴 $\operatorname{coh}\mathbb{X}$ 的详细结构描述，表明其为一个遗传的、$k$-线性阿贝尔范畴，且具有有限维的同态与上同调空间，并证明此类范畴在同调等价意义下，要么同构于有限 quiver 的模范畴，要么同构于加权射影直线上的凝聚层范畴。

ABSTRACT

These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus most of these notes are devoted to studying abelian categories, including a brief discussion of tilting theory. We provide many details and have tried to keep the exposition as self-contained as possible.

研究动机与目标

• 为表示论与代数几何领域的研究人员提供关于加权射影直线上凝聚层范畴的自包含且易于理解的导引。
• 建立对 $\operatorname{coh}\mathbb{X}$ 作为遗传阿贝尔范畴且具有有限维同态与上同调空间的结构性理解。
• 提出两种不同但等价的方法：一种基于扩展 Hap-pel 定理的公理系统，另一种基于阿贝尔范畴的‘扩张’范畴概念。
• 通过倾斜理论与同调等价，阐明加权射影直线作为遗传阿贝尔范畴基本类别的作用。
• 为后续研究加权射影直线背景下的典型代数、向量丛与奇点奠定基础。

提出的方法

• 使用公理化特征刻画来定义并分类具有倾斜对象的遗传阿贝尔范畴，扩展 Hap-pel 的同调分类定理。
• 引入‘扩张’过程，以形式化在射影直线上插入权重的操作，其中权重对应于向范畴中添加简单对象。
• 将 $\operatorname{coh}\mathbb{X}$ 构造为加权多项式环 $S(\mathbf{p},\boldsymbol{\lambda})$ 的分次模范畴关于有限长模的商范畴。
• 利用分次群 $\mathbf{L}(\mathbf{p}) = \langle \vec{x}_1,\dots,\vec{x}_n,\vec{c} \mid p_i\vec{x}_i = \vec{c} \rangle$ 定义层的扭变 $E(\vec{x})$。
• 应用倾斜理论：在 $\operatorname{coh}\mathbb{X}$ 中构造一个倾斜对象，其自同态代数同构于典型代数 $C(\mathbf{p},\boldsymbol{\lambda})$。
• 利用同调等价性证明：任意连通的、遗传的、$k$-线性阿贝尔范畴，若具有有限维同态与上同调空间且存在倾斜对象，则其同调范畴与 $\operatorname{mod}k\Gamma$ 或 $\operatorname{coh}\mathbb{X}$ 同调等价。

实验结果

研究问题

• RQ1 哪些公理条件能刻画加权射影直线上凝聚层范畴 $\operatorname{coh}\mathbb{X}$ 的特征？
• RQ2 如何将射影直线上插入权重的形式化为阿贝尔范畴的范畴‘扩张’？
• RQ3 范畴 $\operatorname{coh}\mathbb{X}$ 的结构与其中倾斜对象的同调范畴之间存在何种精确关系？
• RQ4 在何种条件下，两个加权射影直线 $\mathbb{X}$ 与 $\mathbb{X}'$ 通过其凝聚层范畴实现范畴等价？
• RQ5 不可约凝聚层（如单列有限长层）的分类如何反映加权射影直线的底层几何与代数结构？

主要发现

• 范畴 $\operatorname{coh}\mathbb{X}$ 是一个遗传阿贝尔范畴，具有有限维同态与上同调空间，并存在一个倾斜对象。
• 所有 $\mathbb{X}$ 上的凝聚层可唯一分解为无扭部分与有限长部分，其中无扭层可被有限个线丛 $\mathcal{O}(\vec{x})$ 的滤子所实现。
• 范畴 $\operatorname{coh}\mathbb{X}$ 中的简单对象为 $S_x$（$x \in \mathbb{P}^1_k \setminus \boldsymbol{\lambda}$）与 $S_{ij}$（$1 \leq i \leq n$，$1 \leq j \leq p_i$），且当 $j' \equiv j-1 \pmod{p_i}$ 时，有 $\operatorname{Ext}^1(S_{ij}, S_{ij'}) \cong k$。
• 有限长不可约分解层为单列，即具有唯一的合成列；对每个简单对象 $S$ 与 $l > 0$，存在唯一一个长度为 $l$ 的不可约分解层，其顶点为 $S$。
• 两个加权射影直线 $\mathbb{X}$ 与 $\mathbb{X}'$ 满足 $\operatorname{coh}\mathbb{X} \simeq \operatorname{coh}\mathbb{X}'$ 当且仅当其权重函数 $w_{\mathbf{p},\boldsymbol{\lambda}}$ 与 $w_{\mathbf{p}',\boldsymbol{\lambda}'}$ 等价。
• 同调范畴 $\mathbf{D}^b(\operatorname{coh}\mathbb{X})$ 同构于 $\mathbf{D}^b(\operatorname{mod}\Lambda)$，其中 $\Lambda = \operatorname{End}(T)$，$T$ 是 $\operatorname{coh}\mathbb{X}$ 中的倾斜对象，且 $\Lambda$ 同构于典型代数 $C(\mathbf{p},\boldsymbol{\lambda})$。