[论文解读] On the Göttsche Threshold

Steven L. Kleiman, Vivek Shende+1 more|arXiv (Cornell University)|Apr 27, 2012

Algebraic Geometry and Number Theory参考文献 27被引用 5

一句话总结

本文確立了 Göttsche 閾值的緊確上界——即在有理曲面上，使 δ-交點曲線的 Severi 維多胞形度數由陳類的通用多項式給出的線叢的最小次數。透過將標準的 δ-完全正則條件放寬為對三個關鍵奇點簇（非簡化、非浸入或高度奇異的曲線）的餘維度條件，作者證明 Göttsche 對 ℙ² 和 Hirzebruch 曲面的猜測閾值 ⌈δ/2⌉ + 1 成立，且對古典 del Pezzo 曲面亦有類似的界。

ABSTRACT

For a line bundle L on a smooth surface S, it is now known that the degree of the Severi variety of cogenus-d curves is given by a universal polynomial in the Chern classes of L and S if L is d-very ample. For S rational, we relax the latter condition substantially: it suffices that three key loci be of codimension more than d. As corollaries, we prove that the condition conjectured by Göttsche suffices if S is P^2 or S is any Hirzebruch surface, and that a similar condition suffices if S is any classical del Pezzo surface.

研究动机与目标

• 確定在有理曲面 S 上，δ-交點曲線的 Severi 維多胞形度數由 c₁(S)、c₁(ℒ) 與 c₂(S) 的通用多項式給出的精確條件。
• 透過識別較弱但具有幾何意義的條件，放寬標準的 δ-完全正則條件（此條件雖足夠但過於嚴苛）。
• 驗證 Göttsche 對 ℙ² 和 Hirzebruch 曲面的猜測閾值 ⌈δ/2⌉ + 1 為度數公式有效的上界，並將此界推廣至古典 del Pezzo 曲面。
• 確立在這些放寬條件下，δ-交點曲線的 Severi 維多胞形在完整 Severi 維多胞形中為開且稠密，以確保枚舉不變性。

提出的方法

• 引入 |ℒ| 中的一個閉子集 V，包含所有非簡化曲線、滿足 −K·D₁ ≤ 0 的分量，或具有 −K·D₁ = 1 的非浸入分量的曲線。
• 證明若 codim(V) > δ，則 Severi 維多胞形 |ℒ|δ 的餘維度為 δ，且在 V 外光滑，確保度數定義良好。
• 將 V 進一步擴展，納入具有多重性 ≥3 且 −K·D₁ ≤ 3 的分量，或具有特定切觸與自交條件的多個分量的曲線。
• 利用膨脹理論與切映射的分析，透過維數論證排除更高奇異性，證明 |ℒ|δ ∖ V 中的一般曲線為交點曲線。
• 應用膨脹理論的結果（例如，Prop. 15 與 Prop. 17）以界定曲線族的維數，並確保等價通用膨脹。
• 利用變形映射 γ 的像受曲面切空間與法叢約束的事實，若奇異性超過 δ-交點型，則導致矛盾。

实验结果

研究问题

• RQ1 在有理曲面 S 上，哪些線叢 ℒ 使得 δ-交點曲線的 Severi 維多胞形度數由 c₁(S)、c₁(ℒ) 與 c₂(S) 的通用多項式給出？
• RQ2 標準的 δ-完全正則條件能否在保持度數公式通用性的前提下被放寬？
• RQ3 Göttsche 對 ℙ² 和 Hirzebruch 曲面的猜測閾值 ⌈δ/2⌉ + 1 是否為度數公式有效的上界？
• RQ4 曲線簇的哪些幾何條件可確保 δ-交點曲線的 Severi 維多胞形在完整 Severi 維多胞形中為開且稠密？

主要发现

• 當 S = ℙ² 且 ℒ = 𝒪(d) 時，若 d ≥ ⌈δ/2⌉ + 1，則度數公式 deg|ℒ|δ₊ = Gδ(S,ℒ) 成立，確認 Göttsche 對 ℙ² 的猜測。
• 對於任意 Hirzebruch 曲面，若非簡化曲線、非浸入曲線，以及具有高多重性或切觸奇異性的曲線的簇之餘維度均大於 δ，則 deg|ℒ|δ₊ = Gδ(S,ℒ)。
• 對於古典 del Pezzo 曲面，對上述三類簇施加類似的餘維度條件，亦可使通用度數公式成立。
• 當壞簇 V 的餘維度大於 δ 時，Severi 維多胞形 |ℒ|δ₊ 在 |ℒ|δ 中為開且稠密，確保交點曲線主導。
• 證明依賴於膨脹理論論證，透過變形映射像的維數界限，以反證法證明 |ℒ|δ ∖ V 中的一般曲線為交點曲線。
• 結果在某種意義上是緊確的：此界對第一個 Hirzebruch 曲面（即 ℙ² 上一點的 blown-up）並非緊致，顯示該條件並非總是必要。