[논문 리뷰] Large subalgebras

N. Christopher Phillips|arXiv (Cornell University)|2014. 08. 24.

Advanced Operator Algebra Research참고 문헌 32인용 수 7

한 줄 요약

이 논문은 무한차원 단순 유일한 C*-대수에서 큰 부분대수와 안정적으로 큰 부분대수를 도입하고 체계적으로 연구하며, ℤ에 의한 와еп드 tích에서 궤도 끊기 부분대수와 같은 구성들을 통합한다. 이러한 부분대수는 단순성, 무한성, 안정적으로 유한성 또는 순수 무한성과 같은 핵심 구조적 성질을 그대로 유지하며, 추적 상태, 정규화된 2-준트레이스, 비교 반경을 유지하고, 영이 아닌 프로젝션 클래스를 제거한 후 Cuntz 준군이 서로 동형이 된다.

ABSTRACT

We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal homeomorphism of X, and let Y be a closed subset of X. Let u be the standard unitary in C* (Z, X, h). The Y-orbit breaking subalgebra is the subalgebra of C* (Z, X, h) generated by C (X) and all elements f u for f in C (X) such that f vanishes on Y. If intersects each orbit of h at most once, then the Y-orbit breaking subalgebra is large in C* (Z, X, h). Large subalgebras obtained via generalizations of this construction have appeared in a number of places, and we unify their theory in this paper. We prove the following results for an infinite dimensional simple unital C*-algebra A and a stably large subalgebra B of A: B is simple and infinite dimensional. If B is stably finite then so is A, and if B is purely infinite then so is A. The restriction maps from the tracial states of A to the tracial states of B and from the normalized 2-quasitraces on A to the normalized 2-quasitraces on B are bijective. When A is stably finite, the inclusion of B in A induces an isomorphism on the semigroups that remain after deleting from the Cuntz semigroups of A and B all the classes of nonzero projections. B and A have the same radius of comparison.

연구 동기 및 목표

• 다양한 C*-대수 구성에서 큰 부분대수와 안정적으로 큰 부분대수의 이론을 통합하고 일반화하기 위해.
• 단순성, 무한성, 안정적으로 유한성 등의 구조적 성질이 안정적으로 큰 부분대수 B에서 주변 C*-대수 A로 어떻게 유지되는지 조사하기 위해.
• B와 A의 추적 상태 및 정규화된 2-준트레이스 간의 관계를 분석하며, 포함 관계 하에서의 전단사성에 중점을 두기 위해.
• B와 A의 Cuntz 준군의 행동을 분석하며, 특히 영이 아닌 프로젝션 클래스를 제거한 후의 행동을 중심으로 하기 위해.
• A가 안정적으로 유한할 경우, 비교 반경이 A와 B 사이에서 보존되는지 판단하기 위해.

제안 방법

• 무한차원 단순 유일한 C*-대수의 맥락에서 큰 부분대수와 안정적으로 큰 부분대수를 정의하기 위해.
• B가 닫힌 부분집합 Y에서 함수 f가 0이 되는 조건을 만족하는 C(X)와 f u의 원소들로 생성되는 ℤ에 의한 와еп드 곱의 궤도 끊기 부분대수 구성 방식을 기초 예시로 사용하기 위해.
• Y가 각 h-궤도와 최대 한 번만 만날 경우, B가 C*(ℤ, X, h)에서 큰 부분대수임을 증명하기 위해.
• B ⊂ A의 포함관계가 A와 B의 추적 상태와 정규화된 2-준트레이스 사이에 전단사 대응을 유도함을 증명하기 위해.
• 영이 아닌 프로젝션의 모든 클래스를 제거한 A와 B의 Cuntz 준군을 분석하여, 포함관계가 남은 준군들 사이에 동형을 유도함을 보여주기 위해.
• A가 안정적으로 유한할 경우, A와 B의 비교 반경이 일치함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 A가 단순 유일한 C*-대수이고 B가 A의 안정적으로 큰 부분대수일 때, B는 단순성과 무한차원성을 그대로 유지하는가?
• RQ2 B가 A에서 안정적으로 큰 경우, A의 추적 상태에서 B의 추적 상태로의 제약 사상이 전단사인가?
• RQ3 영이 아닌 프로젝션 클래스를 제거한 후, B ⊂ A의 포함관계가 A와 B의 Cuntz 준군들 사이에 동형을 유도하는가?
• RQ4 B가 안정적으로 유한할 경우, A도 반드시 안정적으로 유한해야 하는가? B가 순수 무한일 경우, A도 순수 무한이어야 하는가?
• RQ5 A가 안정적으로 유한할 경우, 비교 반경이 A와 B 사이에서 보존되는가?

주요 결과

• A가 무한차원 단순 유일한 C*-대수이고 B가 A에서 안정적으로 큰 부분대수일 경우, B는 항상 단순하고 무한차원적이다.
• B가 안정적으로 유한할 경우, A도 반드시 안정적으로 유한하다; B가 순수 무한일 경우, A도 순수 무한이다.
• A의 추적 상태에서 B의 추적 상태로의 제약 사상과 A의 정규화된 2-준트레이스에서 B의 정규화된 2-준트레이스로의 제약 사상이 모두 전단사이다.
• A가 안정적으로 유한할 경우, A와 B의 Cuntz 준군에서 영이 아닌 프로젝션 클래스를 모두 제거한 후의 준군들 사이에 포함관계 B ⊂ A가 동형을 유도한다.
• A가 안정적으로 유한할 경우, A와 B의 비교 반경은 서로 같다.
• 이 이론은 ℤ에 의한 와еп드 곱에서 궤도 끊기 부분대수를 포함하여 다양한 구성들을 큰 부분대수의 일반적 프레임워크 아래 통합한다.