[論文レビュー] Reduced products of UHF algebras under forcing axioms

Paul McKenney|arXiv (Cornell University)|Mar 20, 2013

Advanced Operator Algebra Research参考文献 23被引用数 9

ひとこと要約

この論文は、トードチェビッチの公理（TA）とマーティンの公理（MA）の下で、任意の可分単位的UHF代数の縮小積間の同型写像が、固定された関数 $ e: \mathbb{N} \to \mathbb{N} $ によって誘導される*-準同型の列を介して定義可能であることを確立し、コスキーとファラの予想を裏付ける。主な結果は、このような同型写像が存在するための必要十分条件が、すべての $ n $ に対して $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $ が成り立つ（有限個の例外を除く）ことである。同型写像は、一貫した*-準同型の族によって厳密に決定される。

ABSTRACT

If $A_n$ is a sequence of C*-algebras, then the C*-algebra $\prod A_n / \bigoplus A_n$ is called a reduced product. We prove, assuming Todorcevic's Axiom and Martin's Axiom, that every isomorphism between two reduced products of separable, unital UHF algebras must be definable in a strong sense. As a corollary we deduce that two such reduced products $\prod A_n / \bigoplus A_n$ and $\prod B_n / \bigoplus B_n$ are isomorphic if and only if, up to an almost-permutation of $\mathbb{N}$, $A_n$ is isomorphic to $B_n$.

研究の動機と目的

• 強制公理の下で、UHF代数の縮小積間の同型写像の自明性に関するコスキーとファラの予想を確認すること。
• UHF代数の構造に関する必要十分条件を同定することにより、二つのUHF代数の縮小積が同型である条件を同定すること。
• このような縮小積間の任意の同型写像が、固定関数 $ e: \mathbb{N} \to \mathbb{N} $ によって誘導される一貫した*-準同型族を介して強い意味で定義可能であることを示すこと。
• 同型写像が、各 $ \mathcal{F}_n \subseteq \mathcal{A}_n $ が有限次元であるような $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $ の*-準同型の列によって決定されることを示すこと。

提案手法

• 証明は、同型写像のグラフのボレル構造を解析するために、強制公理としてトーディチェビッチの公理（TA）とマーティンの公理（MA）を用いる。
• TAの形式の一つである開色公理（OCA）を用いたラマジー的二分岐を適用し、同型写像のグラフから一貫した*-準同型族を構成する。
• 同型写像を乗算代数における厳密な代数的持ち上げに持ち上げ、ボレルグラフ条件を用いて定義可能性を保証する。
• 文献[30]の中心的自己同型に関する主結果を活用し、同型写像が中心的列上で $ e $ によるシフトとして作用する関数 $ e: \mathbb{N} \to \mathbb{N} $ を特定する。
• 近似準同型を摂動して正確な準同型を得るため、$ \delta_n \to 0 $ の列を用い、同型写像と整合するように摂動を適用する。
• 強制拡大における $ \mathbf{\Sigma}^1_2 $ および $ \mathbf{\Pi}^1_2 $ 文の絶対性を活用し、一般性を失うことなくTAを仮定できる。

実験結果

リサーチクエスチョン

• RQ1 強制公理の下で、UHF代数の縮小積間のすべての同型写像は、強い意味で一貫した方法で定義可能か？
• RQ2 UHF代数の列 $ \mathcal{A}_n $ と $ \mathcal{B}_n $ にどのような構造的条件が満たされると、それらの縮小積が同型になるか？
• RQ3 このような同型写像は、固定関数 $ e: \mathbb{N} \to \mathbb{N} $ と一貫した*-準同型族を介して実現可能か？
• RQ4 このような同型写像のグラフは、常に乗算代数の単位球上の厳密位相でボレルか？
• RQ5 ボレルグラフの存在は、厳密な代数的持ち上げの存在を示唆するか？

主な発見

• トーディチェビッチの公理（TA）とマーティンの公理（MA）の下で、$ \prod \mathcal{A}_n / \bigoplus \mathcal{A}_n $ と $ \prod \mathcal{B}_n / \bigoplus \mathcal{B}_n $ 間の任意の同型写像は強い意味で定義可能である。
• 同型写像は、すべての $ n $ に対して $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $ が成り立つ（有限個の例外を除く）関数 $ e: \mathbb{N} \to \mathbb{N} $ によって完全に決定される。
• 任意の有限次元部分代数 $ \prod \mathcal{F}_n / \bigoplus \mathcal{F}_n $ への制限は、*-準同型 $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $ の列から生じる。
• 同型写像のグラフは、乗算代数の単位球上で厳密位相においてボレルである。
• ボレルグラフの存在は、一貫した*-準同型族を介して構成される厳密な代数的持ち上げの存在を示唆する。
• 同型写像はコスキーとファラの意味で自明である：固定添え字シフトと一貫した*-準同型族によって誘導されるが、任意のボレルデータによっては誘導されない。