[논문 리뷰] The co-universal C*-algebra of a row-finite graph

Aidan Sims|ArXiv.org|2008. 09. 13.

Advanced Operator Algebra Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 행렬이 유한한 방향 그래프 $E$에 대해 공 universal C*-대수 $C^{*}_{\text{min}}(E)$를 정의한다: 모든 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족으로 생성된 C*-대수는 $C^{*}_{\text{min}}(E)$로의 표준적인 전성사상(canonical surjection)을 갖는다. 주요 결과는 $E$의 모든 순환 경로가 입구를 갖는 경우에만 $C^{*}_{\text{min}}(E)$가 쿤츠-크리거 대수 $C^{*}(E)$와 동형이며, 그렇지 않으면 $C^{*}(E)$의 진부분 몫임을 보여준다. 또한 이 대수는 특정 경로 집합과 관련된 프로젝션으로 생성되는 가환 C*-부분대수 위에 충실한 조건부 기대를 갖는다.

ABSTRACT

Let E be a row-finite directed graph. We prove that there exists a C*-algebra C*_{min}(E) with the following co-universal property: given any C*-algebra B generated by a Toeplitz-Cuntz-Krieger E-family in which all the vertex projections are nonzero, there is a canonical homomorphism from B onto C*_{min}(E). We also identify when a homomorphism from B to C*_{min}(E) obtained from the co-universal property is injective. When every loop in E has an entrance, C*_{min}(E) coincides with the graph C*-algebra C*(E), but in general, C*_{min}(E) is a quotient of C*(E). We investigate the properties of C*_{min}(E) with emphasis on the utility of co-universality as the defining property of the algebra.

연구 동기 및 목표

• 행렬이 유한한 방향 그래프에 대해, 모든 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족으로 생성된 모든 C*-대수들 사이에서 보편 성질을 만족하는 공 universal C*-대수를 정의하고 존재성을 확립하는 것.
• 일반적인 이러한 C*-대수에서 $C^{*}_{\text{min}}(E)$로의 표준적 준동형사상이 단사임 조건을 규명하는 것.
• $C^{*}_{\text{min}}(E)$를 표준적인 그래프 C*-대수 $C^{*}(E)$의 몫으로 식별하고, 이 몫이 자명한지(즉, $C^{*}_{\text{min}}(E) \cong C^{*}(E)$인지)를 판단하는 조건을 밝히는 것.
• Hil베르트 공간 $\ell^2(\Omega)$ 위의 연산자 대수로서 $C^{*}_{\text{min}}(E)$의 구체적 실현을 제공하는 것, 여기서 $\Omega$는 무한 반복된 입구가 없는 순환의 초기 부분이 아닌 경로들의 특정 부분집합이다.

제안 방법

• 보편 성질을 만족하는 공 universal C*-대수로 $C^{*}_{\text{min}}(E)$를 정의한다: 다른 C*-대수 $B$에서 모든 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족이 존재할 경우, $B \to C^{*}_{\text{min}}(E)$로의 표준적 전성사상이 유도됨.
• 홍과 씨마냐의 그래프 C*-대수의 원시 이상공간 기술을 활용하여 $C^{*}_{\text{min}}(E)$의 구조를 분석하고, 그 존재성과 유일성을 증명한다.
• 특정 $\ell^2(\Omega)$로의 $\ell^2(E^{\leq\infty})$ 위의 왼쪽 정규 표현의 제한을 통해 $C^{*}_{\text{min}}(E)$의 구체적 실현을 구성한다. 여기서 $\Omega$는 입구가 없는 순환의 무한 반복의 초기 부분이 아닌 경로들의 집합이다.
• 입구가 없는 순환의 초기 부분이 아닌 경로들의 집합을 $W$로 정의하고, $C^{*}_{\text{min}}(E)$가 $\alpha, \beta \in W$ 이면서 $s(\alpha) = s(\beta)$인 경우에 대해 $s^{m}_\alpha (s^{m}_\beta)^*$의 닫힌 선형 결합으로 생성됨을 보인다.
• 표준 기대를 $\mathcal{B}(\ell^2(\Omega))$에서 제한함으로써, $C^{*}_{\text{min}}(E)$ 위에 충실한 조건부 기대 $\Psi: C^{*}_{\text{min}}(E) \to D$를 구성한다. 여기서 $D$는 프로젝션 $s^{m}_\alpha (s^{m}_\alpha)^*$로 생성된 C*-대수이다.
• 표준 쿤츠-크리거 연산자의 $\Omega$ 위로의 제한으로 생성된 대수 $P^\Omega_v$ 및 $S^\Omega_e$와의 동형을 증명함으로써, $C^{*}_{\text{min}}(E)$가 이 대수와 동형임을 보인다.

