[論文レビュー] Equations of Almost Complete Intersections

Jooyoun Hong, Aron Simis+1 more|ArXiv.org|Jun 8, 2009

Commutative Algebra and Its Applications参考文献 8被引用数 7

ひとこと要約

本稿では、多項式環内のほとんど完全交差に対して、4つの主要なヒルベルト関数とシンジーギー的技法を用いて、リース代数の定義方程式を体系的に決定する手法を開発する。消去次数と有理写像の双有理性に関する明示的公式を確立し、リース代数が次数1、2、および消去次数で生成されることを証明。特に重要な場合において、結果的型の明示的方程式が得られる。

ABSTRACT

In this paper we examine the role of four Hilbert functions in the determination of the defining relations of the Rees algebra of almost complete intersections of finite colength. Because three of the corresponding modules are Artinian, some of these relationships are very effective, opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones assembled by resultants.

研究の動機と目的

• 多項式環内のほとんど完全交差のリース代数の構造を理解すること、特に有理写像と消去論の文脈において。
• 理想とそのシンジーギーに関連する4つのヒルベルト関数を用いて、リース代数の定義イデアルを同定すること。
• 関連する有理写像が双有理的であるための条件と、その消去次数を特定すること。
• シンジーギー的原理と結果式を用いた効果的な計算手法を構築し、高次次数における方程式を導出すること。
• 最大余次元を超えて、特にクレモナ変換の文脈において、部分最大高さのイデアルを含む理論を拡張すること。

提案手法

• リース代数の構造とその定義イデアル $L$ を分析するため、4つのヒルベルト関数を用い、モジュール $L_i$ 及びその最小生成元に焦点を当てる。
• 理想生成元の線形および二次シンジーギーから、双次数 $(1,2)$ の方程式をシンジーギー的原理を用いて生成する。
• 消去次数 $\mathrm{edeg}(I)$ を、$L_i \not\subseteq \mathfrak{m}S$ となる最小の次数 $i$ として定義し、消去方程式の次数を決定する。
• 結果式と行列構成（例：$\det \mathbf{B}$）を用いて、$L_{\mathrm{edeg}(I)}$ を生成する消去方程式 $\mathbf{p}$ を生成する。
• 標準的原理が失敗する場合に備え、$L_2 / S_1 L_1$ におけるコセット代表元と高次シンジーギー・モジュールを用いた2段階のシンジーギー的プロセスを導入し、消去方程式を構成する。
• 二次生成子を有する具体的な例に理論を適用し、$\nu(L_1)$, $\nu(L_2)$, $\nu(L_i)$ を計算することで、$L$ の構造と消去方程式の次数を特定する。

実験結果

リサーチクエスチョン

• RQ1 ほとんど完全交差 $I = (J, a)$ のリース代数の定義イデアル $L$ の構造は、特にその次数付き成分 $L_i$ に関してどのように特定できるか？
• RQ2 ヒルベルト関数とシンジーギー情報から、消去次数 $\mathrm{edeg}(I)$ をどのように計算できるか？
• RQ3 有理写像が双有理的であるための条件は何か？ そして、その条件を代数的にどのように検出できるか？
• RQ4 標準的シンジーギー的原理が消去方程式を生成できない場合、高次シンジーギー段階を用いてどのように元に戻せるか？
• RQ5 ほとんど完全交差の文脈において、結果式と行列式のデターミナントを用いて、消去方程式の明示的公式を導出できるか？

主な発見

• ほとんど完全交差 $I = (J, a)$ で $J = (a_1, \dots, a_d)$ が次数 $n$ の形式の正則列である場合、リース代数 $R[It]$ は次数1、2、および $\mathrm{edeg}(I)$ で生成され、$L = (L_1, L_2, L_{\mathrm{edeg}(I)})$ である。
• 例5.5では、$\mathrm{edeg}(I) = 9$, $\nu(L_1) = 15$, $\nu(L_2) = 4$, かつ $L_9 = k\mathbf{p}$ で $\deg(\mathbf{p}) = 8$ であるため、写像は双有理的である。
• 例5.6では、$\mathrm{edeg}(I) = 4$, $\nu(L_1) = 15$, $\nu(L_2) = 4$, かつ $L_4 = k\mathbf{p}$ で $\deg(\mathbf{p}) = 4$ であるため、写像は双有理的でない。
• 例5.7では、$\mathrm{edeg}(I) = 8$, $\nu(L_1) = 9$, $\nu(L_2) = 1$, $\nu(L_3) = 2$, かつ $L_8 = k\mathbf{p}$ で $\deg(\mathbf{p}) = 8$ であるため、2段階のシンジーギー構成により双有理性が確認される。
• 消去方程式 $\mathbf{p}$ は、シンジーギー情報から構築された行列 $\mathbf{B}$ のデターミナント $\det \mathbf{B}$ として構成され、$\deg(\mathbf{p}) = \mathrm{edeg}(I)$ である。
• $I_1(\varphi) = \mathfrak{m}$（1-バランス）のとき、標準的シンジーギー的原理は失敗し、$L_3 / S_1 L_2$ および最終的に $\mathbf{p}$ を構成するために高次シンジーギー段階を必要とする。