[논문 리뷰] Crossed products of k-graph C*-algebras by Z^l

Cyntyhia Farthing, David Pask외 1명|ArXiv.org|2007. 06. 25.

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

한 줄 요약

이 논문은 k-그래프 Λ와 Λ 위의 Z^l 작용 α로부터 (k+l)-그래프를 구성하고, 이 (k+l)-그래프의 C*-대수와 C*(Λ) ×_α Z^l이 자연스럽게 동형임을 보인다. 주요 기여는 이전의 모리타 동치 결과들과 달리 작용이 자유가 아닐 경우에도 성립하는 동형 결과를 제시한 것으로, 펌프-보이쿨루스 정확수열을 통해 K-이론 계산이 자유도 조건 없이 가능해진다.

ABSTRACT

An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra.

연구 동기 및 목표

• k-그래프 C*-대수의 Z^l 작용에 의한 교차곱과 동형이 되는 (k+l)-그래프를 구성하는 것.
• 이전 결과들이 작용의 자유성 조건을 필요로 했던 한계를 극복하기 위해, 작용이 자유가 아닐 경우에도 성립하는 동형 결과를 제공하는 것.
• 교차곱 C*-대수의 연구에 그래프 C*-대수 기법을 적용할 수 있도록 하여, 특히 K-이론 계산을 가능하게 하는 것.
• 자기 자신이 자유가 아닐 수 있는 Z^l 작용으로까지 일반화된 스케일드 프로덕트 구성법을 확장하는 것.

제안 방법

• k-그래프 Λ와 Λ 위의 Z^l 작용 α로부터 일반화된 스케일드 프로덕트 구성법을 사용해 교차곱 (k+l)-그래프 Λ ×_α Z^l을 정의한다.
• Λ 위의 작용 α가 C*(Λ)에 유도하는 작용 α̃를 정의하고, C*(Λ ×_α Z^l) ≅ C*(Λ) ×_α̃ Z^l라는 자연스러운 동형을 증명한다.
• 최근 [21]에서 제시된 고계수 그래프 C*-대수의 단순성 특성화를 활용하여, C*(Λ ×_α Z^l)가 단순이 되는 조건을 규명한다.
• l=1일 때 Pimsner–Voiculescu 정확수열을 적용하여 C*(Λ ×_α Z)의 K-이론을 계산하고, 이 동형을 통해 교차곱의 K-이론을 원래 대수의 K-이론과 연결한다.
• 작용에 의해 유도된 사상과 전치 인cidense 행렬 A^t, B^t의 사상 간의 상사상과 핵을 연결하는 동형을 확립하여, 행렬 대수를 통한 K-이론 계산을 가능하게 한다.
• 아벨 군의 교환 다이어그램에서 16개의 레이어를 활용해 중간 행의 정확성을 유도하며, 이로부터 K-이론 공식 (6.1)과 (6.2)를 도출한다.

실험 결과

연구 질문

• RQ1 작용이 자유가 아닐 경우에도, 그 C*-대수가 k-그래프 C*-대수의 Z^l 작용에 의한 교차곱과 동형이 되는 (k+l)-그래프를 구성할 수 있는가?
• RQ2 C*(Λ ×_α Z^l)과 C*(Λ) ×_α̃ Z^l 사이의 동형은 k-그래프 Λ 위의 작용 α의 조합적 구조에 어떻게 의존하는가?
• RQ3 k-그래프 Λ와 작용 α에 어떤 조건이 성립하면 교차곱 C*-대수 C*(Λ) ×_α̃ Z^l가 단순해지는가?
• RQ4 l=1일 때 C*(Λ ×_α Z)의 K-이론은 Pimsner–Voiculescu 정확수열을 통해 계산할 수 있으며, 이는 C*(Λ)의 K-이론과 어떻게 관련되는가?
• RQ5 행렬 표현 A와 B는 (1 - A^t)과 (1 - B^t)의 상사상과 핵을 통해 K_0와 K_1를 얼마나 정확히 계산하는 데 활용할 수 있는가?

주요 결과

• 작용 α가 자유가 아니더라도, (k+l)-그래프 Λ ×_α Z^l의 C*-대수가 자연스럽게 C*(Λ) ×_α̃ Z^l와 동형임을 보였다.
• 이 동형 결과는 작용이 자유일 필요가 없이 성립하므로, 이전의 모리타 동치 결과에서의 제약 조건을 해결하였다.
• C*(Λ ×_α Z^l)의 단순성은 [21]의 프레임워크를 활용해 Λ와 작용 α의 조합적 성질에 따라 특성화되었다.
• l=1일 때, Pimsner–Voiculescu 정확수열을 활용하여 C*(Λ ×_α Z)의 K-이론을 계산하였으며, 이는 행렬 이론 도구의 적용을 가능하게 하였다.
• K-이론 군 K_*(C*(Λ ×_α Z))는 (1 - A^t)과 (1 - B^t)의 상사상과 핵을 통해 표현되었고, 이와 대응하는 K-이론 사상 간의 명시적 동형이 확립되었다.
• K_1(C*(Λ)) = 0일 경우, 아벨 군의 다이어그램에서 상단과 하단 행의 정확성이 중간 행의 정확성으로 이어지며, 이로부터 K-이론 공식 (6.1)과 (6.2)를 도출할 수 있었다.