[論文レビュー] Rigidity of two-dimensional Coxeter groups

Patrick Bahls|ArXiv.org|Nov 12, 2003

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

ひとこと要約

この論文は、2次元コックスター群が図のねじれを除いて反射的剛性を示すことを確立している。同じ群に対して同じ反射集合を持つ任意の2つのコックスター系が、同型な図を持つこと、ここで同型はブラディらが定義した図のねじれを許容するものである。主な結果は、やや弱い連結性条件のもとで、このような群が強く剛性を示すことであり、証明は群構造内の非弦的巡回路と共役要素の分析に依存している。

ABSTRACT

A Coxeter system is called two-dimensional if its associated Davis complex is two-dimensional (equivalently, every spherical subgroup has rank less than or equal to 2). We prove that given a two-dimensional system (W,S) and any other system (W,S') which yields the same reflections, the diagrams corresponding to these systems are isomorphic, up to the operation of diagram twisting defined by N. Brady, J. McCammond, B. Muhlherr, and W. Neumann. As a step in the proof of this result, certain two-dimensional groups are shown to be reflection rigid in the sense defined by the above authors, and a result concerning the strong rigidity of two-dimensional systems is given in the final section.

研究の動機と目的

• 2次元コックスター群がその反射集合によってどの程度一意に決定されるかを特定すること。
• 同じ群に対する異なるコックスター系が、図のねじれを除いて同型な図を持つべきかどうかを調査すること。
• 2次元コックスター系が強く剛性を示す条件を確立すること、すなわち基本的生成集合が内部自己同型によって共役であることを意味する。
• アコルドアル巡回路と頂点連結性の役割を同定することで、コックスター群の剛性理論を拡張すること。
• 2次元系において、反射独立性が標準的剛性と強く剛性の間の同値性を意味することを証明すること。

提案手法

• 3つ以上の生成元によって生成される有限部分群が存在しないことにより、コックスター系のデイビス複体を分析し、2次元性を定義する。
• ブラディ、マッカモンド、ミューリュア、ニューマンが定義した「図のねじれ」の概念を用いて、群自己同型の下で等価なコックスター図を分類する。
• コックスター図におけるアコルドアル巡回路の概念を用い、1つの生成集合から別の生成集合へ写像する共役要素を再構成する。
• 特に、頂点の2-スターリムーブによって図が非連結にならないという条件を含む、頂点および辺の連結性条件を適用し、可能な共役要素を制約する。
• 任意の生成元のペアを共役化する問題を、巡回路のケースに還元する。これは、辺集合がエッジ連結な図において、すべての辺がアコルドアル巡回路上にあるという事実に依存する。
• 帰納的およびパス置換の議論を用いて、共役要素内の中間生成元を排除し、共役要素の比に現れるのは、巡回路の辺の端点のみであることを示す。

実験結果

リサーチクエスチョン

• RQ1 同じ反射集合を持つ2次元コックスター系が、図のねじれを除いて同型な図を持つための条件は何か？
• RQ2 2次元コックスター群において、非共役の生成集合が生じる場合、図のねじれはどの程度までそれを説明できるか？
• RQ3 コックスター図におけるアコルドアル巡回路は、生成集合間の共役要素の構造をどの程度制約するか？
• RQ4 図のどの連結性条件が、生成元間の共役要素が辺の端点のみを含むものに限られることを保証するか？
• RQ5 反射独立性が2次元コックスター群において強く剛性を意味するのはどのような場合か？

主な発見

• 同じ群に対して同じ反射集合をもつ任意の2次元コックスター系は、ブラディらが定義した図のねじれを除いて同型な図を持つ。
• コックスター図がエッジ連結であり、任意の頂点の2-スターリムーブによって図が非連結にならないという条件を満たすならば、群は強く剛性を示す。
• コックスター図のすべての辺はアコルドアル巡回路上に存在し、これにより1つの生成集合から別の生成集合へ写像する共役要素を構成できる。
• 長さ4以上のアコルドアル巡回路に対しては、その辺の共役要素の比に現れる生成元は、巡回路に属する辺の端点のみである。
• 2つのアコルドアル巡回路が辺を共有する場合、それらは共通の共役要素を共有し、これにより局所的データから全体の自己同型を再構成できる。
• 証明は一般ケースを単一の巡回路のケースに還元し、図全体の共役要素が個々の巡回路における共役器から構成可能であることを示した。