[論文レビュー] The Furstenberg Boundary of a Groupoid

Clemens Borys|arXiv (Cornell University)|Apr 22, 2019

Advanced Operator Algebra Research参考文献 19被引用数 4

ひとこと要約

本稿では、コンpact unit space を持つ局所的にコンパクトでハウスドルフなエタール群コアドの Furstenberg 境界を、群コアドに従属する単射的包因を構成することによって導入する。これは、離散群の古典的 Furstenberg 境界を一般化したものである。自己同型群に再帰的アーベル的部分群が存在しないことと、交差性質が成り立つことの関係を確立し、最小群コアドの C*-単純性の十分条件を導く。

ABSTRACT

We define the Furstenberg boundary of a locally compact Hausdorff étale groupoid, generalising the Furstenberg boundary for discrete groups, by providing a construction of a groupoid-equivariant injective envelope. Using this injective envelope, we establish the absence of recurrent amenable subgroups in the isotropy as a sufficient criterion for the intersection property of a locally compact Hausdorff étale groupoid with compact unit space and no fixed points. This yields a criterion for C*-simplicity of minimal groupoids.

研究の動機と目的

• 離散群から局所的にコンパクトでハウスドルフなエタール群コアド（コンパクト単位空間を有する）への Furstenberg 境界の一般化を図ること。
• 群コアド作用を伴う単射的包因を構成し、群コアド C*-代数における境界理論の基礎的道具を提供すること。
• 同型構造を用いてエタール群コアドにおける交差性質の十分条件を確立すること。
• 最小エタール群コアドの C*-単純性の基準を、同型群に再帰的アーベル的部分群が存在しないことによって導出すること。

提案手法

• 群コアド作用を伴う作用系のカテゴリに単射的作用系を輸送するための誘導関手を導入する。
• 自明な代数 C に対する群コアドに従属する単射的包因のスペクトルとして境界を構成する。
• 同型群の閉部分群の空間の位相を用いて、部分群の再帰性を定義する。
• 動的圏における単射的包因の理論を応用し、境界群コアドの構造を分析する。
• 同型写像 Φ: ˜X → Sub(G) の連続性と共役による軌道の閉性を証明する。
• 境界群コアドで自明な同型群が存在することは、正則性（principality）を意味し、したがって交差性質が成り立つことを利用する。

実験結果

リサーチクエスチョン

• RQ1 Furstenberg 境界は、離散群からエタール群コアドへどのように一般化できるか？
• RQ2 群コアドの同型群にどのような条件が課されると、その境界で交差性質が成り立つか？
• RQ3 同型群に再帰的アーベル的部分群が存在しないことは、群コアドの交差性質を意味するか？
• RQ4 交差性質は、最小エタール群コアドにおける C*-単純性を特徴づけるために利用可能か？
• RQ5 残渣的交差性質は、同型群における再帰的アーベル的部分群の存在の不在と同値か？

主な発見

• 局所的にコンパクトでハウスドルフなエタール群コアドの Furstenberg 境界は、群コアドに従属する単射的包因を用いて構成される。
• 元の群コアド G に同型群に再帰的アーベル的部分群が存在しないことと、境界群コアド ˜G が正則であること（principal）とは同値である。
• すべての軌道が少なくとも2点以上を持つ場合に、同型群に再帰的アーベル的部分群が存在しないことは、G における交差性質の成立を意味する。
• コンパクト単位空間を有する最小エタール群コアドにおいて、同型群に再帰的アーベル的部分群が存在しないことは、C*-単純性を意味する。
• 同型写像 Φ: ˜X → Sub(G) は連続であり、同型部分群の軌道が閉じていることを保証する。これは境界群コアドが正則であることを証明する上で鍵となる。
• 本結果は、Kennedy の C*-単純性の特徴づけを群コアドの文脈へ拡張し、同型構造に基づく幾何的基準を提供する。