[논문 리뷰] On C*-algebras Associated with Sofic Shifts

Toke Meier Carlsen|ArXiv.org|2000. 09. 14.

Advanced Operator Algebra Research참고 문헌 6인용 수 19

한 줄 요약

이 논문은 임의의 소픽 샤프트 Λ에 대해 마츠모토의 C*-대수 𝒪_Λ가 Λ의 왼쪽 크리거 커버 그래프와 관련된 쿤츠-크리거 대수와 동형임을 증명한다. 이 동형사상은 왼쪽 크리거 커버의 구조와 𝒪_Λ의 생성 부분등장사상들을 이용하여 상호 역인 *-환형사상을 정의하는 유니버설 성질을 통해 구성된다.

ABSTRACT

We show that for a sofic shift Lambda, Matsumoto's C*-algebra O_Lambda is isomorphic to the Cuntz-Krieger algebra of the left Krieger cover graph of Lambda.

연구 동기 및 목표

• 소픽 샤프트 Λ에 대해 마츠모토의 C*-대수 𝒪_Λ가 그 왼쪽 크리거 커버 그래프의 쿤츠-크리거 대수와 동형인지 여부에 대한 열린 문제를 해결한다.
• 소픽 샤프트 위에서 두 C*-대수 구조—마츠모토의 것과 쿤츠-크리거의 것—사이의 구조적 연결을 확립한다.
• 두 대수의 K₀ 및 K₁ 불변량이 일치하며, 이를 초월하여 전순 *-동형사상을 구성한다.
• C*-대수의 유니버설 성질을 활용하여 두 대수 간의 상호 역인 *-환형사상을 정의하고 검증한다.
• 왼쪽 크리거 커버 그래프의 대수적 구조가 소픽 샤프트의 C*-대수적 구조를 완전히 반영함을 보여준다.

제안 방법

• 생성자 s_e를 S_{ℒ(e)}E_{r(e)}로 보낸다. 이를 통해 쿤츠-크리거 대수 𝒪_{B_Λ}에서 마츠모토 대수 𝒪_Λ로의 *-환형사상 ϕ를 구성한다.
• S_i를 ∑_{ℒ(e)=i} s_e로, E_{r(e)}를 s_e^*s_e로 보낸다. 이를 통해 𝒪_Λ에서 𝒪_{B_Λ}로의 쌍대 *-환형사상 ψ를 구성한다.
• 쿤츠-크리거 대수의 유니버설 성질을 이용하여 생성자들이 만족하는 관계에 기반해 이러한 환형사상의 존재를 보장한다.
• 부분등장사상의 정규직교성과 범위 프로젝션을 이용하여 ϕ∘ψ 및 ψ∘ϕ가 각각의 대수에서 항등사상임을 검증한다.
• 생성자의 곱셈 및 수반 관계의 일관성을 확보하기 위해 왼쪽 크리거 커버 그래프의 왼쪽 해소 성질을 활용한다.
• 𝒟_Λ와 시프링 공간 위의 특성 함수 대수 사이의 동형을 이용하여 𝒪_Λ의 프로젝션을 시프링 공간의 가측 집합과 연결한다.

실험 결과

연구 질문

• RQ1 소픽 샤프트 Λ에 대해 마츠모토의 C*-대수 𝒪_Λ가 그 왼쪽 크리거 커버 그래프의 쿤츠-크리거 대수와 동형인지인가?
• RQ2 왼쪽 크리거 커버 구조 하에서 쿤츠-크리거 대수와 마츠모토 대수를 정의하는 유니버설 관계가 일치하는가?
• RQ3 두 대수의 K₀ 및 K₁ 불변량이 전순 *-동형사상으로 올라갈 수 있는가?
• RQ4 왼쪽 크리거 커버 그래프가 소픽 샤프트의 C*-대수의 완전한 대수적 모델을 제공하는가?
• RQ5 마츠모토 대수의 생성 부분등장사상들이 왼쪽 크리거 커버를 통해 쿤츠-크리거 대수의 생성자들로 체계적으로 올라갈 수 있는가?

주요 결과

• 소픽 샤프트 Λ와 관련된 C*-대수 𝒪_Λ는 그 왼쪽 크리거 커버 그래프의 쿤츠-크리거 대수 𝒪_{B_Λ}와 동형이다.
• 이 동형사상은 두 상호 역인 *-환형사상 ϕ: 𝒪_{B_Λ} → 𝒪_Λ 및 ψ: 𝒪_Λ → 𝒪_{B_Λ}을 통해 명시적으로 구성된다.
• 사상 ψ는 S_i를 ∑_{ℒ(e)=i} s_e로, E_{r(e)}를 s_e^*s_e로 보낸다. 이는 쿤츠-크리거 대수의 유니버설 관계를 유지한다.
• 사상 ϕ는 s_e를 S_{ℒ(e)}E_{r(e)}로 보낸다. 정규직교성과 프로젝션 관계에 의해 ϕ∘ψ는 𝒪_Λ에서 항등사상으로 작용한다.
• ψ∘ϕ는 𝒪_{B_Λ}에서 항등사상으로 작용하며, 이는 ϕ와 ψ가 서로 역 동형사상임을 확인한다.
• 증명은 왼쪽 크리거 커버 그래프의 왼쪽 해소 성질을 활용하여 부분등장사상의 곱셈 및 수반 관계의 일관성을 보장한다.