[論文レビュー] Morse geodesics in torsion groups

Elisabeth Fink|arXiv (Cornell University)|Oct 30, 2017

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

ひとこと要約

本稿は、無限かつ非有界なトーション群に、モース要素を含まないモース測地線を含む最初の既知の例を構築する。これは、モース測地線による双曲的類似の振る舞いが、無限大かつ非有界なトーション群内でも存在可能であることを証明する。4生成分の自由群を出発点として、段階的スモールキャンセレーションを用い、極限群に7正則木を等長的に埋め込むことで、すべての双無限路がモース測地線であることを示した。これにより、モース測地線が無限位数の要素を必要としないことが明らかになった。

ABSTRACT

In this paper we exhibit Morse geodesics, often called "hyperbolic directions", in infinite unbounded torsion groups. The groups studied are lacunary hyperbolic groups and constructed using graded small cancellation conditions. In all previously known examples, Morse geodesics were found in groups which also contained Morse elements, infinite order elements whose cyclic subgroup gives a Morse quasi-geodesic. Our result presents the first example of a group which contains Morse geodesics but no Morse elements. In fact, we show that there is an isometrically embedded $7$-regular tree inside such groups where every infinite, simple path is a Morse geodesic.

研究の動機と目的

• モース測地線がモース要素を含まないトーション群に存在しうるかどうかという未解決問題を解消すること。
• 段階的スモールキャンセレーションを用いて、モース測地線を含む無限かつ非有界なトーション群を構成すること。
• モース測地線が無限位数の要素ではなく、幾何的構造（正則木）から生じうることを示すこと。
• 有限生成群において、モース要素の不在がモース測地線の存在を妨げることはないことを確立すること。

提案手法

• 自由群 F₄ を出発点として、段階的スモールキャンセレーションによる双曲群の直接極限構成を用いる。
• 初期群における凸的で自由かつ準凸な部分群が、各商群段階で保存され、安定な木のような構造を形成することを証明する。
• ドゥトゥとサピールの漸近的コーンとカットポイントに関する結果を応用し、極限群内の経路がモース測地線であることを示す。
• 帰納的数え上げ論法を用いて、群内の関係が十分に疎であることを示し、漸近的コーン内での関係円との過度な相互作用を避ける経路が存在することを示す。
• 超極限と漸近的コーン内での測地線三角形の挙動を活用し、埋め込まれた経路が横断的木である、したがってモースであることを証明する。
• 埋め込まれた7正則木上の任意の双無限路が、各点が経路を連結成分に分離するカットポイントであることから、それがモース測地線であることを示す。

実験結果

リサーチクエスチョン

• RQ1 モース要素を含まないトーション群にモース測地線が存在しうるか？
• RQ2 無限大のトーションを有する群であっても、モース測地線による双曲的類似の振る舞いを示すことは可能か？
• RQ3 極限群に正則木が等長埋め込み可能であり、すべての無限単純路がモース測地線となるか？
• RQ4 無限位数の要素が存在しないことは、有限生成群におけるモース測地線の存在を妨げるか？

主な発見

• 本稿は、G₀ = F₄ を満たす群 G = lim Gᵢ を構築し、段階的スモールキャンセレーション条件を満たす。この群には7正則木 T が等長的に埋め込まれている。
• T 上の任意の双無限単純路は、G におけるモース測地線である。これは、その路上の点間の準測地線が一様に近接していことを意味する。
• 群 G は無限かつ非有界なトーション群であるため、すべての元が有限位数であり、モース要素は存在しない。
• 木構造の超極限は、すべての漸近的コーンにおいて横断的木を形成し、カットポイントの挙動により、各経路がモース測地線であることが確認された。
• この構成により、モース測地線が無限位数の要素ではなく、幾何的・組合せ的構造（木）から生じうることが示された。
• これは、モース測地線を含むがモース要素を含まない群の最初の例を提供し、幾何群論における長年の未解決問題を解決した。