[论文解读] Moduli of vector-bundles on surfaces

Kieran G. O’Grady|ArXiv.org|Sep 20, 1996

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

一句话总结

本文確立了在判別式 Δ 超過與秩相關的臨界值 Δ(r) 時，光滑複射影曲面上 H-半穩定且無扭的層的模空間為簡化空間且維度符合預期，且在判別式較大時，穩定向量叢的開子空間為稠密且模空間整體為不可約。這些結果可推廣至任意秩，並依賴於受唐納森理論啟發的代數幾何技術，包括變形理論與模空間上的全純二形式。

ABSTRACT

This is a survey paper: we discuss certain recent results, with some improvements. It will appear in the S. Cruz proceedings.

研究动机与目标

• 證明當判別式 Δ 超過與秩相關的臨界值 Δ(r) 時，光滑複射影曲面上 H-半穩定且無扭的層的模空間為簡化空間且維度符合預期。
• 證明當 Δ 較大時，參數化斜率穩定向量叢的開子空間在模空間中為稠密，且整個模空間為不可約。
• 在曲線上向量叢的某個猜想下，將模空間上的全純二形式與 Kodaira 維度之結果推廣至任意秩。
• 為理解一般型曲面上的模空間（此前相關知識極少）提供一個框架。
• 透過秩、第一陳類與歐拉示性數的最大公因數條件，確立模空間為良好模空間的條件。

提出的方法

• 使用變形理論，透過 E xt 複形的歐拉特徵計算模空間的預期維度：$ \chi(\text{End}(F)) = 2r c_2 - (r-1)c_1^2 - (r^2-1)\chi(\mathcal{O}_S) + h^1(\mathcal{O}_S) $。
• 應用 Gieseker-Maruyama 的半穩定層理論，利用 Jordan-Hölder 裂分與 S-等價關係構造射影模空間。
• 運用扭曲自同態與上同調技術，分析模空間的切空間與障礙理論。
• 利用 Mukai 的構造，將曲面 S 上的全純二形式 ω 上升至模空間上的二形式 ω_ξ，並分析其非退化性。
• 應用 J. Li 對一般型曲面模空間的 Kodaira 維度結果，條件為秩與陳類的限制。
• 驗證曲線上向量叢的關鍵猜想（猜想 2.4）對任意秩與特殊次數成立（命題 2.5），使結果可推廣至高秩。

实验结果

研究问题

• RQ1 在何種條件下，曲面上 H-半穩定且無扭的層的模空間為簡化空間且維度符合預期？
• RQ2 當判別式 Δ 較大時，模空間的行為如何，特別是關於穩定叢的不可約性與稠密性？
• RQ3 模空間上的全純二形式 ω_ξ 在何時非退化？這對模空間的幾何性質有何含義？
• RQ4 當曲面 S 為一般型且秩為 2 時，模空間的 Kodaira 維度為何？
• RQ5 在假設曲線上向量叢的某個猜想下，對全純二形式與 Kodaira 維度的結果可多大程度推廣至任意秩？

主要发现

• 對於任意光滑複射影曲面 S 與 ample 除子 H，當 Δ_ξ > Δ(r) 時，固定秩 r、行列式 det(ξ) 與 c₂(ξ) 的 H-半穩定無扭層模空間 $ \mathcal{M}_\xi $ 為簡化空間且維度符合預期。
• 當 Δ_ξ ≫ 0 時，參數化斜率穩定向量叢的開子空間在 $ \mathcal{M}_\xi $ 中為稠密，且 $ \mathcal{M}_\xi $ 為不可約。
• 由 S 上的全純二形式 ω 導出的模空間上的全純二形式 ω_ξ 在 r=2 且滿足額外假設時，在一般點處非退化。
• 映射 $ \mathcal{M}_\xi \to CH_0(S) $ 將層映射至其 c₂-類，其像的維度等於 $ \mathcal{M}_\xi $ 的維度，此結果來自 ω_ξ 的非退化性。
• 若 S 為一般型且 r=2 時滿足適當條件，則模空間 $ \mathcal{M}_\xi $ 為一般型，此結果由 J. Li 所證。
• 在假設猜想 2.4 成立下，ω_ξ 的非退化性與 Kodaira 維度結果可推廣至任意秩，而該猜想已在命題 2.5 中對任意秩與特殊次數驗證。