[논문 리뷰] Hyperbolic group $C^*$-algebras and free-product $C^*$-algebras as compact quantum metric spaces

Narutaka Ozawa, Marc A. Rieffel|ArXiv.org|2003. 02. 25.

Advanced Operator Algebra Research참고 문헌 12인용 수 10

한 줄 요약

이 논문은 초등형 군의 축소 C*-대수의 상태 공간이 단어 길이 함수를 통해 디랙 연산자로부터 유도된 리프시츠 반노름을 지닌다. 이로 인해 약한-* 위상이 부여되며, 이는 이를 컴act 양자 거리 공간으로서 실현하는 데 기여한다. 저자들은 충실한 측도를 지닌 필터링된 C*-대수에 대해 '하아거루프 유형' 조건을 도입하여, 이 조건이 이러한 위상 일치를 위한 충분조건임을 증명하고, 초등형 군과 이러한 대수의 축소 자유곱에 대해 이를 검증한다.

ABSTRACT

Let $\ell$ be a length function on a group G, and let $M_{\ell}$ denote the operator of pointwise multiplication by $\ell$ on $\bell^2(G)$. Following Connes, $M_{\ell}$ can be used as a ``Dirac'' operator for $C_r^*(G)$. It defines a Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the state space of $C_r^*(G)$. We show that if G is a hyperbolic group and if $\ell$ is a word-length function on G, then the topology from this metric coincides with the weak-* topology (our definition of a ``compact quantum metric space''). We show that a convenient framework is that of filtered $C^*$-algebras which satisfy a suitable `` Haagerup-type'' condition. We also use this framework to prove an analogous fact for certain reduced free products of $C^*$-algebras.

연구 동기 및 목표

• 초등형 군의 축소 C*-대수의 상태 공간이 단어 길이 함수를 기반으로 한 디랙 연산자로부터 유도된 메트릭을 지닐 때, 이가 약한-* 위상과 일치함을 증명하는 것.
• 필터링된 C*-대수에 충실한 측도가 존재할 때, 이에 대한 '하아거루프 유형' 조건을 도입하고, 이를 통해 메트릭 위상과 약한-* 위상의 일치를 보장하는 충분조건으로서 형식화하는 것.
• 하아거루프 유형 조건을 만족하는 C*-대수의 축소 자유곱으로까지 결과를 확장하여, 컴 pact 양자 거리 공간의 새로운 예를 생성하는 것.
• 비아벨 자유군과 기타 클래스에 대해 상태 공간 위의 메트릭의 위상적 행동을 명확히 하여, $\mathbb{Z}^n$과 같이 조건이 실패하는 경우와 대비하는 것.
• 메트릭의 한계를 탐색하기 위해, 하아거루프 유형 조건이 실패하는 군의 계열(예: 성장률 ≥4인 아메니타리 군)을 특정하는 것.

제안 방법

• 충실한 측도를 지닌 필터링된 C*-대수를 정의하고, $\sigma$를 충실한 상태로 삼아 GNS 힐베르트 공간 $\mathcal{H} = L^2(A, \sigma)$를 구성한다.
• 필터링 수준에 대한 사영 연산자 $P_n$를 사용하여 디랙 연산자 $D = \sum_{n=1}^\infty n P_n$를 정의함으로써, $A$ 위에 리프시츠 반노름을 생성한다.
• 상태 공간 위의 메트릭을 유도하기 위해 $A$ 위에 리프시츠 반노름 $L(a) = \| [D, a] \|$를 정의한다.
• 하아거루프 유형 조건 도입: 모든 $a \in A_n$에 대해 $\|P_m(a)\|_2 \leq C \|a\|_2 / \sqrt{m}$ ($m \geq n$), 여기서 $C$는 $n$과 $m$에 독립적이다.
• 하아거루프 유형 조건을 사용하여, 행렬 계수와 사영 연산자 $P_{(\boldsymbol{t})}$의 추정을 통해 상태 공간 위의 메트릭 위상과 약한-* 위상의 일치를 증명한다.
• 초등형 군의 기하적 성질과 단어 길이 분포의 지수 감소를 활용하여 하아거루프 유형 조건을 초등형 군에 대해 검증하고, 기저 원소에 대한 재귀적 구조를 통해 이를 축소 자유곱으로 확장한다.

실험 결과

연구 질문

• RQ1 초등형 군의 축소 C*-대수의 상태 공간에 대한 메트릭이 약한-* 위상과 일치하는가?
• RQ2 필터링된 C*-대수에 충실한 측도가 존재할 때, 메트릭 위상과 약한-* 위상의 일치를 보장하는 일반 조건은 무엇인가?
• RQ3 하아거루프 유형 조건은 초등형 군과 그들의 축소 자유곱에 대해 검증될 수 있는가?
• RQ4 왜 하아거루프 유형 조건은 $n \geq 2$인 $\mathbb{Z}^n$과 성장률 ≥4인 아메니타리 부분군을 포함하는 군에서는 실패하는가?
• RQ5 이 방법은 병합 자유곱이나 비-측도 상태로까지 확장될 수 있는가?

주요 결과

• 초등형 군의 축소 C*-대수의 상태 공간은 단어 길이 함수에 기반한 디랙 연산자로부터 유도된 메트릭을 지닐 때, 약한-* 위상을 지닌다.
• 상태 공간 위의 메트릭 위상과 약한-* 위상의 일치를 보장하기 위해, 높은 필터링 수준에 대한 사영 연산자의 $L^2$-노름을 제한하는 하아거루프 유형 조건은 충분하다.
• 하아거루프 유형 조건은 초등형 군의 기하적 구조와 단어 길이 분포의 지수 감소를 활용하여 검증된다.
• 이 조건은 하아거루프 유형 조건을 만족하는 필터링된 C*-대수의 축소 자유곱에도 성립하므로, 컴 pact 양자 거리 공간의 새로운 예를 생성한다.
• 하아거루프 유형 조건은 $n \geq 2$인 $\mathbb{Z}^n$과 성장률 ≥4인 아메니타리 부분군을 포함하는 군에서는 실패하며, 이는 초등형 경우와의 명백한 차이를 보인다.
• 이 방법은 [15]에서 $\mathbb{Z}^n$에 사용된 것과는 다른 프레임워크를 제공하며, 아벨 및 초등형 사례를 모두 포함하는 통합적 접근이 필요함을 시사한다.