[논문 리뷰] A direct approach to co-universal algebras associated to directed graphs

Aidan Sims, Samuel B. G. Webster|arXiv (Cornell University)|2009. 12. 17.

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

한 줄 요약

이 논문은 모든 사이클이 입구를 가지는 유향 그래프와 관련된 토플리츠-쿤츠-크리거 가족에 대해 직접적인 방법으로 공최우성 C*-대수를 구성한다. 유한 경로의 범위 프로jections가 생성하는 아벨 부분대수를 직접 다루고, 충실한 조건부 기대를 사용함으로써, 게이지 작용, 고정점 대수, 또는 아이디얼 구조 이론에 의존하지 않고 이러한 가족들을 유니버설하게 인수하는 C*-대수의 존재를 확립한다. 핵심 결과는 이러한 공최우성 대수가 존재하며, 사이클에 입구가 있는 조건 하에 토플리츠-쿤츠-크리거 관계를 만족하는 영이 아닌 부분 등위사상 가족에 대해 유니버설하다는 것이다.

ABSTRACT

We prove directly that if E is a directed graph in which every cycle has an entrance, then there exists a C*-algebra which is co-universal for Toeplitz-Cuntz-Krieger E-families. In particular, our proof does not invoke ideal-structure theory for graph algebras, nor does it involve use of the gauge action or its fixed point algebra.

연구 동기 및 목표

• 모든 사이클이 입구를 가지는 유향 그래프에서 토플리츠-쿤츠-크리거 가족에 대해 공최우성 C*-대수의 존재를 확립하는 것.
• 게이지 작용, 고정점 대수, 또는 그래프 C*-대수의 아이디얼 구조 이론에 의존하지 않는 직접적인 증명을 제공하는 것.
• 좌측 정규 표현으로 생성된 C*-대수가 영이 아닌 부분 등위사상 가족이 토플리츠-쿤츠-크리거 관계를 만족할 때 공최우성임을 보이는 것.
• 특정 TCK 가족에서 생성된 C*-대수가 공최우성 대수로 인수되는지 여부를 특성화하는 것.
• 공최우성 대수가 영이 아닌 TCK 가족에 대해 가장 작은 유니버설 대상임을 의미하는 최소성임을 증명하는 것.

제안 방법

• 영이 아닌 부분 등위사상으로 구성된 특정한 토플리츠-쿤츠-크리거 가족 $(S^{\mathrm{ap}}, P^{\mathrm{ap}})$ 에 의해 생성되는 유니버설 C*-대수 $C^{*}_{\mathrm{min}}(E)$ 를 구성한다.
• 유한 경로의 범위 프로jections가 생성하는 아벨 부분대수 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}:\lambda\in E^{*}\}$ 를 정의한다.
• 이 아벨 부분대수 위로의 조건부 기대 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 를 정의한다. 이 기대는 $\ell^2(\partial E^{\mathrm{ap}})$ 상의 랭크-일의 프로jections의 강한 작용 수렴을 통해 구성된다.
• 이 기대가 양의 원소에서 충실함을 보이기 위해, $\ell^2(\partial E^{\mathrm{ap}})$ 의 표준 orthonormal 기저에서의 행렬 계수의 강한 작용 수렴과 일치함을 보인다.
• 완전 경로 조건을 사용하여, 임의의 영이 아닌 TCK 가족의 아벨 부분대수에서 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ 로의 호모모르피즘 $\psi_{q}$ 를 정의한다. 이때 $q_{\lambda}$ 를 $P^{\mathrm{ap}}_{\lambda}$ 로 보낸다.
• 기대의 호환성과 충실성으로부터, $\pi_{t,q}(a) = 0$ 이다 ⇔ $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}(a) = 0$ 임을 보이고, 이로써 공최우성 성질을 증명한다.

실험 결과

연구 질문

• RQ1 모든 사이클이 입구를 가지는 유향 그래프에서 토플리츠-쿤츠-크리거 가족에 대해, 게이지 작용이나 아이디얼 이론에 의존하지 않고 공최우성 C*-대수가 존재하는가?
• RQ2 유한 경로의 범위 프로jections가 생성하는 아벨 부분대수를 통해 공직우성 성질을 직접적으로 확립할 수 있는가?
• RQ3 특정 TCK 가족에서 공직우성 대수로의 표준 호모모르피즘이 언제 단사인가?
• RQ4 공직우성 대수에서 아벨 부분대수로의 조건부 기대가 양의 원소에서 충실한가?
• RQ5 공직우성 대수는 영이 아닌 TCK 가족에 대해 최소 유니버설 대상으로 특성화될 수 있는가?

주요 결과

• 모든 사이클이 입구를 가지는 임의의 유향 그래프 $E$ 에 대해, 좌측 정규 표현에서 직접 구성된 공최우성 C*-대수 $C^{*}_{\mathrm{min}}(E)$ 가 존재한다.
• 아벨 부분대수 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ 로의 조건부 기대 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 는 양의 원소에서 충실하다.
• 영이 아닌 프로jections $q_v$ 를 가진 임의의 토플리츠-쿤츠-크리거 가족 $(t,q)$ 에 대해, 유니버설 호모모르피즘 $\pi_{t,q}$ 의 커널은 $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 의 커널에 포함되므로, $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 는 $C^{*}(t,q)$ 를 인수한다.
• 호모모르피즘 $\psi_{t,q}: C^{*}(t,q) \to C^{*}_{\mathrm{min}}(E)$ 는 다음 두 조건을 만족할 때이고, 그때에만 단사이다: (a) 모든 유한한 완전 경로 집합 $F \subset vE^*$ 에 대해 $\prod_{\lambda\in F}(q_v - q_\lambda) = 0$, (b) 기대 $\Phi_{t,q}$ 가 충실하다.
• 모든 $v$ 에 대해 $\pi(P^{\mathrm{ap}}_v) \neq 0$ 를 만족하는 $\pi: C^{*}_{\mathrm{min}}(E) \to C$ 의 호모모르피즘은 단사이다. 이는 $C^{*}_{\mathrm{min}}(E)$ 가 공최우성 의미에서 최소임을 보여준다.
• 증명 과정에서 게이지 작용, 고정점 대수, 아이디얼 구조 이론을 사용하지 않고, 경로 공간 위의 프로jections과 기대의 직접적 분석에 의존한다.