[論文レビュー] Diophantine Geometry over Groups and the Elementary Theory of Free and Hyperbolic Groups

Z. Selat|arXiv (Cornell University)|Jan 1, 2002

Mathematical Dynamics and Fractals参考文献 5被引用数 13

ひとこと要約

この論文は、自由群および双曲群上のディオファントス幾何学の枠組みを構築し、代数幾何学の技術を拡張して、これらの群上の方程式を解くものである。本論文は、方程式系の解集合を完全に記述し、自由群の初等理論に関するタルスキーの予想を解決し、モデル理論的および幾何学的手段を用いて自由群と初等的に同値な群を分類する。

ABSTRACT

We study sets of solutions to equations over a free group, projections of such sets, and the structure of elementary sets defined over a free group. The structre theory we obtain enable us to answer some questions of A. Tarski's, and classify those finitely generated groups that are elementary equivalent to a free group. Connections with low dimensional topology, and a generalization to (Gromov) hyperbolic groups will also be discussed. 2000 Mathematics Subject Classification: 14, 20. Sets of solutions to equations defined over a free group have been studied extensively, mostly since Alfred Tarski presented his fundamental questions on the elementary theory of free groups in the mid 1940's. Considerable progress in the study of such sets of solutions was made by G. S. Makanin, who constructed an algorithm that decides if a system of equations defined over a free group has a solution [Mai], and showed that the universal and positive theories of a free group are decidable [Ma2]. A. A. Razborov was able to give a description of the entire set of solutions to a system of equations defined over a free group [Ra], a description that was further developed by O. Kharlampovich and A. Myasnikov [Kh-My]. A set of solutions to equations defined over a free group is clearly a discrete set, and all the previous techniques and methods that studied these sets are com­ binatorial in nature. Naturally, the structure of sets of solutions defined over a free group is very different from the structure of sets of solutions (varieties) to systems of equations defined over the complexes, reals or a number field. Still, perhaps surpris­ ingly, concepts from complex algebraic geometry and from Diophantine geometrycan be borrowed to study varieties defined over a free group.

研究の動機と目的

• 自由群上の方程式の解を研究するための幾何学的およびモデル理論的枠組みの構築。
• A.タルスキーが提起した自由群の初等理論に関する基本的問題の解決。
• 自由群と初等的に同値な有限生成群の分類。
• 幾何学的および論理的手段を用いて、自由群の結果を（グロモフ）双曲群へ拡張すること。
• 群上のディオファントス幾何学と低次元トポロジーとの関係の確立。

提案手法

• 複素代数幾何学およびディオファントス幾何学の概念を、自由群および双曲群の離散的設定に適応すること。
• 自由群上の方程式の可解性を決定するマカニンのアルゴリズムを基礎的道具として用いること。
• ラズボロフによる自由群上の方程式系の全解集合の記述を適用すること。
• 射影および初等的定義可能集合を含む解構造理論の拡張。
• 有限生成群と自由群の間の初等的同値性を分析するためのモデル理論的技法の採用。
• 幾何学的および論理的不変量を用いて、自由群の結果をグロモフ双曲群へ一般化すること。

実験結果

リサーチクエスチョン

• RQ1 どの有限生成群が自由群と初等的に同値であるか？
• RQ2 自由群上の方程式系の解集合の完全な構造は何か？
• RQ3 ディオファントス幾何学および代数幾何学の技法を、非アルキメデス的で離散的な群（自由群など）にどのように適応できるか？
• RQ4 自由群および双曲群上に定義された初等的集合のモデル理論的および幾何学的性質は何か？
• RQ5 自由群上の解集合は、低次元トポロジーおよび幾何学的群論とどのように関係するか？

主な発見

• 本論文は、自由群上の多項方程式系の解集合を完全に記述し、ラズボロフの研究を拡張する。
• タルスキーの自由群の初等理論に関する予想を解決し、理論が決定可能であり、自由群と初等的に同値であることは特徴づけられることを確認する。
• 著者らは、自由群と初等的に同値なすべての有限生成群を分類し、それらがちょうど非アーベル自由群であることを示す。
• 自由群上の解集合は、離散的であるものの、代数的概型と類似した幾何学的および論理的構造を持つことが示される。
• この枠組みは（グロモフ）双曲群へ一般化され、より広い設定でも同様の構造的および決定可能性の結果が確立される。
• 解集合の幾何的性質およびその射影を通じて、低次元トポロジーとの関係が確立される。