[論文レビュー] On plane algebroid curves

Valentina Barucci, Marco D’Anna+1 more|ArXiv.org|Feb 19, 2003

Commutative Algebra and Its Applications参考文献 6被引用数 4

ひとこと要約

本稿は、平面代数的曲線に関する古典的結果について、新たな証明を提供する。2つの曲線が形式的に同値であるための必要十分条件は、同じ多重度列または値の半群を共有することである。平面分岐の半群を特徴づけ、パラメトライゼーションから半群を導出し、アペリーの補題とフィルトレーション技法を用いて、平面分岐の半群環の付随する順序付き環が完全交差であることを証明する。

ABSTRACT

Two plane analytic branches are topologically equivalent if and only if they have the same multiplicity sequence. We show that having same semigroup is equivalent to having same multiplicity sequence, we calculate the semigroup from a parametrization, and we characterize semigroups for plane branches. These results are known, but the proofs are new. Furthermore we characterize multiplicity sequences of plane branches, and we prove that the associated graded ring, with respect to the values, of a plane branch is a complete intersection.

研究の動機と目的

• 平面代数的分岐の位相的および形式的同値性に関するよく知られた結果について、新たな自己完結的証明を提供すること。
• 平面分岐の可能な多重度列を特徴づけ、それが値の半群に等価であることを示すこと。
• 平面分岐の値半群をそのパラメトライゼーションから直接計算する方法を確立すること。
• 平面分岐の半群環の付随する順序付き環が完全交差であることを証明すること。
• 値半群、多重度列、および付随する順序付き環の代数的構造との関係を明確にすること。

提案手法

• アペリーの補題を用いて、平面分岐の値半群とそのブローアップとの関係を確立し、半群の再帰的計算を可能にする。
• ワイエルシュトラスの準備定理を適用して、局所環を1変数の形式的べき級数環上の加群として表現する。
• 加群としての環の基底を構成し、各基底要素の付値が基本変数の付値に関して自由加群を生成するようにする。
• 最小の生成元に関するアペリー集合を用いて、半群要素の唯一の表現を決定する。
• [12, 定理1] を適用して、半群環の関係が単項式関係によって生成されることを示し、完全交差構造を得る。
• 定義関係の初期形式を用いて付随する順序付き環を分析し、それが完全交差であることを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの平面代数的分岐が同じ値半群を持つのはいつか？ これはその多重度列とどのように関係するか？
• RQ2 平面分岐の値半群を、そのパラメトライゼーションから直接どのように計算できるか？
• RQ3 平面分岐の値半群として現れる半群は、どのような特徴を持つか？
• RQ4 平面分岐の半群環の付随する順序付き環は完全交差か？
• RQ5 平面分岐の半群環の定義関係の構造はどのようなものか？

主な発見

• 2つの平面代数的分岐が形式的に同値であるための必要十分条件は、同じ多重度列を持つことであり、これは同じ値半群を持つことと同値である。
• アペリーの補題による逐次近似法を用いて、パラメトライゼーションから値半群を直接計算できる。
• 平面分岐の半群は、そのアペリー集合要素が生成子に関して一意的な表現を持つという性質によって特徴づけられる。
• 平面分岐の半群環の付随する順序付き環は完全交差であり、定義関係は $Y_j^{d_{j-1}/d_j} - m_j$ の形の単項式によって生成され、ここで $m_j$ は低次の変数の単項式である。
• 半群の母関数は、定義関係の次数を含む有理関数として与えられ、明示的には $\frac{(1-t^{(d_0/d_1)\bar{\delta}_1})\cdots(1-t^{(d_{k-1}/d_k)\bar{\delta}_k})}{(1-t^{\bar{\delta}_0})\cdots(1-t^{\bar{\delta}_k})}$ である。
• 平面分岐の半群環は完全交差であり、その付随する順序付き環も完全交差である。これは関係の初期形式の正則列によって示される。