[論文レビュー] A Symbolic coding of the Morse boundary

Abdalrazzaq R Zalloum|arXiv (Cornell University)|Nov 26, 2018

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

ひとこと要約

本稿では、距離関数に類似する振る舞いを示す、空間上の1リプシッツ関数の同値類として表される、適切な測地的距離空間におけるモース境界の新しい記号的符号化を導入する。有限生成群に対しては、有限アルファベット上のシフト空間を用いてモース境界を記号的動的システムとして構成し、群がそのモース境界に作用する際に記号的符号化が可能であることを証明する。これにより、準等長不変量を研究するための記号的ダイナミクスの応用が可能になる。

ABSTRACT

Let $X$ be a proper geodesic metric space. We give a new construction of the Morse Boundary that realizes its points as equivalence classes of functions on $X$ which behave similar to the "distance to a point" function. When $G=\langle S angle $ is a finitely generated group and $X=Cay(G,S)$, we use this construction to give a symbolic presentation of the Morse boundary as a space of "derivatives" on $Cay(G,S).$ The collection of such derivatives naturally embeds in the shift space $\mathcal{A}^G$ for some finite set $\mathcal{A}.$

研究の動機と目的

• 適切な測地的距離空間上の1リプシッツ関数の同値類を用いた、モース境界の新しい構成法の開発。
• これらの関数の勾配を用いてモース境界点を特徴づけ、バスマン関数の概念を一般化する。
• 有限生成群に対しては、有限アルファベット上のシフト空間を用いて、モース境界が記号的符号化可能であることを示す。
• モース境界のように非可分かつ第二可算でないような境界に対しても、記号的ダイナミクスの技法を拡張する。
• 記号的ダイナミカル・メソッドを用いて準等長不変量を研究するための枠組みを提供する。

提案手法

• 適切な測地的距離空間 X 上で、距離関数に類似する性質を満たす1リプシッツ関数のクラスを定義し、これを「距離に類似した関数」と呼ぶ。
• 各関数に対して、そのレベル集合の振る舞いを模倣する測地的レイトの勾配レイトを関連付ける。
• これらの関数の同値類の空間 H⋆ を構成し、H⋆ からモース境界 ∂⋆X への連続的かつ G-不変な全射を定義する。
• 有限生成群 G とそのケイリー図形 X = Cay(G,S) に対して、このような関数の集合を有限アルファベット A に対するシフト空間 A^G に埋め込む。
• A^G 上の G-作用を用いて、G-不変部分集合 Y⋆ ⊆ A^G の商としてモース境界を実現する。
• CAT(0) 空間におけるホロ関数とホロボールの性質を活用し、モース境界点が、勾配レイトがモースである関数と正確に対応することを証明する。

実験結果

リサーチクエスチョン

• RQ1 適切な測地的距離空間のモース境界は、モースに類似した勾配レイトを有する1リプシッツ関数の同値類空間として再構成可能か？
• RQ2 有限生成群がそのモース境界に作用する場合、記号的ダイナミクスの意味で記号的符号化が可能か？
• RQ3 CAT(0) 空間において、モース境界とホロ関数境界の関係は何か、特にホロボールの交差に関しては？
• RQ4 非可分かつ第二可算でない境界（例：モース境界）に対しても、記号的ダイナミクスを適用可能か？
• RQ5 ホロスフィアの列が、勾配レイトがモースでない点に収束する条件は何か？

主な発見

• モース境界 ∂⋆X は、モースの勾配レイトを有する距離に類似した関数の同値類の空間 H⋆ と同相である。
• 任意の適切な測地的距離空間 X に対して、連続的かつ G-不変な全射 φ: H⋆ → ∂⋆X が存在し、これによりモース境界が関数の同値類の商として実現される。
• 有限生成群 G に対して、G がそのモース境界 ∂⋆G に作用する場合、記号的符号化が可能である：有限アルファベット A と G-不変部分集合 Y⋆ ⊆ A^G が存在し、G-不変な連続全射 φ: Y⋆ → ∂⋆G が存在する。
• CAT(0) 空間において、モース境界は完全に可視であり、異なる境界点に中心を持つ任意の2つのホロボールの交差は有界である。これは非モースの勾配レイトを除外するために用いられる。
• 2つの異なるモース境界点に対応するホロ関数の和は、点が等しくない限り下から有界でない。これは、非モースのレイトが仮定された場合に矛盾を引き起こす。
• 非モースの勾配レイトを有する関数のホロスフィア列が収束するが、その極限の勾配レイトがモースでない例を構成した。これにより、ホロスフィアの収束はモース性の十分条件ではないことが示された。