[論文レビュー] Maximally symmetric trees

Lee Mosher, Michah Sageev+1 more|ArXiv.org|Dec 1, 2000

Graph theory and applications参考文献 13被引用数 3

ひとこと要約

この論文は、有界次数、繁茂、コモパクト、棘なしで、ほぼ自由群の「最良」のモデル幾何を実現する最大対称木を特徴づける。このような木は、その等距群がそのクアイジアイソメトリー群の最大の均一なコバウンド部分群であることにのみ依存して一意に特徴づけられることを証明し、それらを構成的に構築する方法を提供する。その結果、ランク ≥2 のほぼ自由群のクラスに対して、可算無限個の異なるこのような幾何が存在することが示された。

ABSTRACT

We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.

研究の動機と目的

• ほぼ自由群のクラスのための「最良」のモデル幾何を特定すること。これらはクアイジアイソメトリーではあるが、同型でない等距群を有するため、共通のモデル幾何を持たない。
• 最大対称木を定義し、その等距群がそのクアイジアイソメトリー群の最大の均一なコバウンド部分群であることに特徴づけること。
• このような木が、その等距群が他の局所コンパクト群への埋め込みにおいて最大性を示すことによって一意に決定されることを示すこと。
• 任意のほぼ自由群に対して最大対称木を構成するための構成的手段を提供すること。
• 最大対称木の等距型が有限個か無限個かであり、それらをどのように列挙できるかを示すこと。クラス全体に対して一意の普遍的モデル幾何がないという事実を解決すること。

提案手法

• 等距群のQI(T)における最大性、他の等距群への埋め込みの一意性、およびコンパクト正規部分群を持たない任意の局所コンパクト群における最大性という3つの同値条件を用いて、最大対称木を特徴づける。
• 有界次数、繁茂、コモパクト、棘なしの木の構造とクアイジアイソメトリー理論を用い、等距群作用とその埋め込みを分析する。
• インデックス1の正規化された木構造と部分被覆構成を用い、エッジインデックスと代数的方程式を用いて可能な等距型を分類することで、最大対称木を構成する。
• グラフ論的および群論的技法を用い、整数解のアフィン部分空間を通じて、最大対称木の等距型を有限に列挙する。
• 等距群が他の局所コンパクト群への、適切で連続的かつコモパクトな埋め込みがすべて同型であることを定義し、それを検証することで最大性を定義する。
• 任意の有界次数、繁茂、棘なしの木におけるクアイジアクションは、等距作用にクアイジコンjugate可能であるという事実を活用し、等距群への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有界次数、繁茂、コモパクト、棘なしの木が、その等距群がクアイジアイソメトリー群において最大であるという条件を満たすとき、それが最大対称木と特徴づけられるための条件は何か？
• RQ2 同型でない等距群を有するため、すべての群に共通する1つの幾何が存在しないにもかかわらず、ほぼ自由群のクラスに対して一意の「最良」のモデル幾何を特定できるか？
• RQ3 任意のほぼ自由群に対して、最大対称木を明示的に構成する方法は何か？
• RQ4 最大対称木の等距型は有限個か無限個かであり、それらはどのように列挙できるか？
• RQ5 コンパクト正規部分群が等距群の最大性を妨げる役割を果たす場合、その障害はどのように排除され、構成において除外されるか？

主な発見

• 最大対称木は、その等距群がクアイジアイソメトリー群の最大の均一なコバウンド部分群であるという性質によって特徴づけられる。
• 最大対称木の等距群が他の局所コンパクト群への連続的で適切かつコモパクトな埋め込みは、すべて同型でなければならない。
• 最大対称木の等距型は可算無限個存在し、それぞれがあるほぼ自由群のための固有の「最良」のモデル幾何を担う。
• 最大対称木の構成は有効的かつ有限的であり、インデックス1の正規化された木構造と、整数エッジインデックス解のアフィン部分空間による被覆列挙を用いる。
• 最大対称木のエッジインデックス条件は、6つの指定された代数的方程式で定義されるアフィン部分空間のいずれにも含まれないものである。
• この論文は、ほぼ自由群のクラスに普遍的モデル幾何が存在しないという問題を解決し、『最良』の幾何が最大対称木であり、それらは可算無限個の異なる型を有することを示した。