[论文解读] Max Noether's Theorem for Integral Curves

Lia Feital Fusaro Abrantes, André Contiero+1 more|arXiv (Cornell University)|Mar 17, 2014

Algebraic Geometry and Number Theory参考文献 26被引用 3

一句话总结

本文通过引入使用挠自由秩1层的新框架，将关于对偶化层全局截面的Max Noether定理推广至整的非Gorenstein曲线。它建立了$n$重对偶化层的对称幂映射的满射性，证明了理想维数公式的典范嵌入，并将Clifford指标、亏格与Green猜想推广至非Gorenstein曲线——为亏格5曲线和近乎Gorenstein曲线提供了精确的界与刻画。

ABSTRACT

We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way that we can express the dimensions of the components of the ideal in terms of the main invariants of the curve. Afterwards we focus on gonality, Clifford index and Koszul cohomology of non-Gorenstein curves by allowing torsion free sheaves of rank 1 in their definitions. We find an upper bound for the gonality, which agrees with Brill-Noether's one for a rational and unibranch curve. We characterize curves of genus 5 with Clifford index 1, and, finally, we study Green's Conjecture for a certain class of curves, called nearly Gorenstein.

研究动机与目标

• 将Max Noether关于对偶化层全局截面的经典定理从光滑曲线推广至整的非Gorenstein曲线。
• 通过挠自由秩1层定义并研究非Gorenstein曲线的Clifford指标、亏格与Koszul上同调。
• 刻画亏格5且Clifford指标为1的曲线，并为有理单峰曲线提供亏格的精确界。
• 证明一类近乎Gorenstein曲线的Green猜想，将结果从Gorenstein情形推广。
• 建立非Gorenstein曲线的典范嵌入，其中理想各分量的维数以曲线不变量表示。

提出的方法

• 通过证明对整的非双椭圆曲线，映射$\operatorname{Sym}^n H^0(C, \omega) \to H^0(C, \omega^n)$的满射性，推广Max Noether定理。
• 利用正规化和对偶化层，通过$\omega$诱导的态射定义曲线$C$的典范模型$C'$。
• 应用[21]中的结果，证明对近乎Gorenstein曲线有$\widehat{C} \cong C'$，并借此将$K_{p,q}(C, \omega)$与$K_{p,q}(C', \omega)$关联。
• 利用当$C$为近乎Gorenstein时$C'$的投影正规性，将[14, Thm. 8.8.1]的证明方法适配至奇异曲线。
• 利用奇异点处值半群的结构，通过赋值理论计算线丛的次数，并确定亏格。
• 构造具有可控不变量的显式曲线族（如$C_p$）以检验界并验证结果的精确性。

实验结果

研究问题

• RQ1 Max Noether关于对称幂映射满射性的定理能否推广至整的非Gorenstein曲线？
• RQ2 非Gorenstein曲线的Clifford指标与亏格应如何定义，可建立何种界？
• RQ3 Green猜想对近乎Gorenstein曲线是否成立，能否通过Koszul上同调证明？
• RQ4 非Gorenstein曲线的典范模型的理想与其不变量之间的确切关系为何？
• RQ5 有理单峰曲线的亏格上界$\left\lfloor \frac{g+3}{2} \right\rfloor$是否精确，何时达到？

主要发现

• Max Noether定理对所有整的非双椭圆曲线成立：对所有$n \geq 1$，映射$\operatorname{Sym}^n H^0(C, \omega) \to H^0(C, \omega^n)$是满射。
• 对具有$\eta$个非Gorenstein点的近乎Gorenstein曲线，有$K_{p,2}(C, \omega) = 0$对$p < \eta$成立，推广了光滑曲线的结果。
• 非Gorenstein曲线的典范模型$C'$是投影正规的，且满足$\deg(C') = 2g' + \eta$，其中$g'$为几何亏格。
• 对有理单峰曲线，亏格有上界$\left\lfloor \frac{g+3}{2} \right\rfloor$，且该界精确，由显式例子证实。
• 亏格5且Clifford指标为1的曲线被刻画为满足$\operatorname{Cliff}(C) = 1$的曲线，且存在具有非Gorenstein奇点的此类曲线。
• 给出一个亏格6的有理曲线的显式例子，其值半群为$\{0,4,7,8,10\}$，其亏格恰好为4，确认了上界$\left\lfloor \frac{6+3}{2} \right\rfloor$的精确性。