[論文レビュー] On constructions preserving the asymptotic topology of metric spaces

G. Bell, Danielle S. Moran|arXiv (Cornell University)|Sep 24, 2013

Advanced Operator Algebra Research参考文献 28被引用数 6

ひとこと要約

この論文は、クリーク数が有界な無限グラフ上のグラフ積が、有限漸近次元を保存することを確立し、和集合、自由積、群の拡大などの構成における粗的不変量—Property A、漸近的性質C、直線的有限分解複雑性(sFDC)—の保存を調査する。主な貢献は、有限漸近次元とProperty Aが無限グラフ積で保存されることを示したことである。一方、漸近的性質Cは特定の無限和集合でのみ保存され、直線的有限分解複雑性(sFDC)は群の拡大および結合自由積で保存される。

ABSTRACT

We prove that graph products constructed over infinite graphs with bounded clique number preserve finite asymptotic dimension. We also study the extent to which Dranishnikov's property C, and Dranishnikov and Zarichnyi's straight finite decomposition complexity are preserved by constructions such as unions, free products, and group extensions.

研究の動機と目的

• グラフ積の有限漸近次元保存結果を、クリーク数が有界な無限グラフへ拡張すること。
• Property A、漸近的性質C、および直線的有限分解複雑性(sFDC)といった粗的不変量が、和集合、自由積、拡大などの群の構成で保存されるかどうかを調査すること。
• AntolínとDreesen (2013) が用いた技術が、無限グラフ積および他の粗的不変量へ一般化可能かどうかを特定すること。
• 群の拡大および結合自由積におけるsFDCの永続性結果を確立し、分野における先行研究を拡張すること。

提案手法

• クリーク数が有boundな無限グラフ上のグラフ積の構造を用いて、各スケールRにおける漸近次元定義の被覆を明示的に構成する。
• ファイバー定理と粗的安定化部分群の性質を適用し、群の拡大および結合自由積において直線的有限分解複雑性(sFDC)が保存されることを証明する。
• 等長群作用と粗同値を用いて、群作用がメトリック空間上で誘導する粗的幾何と群自体のsFDCとの関係を確立する。
• Guentner, Tessera, and Yu (2013) および AntolínとDreesen (2013) の結果を活用し、無限構成への永続性結果の一般化を図る。
• 一様有界族および粗的安定化部分群の概念を用いて、群作用写像の逆像におけるsFDCの検証を行う。
• Property Aの文献における技術を適応することで、有限グラフ積においてProperty Aが保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 クリーク数が有界な無限グラフにおけるグラフ積の有限漸近次元は、有限グラフに限らず拡張可能か？
• RQ2 自由積や直積などの群の構成において、漸近的性質Cはどの程度保存されるか？
• RQ3 有限グラフ積に用いられた技術を一般化することで、漸近的性質Cが無限グラフ積においても保存されることを示せるか？
• RQ4 群の拡大および結合自由積において、直線的有限分解複雑性(sFDC)は保存されるか？
• RQ5 無限グラフ積構成において、Property Aはどのような条件下で保存されるか？

主な発見

• クリーク数が有界な無限グラフ上のグラフ積は、有限漸近次元を保存する。これは、かつては有限グラフにのみ知られていた結果の拡張である。
• Property Aは有限グラフ積において保存され、AntolínとDreesen (2013) の結果を無限の場合に一般化する。
• 漸近的性質Cは特定の無限和集合では保存されるが、直積や結合自由積では保存されない。標準的な証明技法が失敗するためである。
• 直線的有限分解複雑性(sFDC)は、群の拡大、結合自由積、HNN拡大、および有限グラフ積において保存される。
• メトリック空間上にsFDCを持つ群作用の粗的安定化部分群が、基点の安定化部分群がsFDCをもてばsFDCを持つ。これにより、群全体のsFDCの証明が可能になる。
• ファイバー定理を適用し、底空間とファイバーが両方sFDCをもてば、全空間もsFDCをもつことを示した。この結果を用いて、sFDCを持つ空間に作用し、sFDCを持つ安定化部分群をもつ群のsFDCを証明した。