[論文レビュー] Effective quasimorphisms on right-angled Artin groups

Talia Fernós, Max Forester+1 more|arXiv (Cornell University)|Feb 18, 2016

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿は、右側アーティン群（RAAGs）やCAT(0)立方複体に作用する他の群に対して、半空間の密にネストされた部分列を用いて、一様に有界な欠損値（≤12）を持つ有効な準同型を構成する。これらの準同型はすべての双曲的要素を検出でき、その結果、右側アーティン群におけるすべての非自明な要素が安定交換子長（scl）で少なくとも1/24以上であることが示される。

ABSTRACT

We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions for which these results apply include the standard actions of right-angled Artin groups on their associated CAT(0) cube complexes. In particular, every non-trivial element of a right-angled Artin group has stable commutator length at least 1/24. These results make use of some new tools that we develop for the study of group actions on CAT(0) cube complexes: the essential characteristic set and equivariant Euclidean embeddings.

研究の動機と目的

• CAT(0)立方複体に作用する群に対して、一様に小さい欠損値を持つ効率的かつ効果的な準同型を構築すること。
• 右側アーティン群におけるすべての非自明な要素に対して、安定交換子長（scl）の均一な下界を確立すること。
• 群のCAT(0)立方複体への作用を分析するための新規ツール—本質的特徴集合と等長的ユークリッド埋め込み—を導入すること。
• 双曲的要素が準同型によって検出可能な群の作用のクラス（RAAGに類似した性質）を同定すること。
• RAAGへの埋め込みを介して、特殊立方複体の基本群に対しても結果を拡張すること。

提案手法

• CAT(0)立方複体の半空間構造における、密にネストされた部分列γの重複しない平行移動に基づいて、準同型φγを定義する。
• CAT(0)立方複体の中央値性質を用いて、各φγの欠損値が6以下であることを証明し、その同調化が欠損値≤12であることを示す。
• 双曲的要素gの作用を分析するための本質的特徴集合X^ess_gを導入し、最大のg-ネスト部分列γを特定する。
• Bavard双対性を適用：均質的準同型φがφ(g) ≥ 1 かつ欠損値≤12を満たすならば、scl(g) ≥ 1/24である。
• 四分円の向き（西北/南東）と重複回避の幾何的議論を用いて、g-ネスト部分列γがφγによってgを検出できることを示す。
• 逆方向の部分列ḡγの平行移動が正の特徴集合A⁺_gに含まれないことを証明し、φγ(g) = 1であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 CAT(0)立方複体に作用する群に対して、一様に有界な欠損値を持つ有効な準同型を構成できるか？
• RQ2 群の作用が満たすべき条件は何か？ これにより、すべての双曲的要素がこのような準同型によって検出可能になる。
• RQ3 右側アーティン群におけるすべての非自明な要素に対して、安定交換子長（scl）の均一な下界が存在するか？
• RQ4 本質的特徴集合と等長的ユークリッド埋め込みといった新規ツールは、準同型の構成をどのように促進するか？
• RQ5 RAAGに類似した作用は、特殊立方複体の基本群などの他の群へどの程度一般化可能か？

主な発見

• 構成された準同型φγの欠損値は6以下であり、その同調化の欠損値はγの長さや立方複体の次元に依存せずに12以下である。
• CAT(0)立方複体にRAAGに類似した作用をもつ群の双曲的要素gに対して、φ̂γ(g) ≥ 1 を満たす準同型φγが存在する。
• Bavard双対性により、このことから、このような群におけるすべての双曲的要素gに対してscl(g) ≥ 1/24であることが示される。
• 右側アーティン群のすべての非自明な要素は、その関連するCAT(0)立方複体上で双曲的に作用するため、系Bにより、任意のRAAGにおけるすべての非自明なgに対してscl(g) ≥ 1/24である。
• 特殊立方複体の基本群に対しても結果は拡張可能であり、RAAGに埋め込まれるため、同じscl下界を継承する。
• 証明は、四分円の向き（西北対南東）と、平行移動された部分列の重複を避ける性質に基づく背理法に依存しており、これは補題8.3によって禁止されている。