[论文解读] The strong maximal rank conjecture and moduli spaces of curves

Fu Liu, Brian Osserman+2 more|arXiv (Cornell University)|Aug 3, 2018

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

一句话总结

本文通過退化到椭圆曲线链並分析具有关联线性系列技术的极限线性系列，證明了22和23號能量的Aprodu-Farkas強最大秩猜想的兩個情形。關鍵結果是，模空間𝒟₂₂和𝒟₂₃分別是ℳ₂₂和ℳ₂₃的真子集，從而確認了證明這些模空間為一般型的關鍵一步。

ABSTRACT

Building on recent work of the authors, we use degenerations to chains of elliptic curves to prove two cases of the Aprodu-Farkas strong maximal rank conjecture, in genus $22$ and $23$. This constitutes a major step forward in Farkas' program to prove that the moduli spaces of curves of genus $22$ and $23$ are of general type. Our techniques involve a combination of the Eisenbud-Harris theory of limit linear series, and the notion of linked linear series developed by the second author.

研究动机与目标

• 為Farkas計劃中證明ℳ₂₂和ℳ₂₃為一般型的關鍵一步，建立22和23號能量的強最大秩猜想。
• 證明由具有𝔤⁶_{25}或𝔤⁶_{26}且其像位於二次曲面上的曲線構成的閉包𝒟₂₂和𝒟₂₃，分別是ℳ₂₂和ℳ₂₃的真子集。
• 將Eisenbud-Harris的極限線性系列與關聯線性系列理論推廣至退化曲線，並證明乘法映射的非退化性。
• 透過證明多度中某些截面的非零性，驗證Farkas計劃中預期的有效除子確實有效。

提出的方法

• 透過退化到族的號能量曲線以分析極限線性系列，並研究線性系統在專化下的行為。
• 應用Eisenbud-Harris的極限線性系列理論，以控制退化極限中截面的多度和支集。
• 使用Osserman發展的關聯線性系列技術，分析極限中截面的獨立性。
• 構造多度w，使得可能出現的多度md(w)中的截面線性獨立，從而確保乘法映射的非退化性。
• 分析極限線性系列中出現零、一或兩個交換的情形，透過對截面支集和多度約束的組合控制。
• 透過顯式計算截面的張量積並追蹤其在鏈成員上的支集，驗證獨立性條件。

实验结果

研究问题

• RQ1 強最大秩猜想在22和23號能量下是否成立，特別是是否存在𝔤⁶_{25}或𝔤⁶_{26}，其相關乘法映射非單射？
• RQ2 是否𝒟₂₂ ⊊ ℳ₂₂，即是否所有22號能量的曲線都不具有其像位於二次曲面上的𝔤⁶_{25}？
• RQ3 是否𝒟₂₃ ⊊ ℳ₂₃，從而確保Farkas計劃中預期的除子在23號能量下確實有效？
• RQ4 能否使用退化到椭圓曲線鏈的方法，證明這些情形下對稱平方乘法映射的非退化性？
• RQ5 極限中多度與截面支集的條件是否能確保對一般22或23號能量曲線，乘法映射仍保持單射？

主要发现

• 𝒟₂₂是ℳ₂₂的真子集，意味著一般22號能量曲線不具備其像位於二次曲面上的𝔤⁶_{25}。
• 𝒟₂₃是ℳ₂₃的真子集，因此一般23號能量曲線不具備其像位於二次曲面上的𝔤⁶_{26}。
• 𝒟₂₂的閉包不包含族的號能量曲線鏈的閉包，從而確認了退化設定中一個關鍵的非退化條件。
• 對22和23號能量，強最大秩猜想成立：對一般曲線和一般𝔤⁶_d，乘法映射Sym²V → Γ(X,ℒ⊗²)是單射。
• 該證明在特徵0下完全適用，並可推廣至特徵p ≥ 29，但幾何應用僅限於特徵0。
• 所用技術——特別是對截面支集和多度獨立性的控制——可推廣至其他ρ = 2的情形，暗示了更廣泛應用的可能路徑。