[논문 리뷰] A simple C*-algebra with finite nuclear dimension which is not Z-stable

Ilijas Farah, Dan Hathaway외 2명|arXiv (Cornell University)|2013. 01. 21.

Advanced Operator Algebra Research참고 문헌 16인용 수 8

한 줄 요약

이 논문은 연속체 가설(CH) 또는 더 약한 조건 b = c 하에, 초한적 재귀적 구성법을 사용하여, Z-안정이 아니지만 핵심 차원이 0인 단순 C*-대수를 구성한다. 핵심 통찰은 중심 시퀀스 대수가 아벨이지만 비자명하다는 점이며, 이는 유한한 핵심 차원에도 불구하고 Z-안정성을 방해한다. 따라서 Toms–Winter 추측이 분리성 조건 없이 성립하지 않음을 보여준다. 동일한 방법으로, R과의 텐서곱과 동형이 아닌 초유한 II₁ 형식이 존재함을 보여, CH 하에서 비분리적 상황에서 R-안정성 역시 실패함을 보인다. 구성은 중심 시퀀스를 자동형사와 연관시켜 제어하고, 초중심성을 피함으로써, 집합론적 가정을 이용해 중심 시퀀스 대수의 비자명성을 보장한다.

ABSTRACT

We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis.

연구 동기 및 목표

• 비분리적 C*-대수에서 유한한 핵심 차원이 Z-안정성을 유도하지 않음을 보여주어, Toms–Winter 추측이 분리성의 경우를 초월해 실패함을 도전한다.
• 초유한 II₁ 형식이 R-안정이 아니라는 것을 구성함으로써, 비분리적 상황에서 정규성 성질의 실패를 von Neumann 대수로 확장한다.
• 약한 집합론적 가정 하에, 단순 C*-대수와 초유한 II₁ 형식에서 중심 시퀀스 대수가 아벨이지만 비자명한 것이 가능함을 보여준다.
• 초한적 재귀와 자동형사 제어를 통해, 분리성 조건이 없을 때 '유한한 핵심 차원 ⇒ Z-안정성'의 함의관계에 대한 반례를 제공한다.

제안 방법

• c 이하의 순서수로 인덱싱된 국소 행렬식(LM) 대수의 직접 극한으로 C*-대수를 초한적 재귀적으로 구성한다.
• 각 단계 ξ에서, 이전 단계에서 유도된 중심 시퀀스가 초중심인지 검사한다; 만약 초중심이 아니면, 중심성을 깨뜨리기 위해 *-환류를 통해 더 큰 대수로 포함시킨다.
• 모든 잠재적 중심 시퀀스가 결국 고려되고, 초중심이 아니면 방해당하도록 보장하기 위해 χ: c → c² 의 전사 사상 사용.
• 핵심 기술 도구로, 자동형사 α를 사용하여 ∥x_j − α(x_j)∥ > ε 인 j가 무한히 많음을 보장하는 Lemma 3.2 활용.
• 노름 위상 대신 강한 연산자 위상과 밀집된 LM C*-부분대수를 사용하여, von Neumann 대수로의 구성 확장.
• 구성은 바운딩 수 b와 가정 b = c를 통해 연속성과 수열 제어를 보장하며, CH가 필요 없도록 약화된 조건을 사용한다.

실험 결과

연구 질문

• RQ1 비분리적 C*-대수에서 유한한 핵심 차원이 Z-안정성을 유도하는가?
• RQ2 초유한 II₁ 형식이 R-안정이 아닐 수 있는가?
• RQ3 아벨 중심 시퀀스 대수가 비자명하고 Z-안정이 아닌 C*-대수가 존재하는가?
• RQ4 ZFC에서 Z-안정성의 실패를 증명할 수 있는가, 아니면 집합론적 가정이 필수적인가?

주요 결과

• 연속체 가설 하에, 핵심 차원이 0이지만 Z-안정이 아닌 단순 핵심 C*-대수가 존재한다.
• 이 C*-대수의 중심 시퀀스 대수는 아벨이지만 비자명하며, 이는 Lemma 1.1에 의해 Z-안정성의 실패를 암시한다.
• 더 약한 가정 b = c 하에, 중심 시퀀스 대수가 아벨인 국소 행렬식 C*-대수가 존재하며, 이는 Z-안정성의 실패를 암시한다.
• CH 하에, R과의 텐서곱과 동형이 아닌 초유한 II₁ 형식이 존재함을 보여, 비분리적 상황에서 R-안정성의 실패를 보여준다.
• 구성된 C*-대수의 중심 시퀀스 대수는 아벨이면서 비자명하며, 이는 Toms–Winter 추측이 분리성 조건 없이 실패함을 보여준다.
• 구성은 비분리적 C*-대수에서 국소 Z-안정성(정리 4.1의 조건 3)이 전역 Z-안정성을 유도하지 않음을 보여준다.