[论文解读] Multiplicities of graded families of linear series and ideals

Steven Dale Cutkosky|arXiv (Cornell University)|Jan 23, 2013

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

一句话总结

本文確立了在射影概形和局部環上的分次線性系統與理想族中，多重性漸近極限存在的必要與充分條件。本文證明，對於維數為 $ d $ 的局部環 $ R $，所有分次 $ \mathfrak{m}_R $-主要理想族的極限 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 存在，當且僅當 $ R $ 的 $ \mathfrak{m}_R $-adic 完備化環的冪零根的維數小於 $ d $。該結果將先前的研究推廣至任意域與解析無分歧局部環，並應用於體積-多重性公式與 epsilon 多重性極限。

ABSTRACT

We give simple necessary and sufficient conditions on projective schemes over a field k for asymptotic limits of the growth of all graded linear series of a fixed Kodaira-Iitaka dimension to exist. We also give necessary and sufficient conditions on a local ring R of dimension d for the limit \lim_{i ightarrow\infty}\frac{\ell_R(R/I_n)}{n^d} to exist whenever \{I_n\} is a graded family of m_R-primary ideals. We give a number of applications.

研究动机与目标

• 確立射影概形上分次線性系統多重性漸近極限存在的必要與充分條件，適用於任意域。
• 建立局部環 $ R $ 中分次 $ \mathfrak{m}_R $-主要理想族的極限 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 存在的條件。
• 將先前關於體積-多重性公式與 epsilon 多重性極限的研究，從具有完美殘留域的等特徵域推廣至一般解析無分歧局部環。
• 將分次理想族中多重性與體積的漸近公式一般化，包括可加性公式與體積解釋。

提出的方法

• 使用基域擴張與約化技術處理非完美基域，避免非分離擴張下非簡約概形的問題。
• 應用分次線性系統理論與 Kodaira-Iitaka 維數分析增長率與漸近極限。
• 運用 delta-不變量與 Okounkov 體的體積來解釋與計算漸近多重性。
• 利用商環支撐中最大維數素理想上的多重性可加性公式。
• 利用局部環完備化中冪零根的結構來特徵化極限存在的條件。
• 透過沿最小素理想分解，將問題約化至簡約、完備局部域的情形，並利用多重性的可加性。

实验结果

研究问题

• RQ1 在局部環 $ R $ 中，分次 $ \mathfrak{m}_R $-主要理想族的極限 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 在何種條件下存在？
• RQ2 對於定義在域 $ k $ 上的射影概形，其分次線性系統的 Kodaira-Iitaka 維數 $ \geq \alpha $ 時，漸近極限存在的必要與充分條件為何？
• RQ3 如何將分次理想族的體積-多重性公式推廣至等特徵域且具有完美殘留域之外的範圍？
• RQ4 是否可在不假設完美殘留域的條件下，在解析無分歧局部環中確立 epsilon 多重性極限的存在性？
• RQ5 局部環 $ R $ 的 $ \mathfrak{m}_R $-adic 完備化中冪零根在決定漸近多重性極限存在性中扮演何種角色？

主要发现

• 對於維數為 $ d $ 的局部環 $ R $，所有分次 $ \mathfrak{m}_R $-主要理想族的極限 $ \lim_{n\to\infty} \frac{\ell_R(R/I_n)}{n^d} $ 存在，當且僅當 $ R $ 的 $ \mathfrak{m}_R $-adic 完備化環的冪零根的維數小於 $ d $。
• 對於維數為 $ d $ 的諾特局部環 $ R $，當 $ R $ 是解析無分歧且其完備化中冪零根的維數小於 $ d $ 時，極限存在，此結果將先前結果推廣至一般解析無分歧環。
• 對於 $ s < d $，漸近多重性公式 $ \lim_{n\to\infty} \frac{e_s(\mathfrak{m}_R, R/I_n)}{n^{d-s}/(d-s)!} = \sum_{q\in A} \left( \lim_{k\to\infty} \frac{e((I_k)_q)}{k^{d-s}} \right) e(\mathfrak{m}_{R/q}) $ 成立，其中 $ A $ 是滿足對充分大 $ n $，$ (I_n)_q $ 為 $ q_q $-主要的理想之素理想集合。
• 體積-多重性公式已推廣至解析無分歧局部環，包括對賦值理想與一般 $ \mathfrak{m}_R $-主要族，推廣了 Kaveh-Khovanskii、Ein-Lazarsfeld-Smith 與 Mustata 的結果。
• 在解析無分歧環中，epsilon 多重性極限 $ \limsup \frac{\ell_R(R/I_n)}{n^d} $ 被證明存在且等於一個體積積分，推廣了 Ulrich 與 Validashti 的結果。
• 本文證明，若完備化中冪零根的維數為 $ d $，則存在一個分次 $ \mathfrak{m}_R $-主要理想族，使得極限不存在，從而確立了維數條件的緊緻性。