[论文解读] The asymptotic growth of graded linear series on arbitrary projective schemes

Steven Dale Cutkosky|arXiv (Cornell University)|Dec 26, 2012

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

一句话总结

本文對完美域上射影概族上的分次線性系列的漸近增長提供了完整的特徵描述。結果顯示，雖然在約化概族上多項式增長成立（推廣了經典結果），但非約化概族可能表現出極其不規則的增長，甚至在算術序列上極限也不存在，從而確立了代數幾何中多項式增長定理適用範圍的嚴密邊界。

ABSTRACT

Recently, Okounkov, Lazarsfeld and Mustata, and Kaveh and Khovanskii have shown that the growth of a graded linear series on a projective variety over an algebraically closed field is asymptotic to a polynomial. We give a complete description of the possible asymptotic growth of graded linear series on projective schemes over a perfect field. If the scheme is reduced, then the growth is polynomial like, but the growth can be very complex on nonreduced schemes. We also give an example of a graded family of m-primary ideals {I_n} in a nonreduced d-dimensional local ring R, such that the length of R/I_n divided by n^d does not have a limit, even when restricted to any arithmetic sequence.

研究动机与目标

• 確定射影代數簇上分次線性系列的多項式增長定理在完美域上任意射影概族上的推廣程度。
• 研究在非約化概族上，分次線性系列的 lim_{n→∞} dim_k(L_n)/n^q 是否存在，特別是當 q 為 Kodaira-Iitaka 維數時。
• 構造明確反例，顯示即使限制在算術進步中，漸近極限仍可能不存在，從而確立現有定理適用範圍的嚴密邊界。
• 釐清約化性與局部環結構在確保分次理想族體積類似極限存在性中的作用。
• 建立在約化概族上，當 q(L) ≥ 0 時，經典上界 dim_k(L_n) < βn^{q(L)} 成立，但在非約化設定下可能失效。

提出的方法

• 使用分次線性系列及其相關代數的理論，特別聚焦於截面環的 Krull 維數與 Hilbert 多項式。
• 應用 Veronese 子代數構造，將增長研究簡化至一階生成元，進而可應用 Hilbert 多項式理論。
• 採用層論技術，包括 ample 線叢與映射 O_X → O_X(c) 的使用，將全局截面與模結構關聯。
• 利用非約化局部環如 R = k[[x_1,…,x_d,y]]/y^2 構造明確反例，以展示極限不存在的情況。
• 應用交換代數結果，包括 Hilbert-Samuel 多項式與解析無分歧性的概念，分析長度 ℓ_R(R/I_n) 的增長。
• 使用分次素理想避開法與標準分次環中非零因子的存在性，建立基本的單射映射與維數界。

实验结果

研究问题

• RQ1 射影代數簇上分次線性系列的漸近多項式增長是否可推廣至完美域上非約化射影概族？
• RQ2 在非約化概族中，即使將 n 限制在算術進步中，lim_{n→∞} dim_k(L_n)/n^q 是否仍可能不存在？
• RQ3 當 q(L) ≥ 0 時，經典上界 dim_k(L_n) < βn^{q(L)} 對非約化概族上的分次線性系列是否仍成立？
• RQ4 局部環 R 滿足何種條件，可確保對分次 m_R-純粹理想族 {I_n}，極限 lim_{n→∞} ℓ_R(R/I_n)/n^d 存在？
• RQ5 非約化概族上的分次線性系列是否可能具有 q(L) = -∞，但仍表現出 n^d 階的增長？

主要发现

• 對於完美域上之約化射影概族，對任意算術序列 a + br（其中 r > 0），極限 lim_{n→∞} dim_k(L_n)/n^q 存在，其中 q 為 Kodaira-Iitaka 維數。
• 在非約化概族上，即使對於具有最大 Kodaira-Iitaka 維數 d 的「大」分次線性系列，極限 lim_{n→∞} dim_k(L_n)/n^d 仍可能不存在，即使限制在任意算術序列上亦然。
• 在例 6.3 中構造了一個非約化、不可約的 d 維射影概族，其上存在分次線性系列，使得 dim_k(L_n)/n^d 無極限，從而顯示經典多項式增長定理的失效。
• 在例 7.1 中，給出非約化局部環 R = k[[x_1,…,x_d,y]]/y^2 上的一個分次 m_R-純粹理想族 {I_n}，使得 lim_{n→∞} ℓ_R(R/I_n)/n^d 不存在，即使在任意算術進步中亦然。
• 本文表明，[3] 中定理 5.9 的解析無分歧局部環假設是必要的，因例 7.1 的反例顯示在非無分歧情形下極限可能不存在。
• 對於 q(L) ≥ 0 的約化概族，存在正數 α，使得對所有 n 有 dim_k(L_{en}) > αn^{q(L)}，確認 Kodaira-Iitaka 維數在此設定下具備關鍵性質。