[논문 리뷰] The Regular C*-algebra of an Integral Domain

Joachim Cuntz, Xin Li|ArXiv.org|2008. 07. 09.

Advanced Operator Algebra Research참고 문헌 6인용 수 39

한 줄 요약

이 논문은 유한 몫을 갖는 임의의 정수환 $R$와 관련된 보편 C*-대수 $\mathfrak{A}[R]$를 제안하고, 이 대수가 순수하게 무한하고 단순하다는 것을 증명한다. 또한 $\mathfrak{A}[R]$의 안정화가 $R$의 유한 아델 공간 위에서의 $ax+b$-군에 의한 연속 함수의 교차곱과 동형임을 규명하며, 이는 기존의 Bost-Connes 구성법을 임의의 수체로 일반화하고, 일반화된 Bost-Connes 대수에 대한 생성자와 관계의 기술을 제공한다.

ABSTRACT

To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the "finite adele space" corresponding to R by the action of the ax+b-group over the quotient field Q(R). We study the relationship to generalized Bost-Connes systems and deduce for them a description as universal C*-algebras with the help of our construction.

연구 동기 및 목표

• 유한 몫을 갖는 임의의 정수환 $R$에 대해 순수하게 무한하고 단순한 C*-대수 $\mathfrak{A}[R]$를 구성함으로써, Cuntz의 이전 작업에서 제시된 $\mathcal{Q}_{\mathbb{Z}}$ 및 $\mathcal{Q}_{\mathbb{N}}$ 대수를 $\mathbb{Z}$에서 일반화한다.
• 등급 $s_m$과 유니터리 $u^n$을 포함한 생성자와 관계를 통해 $\mathfrak{A}[R]$의 보편적 표현을 제공함으로써, $\ell^2(R)$ 위에서의 곱셈과 덧셈 작용을 반영한다.
• 안정화 $\mathfrak{A}(R)$에 대한 교차곱의 구조를 확립하여, $\mathbb{A}_f^{(R)}$를 $R$의 유한 아델 공간으로, $\mathrm{P}_R$를 $Q(R)$ 위의 $ax+b$-세미군으로 정의함으로써 $C_0(\mathbb{A}_f^{(R)}) \rtimes \mathrm{P}_R$로 식별한다.
• 최대 한 개의 실장소와 클래스 수가 1인 조건을 만족할 경우, 이전에 허수 이차 수체 및 일반 수체에 대해 연구된 고차원 Bost-Connes 시스템을 $\mathfrak{A}[R]$에 매장할 수 있다.
• 이러한 일반화된 Bost-Connes 대수에 대해 생성자와 관계의 기술을 도출하고, 원래 Bost-Connes 사례와 유사한 연산자 이론적 방법을 통해 그들의 극한 $KMS_\beta$-상태를 구성한다.

제안 방법

• 등급 $s_m$ ($m \in R^\times$)과 유니터리 $u^n$ ($n \in R$)로 생성되는 보편 C*-대수 $\mathfrak{A}[R]$를 정의하며, 곱셈, 덧셈, 분배법칙을 반영하는 관계를 만족시킨다.
• $\ell^2(R)$ 위에서의 왼쪽 정규 연산자인 $S_m(\xi_r) = \xi_{mr}$ 및 $U^n(\xi_r) = \xi_{n+r}$를 통해 $\mathfrak{A}[R]$의 구체적 표현을 구성함으로써 보편 관계를 실현한다.
• $ax+b$-세미군 $P_R = \left\{ \begin{smallmatrix} a & b \\ 0 & 1 \end{smallmatrix} \right\}_{a \in R^\times, b \in R}$을 사용하여 $R$의 유한 아델 공간 $\mathbb{A}_f^{(R)}$에 대한 작용을 모델링하며, 이는 $\hat{R}$, 즉 $R$의 프로파인 completion으로 식별된다.
• 위상적 쌍대성과 코셋 공간의 구조를 이용하여 $\mathfrak{A}(R)$, 즉 $\mathfrak{A}[R]$의 안정화와 $C_0(\mathbb{A}_f^{(R)}) \rtimes P_R$ 사이의 $*$-동형사상을 확립한다.
• Laca의 세미군에 의한 교차곱 이론과 최소 자동형 확장 이론을 활용하여, 교차곱의 구조를 $C_0(\mathbb{A}_f / \sim) \rtimes K^\times / \mathfrak{o}^*$로 식별하며, 여기서 $\sim$은 단위군에 의해 유도된 동치관계이다.
• $\mathfrak{A}[R]$의 $*$-표현 $\pi_\alpha$를 $\ell^2(\mathfrak{o}^\times / \sim_{\mathfrak{o}^*})$ 위에서 구성함으로써 극한 $KMS_\beta$-상태를 구성하며, Galois 군 $\mathrm{Gal}(K^{ab}/K)$의 원소에 따라 인덱싱하고, 상태를 $\varphi_{\beta,\alpha}(x) = \zeta(\beta)^{-1} \mathrm{tr}(\pi_\alpha(x) e^{-\beta H})$로 정의한다.

