[논문 리뷰] C*-crossed products and shift spaces

Toke Meier Carlsen, Sergei Silvestrov|arXiv (Cornell University)|2005. 12. 21.

Advanced Operator Algebra Research참고 문헌 35인용 수 21

한 줄 요약

이 논문은 Exel의 교차곱 프레임워크를 사용하여 한 방향 이동 공간에 대한 보편 C*-대수의 구축을 제안하며, 이는 Cuntz-Krieger 대수를 일반화하고, 동치성 불변량인 K-이론 불변량(K₀ 및 K₁)을 제공한다. 이 구축은 이전 연구의 모순을 해결하며, 충실한 표현, 초월성, 단순성 및 UCT 조건을 통해 이동 공간에 대한 올바른 보편 대상임을 입증한다.

ABSTRACT

In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and possesses properties indicating that it can be thought of as the universal C*-algebra associated to a shift space. We also consider its representations, relationship to other C*-algebras associated to shift spaces, show that it can be viewed as a generalization of the universal Cuntz-Krieger algebra, discuss uniqueness and a faithful representation, provide conditions for it being nuclear, for satisfying the UCT, for being simple, and for being purely infinite, show that the constructed algebras and thus their K-theory, $K_0$ and $K_1$, are conjugacy invariants of one-sided shift spaces, present formulas for those invariants, and also present a description of the structure of gauge invariant ideals.

연구 동기 및 목표

• 이전의 C*-대수 구축에서 발생하는 모순, 특히 Matsumoto (2000f:46084)에서 잘못된 구축으로 인한 문제를 해결하기 위해.
• 이동 연산자와 전이 연산자를 사용한 Exel의 교차곱 구축을 통해 한 방향 이동 공간에 연관된 보편 C*-대수를 정의하기 위해.
• 구축된 C*-대수의 구조가 [MR2091486]에서 정의된 대수의 몫임을 보이고, Matsumoto가 그의 대수에 대해 주장한 성질들을 모두 갖춘다.
• 구축된 C*-대수의 K₀ 및 K₁가 이동 공간의 동치성 불변량임을 입증하고, 이를 위한 명시적 공식을 제공하기 위해.
• 가우지 불변 이상을 특성화하고, 초월성, UCT, 단순성, 순수 무한성 조건을 결정하기 위해.

제안 방법

• 이동 공간의 모든 한 방향 이동 공간에 대해 Exel의 C*-교차곱 구축을 사용하여 전이 연산자를 포함한 C*-대수를 정의한다.
• 교차곱의 보편 성질을 적용하여, 함수와 이동 연산자 간의 공조 관계를 통해 이동 역학을 코딩하는 C*-대수를 정의한다.
• 이동 공간의 인cidenc 행렬을 사용하여 ℤΛ₀에서 ℤΛ₁로의 선형 사상 B를 구성하여 K-이론 불변량을 계산한다.
• 표준 기저 벡터로의 사영원소의 사상에 기반하여 명시적인 사상으로 K₀(𝒪Λ) ≅ ℤΛ₀ / BℤΛ₁ 및 K₁(𝒪Λ) ≅ ker(B)의 동형을 확립한다.
• 이동 연산자의 작용을 통해 이동 공간의 불변 부분집합과 핵심 C*-대수의 이상 간의 관계를 분석하여 가우지 불변 이상을 분석한다.
• 이동 공간의 조합 구조와 관련 행렬을 기반으로 초월성, UCT, 단순성, 순수 무한성에 대한 기준을 적용한다.

실험 결과

연구 질문

• RQ1 한 방향 이동 공간에 대해 이전의 구축에서 발생하는 모순을 해결할 수 있는 보편 C*-대수를 구성할 수 있는가?
• RQ2 구축된 C*-대수의 K₀ 및 K₁ 군은 이동 공간의 동치성 불변량인가?
• RQ3 구축된 C*-대수의 Cuntz-Krieger 대수를 일반화하고 그 핵심 성질을 상속하는가?
• RQ4 구축된 C*-대수가 초월성, UCT, 단순성 또는 순수 무한성을 만족시키기 위한 조건은 무엇인가?
• RQ5 C*-대수의 가우지 불변 이상은 이동 공간의 구조에 따라 어떻게 분류할 수 있는가?

주요 결과

• 이동 공간이 유한형일 경우, 구축된 C*-대수는 보편 Cuntz-Krieger 대수와 동형이다.
• 이 대수의 K₀ 군은 ℤΛ₀ / BℤΛ₁와 동형이며, 여기서 B는 길이 l과 l+1의 실린더 사이의 인cidenc 행렬이다.
• K₁ 군은 인cidenc 행렬 B의 핵에 동형이다: K₁(𝒪Λ) ≅ ker(B).
• K-이론 군인 K₀ 및 K₁는 한 방향 이동 공간의 동치성 불변량이며, 완전한 대수적 불변량을 제공한다.
• 이 대수가 초월성이 되는 것은 이동 공간의 인cidenc 구조에 특정한 유한 범위 조건이 만족될 때에 한하여 성립한다.
• 이 대수가 UCT를 만족하는 것은 인cidenc 행렬 B의 원소가 ℤ에 속하고 이동 공간이 sofic일 때에 한하여 성립하며, K-이론은 행렬 B를 통해 계산 가능하다.