실험 결과

연구 질문

• RQ1 모든 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족으로 생성된 C*-대수들 사이에서 보편 성질을 만족하는 공 universal C*-대수 $C^{*}_{\text{min}}(E)$가 존재하는가?
• RQ2 일반적인 이러한 C*-대수에서 $C^{*}_{\text{min}}(E)$로의 표준 준동형사상이 단사가 되는 조건은 무엇인가?
• RQ3 $C^{*}_{\text{min}}(E)$가 표준적인 그래프 C*-대수 $C^{*}(E)$와 일치하는가?
• RQ4 $C^{*}_{\text{min}}(E)$의 구체적 구조는 무엇이며, 어떻게 Hilbert 공간 위의 연산자 대수로 실현할 수 있는가?
• RQ5 $\Omega$는 입구가 없는 순환의 무한 반복의 초기 부분이 아닌 경로들의 집합이며, 이 집합이 $C^{*}_{\text{min}}(E)$의 구성에서 수행하는 역할은 무엇인가?

주요 결과

• 모든 행렬이 유한한 방향 그래프 $E$에 대해 공 universal C*-대수 $C^{*}_{\text{min}}(E)$가 존재하며, 모든 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족으로 생성된 C*-대수는 $C^{*}_{\text{min}}(E)$로의 표준적 전성사상이 존재한다는 보편 성질로 특징지어진다.
• 정점 프로젝션들이 0이 아닌 토플리츠-쿤츠-크리거 $E$-족으로 생성된 C*-대수 $B$에서 $C^{*}_{\text{min}}(E)$로의 표준 준동형사상은, $B$의 족이 모든 유한한 양의 범위를 갖는 정점에서 쿤츠-크리거 관계를 만족할 때에만 단사이다.
• 모든 순환 경로가 입구를 갖는 경우, $C^{*}_{\text{min}}(E)$는 표준적인 그래프 C*-대수 $C^{*}(E)$와 동형이며, 그렇지 않으면 $C^{*}(E)$의 진부분 몫이다.
• $C^{*}_{\text{min}}(E)$는 $\ell^2(\Omega)$ 위의 왼쪽 정규 표현 연산자의 제한으로 생성된 대수와 동형이며, 여기서 $\Omega$는 입구가 없는 순환의 무한 반복의 초기 부분이 아닌 경로들의 집합이다.
• $C^{*}_{\text{min}}(E)$는 프로젝션 $s^{m}_\alpha (s^{m}_\alpha)^*$로 생성된 가환 C*-부분대수 $D$ 위에 충실한 조건부 기대 $\Psi$를 갖는다. 이 기대는 $\alpha = \beta$이면 $\Psi(s^{m}_\alpha (s^{m}_\beta)^*) = s^{m}_\alpha (s^{m}_\alpha)^*$이고, 그렇지 않으면 0이다.
• $C^{*}_{\text{min}}(E)$는 입구가 없는 순환의 초기 부분이 아닌 경로들로 이루어진 집합 $W$의 원소 $\alpha, \beta$에 대해 $s(\alpha) = s(\beta)$인 경우에 대해 $s^{m}_\alpha (s^{m}_\beta)^*$로 생성된다.