[論文レビュー] Scaled relators and Dehn functions for nilpotent groups

Robert M. Young|ArXiv.org|Jan 12, 2006

Geometric and Algebraic Topology参考文献 11被引用数 7

ひとこと要約

本稿は、スケーリング自己同型と階数適合性のある埋め込みを用いた組合せ的手法を導入し、ノルム群における2次デーン関数の確立に寄与する。既知の結果について新しい証明を提示し、中心的べきと特定の商群について2次等周不等式を証明し、クラス3の torsion-free ノルム群で2次デーン関数を有する最初の例を構成し、長年の未解決問題を解決する。

ABSTRACT

A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this grading; the area of such discs changes predictably under the scaling automorphism. In this paper, we present combinatorial methods for finding such bounds. Using this method, we give new proofs of some results on Dehn functions of nilpotent groups, prove theorems on central powers and certain quotients of nilpotent groups, and construct the first example of a torsion-free nilpotent group of class 3 with a quadratic Dehn function.

研究の動機と目的

• スケーリング自己同型と階数付き関係式を用いた、ノルム群におけるデーン関数の上界を求める組合せ的技法の開発。
• スケーリング適合性のあるディスク埋め込みを用いて、既知のノルム群の等周不等式に対する新しい証明の提供。
• ノルム群の中心的べきと特定の商群における2次デーン関数の確立。
• クラス3の torsion-free ノルム群で2次デーン関数を有する最初の例の構成。
• 均質リー群の格子における等周不等式の証明において、幾何的および組合せ的アプローチを統合すること。

提案手法

• 均質ノルムリー群のスケーリング自己同型を用いて、スケーリング下でのディスクの面積成長を制御する。
• スケーリング関係式の概念を定義・適用し、関係式が群の階数に従って予測可能に面積がスケーリングされるディスクで埋め込まれることを保証する。
• 水平ディスクを含むヴァン・コンペン図を構築し、リー代数の階数に従って構成することで、スケーリング下での面積上界が保存されることを保証する。
• 主定理を応用し、関係式がスケーリング適合性のあるディスクで埋め込める場合、群は2次デーン関数を有することを示す。
• 自己同型と交換子恒等式を用いて、高次の交換子を低次の生成元の語に還元し、3要素交換子の中心性を証明する。
• ヤコビ恒等式と共役不変性を活用し、すべての4要素交換子が水平ディスクで埋め込めることが示され、2次等周不等式の上界が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 スケーリング自己同型と階数付き関係式に基づく組合せ的手法は、ノルム群における鋭い等周不等式を確立するために用いられるか。
• RQ2 ノルム群の提示における関係式が、群の自己同型の下で予測可能にスケーリングされるディスクで埋め込まれるための条件は何か。
• RQ3 クラス3の torsion-free ノルム群で2次デーン関数を有するものが構成可能か。もし可能であれば、その方法は何か。
• RQ4 ノルム群の中心的べきは、そのデーン関数に関してどのように振る舞い、スケーリング適合性のある埋め込みによって証明可能か。
• RQ5 ノルム群において、中心化された等周関数と一般の上界はどの程度一致するか。また、それらが一致しない場合はどのような状況か。

主な発見

• 本稿は、クラス3の torsion-free ノルム群で2次デーン関数を有する最初の例を構成し、未解決問題を解決した。
• 中心的べきのノルム群が2次等周不等式を満たすことを証明し、ヘイゼンベルク群に対する既知の結果を一般化した。
• 提示における関係式がスケーリング適合性のあるディスクで埋め込める場合、群は2次デーン関数を有することを確立した。
• 構築された群におけるすべての4要素交換子が水平ディスクで埋め込めることが示され、群が2次等周不等式を満たすことが示された。
• 本手法により、特にクラス2群に対して既知のデーン関数上界の新しい組合せ的証明が得られた。
• 本稿は、マリーチェフの埋め込み定理を用いて、torsion-free ノルム群のデーン関数がその関連するノルムリー群のデーン関数と同値であることを示した。