[논문 리뷰] Phase transitions on Hecke C*-algebras and class-field theory over Q

Marcelo Laca, Machiel van Frankenhuijsen|ArXiv.org|2004. 10. 13.

Advanced Operator Algebra Research참고 문헌 16인용 수 14

한 줄 요약

이 논문은 수체의 대수적 정수환의 포함관계에 대한 헤크 C*-대수로부터 정규화된 C*-동역계를 구성하며, 유수 1인 수체의 경우 저온 KMS 상태가 자발적 대칭성 붕괴를 보이며, 대칭군이 최대 아벨 확대의 갈루아군과 동형임을 보여준다. 다만 이 대칭은 수체가 ℚ일 때에만 갈루아군이 산술 헤크 대수의 값에 작용하는 방식과 일치한다.

ABSTRACT

We associate a canonical Hecke pair of semidirect product groups to the ring inclusion of the algebraic integers $\oo$ in a number field $\kk$, and we construct a C*-dynamical system on the corresponding Hecke C*-algebra, analogous to the one constructed by Bost and Connes for the inclusion of the integers in the rational numbers. We describe the structure of the resulting Hecke C*-algebra as a semigroup crossed product and then, in the case of class number one, analyze the equilibrium (KMS) states of the dynamical system. The extreme KMS$_β$ states at low-temperature exhibit a phase transition with symmetry breaking that strongly suggests a connection with class field theory. Indeed, for purely imaginary fields of class number one, the group of symmetries, which acts freely and transitively on the extreme KMS$_\infty$ states, is isomorphic to the Galois group of the maximal abelian extension over the field. However, the Galois action on the restrictions of extreme KMS$_\infty$ states to the (arithmetic) Hecke algebra over $\kk$, as given by class-field theory, corresponds to the action of the symmetry group if and only if the number field $\kk$ is $\Q$.

연구 동기 및 목표

• 임의의 수체로 보스-콘스 시스템을 일반화하기 위해 정규화된 헤크 C*-대수 구성법을 사용하는 것.
• 유도된 C*-동역계의 평형 상태(즉, KMS 상태)를 분석하며, 특히 저온 영역에서의 성질을 다루는 것.
• KMS 상태의 대칭군이 수체의 최대 아벨 확대의 갈루아군과 일치하는지 조사하는 것.
• 극한 KMS ∞ 상태에 제한된 대칭군 작용이 산술 헤크 대수의 값에 대한 갈루아 작용과 일치하는 조건을 규명하는 것.
• 단위군과 그 프로프리닉 콪actification이 헤크 대수의 구조와 동역학을 단순화하는 데 어떻게 기여하는지 명확히 하는 것.

제안 방법

• 수체의 주어진 정수 아이디얼의 모니드 작용에 의해 아벨 C*-대수의 반직곱으로서 헤크 C*-대수를 구성한다.
• 단위군의 작용에 대한 고정점 대수로 아벨 C*-대수를 실현하거나, 𝒦/𝒪의 듀얼 위의 연속 함수로 동치로 표현한다.
• 단위군 𝒪*의 프로프리닉 콩팩티피케이션을 사용하여 컴act 궤도 공간을 정의함으로써 잘 정의된 C*-대수의 구조를 가능하게 한다.
• 일차 파arameter 자동형군을 통해 헤크 C*-대수 위에 자연스러운 동역계를 정의하여 열역학적 평형을 모델링한다.
• β > 1인 경우 KMS 상태를 분석하며, 극한 상태와 그 대칭성의 성질을 군 작용을 통해 다룬다.
• 아르틴 사상에 의해 정의된 갈루아 작용과 KMS ∞ 상태에 대한 대칭군 작용을 비교한다.

실험 결과

연구 질문

• RQ1 β > 1인 극한 KMS β 상태의 대칭군이 수체의 최대 아벨 확대의 갈루아군과 일치하는가?
• RQ2 극한 KMS ∞ 상태의 제한에 대한 대칭군 작용이 산술 헤크 대수의 값에 대한 갈루아 작용과 일치하는 조건은 무엇인가?
• RQ3 유수 1일 때 헤크 C*-대수의 구조는 어떻게 단순화되며, 단위군은 이 단순화 과정에서 어떤 역할을 하는가?
• RQ4 왜 갈루아 작용이 KMS 상태 값에 대해 대칭군 작용과 일치하는 것은 ℚ일 때에만 성립하는가?
• RQ5 이전 연구에서 임의의 교차단을 도입함으로써 발생하는 기술적 문제를 피하기 위해, 전체 ax+b 군을 통한 헤크 C*-대수의 정규화된 구성법은 가능한가?

주요 결과

• 유수 1인 수체에 대해서는 헤크 C*-대수가 주어진 정수 아이디얼의 모니드에 의한 아벨 C*-대수의 반직곱과 동형이다.
• β > 1인 경우, 대칭군은 극한 KMS β 상태 위에 자유롭고 추이적으로 작용하며, 순수 허수 수체의 경우 이 군은 최대 아벨 확대의 갈루아군과 동형이다.
• 대칭군이 최대 아벨 확대의 갈루아군과 동형이 되는 것은 오직 수체가 ℚ일 때뿐이며, 이 외의 경우 실수 포함성에 대한 복소수 켤레 작용에 해당하는 {±1} 성분이 부족하다.
• 극한 KMS ∞ 상태가 산술 헤크 대수에 대해 취하는 값은 대수적 수이지만, 아르틴 사상에 의한 갈루아 작용과 대칭군 작용이 일치하는 것은 확대의 차수 1일 때에만 성립한다.
• ℚ일 경우, KMS ∞ 상태에 대한 대칭군 작용은 갈루아 작용과 일치하며, 보스-콘스 모델에서 관찰된 완전한 호환성을 확인한다.
• 단위군 𝒪*의 프로프리닉 콩팩티피케이션은 헤크 C*-대수의 정규화된 기술을 가능하게 하며, 단위군 작용을 인해 나누는 방식으로 평형 상태의 계산을 단순화한다.