[論文レビュー] The type semigroup, comparison and almost finiteness for ample groupoids

Pere Ara, Christian Bönicke+2 more|arXiv (Cornell University)|Jan 2, 2020

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

ひとこと要約

この論文は、最小で第二可算な豊富な群コアの型半群におけるほとんど不垂直性と、その群コアにおける動的比較の間の動的同値性を確立し、群コアが動的比較を満たすための必要十分条件として、その型半群がほとんど不垂直であることであることを証明している。さらに、この結果を非最小なほとんど有限群コアへと拡張し、粗い幾何学と位相的力学の間を結ぶ新しい粗的に不変な性質を導入することで、アメニタリティやa-T-メンアビリティを満たさない新しいほとんど有限群コアの例を構成した。

ABSTRACT

We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.

研究の動機と目的

• 豊富な群コアの型半群がほとんど不垂直であるための条件を特定すること、特に動的比較との関係において。
• 最小でないほとんど有限群コアへと、ほとんど不垂直性に関する結果を拡張すること。
• 距離空間に対する新しい粗的に不変な性質を導入することで、粗い幾何学と位相的力学の間の橋渡しをすること。
• アメニタリティやa-T-メンアビリティを満たさない新しいほとんど有限主群コアの例を構成すること。これにより、変換群コアとは対照的である。
• 自由性やアメニタリティの仮定を除いた設定において、Cuntz半群に関するRørdamの結果を豊富な群コアの文脈に一般化すること。

提案手法

• 豊富な群コアの不変量としての型半群を用い、コンパクト開部分集合とその等分割型に基づいて定義する。
• 外部測度の構成を用いて、開部分集合から全ユニット空間へ不変測度を拡張し、正則性と群コア構造との整合性を保証する。
• 開不変部分集合への制限下での振るまいを制御するため、強いほとんど有限性の概念を導入する。
• Carathéodory型の拡張定理を用いて、ユニット空間のすべての開部分集合が外部測度に関して可測であることを証明し、測度の拡張を可能にする。
• 関連する粗い群コアのほとんど有限性を特徴付ける距離空間に対する新しい粗的に不変な性質を確立する。
• 特に、安定的に有限なと純粋に無限大な群コアC*-代数の二分岐に関する結果を、位相的力学およびC*-代数理論の知見を活用して用いる。

実験結果

リサーチクエスチョン

• RQ1 最小で第二可算な豊富な群コアの型半群がほとんど不垂直であるのはどのような条件下か？
• RQ2 非最小なほとんど有限群コアにおいて、型半群のほとんど不垂直性は動的比較とどのように関係するか？
• RQ3 距離空間の粗的に不変な性質を用いて、関連する粗い群コアのほとんど有限性を特徴づけられるか？
• RQ4 アメニタリティやa-T-メンアビリティを満たさないほとんど有限主群コアは存在するか？また、それらは変換群コアとはどのように異なるか？
• RQ5 自由性やアメニタリティの仮定がなければ、動的比較と型半群のほとんど不垂直性の同値性は成立するか？

主な発見

• 最小で第二可算な豊富な群コアは、動的比較を満たすための必要十分条件として、その型半群がほとんど不垂直であることである。
• 動的比較を満たすσ-コンパクトな最小な豊富な群コアの型半群は、ほとんど不垂直である。
• 非可算群コア（非自明な不変測度を持たないもの）において、動的比較は純粋に無限大性と同値である。
• 本論文は、アメニタリティやa-T-メンアビリティを満たさない新しいほとんど有限主群コアの例を構成し、群コアの文脈においてこのような性質が可能であることを示した。
• 距離空間に対する新しい粗的に不変な性質が、関連する粗い群コアのほとんど有限性を特徴づけ、粗い幾何学と位相的力学の間の橋渡しを果たす。
• 自由性やアメニタリティの仮定を除いた状況においても、動的比較とほとんど不垂直性の同値性が成り立つことが示され、既存の文献における結果を一般化した。