[论文解读] The minimal resolution conjecture and rank two Brill-Noether theory

Gavril Farkas, Ángela Ortega|arXiv (Cornell University)|Oct 19, 2010

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文将 Koszul 上同调应用于秩 2 Brill-Noether 理论，证明了在 genus g > 10 的某些曲线上，Mercat 的猜想不成立，而对有界 genus 的一般曲线，该猜想仍成立。本文将失败点集识别为一个 Koszul 除子，并提出了关于 Betti 图表的极小性猜想，该猜想对秩 2 向量丛具有深远影响。

ABSTRACT

We describe applications of Koszul cohomology to the Brill-Noether theory of rank 2 vector bundles. Among other things, we show that in every genus g>10, there exist curves invalidating Mercat's Conjecture for rank 2 bundles. On the other hand, we prove that Mercat's Conjecture holds for general curves of bounded genus, and its failure locus is a Koszul divisor in the moduli space of curves. We also formulate a conjecture concerning the minimality of Betti diagrams of suitably general curves, and point out its consequences to rank 2 Brill-Noether theory.

研究动机与目标

• 研究代数曲线上秩 2 向量丛的 Mercat 猜想的有效性。
• 理解 Mercat 猜想在曲线模空间中失败点集的结构。
• 探讨 Koszul 上同调在描述曲线的结式与 Betti 图表中的作用。
• 为具有适当一般性质的曲线提出关于 Betti 图表极小性的猜想。
• 推导该极小性猜想对秩 2 Brill-Noether 理论的后果。

提出的方法

• 使用 Koszul 上同调技术分析曲线上线丛的结式。
• 通过分析曲线的 Betti 图表，在一般位置假设下检测其极小性特征。
• 构造 genus g > 10 的曲线例子，这些曲线违反了秩 2 向量丛的 Mercat 猜想。
• 将 Mercat 猜想的失败点集识别为曲线模空间中的 Koszul 除子。
• 为具有一般模性质的曲线提出关于 Betti 图表极小性的猜想。
• 将所提出的极小性猜想应用于推导其对秩 2 Brill-Noether 理论的后果。

实验结果

研究问题

• RQ1 对于哪些 genus g > 10，Mercat 猜想在曲线上对秩 2 向量丛不成立？
• RQ2 Mercat 猜想在曲线模空间中的失败点集具有何种几何结构？
• RQ3 Koszul 上同调群如何控制曲线上秩 2 向量丛的结式结构？
• RQ4 在秩 2 Brill-Noether 理论的背景下，何种条件可保证一般曲线上 Betti 图表的极小性？
• RQ5 关于 Betti 图表的极小性猜想对秩 2 线性系列行为有何影响？

主要发现

• 对于每个 genus g > 10，均存在使秩 2 向量丛的 Mercat 猜想失效的曲线。
• 秩 2 向量丛的 Mercat 猜想的失败点集是曲线模空间中的一个 Koszul 除子。
• Mercat 猜想对有界 genus 的一般曲线成立，表明在更高 genus 时行为出现显著转变。
• 本文提出了关于适当一般曲线上 Betti 图表极小性的猜想，该猜想对秩 2 Brill-Noether 理论具有深远影响。
• Koszul 上同调的应用揭示了结式理论与曲线模空间几何之间的深层联系。
• 本文表明，Mercat 猜想的失效可通过 Koszul 理论不变量检测，从而将上同调数据与几何性质联系起来。