[论文解读] An Application of a Log Version of the Kodaira Vanishing Theorem to Embedded Projective Varieties

Aaron Bertram|ArXiv.org|Jul 1, 1997

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

一句话总结

本文將Kodaira消去定理的對數版本應用於嵌入投影簇上理想層冪的消去閾值 $ e_Y $，以改進上界。透過從線性矩陣的子式或Pfaffian構造對數極小奇點超曲面，該文在行列式簇與高次曲線情形下，利用爆破與對數極小對的消去定理，建立了比先前結果更緊緻的上界。

ABSTRACT

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain twists of powers of the ideal sheaf of Y. This is applied to get rather non-trivial vanishing in case Y is a universal determinantal variety (i.e. quadratic Veronese, Segre embedding or Grassmannian of P^1's) or a curve embedded by a complete linear series of high degree. The key in the determinantal cases is to use the theory of complete objects. While the theories of complete quadrics and linear maps yield the desired results, a corresponding theory of complete skew forms seems not have been previously worked out. The desired results are obtained in an appendix.

研究动机与目标

• 精確化 $ e_Y $ 的上界，即理想層冪在正次數中消失的閾值。
• 將Kodaira消去定理推廣至對數極小設定，適用於具有比簡單交叉更豐富幾何結構的嵌入簇。
• 將此推廣的消去定理應用於行列式簇（Segre、Veronese、Pl"ucker）與高次曲線，獲得比傳統方法更緊緻的界。
• 探討 $ e_Y \leq 1 $ 是否對由完整線性系統嵌入的曲線普遍成立，特別是在虧格0與1的情形。
• 研究 $ e_Y $ 與Castelnuovo-Mumford正則性的相容性，並探討在對數極小模型程序中透過翻轉實現更佳結果的可能性。

提出的方法

• 在 $ \mathbb{P}^n $ 沿 $ Y $ 的爆破上使用Nadel的Kodaira消去定理對數版本，採用在 $ Y $ 上具有高重數的對數極小除子 $ F $。
• 將 $ F $ 構造為線性形式矩陣的逐漸增大子式或Pfaffian的組合，確保其具有溫和奇點且次數較低。
• 應用Kollár所提出的Bertini型性質，以確保爆破上之一般光滑性與奇點控制。
• 透過對退化點集 $ \Delta_{r,V} $ 進行遞迴爆破，以解析奇點，並獲得具有法線交叉例外除子的光滑簇。
• 使用Euler序列與層映射計算法叢，並驗證在爆破上誘導的映射為嵌入。
• 透過從爆破到原簇的態射，將對數極小對上的消去結果轉移回原簇。

实验结果

研究问题

• RQ1 對數Kodaira消去定理是否能超越古典界 $ e_Y \leq d_1 + \cdots + d_r - n $，提供 $ e_Y $ 的更佳上界？
• RQ2 由子式或Pfaffian構造的對數極小除子，如何影響理想層冪的高階上同調消失？
• RQ3 在通用行列式簇（如Segre、對稱與斜Grassmannian嵌入）中，$ e_Y $ 的最佳上界為何？
• RQ4 對於虧格0或1的曲線，或度數大於 $ \frac{8g+2}{3} $ 的曲線，$ e_Y \leq 1 $ 是否成立？
• RQ5 能否透過對數極小模型上的翻轉與廣義消去定理，使 $ e_Y $ 的消失模式與Castelnuovo-Mumford正則性一致？

主要发现

• 對於Segre嵌入 $ Y = \mathbb{P}(V) \times \mathbb{P}(W) $，達成 $ e_Y \leq -1 $ 的界，優於古典界 $ e_Y \leq 2r - n $。
• 對於對稱Veronese嵌入 $ Y = \mathbb{P}(V) $，確立 $ e_Y \leq 0 $ 的界，同樣優於古典估計。
• 對於 $ G(2,V) $ 的Pl"ucker嵌入，獲得 $ e_Y \leq -3 $ 的界，顯示Pfaffian構造在斜情形下的強大效能。
• 對於虧格0或1的曲線，或度數 $ > \frac{8g+2}{3} $ 的曲線，$ e_Y \leq 1 $ 成立，確認了猜想的模式。
• 在度數 $ \geq 2g+3 $ 的情形下，即使線性系統有間隔，$ e_Y \leq 1 $ 仍成立，但高虧格情形仍較不理想。
• 該方法確認 $ e_Y \leq 1 $ 對射影空間與 ample 線叢成立，支持此界對完整線性系統嵌入普遍成立的猜想。