[논문 리뷰] Hecke algebras of semidirect products and the finite part of the Connes-Marcolli C*-algebra

Marcelo Laca, Nadia S. Larsen외 1명|ArXiv.org|2006. 09. 11.

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

한 줄 요약

이 논문은 2×2 정수 및 유리수 행렬로부터 유도된 반직접곱 군의 헤크 쌍에 관련된 축소 헤크 C*-대수를 통해 콘네-마르콜리 C*-대수의 유한 부분을 조사한다. 유한 정 이델레의 작용 하에서 고정점 대수의 소수에 대한 텐서곱 분해를 증명하고, β > 1일 때 정규 KMS 상태의 유일성을 확립하며, β ≠ 0,1에 대해 그 완전성에 대한 추측을 제기한다.

ABSTRACT

We study a C*-dynamical system arising from the ring inclusion of the 2 imes 2 integer matrices in the rational ones. The orientation preserving affine groups of these rings form a Hecke pair that is closely related to a recent construction of Connes and Marcolli; our dynamical system consists of the associated reduced Hecke C*-algebra endowed with a canonical dynamics defined in terms of the determinant function. We show that the Schlichting completion also consists of affine groups of matrices, over the finite adeles, and we obtain results about the structure and induced representations of the Hecke C*-algebra. In a somewhat unexpected parallel with the one dimensional case studied by Bost and Connes, there is a group of symmetries given by an action of the finite integral ideles, and the corresponding fixed point algebra decomposes as a tensor product over the primes. This decomposition allows us to obtain a complete description of a natural class of equilibrium states which conjecturally includes all KMS_β-states for β e 0,1.

연구 동기 및 목표

• P는 Mat₂(ℤ)와 SL₂(ℤ)의 반직접곱이고, P₀는 해당 부분군인 헤크 쌍 (P, P₀)에 관련된 축소 헤크 C*-대수 C*r(P, P₀)의 구조를 이해하는 것.
• 이 헤크 C*-대수 위에서 행렬식 함수에 의해 정의된 C*-동역학계를 분석하는 것.
• 이 시스템의 평형 상태—특히 KMS 상태—를 규칙성과 유일성에 중점을 두고 결정하는 것.
• 유한 정 이델레의 역할이 시스템의 대칭성을 이끌어내고, 고정점 대수의 소수에 대한 텐서곱 분해로 이어지는 방식을 탐색하는 것.
• β ≠ 0,1일 때, 식별된 KMS 상태의 클래스가 모든 상태를 포함하며, 랭크가 높은 경우 Bost-Connes 모델으로의 확장을 제안하는 것.

제안 방법

• 저자들은 P가 상반평면과 유한 아델레 위에서 작용하는 헤크 쌍 (P, P₀)과 관련된 교차곱으로서 축소 헤크 C*-대수 C*r(P, P₀)를 구성한다.
• 그들은 헤크 쌍의 슈라이팅 완비를 계산하여, 이가 유한 아델레 위의 애프린 군으로 이루어져 있음을 보이며, 대수적 구조의 전역적 분석을 가능하게 한다.
• 그들은 행렬식 함수를 통해 정의된 자연스러운 동역학 σ를 C*r(P, P₀)에 식별하여 KMS 상태의 연구를 가능하게 한다.
• 그들은 유한 정 이델레 Ź*의 작용을 분석하여, 고정점 대수의 소수에 대한 텐서곱 분해를 이끌어낸다.
• 그들은 Mat₂(ℤ̂) 내의 SL₂(ℤ̂)의 오비트에 대해 평균을 내고 det(s)−β로 가중치를 주어 평형 상태 φβ,w를 정의하며, 정규성과 극단성을 증명한다.
• 그들은 각 소수 p에서 토플리츠-헤크 대수의 구조와 표현 πp를 이용하여, 예를 들어 φβ,p(v*p v_p) = p + 1과 같은 트레이스 유사 조건을 통해 상태를 특성화한다.

실험 결과

연구 질문

• RQ1 축소 헤크 C*-대수 C*r(P, P₀)는 자연스러운 동역학을 갖는가? 그리고 이는 행렬식 함수와 어떻게 관련이 있는가?
• RQ2 유한 정 이델레 Ź*의 작용은 C*-동역학계의 고정점 대수를 어떻게 분해하는가?
• RQ3 오비트에 대해 평균을 내어 정의된 KMS 상태들이 각 소수에서 극단적이고 정규적인가?
• RQ4 β > 1일 때, φβ,w 클래스의 KMS 상태는 β ≠ 0,1에 대해 유일하고 완전한가?
• RQ5 토플리츠-헤크 부분대수에 비정규 상태가 존재하는 상황에서도, 유한 부분에서 KMS 상태의 유일성은 확립될 수 있는가?

주요 결과

• 콘네-마르콜리 C*-대수의 유한 부분, 즉 C*r(P, P₀)는 행렬식 함수를 통해 정의된 자연스러운 동역학 σ를 갖는다.
• Ź* 작용 하에서의 고정점 대수는 각 소수 p에서의 고정 대수의 소수에 대한 텐서곱으로 분해된다.
• β > 1일 때, φβ,w(f) = ζ(β)⁻¹ζ(β−1)⁻¹∑s∈Γ\S det(s)⁻β f(sw)로 정의된 상태 φβ,w는 동역학 σ에 대해 정규적이며 극단적인 KMS 상태이다.
• φβ,w에 의해 유도된 측도 μβ,w는 단일 SL₂(ℤ̂)-오비트에 지지되어 있어, 각 소수에서의 극단성과 정규성을 확인한다.
• β < 0일 때는, 등급 이소메트리 u_p의 노름을 다루는 모순을 통해 C*r(P, P₀) 위에 σ-KMS β-상태가 존재하지 않음을 보였다.
• 모든 KMS β-상태들이 β ≠ 0,1일 때 정규적이며, φβ,w 클래스에 포함되며, β > 1일 때의 유일성이 성립한다는 추측을 제기하였다.