[論文レビュー] Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

Asgar Jamneshan, Terence Tao|arXiv (Cornell University)|Oct 1, 2020

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

ひとこと要約

この論文は、非可算測度論における基礎的結果を確立するために、関手的かつ一意に定まるモデルを構築し、抽象的確率代数を非分離的・非距離化可能なコンパクトハウスドルフ確率空間へと表現する。これにより、標準的分解定理と相対的独立積の構成が可能となり、ゲルファンド双対性とライス表現定理が非可分・非距離化可能な設定へと拡張される。非可算エルゴード理論および関連応用のための圏論的枠組みが提供される。

ABSTRACT

We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools are useful in applications to "uncountable" ergodic theory (as demonstrated by the authors and others).

研究の動機と目的

• 分離性や距離化可能性の仮定なしに、抽象的確率代数をコンパクトハウスドルフ確率空間へと一意的かつ関手的に表現する標準的モデルの構築。
• 関数解析学および測度論における非可算的・非可分的設定へ、ゲルファンド双対性とライス表現定理を拡張すること。
• 標準的モデルを用いて、因子空間上の確率測度に対する標準的分解定理を確立すること。
• 既存の双対性定理（例えば、ルーミス＝シコルスキー、ストーン双対性）を一貫した圏論的枠組みで統一・明確化すること。
• 特に超積や非可分代数を用いて構成される系において、非可算エルゴード理論への応用を可能にするためのツールの提供。

提案手法

• 圏論を用いて、非可算な設定におけるコンパクトハウスドルフ空間、可換C*-代数、およびトレース付きフォンノイマン代数の間の双対性を形式化する。
• ゲルファンド双対性と確率双対性を組み合わせることで、抽象的確率代数をコンパクトハウスドルフ確率空間へ関手的に写像する標準的モデルを構築する。
• 標準的モデルを用いて、測度の標準的分解を導出し、因子写像と整合的であり、相対的独立性を保つようにする。
• τ加法的正則Borel測度とτ連続的汎関数を用いて、分離的・距離化可能な空間を超えたライス表現定理の一般化を実現する。
• ルーミス＝シコルスキーの定理を用いて、ブール代数およびσ代数の文脈で、抽象的なコルモゴロフ拡張定理の版本を確立する。
• 自然同型および圏論的積を用いることで、構成全体にわたる整合性と関手性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ゲルファンド双対性は、非可分的・非距離化可能な局所コンパクトハウスドルフ空間およびその関連C*-代数へどのように拡張可能か？
• RQ2 非可算な設定において、抽象的確率代数をコンパクトハウスドルフ確率空間へと標準的かつ関手的に表現する方法は何か？
• RQ3 分離性や標準的ボレル構造を要件としない因子空間上での測度の標準的分解は、どのように構成可能か？
• RQ4 非可分C*-代数およびその双対空間上のτ加法的汎関数へ、ライス表現定理はどのように一般化されるか？
• RQ5 分離性の仮定がない状況で、ルーミス＝シコルスキーの定理は、抽象的なコルモゴロフ拡張定理の実現にどのように寄与するか？

主な発見

• 標準的モデルにより、抽象的確率代数とコンパクトハウスドルフ確率空間との間で、完全に関手的かつ圏同値な関係が確立され、表現の曖昧さが解消される。
• 標準的分解定理により、任意の確率測度が、因子写像と整合的で、測度的に可測な条件付き測度への分解を有することが保証される。これは非可算な設定においても成り立つ。
• 任意の群Γによる確率代数上の作用に対して、不変因子は標準的モデルにおける基底空間Yに同型であり、Yが最大の不変因子であることが確認される。
• 標準的モデルにより、カテゴリカルテンソル積を用いて、測度の相対的独立積が構成可能となり、非可算な場合においても独立性が保たれる。
• 本論文は、ある種の不変集合が元の空間ではバーレ可測でないが、標準的モデルでは可測となり、条件付き測度の非エルゴード性を検出するために利用可能であることを示している。
• ハルモスによる主張の反例を解消する。特定の集合が、形式的に不変に見えるにもかかわらず、実際にはバーレ可測でないことを示している。