[論文レビュー] Continuous solutions to algebraic forcing equations

Holger Brenner|ArXiv.org|Aug 24, 2006

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

ひとこと要約

本稿は、複素数体上の多項式環におけるイデアルの連続的閉包を調査し、軸閉包（axes closure）を代数的近似として導入する。単項イデアルの場合、連続的閉包と軸閉包が一致することを示し、生成する単項式の指数がその凸包の内部にある単項式によって特徴づけられることを示す。

ABSTRACT

We ask for a given system of polynomials f_1,...,f_n and f over the complex numbers when there exist continuous functions q_1,...,q_n such that q_1 f_1+...+q_n f_n = f. This condition defines the continuous closure of an ideal. We give inclusion criteria and exclusion results for this closure in terms of the algebraically defined axes closure. Conjecturally, continuous and axes closure are the same, and we prove this in the monomial case.

研究の動機と目的

• 多項式 f がイデアル I の連続的閉包に属する、すなわち f を生成元の連続関数係数による線形結合として書ける条件を特定すること。
• 連続的閉包の代数的近似としての軸閉包を導入し、軸のスキームによって定義されるテスト環を用いてその性質を研究すること。
• 連続的閉包と軸閉包が一致すると予想し、単項イデアルの場合にその等式を証明すること。
• 特に単項式の指数の凸包に関連する幾何的・代数的条件に基づいて、連続的閉包への包含条件を提供すること。

提案手法

• 連続的閉包 I^cont を、f ∈ R で、f = ∑ q_i f_i を満たす連続関数 q_i: ℂ^m → ℂ が存在するような f の集合として定義する。
• 1次元で正規で、有限型の ℂ-代数であり、特異点が1つで、特定の完成構造を持つスキーム（軸）への環準同型を用いて、軸閉包 I^ax を定義する。
• 連続解が軸環への準同型を通じて持ち上がることを示し、I^cont ⊆ I^ax を確立する。
• 次数条件と同次化技術を用いる：同次イデアルの場合、deg(f) > deg(f_i) がすべての i に対して成り立つならば、f ∈ I^cont である。
• z_j ↦ z_j^{δ_j} による変数変換を用いて、すべての生成元が同じ次数を持つ場合に還元し、定理1.3の適用を可能にする。
• f^k ∈ I^d かつ k < d ならば f ∈ I^cont であるという事実を用い、連続的閉包への包含のための基準を提供する。

実験結果

リサーチクエスチョン

• RQ1 多項式 f ∈ ℂ[z₁,…,zₘ] がイデアル I = (f₁,…,fₙ) の連続的閉包に属するのはいつか？
• RQ2 連続的閉包は代数的に記述可能か？ もしそうなら、良い代数的近似とは何か？
• RQ3 すべてのイデアルに対して、連続的閉包と軸閉包は一致するか？ また、単項イデアルの場合にその成立は確認できるか？
• RQ4 連続的閉包への属する条件として、単項式の指数に必要な正確な幾何的条件は何か？
• RQ5 特に生成元がグレブナー基底をなす場合に、連続的閉包への属するための有効な基準は与えられるか？

主な発見

• 単項イデアル I = (z^γ, γ ∈ Γ) に対して、連続的閉包 I^cont は、ℝ₊^m 内の Γ の凸包の内部にある指数 τ を持つすべての単項式 z^τ からなる。
• 単項イデアルの軸閉包 I^ax は I^cont と同一であり、Γ の凸包の内部にある指数を持つすべての単項式を生成する単項イデアルに等しい。
• 一般に I^cont ⊆ I^ax が成り立つことから、軸閉包が連続的閉包に対する強い代数的上界を提供することが示された。
• 指数 τ が凸包の境界上にある（τ ∈ ∂Γ だが τ ∉ Γ°）単項式 z^τ は、z^τ ∈ I でない限り I^ax には属さないため、I^cont および I^ax の両方から除外される。
• 自動同型 z_j ↦ z_j^{δ_j} を用いた等次数生成子への還元により、定理1.3の適用が可能となり、結果が得られた。
• f^k ∈ I^d かつある k < d に対して成り立つならば f ∈ I^cont であることが示され、連続的閉包への包含のための一般的十分条件が得られた。