[논문 리뷰] KMS and ground states on ultragraph C*-algebras

Gilles G. de Castro, Daniel Gonçalves|arXiv (Cornell University)|2017. 10. 25.

Advanced Operator Algebra Research참고 문헌 18인용 수 4

한 줄 요약

이 논문은 조건 (RFUM)을 만족하는 초그래프 C*-대수에서 KMS 및 기저 상태를 다수의 동치 기술을 통해 특성화한다. 이는 아벨 대수 위의 상태, 정규 Borel 확률 측도, 일반화된 정점 위의 함수, 코어 부분대수 위의 상태를 포함한다. 기존의 그래프 결과를 일반화하며, Exel-Laca나 그래프 C*-대수와 동형이 아닌 초그래프 C*-대수에 대해서도 KMS 및 기저 상태의 존재를 증명한다.

ABSTRACT

We describe KMS and ground states arising from a generalized gauge action on ultragraph C*-algebras. We focus on ultragraphs that satisfy Condition~(RFUM), so that we can use the partial crossed product description of ultragraph C*-algebras recently described by the second author and Danilo Royer. In particular, for ultragraphs with no sinks, we generalize a recent result by Toke Carlsen and Nadia Larsen: Given a time evolution on the C*-algebra of an ultragraph, induced by a function on the edge set, we characterize the KMS states in five different ways and ground states in four different ways. In both cases we include a characterization given by maps on the set of generalized vertices of the ultragraph. We apply this last result to show the existence of KMS and ground states for the ultragraph C*-algebra that is neither an Exel-Laca nor a graph C*-algebra.

연구 동기 및 목표

• 초그래프 C*-대수에서 KMS 및 기저 상태를 다수의 동치 표현을 통해 특성화하기.
• 조건 (RFUM) 하에서 기존의 그래프 C*-대수에 대한 KMS 상태 결과를 초그래프 C*-대수로 일반화하기.
• Exel-Laca나 그래프 C*-대수와 동형이 아닌 초그래프 C*-대수에 대해 KMS 및 기저 상태의 존재를 보여주기.
• 초그래프 C*-대수의 부분 교환 제품 구조를 활용하여 시간 진동과 평형 상태를 분석하기.

제안 방법

• 제2저자와 Royer가 최근 개발한 초그래프 C*-대수의 부분 교환 제품 기술을 활용하기.
• 초그래프 C*-대수 위의 일반화된 게이지 작용을 이용해 간선 집합 위의 함수를 통해 시간 진동을 정의하기.
• 다섯 가지 동치 기술을 통한 KMS 상태의 특성화: C(X) 위의 상태, X 위의 정규 Borel 확률 측도, 일반화된 정점 위의 함수, 코어 부분대수 위의 상태, 조건 m1–m4를 만족하는 사상 M을 통한 기술.
• 네 가지 동치 기술을 통한 기저 상태의 특성화: 아벨 대수 위의 상태, 그 스펙트럼 위의 정규 Borel 확률 측도, 일반화된 정점 위의 함수, 모든 e에 대해 M(e) = 0인 사상 M을 통한 기술.
• 가산 무한한 0-1 행렬 A를 사용해 특정 초그래프 F를 구성하여, Exel-Laca나 그래프 C*-대수와 동형이 아닌 C*-대수를 정의하기.
• KMS 상태의 존재를 입증하기 위해 β > 0 인 경우에 대해 조건 m1–m4를 만족하는 일반화된 정점 위의 함수 m을 구성하고, 기저 상태의 존재를 입증하기 위해 m(v_i) = 0 이고 m(B) + m({w}) = 1 인 조건을 설정하기.

실험 결과

연구 질문

• RQ1 조건 (RFUM)을 만족하는 초그래프 C*-대수에서 KMS 상태를 다수의 동치 방식으로 어떻게 특성화할 수 있는가?
• RQ2 초그래프 C*-대수가 Exel-Laca나 그래프 C*-대수와 동형이 아니라는 조건 하에서 KMS 상태의 존재를 보장하는 조건은 무엇인가?
• RQ3 초그래프 C*-대수에서 기저 상태는 아벨 부분대수의 스펙트럼 위의 측도와 일반화된 정점 위의 함수와 어떻게 관련이 있는가?
• RQ4 초그래프 C*-대수의 부분 교환 제품 구조를 활용하여 KMS 및 기저 상태를 일반화된 정점 위의 동역학계 기반으로 기술할 수 있는가?
• RQ5 간선 위의 함수 N이 주어진 β > 0 에 대해 KMS 상태의 존재성과 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• _sink가 없고 조건 (RFUM)을 만족하는 초그래프 C*-대수에서 KMS 상태는 아벨 대수의 스펙트럼 X 위의 정규 Borel 확률 측도의 부분집합과 약한 위상에서 아핀 대응을 이룬다.
• KMS 상태는 또한 특정 합성 가능성 및 스케일링 조건을 만족하는 일반화된 정점 위의 함수와도 아핀 대응을 이룬다.
• 기저 상태는 모든 i ∈ ℕ 에 대해 m(v_i) = 0 이고 m(B) + m({w}) = 1 인 함수 m으로 특성화된다.
• 행렬 A를 기반으로 구성된 초그래프 F에 대해, ∑_{i=1}^∞ c_i^{-β} < ∞ 이고 d_β가 d_β^2 / (1 - d_β^2) ≤ 1/6 를 만족하는 모든 β > 0 에 대해 KMS 상태가 존재한다.
• m({w}) ∈ [0,1) 이고 m({w}) / (1 - m({w})) ≥ ∑_{i=1}^∞ c_i^{-β} 를 만족할 경우 KMS 상태의 존재가 보장되며, m(B)와 m(v_i)는 재귀적으로 결정된다.
• 기저 상태 공간은 비어 있지 않으며, 모든 유한 정점 프로젝션의 측도가 0이고 측도가 무한 집합 B와 정점 w에 집중된 상태들로 정확히 구성된다.