[論文レビュー] Automorphisms and homology of non-positively curved cube complexes

Corey Bregman|arXiv (Cornell University)|Sep 12, 2016

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

ひとこと要約

本稿では、特別な立方体複体に対して新しい不変量である「種数」を導入し、基本群がアーベル（種数1）であるか、F₂への上準同型写像をもつ条件を特徴付ける。この不変量を用いて、著者らは特別な群がアーベルであるか、非可換自由群への上準同型写像をもつことの新しい幾何的証明を提示し、さらにホモロジーへの自己同型作用を用いて、右側角アーベル群のトーリー部分群がねじれをもたないことを示した。

ABSTRACT

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non-cyclic free group. We also investigate automorphisms of special cube complexes, and give a new geometric proof that the Torelli subgroup for a right-angled Artin group is torsion-free.

研究の動機と目的

• 特別な立方体複体に対する新しい幾何的不変量「種数」を定義し、その性質を調べることにより、基本群の構造を理解すること。
• Wiseが提起した問いに応える形で、特別な群がアーベルであるか、F₂へ上準同型写像をもつことの新しい幾何的証明を提供すること。
• 特別な立方体複体の自己同型とその1次ホモロジーへの作用を調査し、特にトーリー部分群に注目すること。
• 幾何的自己同型の実現とホモロジーの非自明性を用いて、右側角アーベル群のトーリー部分群がねじれをもたないことを確立すること。

提案手法

• 特別な立方体複体の種数を、互いに素で非分離な超平面の最大個数として定義する。ただし、それらの和集合が複体を分離しないこと。
• 特別な立方体複体の種数が1であるための必要十分条件が、その基本群がアーベルであることであることを証明し、幾何的不変量と代数的構造を結びつける。
• 種数不変量を用いて、非アーベルな特別な群がF₂へ上準同型写像をもつことを示し、元来代数的に示された結果の新しい幾何的証明を与える。
• 標準的なサルベッティ複体のブロー・アップを構成し、特別な群の自己同型を立方体複体の自己同型として実現する。
• 自己同型がすべての超平面を保存するならば、それは自明であることを示すことで、ホモロジーへの非自明な作用が、非自明な自己同型を示唆することを分析する。
• 自己同型の幾何的実現を応用し、ホモロジーに自明に作用する有限位数の外部自己同型は、自明でなければならないことを証明する。これにより、トーリー部分群がねじれをもたないことが示される。

実験結果

リサーチクエスチョン

• RQ1 特別な立方体複体における種数不変量の幾何的意味は何か？ また、基本群の代数的構造とどのように関係するか？
• RQ2 種数不変量を用いて、特別な群がアーベルであるか、F₂へ上準同型写像をもつことの新しい幾何的証明を与えることができるか？
• RQ3 特別な群のどの自己同型が立方体複体の自己同型として実現可能であり、また、1次ホモロジーに非自明に作用するのはいつか？
• RQ4 右側角アーベル群のトーリー部分群はねじれをもたないか？ また、立方体複体への幾何的作用を用いてこれを示せるか？

主な発見

• 特別な立方体複体の種数が1であるための必要十分条件は、その基本群がアーベルであることである。これにより、アーベルな特別な群の幾何的特徴づけが得られる。
• 特別な立方体複体の種数が0であるための必要十分条件は、それがCAT(0)であることである。これにより、種数と非正曲率が結びつけられる。
• 種数gの閉じた曲面の基本群の種数はgに等しく、古典的位相的種数と整合的である。
• 種数は群のコランクの下界を与える。本稿では、一般に種数とコランクが等しいかという未解決の問題を提起している。
• サルベッティ複体のブロー・アップの任意の自己同型は、1次ホモロジーに非自明に作用する。これは、トーリー部分群のねじれをもたないことを示す上で鍵となる。
• 右側角アーベル群のトーリー部分群はねじれをもたない。なぜなら、ホモロジーに自明に作用する有限位数の外部自己同型は自明でなければならないからであり、これは立方体複体上の自己同型の幾何的実現を用いて証明された。