[論文レビュー] On Systems of Equations over Free Products of Groups

Montserrat Casals‐Ruiz, Ilya Kazachkov|ArXiv.org|Mar 12, 2009

Geometric and Algebraic Topology参考文献 21被引用数 7

ひとこと要約

本稿は、群の結合的ノイター自由積 G = G₁ * G₂ における方程式系の Makanin-Razborov 図の類似物を構築し、有限生成群 H および G に対して解集合 Hom(H, G) の有限木ベースのパrametrization を提供する。主な結果は、G 上の任意の代数的集合が、NTQ システム解によって定義される代数的集合の有限個の像に分解可能であることであり、G の普遍 Horn 論理が決定可能である場合には、構成が有効である。

ABSTRACT

Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H, G)$ of all homomorphisms from a finitely generated group $H$ to $G$. Furthermore, we show that every algebraic set over $G$ can be decomposed as a union of finitely many images of algebraic sets of NTQ systems. If the universal Horn theory of $G$ (the theory of quasi-identities) is decidable, then our constructions are effective.

研究の動機と目的

• 方程式的にノイター自由積 G = G₁ * G₂ における方程式系の解集合を記述すること。
• 自由群における Makanin-Razborov 技法を自由積に一般化し、有限生成 H に対する Hom(H, G) のパrametrization を拡張すること。
• G 上のすべての代数的集合が、NTQ システムによって定義される代数的集合の有限個の像の和集合として分解可能であることを示すこと。
• 特に G の普遍 Horn 論理が決定可能である場合に、パrametrization が有効である条件を確立すること。

提案手法

• 内部頂点が一般化された方程式の座標群によってラベル付けされ、葉が G * F(X) * G₁ᴿ⁽ˢ¹⁾ * G₂ᴿ⁽ˢ²⁾ の形の群によってラベル付けされた有限根付き木を構築する。
• 各パスが解のタイプに対応するように、H から G への準同型を木構造で符号化する。
• 各パスに沿った座標群の整合性を保つために、canonical な全射 π(v, w) を適用する。
• 各頂点に対して、NTQ システムを用いて G 上の座標群を定義し、特に二次方程式や正則周期的構造を含む場合を扱う。
• 解を中間群を通じて因数分解するための準同型 q および q⟨P,R⟩ を導入し、すべての解がカバーされることを保証する。
• 一般化された方程式における周期的正則構造によって誘導される同型を用いて、対称性を持つ解の族をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 自由積 G = G₁ * G₂ における方程式系の解集合は、自由群における Makanin-Razborov 図に類似した方法でパrametrized できるか？
• RQ2 有限生成 H に対する Hom(H, G) の構造は、自由積における因子群 G₁ および G₂ とどのように関係するか？
• RQ3 G 上のすべての代数的集合は、NTQ システムによって定義される代数的集合の有限個の像の和集合に分解可能か？
• RQ4 パrametrization が有効である条件は何か、特に G の普遍 Horn 論理が決定可能である場合にどうか？

主な発見

• 有限生成群 H および方程式的にノイター自由積 G = G₁ * G₂ に対して、Hom(H, G) は有限木ベースのパrametrization を持つ。
• 木の各葉は、Gᵢᴿ⁽ˢⁱ⁾ が Gᵢ 上の座標群である形の G * F(X) * G₁ᴿ⁽ˢ¹⁾ * G₂ᴿ⁽ˢ²⁾ の形の群に対応する。
• すべての解の族は、因子の座標群上の NTQ システムである座標群を通じて因数分解される。
• G の普遍 Horn 論理が決定可能であれば、構成は有効であり、解のパrametrization をアルゴリズム的に生成可能である。
• 構造的パスに沿った canonical 準同型によって、すべての解がカバーされ、二次方程式や周期的構造を含む場合も含む。
• パrametrization は、正則周期的構造を含む一般化された方程式のさまざまな構造的タイプの解を統合的に扱う。