[논문 리뷰] Boundary operator algebras for free uniform tree lattices

Guyan Robertson|arXiv (Cornell University)|2004. 07. 15.

Advanced Operator Algebra Research참고 문헌 19인용 수 17

한 줄 요약

이 논문은 자유 균일 트리 격자에 대한 경계 C*-대수 $ C(\partial\Delta) \rtimes \Gamma $ 가 자유군 $ \Gamma $ 의 계수에 의해 유일하게 결정되는 Cuntz-Krieger 대수 $ \mathcal{O}_A $ 와 동형임을 증명한다. 이 대수의 K-이론은 $ K_0 = \mathbb{Z}^\gamma \oplus \mathbb{Z}/(\gamma-1)\mathbb{Z} $ 이고 $ K_1 = \mathbb{Z}^\gamma $ 이다. 반면에, 관련된 von Neumann 대수는 $ \Gamma \backslash \Delta $ 가 이분 그래프이면 $ \lambda = 1/q^2 $ 인 초유한 유형 $ \mathrm{III}_\lambda $ 인자가 되며, 그렇지 않으면 $ \lambda = 1/q $ 이다.

ABSTRACT

Let $X$ be a finite connected graph, each of whose vertices has degree at least three. The fundamental group $Γ$ of $X$ is a free group and acts on the universal covering tree $Δ$ and on its boundary $\partial Δ$, endowed with a natural topology and Borel measure. The crossed product $C^*$-algebra $C(\partial Δ) times Γ$ depends only on the rank of $Γ$ and is a Cuntz-Krieger algebra whose structure is explicitly determined. The crossed product von Neumann algebra does not possess this rigidity. If $X$ is homogeneous of degree $q+1$ then the von Neumann algebra $L^\infty(\partial Δ) times Γ$ is the hyperfinite factor of type $III_λ$ where $λ=1/{q^2}$ if $X$ is bipartite, and $λ=1/{q}$ otherwise.

연구 동기 및 목표

• 자유 균일 트리 격자 $ \Gamma $ 가 트리 $ \Delta $ 에 작용할 때 경계 C*-대수 $ C(\partial\Delta) \rtimes \Gamma $ 의 구조를 규명하는 것.
• K-이론을 통한 이 C*-대수의 강성과 그 동형류를 분류하는 것.
• 경계 작용에 기반한 완전한 외적 곱 von Neumann 대수 $ L^\infty(\partial\Delta) \rtimes \Gamma $ 의 구조를 분석하고, 특히 그 유형과 Connes 불변량 $ \lambda $ 를 규명하는 것.
• 여기서 몫 그래프 $ \Gamma \backslash \Delta $ 의 조합적 구조와 유형 $ \mathrm{III}_\lambda $ 인자의 불변량 사이의 정확한 관계를 설정하는 것.

제안 방법

• 자연스러운 커버링 트리 $ \Delta $ 내의 무한 반지름 기하선의 동치류 집합으로서 경계 $ \partial\Delta $ 를 정의하고, 컴acts한 전순서 불연속 위상 구조를 부여한다.
• 연속 함수와 군 작용 사이의 공변 관계를 이용해 전체 외적 곱 C*-대수 $ C(\partial\Delta) \rtimes \Gamma $ 를 구성한다.
• 자유군 $ \Gamma $ 의 계수 $ \gamma $ 에 따라 크기가 $ 2\gamma \times 2\gamma $ 인 $ \{0,1\} $-행렬 $ A $ 와 관련된 Cuntz-Krieger 대수 $ \mathcal{O}_A $ 로 이 대수를 식별한다.
• 대수 $ \mathcal{A}(\Gamma) $ 의 K-이론을 계산하여 $ K_0 = \mathbb{Z}^\gamma \oplus \mathbb{Z}/(\gamma-1)\mathbb{Z} $ 과 $ K_1 = \mathbb{Z}^\gamma $ 이며, 항등원의 동치류가 토피컬 합성항을 생성함을 보인다.
• Cuntz-Krieger 대수의 분류 정리를 활용해 동형류가 K-이론과 항등원의 동치류에 의해 완전히 결정됨을 보인다.
• von Neumann 대수의 경우, 경계 작용의 측도론적 분석을 통해 Connes 불변량 $ \lambda $ 를 계산하며, 이분 그래프와 비이분 그래프인 몫 그래프의 경우를 구분한다.

실험 결과

연구 질문

• RQ1 자유 균일 트리 격자에 대한 경계 C*-대수 $ C(\partial\Delta) \rtimes \Gamma $ 는 군 $ \Gamma $ 의 계수에만 의존하는가, 아니면 특정 작용에 의존하는가?
• RQ2 경계 C*-대수의 K-이론이 대수의 동형류를 완전히 분류할 수 있는가? 그리고 $ K_0 $ 와 $ K_1 $ 의 정확한 구조는 무엇인가?
• RQ3 경계 외적 곱 von Neumann 대수 $ L^\infty(\partial\Delta) \rtimes \Gamma $ 의 구조는 몫 그래프 $ \Gamma \backslash \Delta $ 의 기하학적 성질에 어떻게 의존하는가?
• RQ4 만약 $ \Gamma \backslash \Delta $ 가 차수 $ q+1 $ 의 균일한 그래프이면, 결과 von Neumann 대수의 Connes 불변량 $ \lambda $ 는 무엇이며, 이분 그래프와 비이분 그래프의 경우에 어떻게 다를까?

주요 결과

• 경계 C*-대수 $ \mathcal{A}(\Gamma) = C(\partial\Delta) \rtimes \Gamma $ 는 자유군 $ \Gamma $ 의 계수 $ \gamma $ 에만 의존하는 Cuntz-Krieger 대수 $ \mathcal{O}_A $ 와 동형이다.
• 대수 $ \mathcal{A}(\Gamma) $ 의 K-이론은 $ K_0 = \mathbb{Z}^\gamma \oplus \mathbb{Z}/(\gamma-1)\mathbb{Z} $ 이며, 항등원의 동치류가 토피컬 합성항을 생성한다.
• K-이론 군 $ K_1(\mathcal{A}(\Gamma)) $ 는 $ \mathbb{Z}^\gamma $ 와 동형이 되며, 이는 대수의 K-이론 불변량을 통한 분류가 확인됨을 뜻한다.
• C*-대수의 강성: Cuntz-Krieger 대수의 분류 정리에 의해 이 대수의 동형류는 K-이론과 $ K_0 $ 내 항등원의 동치류에 의해 완전히 결정된다.
• 경계 외적 곱 von Neumann 대수 $ L^\infty(\partial\Delta) \rtimes \Gamma $ 는 $ \Gamma \backslash \Delta $ 가 이분 그래프이면 $ \lambda = 1/q^2 $ 인 초유한 유형 $ \mathrm{III}_\lambda $ 인자가 되며, 그렇지 않으면 $ \lambda = 1/q $ 이다.
• 이 결과는 von Neumann 대수의 구조가 몫 그래프의 조합적 성질에 엄격하게 의존함을 보여주며, C*-대수의 강성과 대조된다.