[论文解读] A bound for Castelnuovo-Mumford regularity by double point divisors

Sijong Kwak, Jinhyung Park|arXiv (Cornell University)|Jun 28, 2014

Algebraic Geometry and Number Theory参考文献 16被引用 9

一句话总结

本文通過內投影與外投影的雙點除子，為光滑射影簇的 Castelnuovo-Mumford 正則性建立了緊確界。證明了對於非退化的光滑簇 X ⊆ Pr，其度數為 d、余維數為 e 時，有 reg(O_X) ≤ d − e；分類了極值與次極值情形，並透過消去定理與廣義 Mumford 型論證方法於雙點除子上，改善了已知界。

ABSTRACT

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $ ext{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $ ext{reg} (\mathcal{O}_X)$ is not even bounded above by any polynomial function of $d$ when $X$ is not smooth. For a normality bound in the smooth case, we establish that $ ext{reg}(X) \leq n(d-2)+1$, which improves previous results obtained by Mumford, Bertram-Ein-Lazarsfeld, and Noma. Finally, by generalizing Mumford's method on double point divisors, we prove that $ ext{reg}(X) \leq d-1+m$, where $m$ is an invariant arising from double point divisors associated to outer general projections. Using double point divisors associated to inner projection, we also obtain a slightly better bound for $ ext{reg}(X)$ under suitable assumptions.

研究动机与目标

• 透過證明 reg(O_X) ≤ d − e，解決 Eisenbud-Goto 正則性猜想，適用於光滑射影簇。
• 分類正則性界中等號成立的極值與次極值情形。
• 為光滑簇建立新界 reg(X) ≤ n(d − 2) + 1，優於 Mumford、Bertram-Ein-Lazarsfeld 與 Noma 的先前結果。
• 將 Mumford 對雙點除子的方法推廣，利用內外投影的不變量，導出有效正則性界。
• 提供一個框架，將正則性猜想簡化為光滑情形下的正則性問題。

提出的方法

• 利用 δ-虧格 ∆(X, H) 導出有效消去界：若 k ≥ ∆(X, H) + 1，則對所有 i > 0，有 H^i(X, O_X((k−i)H)) = 0。
• 分別從外投影與內投影定義雙點除子 D_out 與 D_in，以構造關鍵線叢。
• 證明在適當假設下，D_out = −K_X + (d − n − e − 1)H 與 D_in = −K_X + (d − n − e − 1)H 為半ample。
• 利用雙有理幾何與附著公式，證明對所有 ℓ ≤ 0，限制映射 H^0(Pr, I_D|Pr(d−e−2+ℓ)) → H^0(X, I_D|X(d−e−2+ℓ)) 的滿射性。
• 引入由基點簇與除子的 nef 性所導出的不變量 m 與 m′，以乘法映射控制正則性界。
• 應用推廣的 Mumford 引理：若某些乘法映射為滿射，則 X 為 (d−e−2+k)-正則，進而導出最終正則性界。

实验结果

研究问题

• RQ1 對於光滑射影簇，reg(O_X) 的緊確上界在度數 d 與余維數 e 下為何？
• RQ2 哪些光滑簇達成最大正則性 reg(O_X) = d − e？其幾何特徵為何？
• RQ3 正則性猜想能否簡化為光滑情形下的正則性問題？若可，如何實現？
• RQ4 內外投影所產生的雙點除子如何貢獻於正則性的有效界？
• RQ5 δ-虧格 ∆(X, H) 在控制結構層正則性中扮演何種角色？

主要发现

• 本文證明，對於任意非退化的光滑射影簇 X ⊆ Pr，其度數為 d、余維數為 e，均有 reg(O_X) ≤ d − e。
• 等式 reg(O_X) = d − e 成立當且僅當 X 為超曲面，或線性正則且滿足 d = e+1 或 d = e+2。
• 次極值情形 reg(O_X) = d − e − 1 恰好發生於以下三種情況：X 為極值情形下簇的同構投影，或線性正則且滿足 d = e+3 與 e ≥ 2，或類型為 (2,3) 的完全交。
• 本文建立光滑簇的正則性界 reg(X) ≤ n(d − 2) + 1，優於 Mumford、Bertram-Ein-Lazarsfeld 與 Noma 的先前結果。
• 透過內投影，本文導出一改良界 reg(X) ≤ d − 1 + m′，其中 m′ 為雙點除子 D_in 所導出的不變量，於基點自由與滿射性假設下成立。
• 主要結果為：對所有 ℓ ≥ m′，有 reg(X) ≤ d − e − 2 + ℓ；結合定理 B 後，可得完整正則性界，從而證明定理 E。