[论文解读] Plane Cremona maps: saturation and regularity of the base ideal

Seyed Hamid Hassanzadeh, Aron Simis|arXiv (Cornell University)|Sep 13, 2011

Commutative Algebra and Its Applications被引用 4

一句话总结

本文通過其基理想 $I$、其飽和 $I^\text{sat}$ 及相關理想（如整閉包與 $\mu$-fat 理想）的同調與理想理論性質，研究平面 Cremona 映射。研究聚焦於由三個同次齊次多項式生成的 codimension 2 理想，建立 $R/I$ 的正則性與 Betti 數的緊緻界，證明度數 $\leq 4$ 的 Cremona 映射恆為飽和理想，並提出一個基於 $R/J^2$ 的 Cohen–Macaulay 性質的代數判別法。主要貢獻在於透過其同調類型對平面 Cremona 映射進行同調分類。

ABSTRACT

One studies plane Cremona maps by focusing on the ideal theoretic and homological properties of its homogeneous base ideal ("indeterminacy locus"). The {\em leitmotiv} driving a good deal of the work is the relation between the base ideal and its saturation. As a preliminary one deals with the homological features of arbitrary codimension 2 homogeneous ideals in a polynomial ring in three variables over a field which are generated by three forms of the same degree. The results become sharp when the saturation is not generated in low degrees, a condition to be given a precise meaning. An implicit goal, illustrated in low degrees, is a homological classification of plane Cremona maps according to the respective homaloidal types. An additional piece of this work relates the base ideal of a rational map to a few additional homogeneous "companion" ideals, such as the integral closure, the $\boldsymbolμ$-fat ideal and a seemingly novel ideal defined in terms of valuations.

研究动机与目标

• 理解平面 Cremona 映射的基理想之同調與理想理論結構，特別是其與飽和及整閉包的關係。
• 透過正則性與 Betti 數等同調不變量，根據其同調類型對平面 Cremona 映射進行分類。
• 引入並研究新的齊次理想（如 $\mu$-fat 理想與基於賦值的理想），這些理想介於基理想與其飽和之間。
• 提出一個基於 $R/J^2$ 的 Cohen–Macaulay 性質的代數準則，以辨識 Cremona 映射。
• 釐清基理想之飽和與其整閉包何時一致，特別是在 $\mu$-fat 理想的脈絡下。

提出的方法

• 分析 $k[x,y,z]$ 中由三個同次齊次多項式（次數 $d \geq 2$）生成的 codimension 2 齊次理想，運用局部上同調與譜序列推導正則性與 Betti 數的界。
• 假設 $I^{\text{sat}}/I$ 的初始次數至少為 $d+1$，以推導非飽和理想之 $d$ 的緊緻下界與飽和指數的上界。
• 引入 $\mu$-fat 理想，作為 $k[x,y,z]$ 中的一個齊次理想，其為經典的 fat 理想之推廣，可包含無窮遠基點。
• 利用 Rees 代數與扭結矩陣分析 $J^2$ 的結構，特別是扭結的次數，以推導 Cremona 映射的判別準則。
• 應用 [9, Proposition 3.9]，證明若 $J^2$ 在特定次數存在線性扭結，則該有理映射為 Cremona 映射。
• 透過解析構造與解析維數的結構，隱含使用 Hudson 準則以測試雙有理性。

实验结果

研究问题

• RQ1 在何種條件下，平面 Cremona 映射的基理想為飽和理想？其與 $R/I$ 的 Cohen–Macaulay 性質有何關聯？
• RQ2 基理想的飽和與其整閉包何時一致？$\mu$-fat 理想在此過程中的角色為何？
• RQ3 $R/J^2$ 的 Cohen–Macaulay 性質是否足以作為有理映射為 Cremona 映射的充分條件？此問題如 Proposition 2.17 所示。
• RQ4 $J$ 的何種同調性質可導致在某個 $m \geq 2$ 時，$J^m$ 中存在唯一線性扭結？此性質如何影響雙有理性？
• RQ5 $R/I$ 的 Betti 數與正則性如何依賴於次數 $d$ 與 $I^{\text{sat}}/I$ 的初始次數？

主要发现

• 當 $d \leq 7$ 時，若 $I$ 為由三個同次 $d$ 多項式生成的 codimension 2 理想，且 $\text{indeg}(I^{\text{sat}}/I) \geq d+1$，則 $R/I$ 的最小自由解析的 Betti 數完全由定理 1.5 與命題 1.6 確定。
• 度數 $\leq 4$ 的 Cremona 映射恆為飽和理想，此結果透過同調方法獲得簡潔證明。
• 若 $\text{rank}(\varphi^{[2]}) = 5$ 且 $R/J^2$ 為 Cohen–Macaulay，則 $J^2$ 有次數為 $1,1,2,2,2$ 的扭結，此為證明命題 2.17 的關鍵步驟。
• $J^2$ 的扭結矩陣 $\varphi^{[2]}$ 的最大秩為 5，其行列式為 $\pm\gamma_1(\beta_1\gamma_2 - \beta_2\gamma_1)^2$ 與 $\pm\gamma_2(\beta_1\gamma_2 - \beta_2\gamma_1)^2$，確保扭結矩陣具有滿秩。
• $\mathcal{R}_R(J)$ 的 Rees 代數中存在一個在雙次數 $(1,2)$ 生成的 codimension 2 子理想，此為應用 [9, Proposition 3.9] 確認雙有理性的關鍵。
• 存在非飽和理想 $J$，即使 $J$ 是根理想且僅在次數 $\leq 2$ 時定義 Cremona 映射，但 $R/J^2$ 仍非 Cohen–Macaulay，顯示 $R/J^2$ 的 Cohen–Macaulay 條件極其微妙且非平凡。