[논문 리뷰] Embedding $\mathrm{C}^*$-algebras into the Calkin algebra

Ilijas Farah, Georgios Katsimpas외 1명|arXiv (Cornell University)|2018. 09. 29.

Advanced Topology and Set Theory참고 문헌 19인용 수 3

한 줄 요약

마르틴의 공리에서, 연속체보다 작은 조밀성 특성을 가진 모든 C*-대수들은 칼킨 대수로 통합된다. 그러나 ZFC와 일관된 바에 따르면 이러한 일부 C*-대수들은 통합되지 않을 수 있으며, 이는 통합 문제의 ZFC에 대한 독립성을 보여준다. 이는 불리 대수의 통합 문제의 비환원적 대응을 해결한다.

ABSTRACT

Every $\mathrm{C}^*$-algebra, regardless of its density character, can be embedded into the Calkin algebra in a forcing extension of the universe obtained without collapsing any cardinal.

연구 동기 및 목표

• 연속체보다 작은 조밀성 특성을 가진 C*-대수들이 칼킨 대수로 통합되는 조건을 규명하는 것.
• 불리 대수의 통합 문제의 비환원적 대응: 어떤 C*-대수들이 칼킨 대수로 통합되는가?
• ZFC로부터의 통합 성질의 독립성, 특히 연속체 가설이 성립하지 않을 경우를 탐구하는 것.
• 마르틴의 공리와 적절한 강제 공리와 같은 강제 공리들이 통합 가능성 결정에 미치는 역할을 분석하는 것.
• 칼킨 대수의 구조적 성질, 예를 들어 갭 스펙트럼과 ccc 성질을 통합의 보편성과 관련지어 분석하는 것.

제안 방법

• 강제 기법과 ccc 성질을 이용하여 마르틴의 공리로 조밀성 특성이 2^ℵ₀보다 작은 C*-대수들을 칼킨 대수로 통합하는 것을 구성하는 것.
• 특히 성질 K와 제품적으로 ccc인 포스팅을 중심으로, 칼킨 대수의 사영과 갭의 구조를 유지하기 위해 ccc 강제를 적용하는 것.
• 마르틴의 공리 하에서 칼킨 대수의 사영의 포스팅을 분석하여, 강제로 얼어붙지 않는 (2^ℵ₀, 2^ℵ₀)-갭의 존재를 보여주는 것.
• 튜키 등가성과 르베그 측도의 가속도에 관한 기존 결과를 활용하여 사영 레이스의 해석적 갭을 선형화하는 것.
• 칼킨 대수가 가산 포화되어 있지 않음을 이용하여, 비가산 C*-대수의 통합이 강력한 집합론적 가정이 필요함을 보여주는 것.
• 임의의 C*-대수 A에 관련된 포스팅 𝔼_A가 성질 K를 가짐을 증명하여, 이는 그것이 제품적으로 ccc이면서 P(ℕ)/Fin에서 갭을 얼어붙히지 못함을 의미한다.

실험 결과

연구 질문

• RQ1 어떤 집합론적 가정 하에서 연속체보다 작은 조밀성 특성을 가진 모든 C*-대수들이 칼킨 대수로 통합되는가?
• RQ2 그러한 통합의 존재는 ZFC에 대해 독립적인가? 만약 그렇다면, 어떤 모델에서 통합이 실패하는가?
• RQ3 연속체 가설이 성립하지 않는 모델에서 칼킨 대수는 2^ℵ₀-보편적인가?
• RQ4 마르틴의 공리와 같은 강제 공리들이 C*-대수의 칼킨 대수로의 통합을 가능하게 하거나 방해하는 데 어떤 역할을 하는가?
• RQ5 칼킨 대수의 사영 레이스에서의 갭 구조가 ccc 강제와 통합 가능성 유지와 어떻게 상호작용하는가?

주요 결과

• 마르틴의 공리는 연속체보다 엄격히 작은 조밀성 특성을 가진 모든 C*-대수가 칼킨 대수로 통합됨을 암시한다.
• ZFC와 일관된 바에 따르면, 연속체보다 작은 조밀성 특성을 가진 C*-대수 중에서 칼킨 대수로 통합되지 않는 것이 존재할 수 있으며, 이는 통합 성질이 ZFC에 대해 독립적임을 보여준다.
• 마르틴의 공리 하에서 칼킨 대수의 사영 포스팅은 강제로 얼어붙지 않는 (2^ℵ₀, 2^ℵ₀)-갭을 포함하며, 이는 구조적 풍부성을 나타낸다.
• 임의의 C*-대수 A에 관련된 포스팅 𝔼_A는 성질 K를 가지며, 이는 그것이 제품적으로 ccc이면서 P(ℕ)/Fin에서 갭을 얼어붙히지 못함을 의미한다.
• 적절한 강제 공리가 성립하는 모델에서는 칼킨 대수가 2^ℵ₀-보편적이지 않으며, 일부 아벨 C*-대수의 조밀성 2^ℵ₀가 통합되지 않는다.
• 칼킨 대수의 사영 레이스의 갭 스펙트럼은 P(ℕ)/Fin보다 더 복잡하며, 성질 K가 성립할 경우 ccc 강제 하에서도 그 구조가 유지된다.