[논문 리뷰] Unbounded quasitraces, stable finiteness and pure infiniteness

David Pask, Adam Sierakowski외 1명|arXiv (Cornell University)|2017. 05. 03.

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

한 줄 요약

이 논문은 실수 계수가 0인 σ-유니탈 정확한 C*-대수로 블랙더와 라르담의 2-쿼스트레이스 정리의 일반화를 수립하며, K₀(A) 위의 모든 덧셈적 양수 함수가 하향 연속적인 2-쿼스트레이스로 확장됨을 증명한다. 이 결과는 교차곱과 k-그래프 C*-대수에 대한 이분법 정리로 이어지며, 단위 원소를 가진 단순한 k-그래프 대수의 경우, 관련된 준군 S(Λ)의 거의 무파괴성에 따라 순수하게 무한하거나 안정적으로 유한한 성질을 띤다. 이는 k-그래프의 구조에 따라 완전한 특성화를 제공한다.

ABSTRACT

We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph.

연구 동기 및 목표

• 블랙더와 라르담의 2-쿼스트레이스 결과를 유니탈에서 실수 계수가 0인 σ-유니탈 C*-대수로 확장하기.
• 레인온의 안정적으로 유한성과 순수 무한성에 관한 이분법 결과를 비유니탈 설정으로 일반화하기.
• k-그래프에 관련된 준군 S(Λ)를 사용하여 단위 원소를 가진 단순한 k-그래프 C*-대수의 순수 무한성 또는 안정적으로 유한한 성질을 특성화하기.
• k-그래프의 조합적 구조에 따라 k-그래프 대수의 순수 무한성에 대한 완전한 특성화 수립하기.

제안 방법

• 실수 계수가 0인 σ-유니탈 정확한 C*-대수 A에 대해 K₀(A) 위의 모든 덧셈적 양수 함수가 하향 연속적인 2-쿼스트레이스로 확장됨을 증명함으로써, 블랙더-라르담 정리를 확장한다.
• k-그래프 Λ의 정점 집합 위의 유한 지지 함수의 동치류로 구성된 준군 S(Λ)를 도입하며, 이는 그래프의 구조와 2-코호몰로지에 의해 정의된다.
• 준군 S(Λ)를 관련된 C*-동역학계의 유형 준군으로 모델링하고, 이를 레인온의 프레임워크와 연결한다.
• 준군의 구조 분석을 위해 정련 준군 이론과 거의 무파괴성 이론을 활용하여 k-그래프 C*-대수의 성질을 도출한다.
• 리스 정련 성질과 약한 비교 가능성을 사용하여 S(Λ) 내에서 취소 가능성과 무한성의 특성화를 수행한다.
• S(Λ)의 거의 무파괴성과 k-그래프 C*-대수의 순수 무한성 또는 안정적으로 유한한 성질 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 실수 계수가 0인 σ-유니탈 C*-대수로 K₀(A) 위의 상태의 쿼스트레이스로의 확장이 유니탈에서 일반화될 수 있는가?
• RQ2 최소 및 적절히 외부적인 작용을 갖는 σ-유니탈 C*-대수의 교차곱 C*-대수에서 안정적으로 유한성과 순수 무한성 간의 이분법이 성립하는가?
• RQ3 k-그래프 Λ에 어떤 조건이 성립할 경우 그에 관련된 C*-대수가 순수하게 무한하거나 안정적으로 유한한가?
• RQ4 k-그래프에 관련된 준군 S(Λ)가 그 C*-대수의 순수 무한성 또는 안정적으로 유한한 성질을 결정하는 데 충분한가?
• RQ5 S(Λ)에 무한 원소가 존재할 경우 S(Λ)*의 취소 가능성은 성립하는가, 그리고 이는 순수 무한성과 어떻게 관련되는가?

주요 결과

• 실수 계수가 0인 σ-유니탈 정확한 C*-대수 A에 대해 K₀(A) 위의 모든 덧셈적 양수 함수 β: K₀(A) → ℝ는 하향 연속적인 2-쿼스트레이스로 확장되며, 이는 블랙더와 라르담의 유니탈 결과를 일반화한다.
• 실수 계수가 0인 σ-유니탈 정확한 C*-대수 A에 대해 취소 가능성과 최소적이고 적절히 외부적인 작용 σ를 갖는 이산군 G의 경우, 교차곱 A ⋊σ,r G는 순수하게 무한한데, 이는 추적 없고 안정적으로 유한하지 않은 경우에만 성립한다.
• 동일한 조건 하에서 교차곱 A ⋊σ,r G는 충실한 하향 연속적인 반한정 측도를 갖는다. 이는 안정적으로 유한한 경우에만 성립한다.
• 단위 원소를 가진 단순한 k-그래프 C*-대수의 경우, k-그래프에 관련된 모든 날개 달린 C*-대수 또는 모두 안정적으로 유한하거나 모두 순수하게 무한하다.
• 실수 계수가 0인 행렬 유한성과 원천이 없는 k-그래프 Λ에 대해 준군 S(Λ)는 순수하게 무한하거나 안정적으로 유한한 경우에만 거의 무파괴적이다.
• S(Λ)가 거의 무파괴적일 경우 S(Λ)*는 취소 가능하며, k-그래프 C*-대수의 순수 무한성은 S(Λ)의 모든 비영원소 x, y에 대해 x ≤ y 이다.