[论文解读] Faisceaux cohérents sur les courbes multiples

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

Algebraic Geometry and Number Theory参考文献 29被引用 19

一句话总结

本文為嵌入光滑曲面中的非约曲线上的凝聚层建立了一套基础框架，引入广义秩与度数不变量，以证明黎曼-罗赫定理。研究证明了双曲线上的扭余自由层为可反射层，并表明广义秩为3的稳定层模空间具有多个分支，其中一个分支是约化曲线上的向量丛模空间的多重结构。

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.

研究动机与目标

• 建立局部嵌入于光滑曲面中的非约曲线上的凝聚层理论。
• 为这类曲线上的凝聚层定义新的不变量——广义秩与度数。
• 利用这些不变量证明黎曼-罗赫定理。
• 刻画双曲线上的扭余自由层与拟局部自由层。
• 分析双曲线上广义秩为3的稳定层模空间的结构。

提出的方法

• 为多重曲线 Y 上的凝聚层引入一个典范滤过，其分层为 C₁ ⊂ C₂ ⊂ ⋯ ⊂ Cₙ = Y。
• 通过该滤过所诱导的相伴射影层定义广义秩与度数。
• 利用典范滤过定义拟局部自由层，即局部同构于 O_{C_i} 层直和的层。
• 证明 Y 上的每个凝聚层在某个非空开子集上都是拟局部自由的。
• 分析约化曲线 C 上有限子概形 Z 的理想层 I_{n,Z}，尤其在双曲线情形（n=2）下。
• 应用变形理论研究 I_{n,Z} 作为整体曲面 S 上层的变形。

实验结果

研究问题

• RQ1 如何为非约曲线上的凝聚层定义广义秩与度数，以推广经典黎曼-罗赫定理？
• RQ2 双曲线上的扭余自由层具有何种结构？它们是否为可反射层？
• RQ3 双曲线上稳定层模空间如何分解为分支？
• RQ4 拟局部自由层在多重曲线上的模空间的双有理几何中起何作用？
• RQ5 双曲线上的稳定层模空间能否与约化曲线上的向量丛模空间相关联？

主要发现

• 双曲线（n=2）上的扭余自由层是可反射层，这是其关键结构性质。
• C₂ 上广义秩为2的扭余自由层具有形式 I_{2,Z} ⊗ L，其中 Z 是 C 上的有限子概形，L 是 Y 上的线丛。
• 双曲线上广义秩为3、度数为 d 的稳定层模空间具有多个不可约分支。
• 其中一个分支是约化曲线 C 上秩为3、度数为 d 的稳定向量丛模空间的多重结构。
• Y 上的每个凝聚层在某个非空开子集上都是拟局部自由的，这推广了光滑曲线上局部自由层的概念。
• 通过广义秩与度数不变量建立了黎曼-罗赫公式，将经典结果推广至非约情形。