[論文レビュー] Crystallographic Helly Groups

Nima Hoda|arXiv (Cornell University)|Oct 14, 2020

Algebraic structures and combinatorial models被引用数 5

ひとこと要約

本稿では、ヘリィグラフの漸近的コーンが可算的超凸であることを確立し、その点群を用いたバニラアーベル的ヘリィ群の特徴付けを導く。また、バニラニレポテンシャル的ヘリィ群がバニラアーベル的であることを証明し、ヘリィでない初のシスティック群として3-3-3コクセター群を特定する。これは幾何的群論における長年の未解決問題に答えを提示する。

ABSTRACT

We prove that asymptotic cones of Helly graphs are countably hyperconvex. We use this to show that virtually nilpotent Helly groups are virtually abelian and to characterize virtually abelian Helly groups via their point groups. In fact, we do this for the more general class of coarsely injective spaces and groups. We apply this to prove that the $3$-$3$-$3$-Coxeter group is not Helly (nor even coarsely injective), thus obtaining the first example of a systolic group that is not Helly, answering a question of Chalopin, Chepoi, Genevois, Hirai, and Osajda.

研究の動機と目的

• GL_n(R)における点群を用いて、バニラアーベル的ヘリィ群を特徴付けること。
• バニラニレポテンシャル的ヘリィ群がバニラアーベル的であることを証明し、共にコンパクトに立方体化された群に関する結果を拡張すること。
• カラポインらが提起した、ヘリィでないシスティック群の存在に関する未解決問題を解決すること。
• 粗い単射性、漸近的コーン、超凸性の間の関係を幾何的群論において確立すること。
• バニラアーベル的およびバニラニレポテンシャル的群のクラス内におけるヘリィ群の完全な特徴付けを提供すること。

提案手法

• ヘリィ群の大きさの幾何的性質を分析するために、ヘリィグラフの漸近的コーンを用いる。
• バニラニレポテンシャル的ヘリィ群の構造を研究するために、パーンスのノルム群の漸近的コーンに関する結果を適用する。
• 粗く単射な空間（ヘリィグラフを含む）の漸近的コーンが可算的超凸であることを証明する。
• イズベルの単射距離空間理論および標準的単射包構成法を用いる。
• 単射幾何学から群論への結果の移行を可能にするために、ヘリィ群と粗く単射な群の同値性を用いる。
• Z^nにおける適切で概ね測地的かつ左不変な距離の特徴付けを用いて、点群作用の幾何を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのバニラアーベル群がヘリィグラフ上で適切かつ共にコンパクトに作用できるか？
• RQ2 すべてのバニラニレポテンシャル的ヘリィ群はバニラアーベル的か？
• RQ3 ヘリィでないシスティック群は存在するのか。もし存在するならば、その構造は何か？
• RQ4 バニラアーベル的ヘリィ群の点群と、それが作用するノルム空間の幾何の関係は何か？
• RQ5 ヘリィグラフの漸近的コーンは、超凸性および粗い単射性とどのように関係するか？

主な発見

• 粗く単射な空間の漸近的コーンは可算的超凸である。これは独立した興味を持つ結果である。
• バニラニレポテンシャル的ヘリィ群はバニラアーベル的である。これはハーゲンによる共にコンパクトに立方体化された群に関する結果を一般化する。
• バニラアーベル群がヘリィであるための必要十分条件は、その点群がR^nにおける上限ノルムの等長群の部分群に共役であることである。
• 3-3-3コクセター群はヘリィでない（また、粗く単射でもない）ため、ヘリィでない初のシスティック群の例を提供する。
• 3-3-3コクセター群の例によって、ヘリィ群のクラスは共にコンパクトに立方体化された群のクラスを真に含むことが示される。
• バニラアーベル的ヘリィ群の点群はl∞-ノルムを保存しなければならず、これにより作用の幾何が特徴付けられる。