[论文解读] Limit linear series moduli stacks in higher rank

Brian Osserman|arXiv (Cornell University)|May 12, 2014

Algebraic Geometry and Number Theory参考文献 6被引用 12

一句话总结

本文為高秩極限線性系列發展了基礎的模堆栈結構，引入了兩種新構造——I型與II型連結線性系列，將經典的Eisenbud-Harris理論推廣至秩大於1的向量叢。它建立了Eisenbud-Harris-Teixidor理論的典型堆栈結構，從而首次獲得曲線族中極限線性系列的正確模空間，並證明了三種構造之間的比較同構，進而實現了具有固定特殊行列式之秩2叢的Brill-Noether理論中新的存在性結果。

ABSTRACT

In order to prove new existence results in Brill-Noether theory for rank-2 vector bundles with fixed special determinant, we develop foundational definitions and results for limit linear series of higher-rank vector bundles. These include two entirely new constructions of "linked linear series" generalizing earlier work of the author for the classical rank-1 case, as well as a new canonical stack structure for the previously developed theory due to Eisenbud, Harris and Teixidor i Bigas. This last structure is new even in the classical rank-1 case, and yields the first proper moduli space of Eisenbud-Harris limit linear series for families of curves. We also develop results comparing these three constructions.

研究动机与目标

• 為Eisenbud-Harris-Teixidor極限線性系列在曲線族中建立正確的模堆栈結構，此問題在以往處理中尚未解決。
• 將經典的連結線性系列構造推廣至高秩向量叢，特別是具有固定特殊行列式的秩2叢。
• 建立三種不同構造之間的比較同構：I型與II型連結線性系列，以及Eisenbud-Harris-Teixidor堆栈。
• 透過解決因特殊行列式條件引起的維數差異，實現高秩Brill-Noether理論中的退化技術。
• 提供一個框架，用以證明一般曲線上具有固定特殊行列式的${\mathfrak{g}}^{k}_{2,d}$-系列的存在性定理，特別是在 naïve 期望維數失效的情況下。

提出的方法

• 引入兩種新的高秩連結線性系列構造：I型與II型，基於預連結格拉斯曼簇與曲線鏈上的多重度相容性。
• 利用推廣的行列式子簇與上推子叢，在Eisenbud-Harris-Teixidor理論上構造典型的堆栈結構，以確保正確的模性質。
• 應用基變定理與消失點集技術比較三種構造，證明在簡單點上比較態射為同構。
• 利用堆栈上的預連結格拉斯曼簇理論，定義曲線族中極限線性系列的模函子。
• 應用「近乎局部」條件與多重度的概念，控制可約曲線各分支上向量叢的行為。
• 使用精細與簡化的極限線性系列結構，追蹤專化下的穩定性與退化行為。

实验结果

研究问题

• RQ1 能否為Eisenbud-Harris-Teixidor極限線性系列在曲線族中構造正確的模堆栈，從而解決以往處理中缺乏堆栈結構的問題？
• RQ2 如何將經典的連結線性系列構造推廣至高秩向量叢，特別是具有固定特殊行列式的秩2叢？
• RQ3 新提出的I型與II型連結線性系列構造與高秩情形下的Eisenbud-Harris-Teixidor理論之間的關係為何？
• RQ4 三種構造——I型、II型與EHT——在多大程度上一致？它們的比較態射在何種條件下為同構？
• RQ5 能否透過這些新的堆棧理論構造，彙整固定行列式情形下的維數差異（其中期望維數超過$\rho - g + \binom{k}{2}$）？

主要发现

• 本文首次構造出Eisenbud-Harris-Teixidor極限線性系列在曲線族中的正確模堆栈，解決了理論中的一個基礎性缺口。
• I型與II型連結線性系列構造將經典的秩1情形推廣至高秩向量叢，並在適當條件下被證明與對方及EHT堆栈同構。
• 三種構造之間的比較態射在簡單點上被證明為同構，確立了核心幾何設定下的等價性。
• EHT理論上的典型堆栈結構即使在秩1情形下亦為新成果，為極限線性系列模空間提供了新的基礎框架。
• 在秩2叢的固定行列式情形下，理論正確地反映了$\binom{k}{2}$的維數偏移，與預期維數$\rho - g + \binom{k}{2}$一致，並實現了新的存在性定理。
• 利用推廣的行列式子簇與上推子叢，可精確控制消失點集，並確保與基變換的相容性，這對於光滑化定理至關重要。