[論文レビュー] Makanin-Razborov Diagrams over Free Products

Éric Jaligot, Zlil Sela|ArXiv.org|Feb 14, 2009

Geometric and Algebraic Topology参考文献 10被引用数 3

ひとこと要約

この論文は、自由積上の有限生成群への拡張として、Makanin-Razborov 図式枠組みを拡張し、楕円的要素を含む自由積上の極限群を導入し、すべての自由積への準同型を符号化する非標準的な図式を構成する。主な貢献は、適切な準同型の下で非自明な楕円的要素を保存する真のエピモルフィズムに関する下降鎖条件（d.c.c.）と解体構成を用いて、任意の自由積へのすべての準同型を一様に記述する図式を構築したことであるが、有限生成群に対して最大商の有限性は未解決のままである。

ABSTRACT

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin-Razborov diagram over free products with a finitely presented group. This MR diagram encodes all the quotients of a given finitely presented group that are free products, all its homomorphisms into free products, and equivalently all the solutions to a given system of equations over a free product.

研究の動機と目的

• 自由群から任意の自由積への Makanin-Razborov 図式枠組みの一般化を図ること。
• 自由積上の極限群を定義し、研究すること。ここに新たに導入される構造は、楕円的要素の共役類である。
• 有限生成群のすべての自由積商を符号化する図式を構築すること。
• 非自明な楕円的要素を保存する真のエピモルフィズムに関する下降鎖条件（d.c.c.）を確立すること。
• 標準的図式の構成可能性を検討し、有限生成群に関する未解決問題を特定すること。

提案手法

• 自由積への収束する準同型列の安定核による、有限生成群の商として自由積上の極限群を定義する。
• 極限群に、自由積の因子の共轭に写像する楕円的要素の共役類の標準的集合を導入する。
• 自由積上の各極限群に対して、バニラアーベル的 JSJ 分解を構成する。
• 非自明な楕円的要素を単位元に写さない真のエピモルフィズムに関する下降鎖条件を用いて、有限解体を構築する。
• 各極限群に解体を関連付け、自由積上の均一な Makanin-Razborov 図式の構成を可能にする。
• 自由積への準同型の部分順序を定義し、極大性の検討および標準的図式の構成可能性の探求を行う。

実験結果

リサーチクエスチョン

• RQ1 Makanin-Razborov 図式枠組みは、任意の自由積上の有限生成群へ拡張可能か？
• RQ2 自由積上の極限群はどのように定義すべきか。また、自由積への準同型を捉えるために、どのような追加構造（例：楕円的要素）が必要か？
• RQ3 非自明な楕円的要素を保存する真のエピモルフィズムの下で、自由積上の極限群に対して下落鎖条件（d.c.c.）が成り立つか？
• RQ4 最大の準同型を用いて、有限生成群の自由積上への標準的 Makanin-Razborov 図式を構成可能か？
• RQ5 有限生成群に対して、自由積上での最大極限商の同値類は有限個か？

主な発見

• 任意の自由積へのすべての準同型を符号化する、自由積上の有限生成群に対する均一な Makanin-Razborov 図式が構成された。
• 解体構成における非一意的な有限被覆に依存するため、図式は標準的でない。
• 非自明な楕円的要素を保存する真のエピモルフィズムの下で、自由積上の極限群に対して下落鎖条件（d.c.c.）が確立された。
• 自由積上の各極限群は、標準的なバニラアーベル的 JSJ 分解を有する。
• 有限生成群に対して、自由積上での最大極限商が有限個存在することは示されたが、有限生成群における有限性は未解決のままである。
• 自然な予想が提示された：自由積への準同型の増大列は安定する。この予想が成り立てば、標準的図式の構成が可能になる。