[論文レビュー] Farrell-Jones Conjecture for free-by-cyclic groups

Mladen Bestvina, Koji Fujiwara+1 more|arXiv (Cornell University)|May 31, 2019

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

ひとこと要約

この論文は、自由群の自己同型のためのトレイン・トラック写像と、木へのアセイルドライカル群作用を用いた幾何的群論的手法を用いて、自由群にZによる拡大をとった群（自由群にZによる拡大をとった群）に対してFarrell-Jones予想を証明する。主な結果として、すべての自由群にZによる拡大をとった群が、K理論的およびL理論的両方のFarrell-Jones予想を満たすことが示され、従来知られていた双曲群およびCAT(0)群の結果が拡張される。

ABSTRACT

We prove the Farrell-Jones conjecture for free-by-cyclic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture.

研究の動機と目的

• 自由群と双曲群を一般化する群のクラスである自由群にZによる拡大をとった群に対して、Farrell-Jones予想を確立すること。
• 自由群にZによる拡大をとった群という、豊かな幾何的・代数的構造を持つ新しいクラスに対して、予想が成り立つことを証明することで、予想が成り立つ群の範囲を拡張すること。
• 特にアセイルドライカル群作用と木の横断的被覆を用いた幾何的手法を適用し、非自明な設定において予想を証明すること。
• Farrell-Jones予想を満たす群のクラスが、ある種の拡大に関して閉じていることを示し、推移性原理を用いること。

提案手法

• 自由群の自己同型に対するトレイン・トラック写像を用いて、関連するBass-Serre木への作用の力学的性質を分析する。
• 写像トーラスの構造を活用して、自由群とZの直積に同型な部分群によって安定化される部分木の族による単体的木の横断的被覆を構成する。
• N-F-アーメン作用の概念を適用し、コンパクトなユークリッドリトラクトへの群作用が、Farrell-Jones予想に必要な幾何的条件を満たすことを示す。
• 可解群と自由群を繰り返しF-アーメン作用で構成する群のクラスAC(VNil)を用い、横断的被覆のスケルトンにおける頂点の安定化子がこのクラスに属することを示す。
• 横断的被覆のスケルトンにおける群作用のアセイルドライカリティを用いて、有限安定化子を制御し、作用が十分に正則であることを保証する。
• Bartels-Lückの推移性原理を適用し、商群と基本群における予想の成立から、拡大における予想の成立を導く。

実験結果

リサーチクエスチョン

• RQ1 自由群にZによる拡大をとった群に対して、Farrell-Jones予想は成り立つか。
• RQ2 トレイン・トラック写像や木へのアセイルドライカル作用といった幾何的群論的手法を用いて、非双曲的群に対しても予想を証明できるか。
• RQ3 クラスAC(VNil)は積と部分群に関して閉じているか。また、このクラスは横断的被覆における群作用の安定化子を含むか。
• RQ4 基本群が予想を満たし、核が自由群であるとき、群の拡大に対してもFarrell-Jones予想を拡張できるか。
• RQ5 空間への群作用が有限F-アーメンであるための条件は何か。また、これは予想とどのように関係するか。

主な発見

• すべての自由群にZによる拡大をとった群に対して、K理論的およびL理論的両方のFarrell-Jones予想が成り立つ。
• 横断的被覆における各辺の安定化子は、自由群とZの直積に同型であり、したがってAC(VNil)クラスに属する。このクラスは積に関して閉じており、すべての予想を満たす群を含む。
• 自由群にZによる拡大をとった群が横断的被覆のスケルトン上で作用するとき、その作用はアセイルドライカルである。これにより、幾何的公理に必要な正則性が保証される。
• コンパクトなユークリッドリトラクトへの群作用は、有限F-アーメンである。これは、予想が成り立つために必要な主要な幾何的条件を満たす。
• 証明は推移性原理に依存している。すなわち、商群が予想を満たし、作用の安定化子がAC(VNil)に属するならば、拡大も予想を満たす。
• 従来の双曲群、CAT(0)群、およびほとんど可解群に対する定理を一般化し、自由群にZによる拡大をとった群が、予想を満たす新たなクラスを形成することを示した。