[논문 리뷰] Reduced products of UHF algebras under forcing axioms

Paul McKenney|arXiv (Cornell University)|2013. 03. 20.

Advanced Operator Algebra Research참고 문헌 23인용 수 9

한 줄 요약

이 논문은 Todorčević의 공리와 Martin의 공리를 가정할 때, 분리 가능하고 단위를 가진 UHF 대수의 감소곱 사이의 임의의 동형사상은 고정된 함수 $ e: \mathbb{N} \to \mathbb{N} $에 의해 유도되는 *-호모모르피즘의 수열을 통해 정의 가능하다는 것을 증명하며, Coskey와 Farah의 추측을 확인한다. 핵심 결과는 이러한 동형사상이 존재하는 것과 $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $가 유한한 개수를 제외한 모든 $ 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 대수의 감소곱 사이의 동형사상의 비자명성에 관한 Coskey와 Farah의 추측을 확인하기 위해.
• 감소곱 간의 동형사상 여부를 대수의 구조에 대한 필요충분조건으로 규명하기 위해.
• 이러한 감소곱 사이의 임의의 동형사상이 강한 의미에서 정의 가능하다는 것을 보여주기 위해 — 구체적으로, 고정된 함수 $ e: \mathbb{N} \to \mathbb{N} $에 의해 유도되는 일관된 *-호모모르피즘의 가닥을 통해.
• 동형사상이 수열 $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $를 통해 결정되며, 각 $ \mathcal{F}_n \subseteq \mathcal{A}_n $는 유한 차원임을 보여주기 위해.

제안 방법

• 증명은 Todorčević의 공리(TA)와 Martin의 공리(MA)를 강제 공리로 사용하여, 승수 대수의 동형사상 그래프의 보렐 구조를 분석한다.
• Open Coloring Axiom(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 보렐 그래프의 존재는 엄격한 대수적 업그레이드의 존재를 암시하는가?

주요 결과

• Todorčević의 공리와 Martin의 공리를 가정할 경우, $ \prod \mathcal{A}_n / \bigoplus \mathcal{A}_n $와 $ \prod \mathcal{B}_n / \bigoplus \mathcal{B}_n $ 사이의 임의의 동형사상은 강한 의미에서 정의 가능하다.
• 동형사상은 함수 $ e: \mathbb{N} \to \mathbb{N} $에 의해 완전히 결정되며, 모든 유한한 개수를 제외한 모든 $ n $에 대해 $ \mathcal{A}_n \simeq \mathcal{B}_{e(n)} $이다.
• 유한 차원 부분대수 $ \prod \mathcal{F}_n / \bigoplus \mathcal{F}_n $에 제한된 동형사상은 수열 $ \mathcal{F}_n \to \mathcal{B}_{e(n)} $를 통해 유도된 *-호모모르피즘의 결과이다.
• 동형사상의 그래프는 승수 대수의 단위 볼에서 엄밀한 위상에서 보렐이다.
• 보렐 그래프의 존재는 엄격한 대수적 업그레이드의 존재를 암시하며, 이는 일관된 *-호모모르피즘의 가닥을 통해 구성된다.
• 동형사상은 Coskey와 Farah의 의미에서 비자명하다: 고정된 색인 이동과 일관된 *-호모모르피즘에 의해 유도되며, 임의의 보렐 데이터에 의해 유도되지 않는다.