[논문 리뷰] KMS weights on groupoid and graph C*-algebras

Klaus Thomsen|arXiv (Cornell University)|2013. 06. 21.

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

한 줄 요약

이 논문은 행렬의 인접행렬의 양의 고유벡터와 연결시켜, 행렬이 유한하고, 홀로남은 정점이 없으며, 포괄적인 그래프의 게이지 작용에 대한 KMS 가중치를 완전히 분류한다. 비어 있지 않은 비자연스러운 부분이 무한한 경우, β-KMS 가중치가 존재하는 것은 β ≥ β₀일 때 뿐이며, 유한하고 비어 있지 않은 경우 β = β₀일 때만 존재하고, 공집인 경우 모든 β ∈ ℝ 에서 존재한다. 극한 가중치의 바나흐 대수는 λ = e⁻ᵈᴳβ 인 초유한 유형 IIIλ 인수로 구성된다.

ABSTRACT

The paper contains a description of the KMS weights for the one-parameter action on the reduced C*-algebra of a second countable locally compact Hausdorff etale groupoid, arising from a continuous real valued homomorphism satisfying two conditions. The results are subsequently applied to identify the KMS weights for the gauge action on a simple graph algebra. The von Neumann algebra generated by the GNS-representation of an extremal KMS weight is a factor, and tools are developed to determine its type. The paper concludes with three examples to illustrate the results.

연구 동기 및 목표

• 비단위 C*-대수, 특히 무한 그래프 C*-대수에서 KMS 상태 이론을 KMS 가중치로 확장하는 것.
• 행렬이 유한하고, 홀로남은 정점이 없으며, 포괄적인 그래프의 C*-대수에서 게이지 작용에 대한 β-KMS 가중치의 완전한 특성화를 제공하는 것.
• 극한 β-KMS 가중치의 GNS 표현에 의해 생성된 바나흐 대수의 유형을 결정하는 것.
• β-KMS 가중치와 그래프의 인접행렬의 양의 e^β-고유벡터 사이의 이원적 대응 관계 수립.

제안 방법

• 그룹로이드 C*-대수 프레임워크를 사용하여, 그래프 C*-대수를 레우엔트-데아콘-아나타라마단-델라로쉬(RDA) 그룹로이드의 축소 C*-대수로 모델링한다.
• 에탈레 그룹로이드에 대한 일반화된 KMS 가중치 이론을 적용하며, 국소 콪그룹에 대한 쿠스터먼스와 바스의 작업을 바탕으로 한다.
• σ^{c₀}-불변 KMS 가중치와 일관된 조건을 만족하는 단위 공간 위의 정규 보렐 측도 사이의 이원적 대응 관계 수립.
• φₘ를 정규 조건 기대 P: C*r(𝒢) → C₀(𝒢⁽⁰⁾) 를 통해 정의하며, φₘ(a) = ∫ P(a) dm 로 표현한다.
• 무한 경로 위의 이동과 관련된 RDA-그룹로이드를 통해 일반 결과를 그래프 대수에 적용한다.
• 무한 비음수 행렬의 스펙트럼 이론과 마르코프 체인의 결과를 활용하여 인접행렬의 양의 e^β-고유벡터를 분류한다.

실험 결과

연구 질문

• RQ1 무한하고 행렬이 유한하며 홀로남은 정점이 없는 그래프의 C*-대수에서 게이지 작용에 대해 어떤 β ∈ ℝ 에서 β-KMS 가중치가 존재하는가?
• RQ2 β-KMS 가중치와 그래프의 인접행렬의 양의 고유벡터 사이의 정확한 대응 관계는 무엇인가?
• RQ3 극한 β-KMS 가중치의 GNS 표현에 의해 생성된 바나흐 대수의 유형은 무엇인가?
• RQ4 그래프의 비자연스러운 부분의 구조는 β-KMS 가중치의 존재성과 성질에 어떻게 영향을 미치는가?
• RQ5 극한 β-KMS 가중치에 대해 πψ(C*(G))'' 의 Γ-불변량은 무엇이며, β와 그래프의 구조에 따라 어떻게 달라지는가?

주요 결과

• 비자연스러운 부분 NW_G 가 공집일 경우, 모든 β ∈ ℝ 에서 β-KMS 가중치가 존재한다.
• NW_G 가 비어 있지 않고 유한할 경우, β-KMS 가중치는 오직 β = β₀ 일 때만 존재하며, β₀ 는 NW_G 내 순환의 지수 성장률이다.
• NW_G 가 비어 있지 않고 무한할 경우, β-KMS 가중치가 존재하는 것은 β ≥ β₀ 일 때 뿐이다.
• 극한 β-KMS 가중치의 집합은 인접행렬 A 의 양의 e^β-고유벡터 집합과 이원적 대응 관계를 이룬다.
• 이동 불변 전이 측도를 가진 d차원 격자 그래프의 경우, β > β₀ 일 때 양의 e^β-고유벡터의 원뿔의 극한 사이는 단위 구면 S^{d−1} 의 점들과 일대일 대응되며, ∑μ(w)w = 0 일 때 β = β₀ 에서는 한 개의 사이로 수축된다.
• 모든 β ≥ β₀ 에 대해 GNS 바나흐 대수 πψ(C*(G))'' 는 λ = e^{-d_G β} 인 초유한 유형 III_λ 인수로 구성되며, d_G 는 그래프의 일반화된 주기이다.