[논문 리뷰] Fundamental group of simple $C^*$-algebras with unique trace

Norio Nawata, Yasuo Watatani|ArXiv.org|2009. 04. 07.

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

한 줄 요약

이 논문은 유일한 정규화된 추적을 가진 단위 원소를 가진 단순 $C^*$-대수 $A$에 대해 기본군 $\mathcal{F}(A)$를 도입하며, 이를 $A \otimes K(\mathcal{H})$의 자동형사상에 대한 추적 스케일링 상수의 집합으로 정의한다. 이는 $\mathcal{F}(A) = \mathfrak{S}(A)$, 즉 추적 스케일링 상수의 군임을 증명하고, 여러 종류의 $C^*$-대수에 대해 $\mathcal{F}(A)$를 계산하여 무리수 회전 대수와 자유군 $C^*$-대수의 경우에서 산술적 구조를 보여준다.

ABSTRACT

We introduce the fundamental group ${\mathcal F}(A)$ of a unital simple $C^*$-algebra $A$ with a unique normalized trace. We compute fundamental groups ${\mathcal F}(A)$ of several nuclear or non-nuclear $C^*$-algebras $A$. K-theoretical obstruction enables us to compute the fundamental group easily. Our study is essentially based on the computation of Picard groups by Kodaka.

연구 동기 및 목표

• 단위 원소를 가진 단순 $C^*$-대수 $A$에 대해 유일한 정규화된 추적을 가진 경우 기본군 $\mathcal{F}(A)$를 정의하고 연구하는 것.
• 자동형사상에 대한 $\mathcal{F}(A)$와 $A \otimes K(\mathcal{H})$에서의 추적 스케일링 상수 사이의 연결 고리를 확립하는 것.
• K-이론과 피카르 군 기법을 사용하여 무리수 회전 대수와 $C_r^*(F_n)$를 포함한 특정 $C^*$-대수에 대해 $\mathcal{F}(A)$를 계산하는 것.
• 기본군 $\mathcal{F}(A)$의 산술적 성격을 탐색하며, $II_1$ 요소에서 관찰되는 더 연속적인 구조와 대비되는 것.

제안 방법

• 단위 원소를 가진 단순 $C^*$-대수 $A$에 대해, $pM_n(A)p \cong A$를 만족하는 $M_n(A)$의 프로젝션 $p$에 대해 $\tau \otimes \mathrm{Tr}(p)$의 값들의 집합으로 $\mathcal{F}(A)$를 정의하며, 이는 $\mathbb{R}_+^\times$의 곱셈 부분군을 이룬다.
• GNS 구성과 코너 대수의 동형을 통해 $\mathcal{F}(A) = \mathfrak{S}(A)$, 즉 $A \otimes K(\mathcal{H})$의 자동형사상에 대한 추적 스케일링 상수의 군임을 증명한다.
• 자동형사상과 등가 이중모듈러의 관계를 분석하기 위해 피카르 군 $\mathrm{Pic}(A)$와 $\mathrm{Out}(A)$ 사이의 호모모르피즘 $\rho_A$를 활용한다.
• 특정 대수에 대해 $\mathcal{F}(A)$를 계산하기 위해 K-이론적 차단 조건과 $A_\theta$ 및 $C_r^*(F_n)$의 자동형사상에 대한 기존 결과를 적용한다.
• $\theta$가 이차 무리수일 경우 $\mathcal{F}(A)$가 자명하고, $\theta$가 이차 대수적 정수일 경우 $\mathbb{Z} + \mathbb{Z}\theta$의 양의 단위군과 동형임을 이용한다.
• GNS 표현 $\pi_\tau$를 활용하여 $\mathcal{F}(A)$를 관련된 $II_1$ 요소 $\pi_\tau(A)''$의 기본군과 연결하며, $\mathcal{F}(A) \subset \mathcal{F}(\pi_\tau(A)'')$임을 보인다.

실험 결과

연구 질문

• RQ1 유일한 정규화된 추적을 가진 단위 원소를 가진 단순 $C^*$-대수에 대해 기본군 $\mathcal{F}(A)$는 어떻게 정의할 수 있는가?
• RQ2 $\mathcal{F}(A)$와 $A \otimes K(\mathcal{H})$에서 자동형사상의 추적 스케일링 상수 사이의 관계는 무엇인가?
• RQ3 무리수 회전 대수 $A_\theta$에 대해 $\theta$가 이차인지 여부에 따라 $\mathcal{F}(A)$는 어떻게 행동하는가?
• RQ4 특히 비핵심 케이스에서 K-이론과 피카르 군의 구조를 사용하여 $\mathcal{F}(A)$를 계산할 수 있는가?
• RQ5 $\mathcal{F}(A)$와 관련된 $II_1$ 요소 $\pi_\tau(A)''$의 기본군 사이의 연결 고리는 무엇인가?

주요 결과

• 무리수 회전 대수 $A_\theta$에 대해, $\theta$가 이차 무리수일 경우 $\mathcal{F}(A_\theta)$는 자명하다.
• $\theta$가 이차 대수적 정수일 경우, $\mathcal{F}(A_\theta)$는 $\mathbb{Z} + \mathbb{Z}\theta$의 양의 단위군과 동형이며, 예를 들어 $\mathcal{F}(A_{\sqrt{3}}) = \{(2 + \sqrt{3})^n \mid n \in \mathbb{Z}\}$이다.
• $n \geq 2$일 때, $A_\theta \otimes C_r^*(F_n)$에 대해 $\mathcal{F}(A_\theta \otimes C_r^*(F_n)) = \mathcal{F}(A_\theta)$임을 보여, 자유군 $C^*$-대수와의 텐서곱에 대해 안정성을 보인다.
• 유일한 추적을 가진 단위 원소를 가진 단순 $C^*$-대수 $A$에 대해 기본군 $\mathcal{F}(A)$는 $A \otimes K(\mathcal{H})$의 자동형사상에 대한 추적 스케일링 상수의 군 $\mathfrak{S}(A)$와 같으며, 이는 핵심적인 이중성 관계를 확립한다.
• 관련된 $II_1$ 요소 $\pi_\tau(A)''$의 기본군이 자명할 경우, $\mathcal{F}(A) = \{1\}$임을 보였으며, 이는 $G = S_\infty * (\mathbb{Z}^2 \rtimes SL(2,\mathbb{Z}))$인 $C_r^*(G)$의 예에서 확인된다.
• 기본군 $\mathcal{F}(A)$는 특히 $A_\theta$의 경우에서 산술적 성격을 보이며, $II_1$ 요소에서 관찰되는 연속적인 성격과 대비된다.