[论文解读] Faisceaux coh\'erents sur les courbes multiples

Jean–Marc Drézet|arXiv (Cornell University)|Feb 24, 2004

Algebraic Geometry and Number Theory被引用 9

一句话总结

本文引入了嵌入光滑曲面中的非约曲线上的凝聚层的广义秩和度不变量，使得此类曲线上的黎曼-罗赫定理成为可能。定义了拟局部自由层，证明了每个凝聚层在非空开子集上均为拟局部自由，并完全分类了双曲线（n=2）上的无挠层为形如 $I_{2,Z} \otimes L$ 的反射层，其在模空间具有多个分支的应用。

ABSTRACT

Multiple primitive curves have been defined and studied by A. Banica and O. Forster. We introduce new invariants for coherent sheaves on these curves and define quasi locally free sheaves, which play the same role as locally free sheaves on smooth varieties. A more detailed study of torsion free sheaves is given for primitive curves of multiplicity 2.

研究动机与目标

• 为嵌入光滑曲面中的非约曲线上的凝聚层建立基础不变量——广义秩和度。
• 利用这些不变量建立黎曼-罗赫定理，将经典结果推广至非约情形。
• 定义并研究拟局部自由层，作为在奇异或非约曲线上局部自由层的自然推广。
• 对双曲线（n=2）上的无挠层进行分类，表明其为反射层且形式为 $I_{2,Z} \otimes L$。
• 分析双曲线上广义秩为3的稳定层的模空间，揭示其具有多个不可约分支，其中一个分支是约化曲线上的向量 bundle 模空间的多重结构。

提出的方法

• 为多重曲线 $Y$ 定义一个典范滤子 $C = C_1 \subset \cdots \subset C_n = Y$，其中 $C_i$ 是约化曲线 $C$ 的第 $i$ 个无穷小邻域。
• 对 $Y$ 上的凝聚层 $E$ 构造分次层 $\mathrm{Gr}(E) = \bigoplus_{i=1}^n E_i / E_{i+1}$，其中 $E_i = I_i^C E$。
• 定义广义秩 $R(E) = \mathrm{rg}(\mathrm{Gr}(E))$ 和广义度 $\mathrm{Deg}(E) = \deg(\mathrm{Gr}(E))$，二者在短正合列下均具有可加性。
• 证明黎曼-罗赫公式：$\chi(E) = \mathrm{Deg}(E) + R(E)(1 - g_C)$，其中 $g_C$ 为约化曲线 $C$ 的亏格。
• 引入拟局部自由层的概念，即局部同构于 $\mathcal{O}_{C_i}$ 直和的层，并证明每个凝聚层在 $Y$ 的某个非空开子集上均为拟局部自由。
• 利用形变理论和同调群分析研究双曲线上稳定层的模空间，特别关注广义秩为3且度为 $d$ 的情形。

实验结果

研究问题

• RQ1 如何为非约曲线上的凝聚层定义广义秩和度？它们是否满足可加性与黎曼-罗赫性质？
• RQ2 双曲线（n=2）上无挠层的结构是怎样的？它们是否为反射层？
• RQ3 双曲线上稳定层的模空间是否可能具有多个不可约分支？若是，其几何性质如何？
• RQ4 是否存在一种自然方式，将广义秩为3的双曲线上稳定层的模空间描述为约化曲线上向量 bundle 模空间的函数？
• RQ5 何种条件可保证非约曲线上的凝聚层在某个非空开子集上为拟局部自由？

主要发现

• 广义秩和度在多重曲线上的凝聚层短正合列下具有可加性。
• 黎曼-罗赫公式 $\chi(E) = \mathrm{Deg}(E) + R(E)(1 - g_C)$ 对任意多重曲线 $Y$ 上的凝聚层均成立。
• 每个多重曲线 $Y$ 上的凝聚层在 $Y$ 的某个非空开子集上均为拟局部自由，推广了局部自由性的概念。
• 对于双曲线（n=2），无挠层为反射层，且恰好为形如 $I_{2,Z} \otimes L$ 的层，其中 $Z \subset C$ 为有限子概形，$L$ 为 $Y$ 上的线丛。
• 双曲线上广义秩为3且度为 $d$ 的稳定层模空间具有多个不可约分支，其中一个分支是约化曲线 $C$ 上秩为3且度为 $d$ 的稳定向量 bundle 模空间的多重结构。
• 给出了一个简单的拟局部自由性判别准则：$Y$ 上的凝聚层 $E$ 为拟局部自由，当且仅当其限制 $E|_{C_i}$ 对所有 $i$ 均为局部自由。