실험 결과

연구 질문

• RQ1 기존의 $\mathcal{Q}_{\mathbb{Z}}$ 및 $\mathcal{Q}_{\mathbb{N}}$의 구성법이 $\mathbb{Z}$에서 유한 몫을 갖는 임의의 정수환으로 일반화될 수 있는가?
• RQ2 이러한 $R$와 관련된 보편 C*-대수 $\mathfrak{A}[R]$는 순수하게 무한하고 단순한가? 그리고 그 안정화는 $R$의 유한 아델 공간 위의 교차곱으로 기술될 수 있는가?
• RQ3 최대 한 개의 실장소와 클래스 수가 1인 등의 수론적 조건을 만족할 경우, 수체에 대한 일반화된 Bost-Connes 시스템은 $\mathfrak{A}[R]$에 매장될 수 있는가?
• RQ4 일반화된 Bost-Connes 대수는 보편 $\mathfrak{A}[R]$ 구성법을 통해 생성자와 관계로 기술될 수 있는가?
• RQ5 일반화된 Bost-Connes 동역학계의 극한 $KMS_\beta$-상태는 보편 $\mathfrak{A}[R]$의 구조를 자연스럽게 이용한 연산자 이론적 방법으로 구성될 수 있는가?

주요 결과

• 유한 몫을 갖는 정수환 $R$에 대한 보편 C*-대수 $\mathfrak{A}[R]$는 순수하게 무한하고 단순하며, Cuntz의 $\mathbb{Z}$에 대한 결과를 넓은 범위의 링으로 일반화한다.
• $\mathfrak{A}[R]$의 안정화 $\mathfrak{A}(R)$는 $C_0(\mathbb{A}_f^{(R)}) \rtimes P_R$와 동형이며, 여기서 $\mathbb{A}_f^{(R)}$는 $R$의 유한 아델 공간이고 $P_R$는 $Q(R)$ 위의 $ax+b$-세미군이다. 이는 대수의 기하학적 실현을 제공한다.
• 최대 한 개의 실장소와 클래스 수가 1인 수체의 경우, [CMR] 및 [LLN]에서 연구된 일반화된 Bost-Connes 대수는 $\mathfrak{A}[R]$에 매장되며, 이로써 생성자와 관계를 갖는 보편 C*-대수로서의 기술이 가능해진다.
• 일반화된 Bost-Connes 시스템의 극한 $KMS_\beta$-상태는 $\mathfrak{A}[R]$의 $\ell^2(\mathfrak{o}^\times / \sim_{\mathfrak{o}^*})$ 위의 $*$-표현 $\pi_\alpha$를 통해 구성되며, Galois 군 원소에 따라 인덱싱되고 $\varphi_{\beta,\alpha}(x) = \zeta(\beta)^{-1} \mathrm{tr}(\pi_\alpha(x) e^{-\beta H})$로 정의된다. 여기서 $H(\xi_r) = \log(N(r)) \xi_r$이다.
• 이 구성은 원래 Bost-Connes 사례와 유사한 직접적이고 연산자 이론적인 방법으로 $KMS_\beta$-상태에 도달할 수 있으며, [LLN]의 정리 2.1에서 확인된 바와 같이, $1 < \beta < \infty$에 대해 이러한 $\varphi_{\beta,\alpha}$가 정확히 극한 $KMS_\beta$-상태임을 확인한다.