[論文レビュー] 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 イデアルなどの関連イデアルとの関係を含め、平面クレモナ写像のホモロジー的およびイデアル的性質に注目して調査する。2次元のイデアルで同じ次数 $d \geq 2$ の3つの形式によって生成されるものについて、正則性とベッチ数の鋭い上限を確立し、次数 $\leq 4$ のクレモナ写像が常に飽和的であることを証明するとともに、$R/J^2$ のコhen–マカウレイ性に基づく代数的基準を提示する。主な貢献は、そのホモロジー的型を用いた平面クレモナ写像の分類である。

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.

研究の動機と目的

• 平面クレモナ写像の基底イデアルのホモロジー的およびイデアル的構造を理解すること、特にその飽和および整閉包との関係に注目すること。
• 正則性やベッチ数といったホモロジー不変量を用いて、ホモロジー的型に基づき平面クレモナ写像を分類すること。
• $\mu$-fat イデアルや値の基づくイデアルといった、基底イデアルとその飽和の間にある新しい斉次イデアルを導入し、それらを研究すること。
• 基底イデアルの平方 $J^2$ のコhen–マカウレイ性に基づく代数的基準を提示し、クレモナ写像を同定すること。
• 特に $\mu$-fat イデアルの文脈において、基底イデアルの飽和が整閉包と一致する条件を明確にすること。

提案手法

• 同じ次数 $d \geq 2$ の3つの形式によって生成される $k[x,y,z]$ 内のコドメイン2の斉次イデアルを、局所コホホロジーとスペクトル系列を用いて分析し、正則性とベッチ数の上限を導出する。
• $I^{\text{sat}}/I$ の初期次数が $d+1$ 以上であるという仮定を用いて、非飽和的イデアルのための $d$ の鋭い下限と、飽和指数の上限を得る。
• $\mu$-fat イデアルを、無限遠の基底点を含む古典的「太いイデアル」の一般化として、$k[x,y,z]$ 内の斉次イデアルとして導入する。
• リース代数とシンジーギー行列を用いて $J^2$ の構造を分析し、特にシンジーギーの次数を特定することでクレモナ写像の基準を導出する。
• [9, 系10.3] を用いて、$J^2$ に特定の次数の線形シンジーギーが存在するならば、有理写像がクレモナ写像であることを示す。
• 解釈的分解と解析的スプレッドの構造を通じて、ヒューズの基準を暗黙的に適用し、有理写像の双有理性をテストする。

実験結果

リサーチクエスチョン

• RQ1 平面クレモナ写像の基底イデアルがいつ飽和的であるか、そして $R/I$ のコhen–マカウレイ性とどう関係するか。
• RQ2 基底イデアルの飽和がいつ整閉包と一致するか、そして $\mu$-fat イデアルがその過程で果たす役割は何か。
• RQ3 命題2.17が示唆するように、$R/J^2$ のコhen–マカウレイ性が有理写像がクレモナ写像であるための十分条件となるか。
• RQ4 $J$ のホモロジー的性質は、ある $m \geq 2$ に対して $J^m$ に唯一の線形シンジーギーが存在するための条件をどのように決定するか、そしてその性質が双有理性に与える影響は何か。
• RQ5 ベッチ数と正則性は、次数 $d$ と $I^{\text{sat}}/I$ の初期次数にどのように依存するか。

主な発見

• 定理1.5および命題1.6により、$d \leq 7$ の場合、$I$ が3つの次数 $d$ の形式によって生成されるコドメイン2のイデアルであり、$\text{indeg}(I^{\text{sat}}/I) \geq d+1$ である限り、$R/I$ のベッチ数は完全に決定される。
• 次数 $\leq 4$ のクレモナ写像は、常に飽和的であり、ホモロジー的手段によるこの事実の短い証明が得られる。
• $\text{rank}(\varphi^{[2]}) = 5$ かつ $R/J^2$ がコhen–マカウレイである場合、$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)$ の中には、バイデグリー $(1,2)$ で生成されるコドメイン2の部分イデアルが存在し、これは[9, 系3.9] を適用して双有理性を確認する上で重要である。
• $J$ が根のイデアルであり、$J^2$ がコhen–マカウレイでないにもかかわらず、$J$ が次数 $\leq 2$ のみでクレモナ写像を定義するような非飽和的イデアルが存在する。これにより、$R/J^2$ のコhen–マカウレイ性が微妙で非自明な条件であることが明確になる。