[论文解读] Seshadri constants via Okounkov functions and the Segre-Harbourne-Gimigliano-Hirschowitz Conjecture

Marcin Dumnicki, Alex Küronya+2 more|arXiv (Cornell University)|Mar 31, 2013

Geometry and complex manifolds参考文献 22被引用 5

一句话总结

本文通過Okounkov體建立了SHGH猜想與射影平面 blown-up 後一階Seshadri常數有理性的新聯繫。若SHGH猜想對 s ≥ 9 個點成立，則或存在某個ample線叢在非常一般點上具有無理Seshadri常數，或SHGH猜想對 s+1 個點失敗——這為透過Newton–Okounkov體的不變量與序函數測試猜想提供了新途徑。

ABSTRACT

In this note we relate the SHGH Conjecture to the rationality of one-point Seshadri constants on blow ups of the projective plane, and explain how rationality of Seshadri constants can be tested with the help of functions on Newton--Okounkov bodies.

研究动机与目标

• 探討射影平面在 s 個一般點上 blown-up 後，一階Seshadri常數有理性與SHGH猜想之間的關係。
• 探討如何利用Okounkov體上的序函數來測試Seshadri常數有理性。
• 透過連結至Seshadri不變量，為Nagata型猜想的有效性提供新證據。
• 透過對稱曲線構造，釐清點的一般位置在Seshadri常數計算中的角色。

提出的方法

• 使用與曲面上可接受旗相關的Newton–Okounkov體理論來研究Seshadri常數。
• 應用Okounkov體上的序函數 φordP，透過消失階數的上確界來表徵Seshadri常數。
• 透過一般點的排列對稱曲線平均，構造具有受控重數的除子。
• 利用SHGH猜想中線性系統 dH − ∑miEi 的非特殊性條件來分析Seshadri常數。
• 使用幾何論證與Zariski分解技術，計算特定除子的Okounkov體。
• 分析Blow-up下Okounkov函數的行為，並透過不等式與極端情況將其與Seshadri不變量關聯。

实验结果

研究问题

• RQ1 在 s 個一般點上對射影平面進行 blown-up 時，一階Seshadri常數的有理性是否意味著對 s+1 個點的SHGH猜想成立？
• RQ2 Okounkov體及其相關序函數能否檢測到無理Seshadri常數？
• RQ3 點配置（一般位置）對Seshadri常數有理性的影響為何？
• RQ4 透過Newton–Okounkov體的視角，Seshadri常數與Nagata型猜想有何關聯？
• RQ5 在何種條件下，SHGH猜想能推出Seshadri常數的有理性？

主要发现

• 若SHGH猜想對 s ≥ 9 個一般點成立，則或存在某個ample線叢在非常一般點上具有無理Seshadri常數，或SHGH猜想對 s+1 個點失敗。
• 最大Seshadri常數 ε(L,1) 的有理性等價於Okounkov體 ∆Y•(L) 上序函數 φordP 最大值的有理性。
• 在 9 個一般點上對射影平面進行 blown-up 後，對除子 22H −7(E₁+⋯+E₉)，Okounkov函數 ϕν(a,b) 在特定區域 Ω 上被 4/15 < a+b 上界控制，顯示出嚴格不等式，與有理性矛盾。
• 函數 f(δ) = (2√(s+1)−s)√(1−sδ²) + s(1−√(s+1))δ + s−2 在 1/√(s+1) < δ < 1/√s 時非負，當 s ≥ 9 時，此式用於推導證明中的主要矛盾。
• 透過排列平均構造的對稱曲線確保了在一般點 P 處的重數不變，從而實現對稱配置間Seshadri常數計算的傳遞。
• 在點 P₁ 不在旗直線上的情況下，對 Q-除子 Dλ = H − λE₁ 進行 blown-up 時，Okounkov體透過與半空間相交而改變，但相關的Okounkov函數 ϕν(a,b) = a+b 保持不變，顯示其在某些blow-up下具有不變性。