[論文レビュー] Diophantine Geometry over Groups IX: Envelopes and Imaginaries

Zlil Sela|arXiv (Cornell University)|Sep 3, 2009

Geometric and Algebraic Topology参考文献 9被引用数 14

ひとこと要約

この論文は、自由群およびねじれなし双曲的群における像の幾何的除去を、共役、巡回部分群の左/右陪集合、および二重陪集合のための種の有界パラメータへの一様な定義可能マルチ関数を導入することで確立する。このマルチ関数により、これらの三つの族が唯一の本質的像であることが証明される。この手法は、ディオファントス的およびデュオ包と呼ばれる包と、ふるい手順および一様化極限群を用いて、同値類を分離しつつ係数を含まない形を保つ。

ABSTRACT

This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups.

研究の動機と目的

• 自由群およびねじれなし双曲的群上でのすべての定義可能同値関係を分類すること。
• どの定義可能同値関係が非自明な像（定義可能関数による実現が不可能なもの）であるかを特定すること。
• 共役、巡回部分群の左/右陪集合、および巡回部分群の二重陪集合が、唯一の本質的像であることを示すこと。
• これらの三つの基本的族のための種を追加することで、像の幾何的除去を達成すること。
• 非可換かつ非初等的、ねじれなし双曲的群に対しても、係数を含まない幾何的除去を拡張すること。

提案手法

• 先行研究のふるい手順を用いて、定義可能集合のディオファントス的およびデュオ包を構築する。
• 包内の点の組合せ論的一般性を用いて、定義可能同値関係を分析する。
• 同値類をパラメータ化するために、一様化極限群およびその縮退版であるコラプス一様化極限群を導入する。
• 各R_iが三つの基本的像の一つに対応するG^mからG^s × R_1 × … × R_tへの定義可能マルチ関数を定義する。
• 同じ同値類に属する要素が同じ像を持つ（クラス関数であること）かつ、異なる同値類を分離できることを保証する。
• 一般化されたふるいおよび分解技術を用いて、元の同値関係が係数を含まない場合に、マルチ関数が係数を含まないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 自由群およびねじれなし双曲的群において、共役、巡回部分群の左/右陪集合、および二重陪集合は非自明な像であるか？
• RQ2 これらの群上で定義可能なすべての同値関係を、三つの基本的像族のみを用いて幾何的に除去できるか？
• RQ3 係数を含まない同値関係に適用した場合、幾何的除去手順は係数を含まないか？
• RQ4 ふるい手順および一様化極限群の構成を自由群からねじれなし双曲的群へ一般化できるか？
• RQ5 一様化極限群から得られるパラメータは、有界で、同値類を分離可能かつ定義可能であるマルチ関数をもたらすか？

主な発見

• 共役、巡回部分群の左および右陪集合、および巡回部分群の二重陪集合は、実数ではない。すなわち、自由群およびねじれなし双曲的群上では非自明な像である。
• これらの群上での唯一の本質的像は、三つの基本的族である：共役、左/右陪集合、および二重陪集合の巡回部分群。
• これらの三つの族のための種への有界パラメータへのマッピングを実現する定義可能マルチ関数が存在し、異なる同値類を分離する。
• マルチ関数はサイズが一様に有界であり、元の同値関係が係数を含まない場合、その性質を保つ。
• 幾何的除去は初等的でないねじれなし双曲的群に対しても成立し、自由群への結果を拡張する。
• 一様化およびコラプス一様化極限群の構成により、除去手順の停止性と正しさが保証される。