[論文レビュー] Finite determinacy of matrices over local rings.I. The linearization

Genrich Belitskii, Dmitry Kerner|arXiv (Cornell University)|Dec 31, 2012

Advanced Topics in Algebra参考文献 34被引用数 3

ひとこと要約

この論文は、局所環上の行列の有限決定性の一般枠組みを確立する。問題を接空間の解析に還元することで、変形空間と軌道接空間の商の annihilator に着目する。特筆すべきは、特異値理論における既存の有限決定性基準を拡張・強化する基礎的線形化ステップを提供している点である。

ABSTRACT

Consider matrices with entries in a local ring, Mat. Fix a group action G on Mat and a subset of allowed deformations, \Sigma. We develop the theory of finite determinacy for a broad class of scenarios (\Sigma,G). In this Part.I of the work we prove the linearization step, reducing the determinacy problem to the properties of the tangent spaces, (to the orbit and to the deformation space), and in particular to the annihilator of their quotient. This extends and strengthens numerous finite determinacy criteria of Singularity Theory.

研究の動機と目的

• 局所環上の行列に対する群作用の下での有限決定性の一般理論の構築。
• 行列のジェットが与えられた次数まで有限次で決定される条件の同定。
• 特異値理論における既存の有限決定性基準の統合と拡張。
• 非線形問題を接空間とその商の annihilator の研究に還元する線形化ステップの確立。

提案手法

• 著者たちは局所環上の行列空間に作用する群 G を考察し、許容可能な変形の集合 Σ を定義する。
• 行列の G による軌道の接空間と、変形空間 Σ の接空間を分析する。
• 重要なステップは、変形接空間を軌道接空間で割った商の annihilator を計算することである。
• この annihilator が有限決定性の次数を決定し、グローバル問題を局所的線形代数に還元する。
• このフレームワークは、(Σ, G) の広範なクラスに適用可能であり、特異値理論における既知の結果を一般化する。
• 線形化プロセスにより、有限決定性の問題がコhomology的および加群論的言語に移行可能となる。

実験結果

リサーチクエスチョン

• RQ1 局所環上の行列のジェットが与えられた次数まで有限次で決定される条件は何か？
• RQ2 有限決定性問題は、接空間およびその商の性質にどのように還元できるか？
• RQ3 接空間の商の annihilator は、有限決定性を決定する上で果たす役割は何か？
• RQ4 群作用 G と変形空間 Σ が共同して決定性の次数に与える影響は何か？
• RQ5 このフレームワークは、特異値理論における既存の有限決定性基準をどのように一般化・強化するか？

主な発見

• 行列のジェットが有限次で決定されるかどうかは、変形接空間を軌道接空間で割った商の annihilator に依存する。
• 線形化ステップにより、非線形な有限決定性問題が接空間上の線形代数的条件に還元される。
• このフレームワークは、広範な群作用と変形集合のクラスに適用可能であり、既知の結果を一般化する。
• 商空間の annihilator は、行列のジェットが同値関係のもとで決定されるのに十分な最小次数を符号化している。
• この方法により、接空間のデータに基づいて有限決定性の次数を体系的に計算できる。
• 特異値理論における既存の基準を統一するメカニズムを通じて、それらを拡張・強化する結果が得られた。