[論文レビュー] Uniform Roe coronas.

Bruno de Mendonça Braga, Ilijas Farah+1 more|arXiv (Cornell University)|Oct 17, 2018

Advanced Operator Algebra Research参考文献 16被引用数 12

ひとこと要約

この論文は、一様局所有限な距離空間の粗幾何と一様ローエ・コーナー（一様ローエ代数をコンパクト作用素で割った商）の関係を調査する。ZFCの整合性のもとで、ヒルベルト空間に粗く埋め込める空間について、コーナーの同型が粗同値を意味することを示し、性質Aを満たす空間については、同型が余ファイニット部分集合の双対的粗同値に一致することを示す。また、ZFCに独立である同型をもつ空間の特定も行う。

ABSTRACT

A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse equivalence between the underlying spaces, for the class of uniformly locally finite metric spaces which coarsely embed into a Hilbert space. Moreover, for uniformly locally finite metric spaces with property A, it is consistent with ZFC that isomorphism between the uniform Roe coronas is equivalent to bijective coarse equivalence between some of their cofinite subsets. We also find locally finite metric spaces such that the isomorphism of their uniform Roe coronas is independent of ZFC. All set-theoretic considerations in this paper are relegated to two 'black box' principles.

研究の動機と目的

• 一様ローエコーナーの同型が、対応する距離空間の粗同値を意味する条件を特定すること。
• 性質Aおよびヒルベルト空間への粗埋め込みが、コーナーと大規模幾何の関係に果たす役割を調査すること。
• ZFCに独立であるコーナーの同型をもつケースを特定し、基礎的制限を強調すること。
• 2つの「ブラックボックス」原理を用いて集合論的依存関係を分離し、直接的な集合論的仮定を最小限に抑えること。

提案手法

• 距離空間の大規模幾何を符号化するためのC*-代数的道具として一様ローエ代数の構成を用いる。
• コンパクト作用素を除いた商代数（一様ローエコーナー）を分析し、粗不変量を抽出する。
• モデル理論的および集合論的技法を適用し、独立性結果を扱うために2つの「ブラックボックス」原理に依存する。
• 粗同値および双対的粗同値を幾何的不変量として用い、距離空間を比較する。
• 性質Aおよびヒルベルト空間への粗埋め込みを用いて、考察対象の空間のクラスを制限する。
• モデルを構成することで、ZFC内での整合性結果を確立し、コーナーの同型が粗同値を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 一様ローエコーナーの同型が、一様に局所有限な距離空間の粗同値を意味する条件は何か？
• RQ2 性質Aを満たす空間について、コーナーの同型が余ファイニット部分集合の双対的粗同値に等しいのはいつか？
• RQ3 一様に局所有限な距離空間で、その一様ローエコーナーの同型がZFCに独立であるようなものが存在するか？
• RQ4 強い幾何的制約がない場合、集合論的仮定が一様ローエコーナーの分類にどのように影響するか？
• RQ5 ヒルベルト空間に粗く埋め込める空間は、ZFCで整合的なコーナーと粗幾何の間の含意関係を確立するために果たす役割は何か？

主な発見

• ヒルベルト空間に粗く埋め込める一様に局所有限な距離空間について、ZFCの整合性のもとで、一様ローエコーナーの同型が粗同値を意味することが整合的である。
• 性質Aを満たす一様に局所有限な距離空間について、ZFCの整合性のもとで、コーナーの同型がいくつかの余ファイニット部分集合の双対的粗同値に等しいことが整合的である。
• 一様ローエコーナーの同型がZFCに独立である一様に局所有限な距離空間が存在し、基礎的非決定性を示している。
• 分析により、すべての集合論的依存関係が2つの「ブラックボックス」原理に集約され、主な結果が直接的な集合論的道具を用いずに導出可能であることが分かった。
• 特定の幾何的制約のもとで、C*-代数的不変量（コーナー）と大規模幾何的不変量（粗同値）の強い関連が確立された。
• 整合性結果はモデル理論的構成により確立され、一般にはZFCのみでコーナーと粗幾何の間の含意関係が証明できないことが示された。