[논문 리뷰] A universal property for the Jiang-Su algebra

Marius Dădărlat, Andrew S. Toms|ArXiv.org|2007. 07. 27.

Advanced Operator Algebra Research참고 문헌 15인용 수 10

한 줄 요약

이 논문은 잭슨-수 아르알지의 보편 성질을 확립한다. 임의의 유일한 분리 가능한 C*-대수의 무한 텐서곱이 𝒵를 텐서적으로 흠유하는 것은, 그것이 특성 없는 유일한 부분동형성 C*-대수를 포함할 때이고 뿐이 아니라, 그 조건을 만족할 때에만 성립한다. 이 특성은 𝒵에 대한 보편 성질을 광범위한 C*-대수의 범주에서 도출하며, 강한 자기흡수성 ASH 대수들이 𝒵-안정적임을 의미하고, 따라서 K-이론과 트레이스 단체로 유일하게 분류됨을 보여주며, 특성 없는 강한 자기흡수성 ASH 대수의 분류를 완성한다.

ABSTRACT

We prove that the infinite tensor power of a unital separable C*-algebra absorbs the Jiang-Su algebra Z tensorially if and only if it contains, unitally, a subhomogeneous algebra without characters. This yields a succinct universal property for Z in a category so large that there are no unital separable C*-algebras without characters known to lie outside it. This category moreover contains the vast majority of our stock-in-trade separable amenable C*-algebras, and is closed under passage to separable superalgebras and quotients, and hence to unital tensor products, unital direct limits, and crossed products by countable discrete groups. One consequence of our main result is that strongly self-absorbing ASH algebras are Z-stable, and therefore satisfy the hypotheses of a recent classification theorem of W. Winter. One concludes that Z is the only projectionless strongly self-absorbing ASH algebra, completing the classification of strongly self-absorbing ASH algebras.

연구 동기 및 목표

• 유일한 분리 가능한 C*-대수의 광범위한 범주에서 잭슨-수 아르알지 𝒵에 대한 보편 성질을 확립하기 위해.
• 오랫동안 존재했던 𝒵에 대한 구조적 특성화의 부재를 해결하기 위해, 무한 텐서곱이 𝒵를 흡수하는 조건을 규명하기 위해.
• 강한 자기흡수성 ASH 대수가 𝒵-안정적임을 보여주어, 윈터의 최근 정리에 기반한 분류를 가능하게 하기 위해.
• 보편 성질을 만족하는 C*-대수의 범주가 텐서곱, 직접 극한, 몫, 그리고 교차곱에 대해 닫혀 있음을 보여주기 위해.
• 저속 차원 성장 특성을 가진 RSH 대수의 인도크티브 극한에서의 𝒵-안정성 증명을 위한 프레임워크를 제공하기 위해.

제안 방법

• 𝒜^⊗∞가 특성 없는 유일한 부분동형성 C*-대수를 포함하면 𝒜^⊗∞ ⊗ 𝒵 ≅ 𝒜^⊗∞임을 증명하기 위해.
• 소수 차원 감소 대수 𝒫_{p,q}에서 연속 함수 위의 행렬 대수로의 유일한 *-호모모르피즘 공간의 필터레이션을 사용하기 위해.
• 톰의 교차성 정리를 적용하여 필터레이션의 매끄러운 스트라타로 맵을 변형함으로써, 호모모르피즘 공간의 경로 연결성을 확보하기 위해.
• 𝒫_{p,q}의 반복 표현에 대한 반연속 필드에 대해 연속 선택 원리를 적용하여, 근사 중심화 시퀀스를 구성하기 위해.
• 카스파로프의 KK-이론을 활용하여 표현 공간의 호모토피 군을 분석하고, 낮은 차원에서의 소멸을 확립하기 위해.
• 얻어진 경로 연결성을 활용하여, 𝒫_{p,q}에서 𝒜^⊗∞로의 유일한 *-호모모르피즘을 구성함으로써, 𝒫_{p,q}의 인도크티브 극한으로서 𝒵의 특성화에 의해 𝒵-안정성을 유도하기 위해.

실험 결과

연구 질문

• RQ1 유일한 분리 가능한 C*-대수 𝒜의 무한 텐서곱 𝒜^⊗∞가 특성 없는 유일한 부분동형성 C*-대수를 포함할 때에만 잭슨-수 아르알지 𝒵를 흡수하는가?
• RQ2 잭슨-수 아르알지 𝒵는 대부분의 알려진 아벨리안 분리 가능한 C*-대수를 포함하는 충분히 큰 범주에서 보편 성질로 특성화될 수 있는가?
• RQ3 모든 강한 자기흡수성 ASH 대수들은 𝒵-안정적인가? 만약 그렇다면, 이는 특성 없는 경우의 유일성에 영향을 미치는가?
• RQ4 보편 성질을 사용하여 저속 차원 성장 특성을 가진 RSH 대수의 인도크티브 극한에서의 𝒵-안정성을 증명할 수 있는가?
• RQ5 소수 차원 감소 대수 𝒫_{p,q}는 호모모르피즘 공간을 통해 𝒵-안정성의 특성화에서 어떤 역할을 하는가?

주요 결과

• 유일한 분리 가능한 C*-대수 𝒜의 무한 텐서곱 𝒜^⊗∞가 특성 없는 유일한 부분동형성 C*-대수를 포함할 때에만 잭슨-수 아르알지 𝒵를 흡수한다.
• 잭슨-수 아르알지 𝒵는 무한 텐서곱이 특성 없는 부분동형성 대수를 포함하는 모든 유일한 분리 가능한 C*-대수의 범주에서 보편 성질을 만족한다.
• 모든 강한 자기흡수성 ASH 대수들은 𝒵-안정적이며, 따라서 K-이론과 트레이스 단체로 완전히 분류되며, 𝒵는 특성 없는 유일한 그러한 대수이다.
• 보편 성질을 만족하는 C*-대수의 범주는 분리 가능한 상위대수, 몫, 유일한 텐서곱, 유일한 직접 극한, 가산离산군에 의한 교차곱에 대해 닫혀 있다.
• 차원 dim(X)에 비해 충분히 큰 k에 대해, 𝒫_{p,q}에서 M_k(C(X))로의 유일한 *-호모모르피즘 공간은 경로 연결성이 보장되며, 이는 주요 정리의 핵심 기술적 결과이다.
• 결과적으로, 저속 차원 성장 특성을 가진 RSH 대수의 인도크티브 극한이 모든 상대적으로 소수인 p,q > 1에 대해 𝒫_{p,q}로의 유일한 *-호모모르피즘을 갖는다면, 이는 𝒵-안정적임을 의미한다.