[논문 리뷰] KMS states on the C*-algebra of a higher-rank graph and periodicity in the path space

Astrid an Huef, Marcelo Laca외 2명|arXiv (Cornell University)|2014. 04. 27.

Advanced Operator Algebra Research인용 수 5

한 줄 요약

이 논문은 유한한 강한 연결 k-그래프의 C*-대수에서 KMS 상태를 특징짓기 위해 유일한 선호 동역학을 식별하고, 경로 공간 주기성을 캡처하는 아벨 군의 특성으로 극한 KMS 상태가 매개변수화됨을 보여준다. 핵심 결과는 KMS 단체와 주기성 군 C*(PerΛ)의 상태 공간 사이의 완전한 동형사상으로, 양의 추측을 해결하고 비단순 대수에서 놀라운 상전이를 드러낸다.

ABSTRACT

We study the KMS states of the C*-algebra of a strongly connected finite k-graph. We find that there is only one 1-parameter subgroup of the gauge action that can admit a KMS state. The extreme KMS states for this preferred dynamics are parameterised by the characters of an abelian group that captures the periodicity in the infinite-path space of the graph. We deduce that there is a unique KMS state if and only if the k-graph C*-algebra is simple, giving a complete answer to a question of Yang. When the k-graph C*-algebra is not simple, our results reveal a phase change of an unexpected nature in its Toeplitz extension.

연구 동기 및 목표

• 유한하고 강한 연결인 k-그래프의 C*-대수에서 선호 동역학에 대한 KMS 상태의 전체 구조를 규명하는 것.
• k-그래프 C*-대수에 대한 KMS 상태의 존재성과 매개변수화에 관한 양의 추측을 해결하는 것.
• KMS 상태를 지지하는 유일한 1-매개변수 부분군을 식별하는 것.
• 무한 경로 공간에서의 주기성을 캡처하는 아벨 군 PerΛ를 이용해 극한 KMS 상태를 특징짓는 것.
• k-그래프 C*-대수가 단순하지 않은 경우 토플리츠 확장에서의 상전이의 성격을 드러내는 것.

제안 방법

• k-그래프 C*-대수에서의 동역학을 분석하기 위해 가환하는 비음수 행렬의 집합에 대한 페론-프로베니우스 이론을 개발한다.
• 좌표 행렬의 스펙트럼 성질에 기반하여 KMS 상태가 존재하는 유일한 동역학(즉, '선호 동역학')을 식별한다.
• 주기성 군 대수를 k-그래프 C*-대수에 임bedding하는 단사 *-환형사상 πU: C*(PerΛ) → C*(Λ)를 구성한다.
• 무한 경로 공간 Λ^∞ 위에 정의된 측도 M을 사용하여 벡터 상태에 대한 적분을 통해 KMS 상태를 유도한다.
• 네시베예프의 군족 접근법을 적용하여 C*(PerΛ)의 상태 공간이 C*(Λ)의 KMS 단체와 동형임을 보인다.
• KMS 상태 φ가 φ∘πU에 의해 결정됨을 증명하고, 측도 M에 대한 적분을 통해 자연스러운 KMS 상태 φ₁를 구성한다.

실험 결과

연구 질문

• RQ1 k-그래프 C*-대수의 게이지 작용의 어떤 1-매개변수 부분군이 KMS 상태를 지지하는가?
• RQ2 k-그래프가 강한 연결이고 유한할 때, C*(Λ)에서의 극한 KMS 상태는 어떻게 매개변수화되는가?
• RQ3 주기성 군 PerΛ는 k-그래프 C*-대수에서 KMS 상태의 구조에 어떤 역할을 하는가?
• RQ4 왜 비단순 k-그래프 C*-대수에서는 임계 역온도에서 KMS 단체가 예상치 못하게 팽창하는가?
• RQ5 k-그래프 C*-대수가 단순해지는 조건은 무엇이며, 이는 KMS 상태의 유일성과 어떻게 관련되는가?

주요 결과

• 게이지 작용의 유일한 1-매개변수 부분군만이 KMS 상태를 지지하며, 이를 '선호 동역학'이라 한다.
• 극한 KMS 상태는 무한 경로 공간 Λ^∞에서의 주기성을 캡처하는 아벨 군 PerΛ의 특성과 일대일 대응된다.
• C*(Λ)의 KMS 단체와 C*(PerΛ)의 상태 공간 사이의 동형사상은 φ ↦ φ∘πU로 주어지며, 이는 동형사상이다.
• 유일한 KMS 상태가 존재하는 것은 k-그래프 C*-대수가 단순할 때에만 성립하며, 이는 양의 추측을 일반적으로 확인한다.
• k-그래프 C*-대수가 단순하지 않은 경우, 토플리츠 확장에서 임계 역온도에서 KMS 단체가 팽창하는 상전이가 나타나며, 이는 일반적으로 관찰되는 붕괴 현상과는 정반대이다.
• 자연스러운 KMS 상태 φ₁는 Λ^∞ 위의 측도 M에 대한 적분으로 구성되며, 반드시 게이지 작용의 고정점 대수에 지지되는 것은 아니다.