[논문 리뷰] Corners of graph algebras

Tyrone Crisp|arXiv (Cornell University)|2005. 03. 28.

Advanced Operator Algebra Research참고 문헌 26인용 수 16

한 줄 요약

이 논문은 군 레이블링으로 유도된 경로 유한성 및 행 유한성 조건을 만족하는 정점 집합 $ X $ 에 대해, 그래프 C*-대수 $ C^*(E) $ 의 모서리 $ P_X C^*(E) P_X $ 와 동형인 C*-대수를 갖는 방향 그래프를 구성한다. 핵심 결과는 레이블링이 카이르히호프 유사 전압 법칙을 만족할 경우 이러한 모서리가 그래프 대수로 나타나며, 이는 기존의 구성 방법을 일반화하고 이산 코작용에 의한 고정점 대수에 적용된다.

ABSTRACT

It is known that given a directed graph E and a subset X of vertices, the sum of the projections associated to the vertices in X in the C*-algebra of E converges strictly in the multiplier algebra to a projection P. Here we give a construction which, in certain cases, produces a directed graph F whose C*-algebra is isomorphic to the corner P(C*(E))P. Corners of this type arise naturally as the fixed point algebras of discrete coactions on graph algebras related to labellings. We prove this fact, and show that our construction is applicable to such a case whenever the labelling satisfies an analogue of Kirchhoff's voltage law.

연구 동기 및 목표

• 그래프 C*-대수의 모서리 $ P_X C^*(E) P_X $ 를 다른 방향 그래프의 C*-대수로 실현하기 위한 구성적 방법을 제공한다.
• 이전의 구성 방법이 $ X $ 의 강한 보완집합에 순환, 싱크 또는 무한으로 갈라지는 정점이 포함될 경우 실패하는 데서 비롯되는 한계를 극복한다.
• 이산 코작용에 의한 고정점 대수가 그래프 대수와 동형이 되는 조건을 새 그래프 구성 방법을 통해 규명한다.
• 기존의 탈싱귤라라이제이션 및 尾 추가 기법을 일반화하기 위해, 왜곡된 곱 그래프 내의 방향 부분수나무에 기반한 새로운 방법을 도입한다.

제안 방법

• 이산군 $ G $ 와 $ G $ 에 의한 간선 레이블링 $ c $ 에 대해, $ E \times_c G $ 의 방향 부분수나무 $ T $ 를 구성한다. 여기서 루트는 $ E^0 \times \{1_G\} $ 에 위치한다.
• 모든 무한 경로 $ \mu \in E^\infty $ 에 대해 $ c(\mu_1 \cdots \mu_i) = 1_G $ 를 만족하는 $ i \in \mathbb{N} $ 가 존재하도록 레이블링 조건을 도입함으로써, 부분수나무 $ T $ 가 행 유한성과 경로 유한성을 동시에 만족하도록 보장한다.
• 수나무 $ T $ 의 구조를 이용해 새로운 그래프 $ F $ 를 정의하여 $ C^*(F) \cong P_X C^*(E) P_X $ 가 되도록 한다. 여기서 $ X = H_E(X) $ 는 루트 집합의 강한 폐쇄이다.
• 이 구성 방법을 이산 코작용에 의한 고정점 대수에 적용하여, 레이블링이 전압 법칙 조건을 만족할 경우 고정점 대수가 동일한 방법으로 그래프 대수와 동형임을 보인다.
• 푸리에 변환을 활용해 $ C^*(E) $ 에 대한 군 작용과 코작용을 연결함으로써, 이 모서리 구성 방법을 양자 렌즈 공간 및 유사 대수에 적용할 수 있도록 한다.
• 구성 방법이 유니탈 그래프 대수에 대해 유효하며, 이러한 대수의 직접 극한으로까지 확장 가능하므로 적용 범위를 넓힌다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 그래프 C*-대수의 모서리 $ P_X C^*(E) P_X $ 가 다른 방향 그래프의 C*-대수로 실현될 수 있는가?
• RQ2 강한 보완집합에 유한성 또는 행 유한성 조건이 없고, 순환 또는 싱크가 포함된 경우에도 모서리의 그래프 대수 실현이 일반화될 수 있는가?
• RQ3 이산군에 의한 그래프 레이블링이 카이르히호프 유사 전압 법칙을 만족할 경우, 유도된 코작용 하에서의 고정점 대수가 그래프 대수와 동형이 되는가?
• RQ4 기존의 방법(싱크에 尾 추가 또는 드린-톰포르데 탈싱귤라라이제이션)과 비교할 때, 새로운 구성 방법은 적용 가능성과 구조적 가정 측면에서 어떻게 다를까?
• RQ5 이 방법은 유니탈 그래프 대수와 이러한 대수의 직접 극한에 적용 가능하여 일반 그래프 C*-대수의 범위까지 확장되는가?

주요 결과

• 논문은 $ E \times_c G $ 가 루트 집합 $ E^0 \times \{1_G\} $ 와 정점 집합 $ H_{E \times_c G}(E^0 \times \{1_G\}) $ 를 갖는 행 유한성과 경로 유한성을 동시에 만족하는 방향 부분수나무를 갖는 한, 항상 $ C^*(F) \cong P_X C^*(E) P_X $ 를 만족하는 방향 그래프 $ F $ 를 구성한다.
• 유니탈 그래프 대수의 경우, 항상 그러한 부분수나무가 존재하므로, 이 구성 방법은 이 클래스에 대해 항상 적용 가능하다.
• 그래프 $ E $ 가 행 유한성 조건을 만족하고, 레이블링 $ c $ 가 모든 무한 경로 $ \mu \in E^\infty $ 가 전체 레이블이 항등원이 되는 접두어를 갖는 조건을 만족할 경우, 필요한 부분수나무가 존재하여 모서리가 그래프 대수임을 보장한다.
• 군 레이블링 $ c $ 가 전압 법칙 조건을 만족할 경우, 유도된 이산 코작용 $ \delta $ 에 의한 고정점 대수 $ C^*(E)^\delta $ 는 그래프 대수와 동형이 된다.
• 이 구성 방법은 양자 렌즈 공간 구성 방법을 일반화한다: 게이지 작용에 의한 고정점 대수 $ C^*(E)^\delta $ 는 왜곡된 곱 그래프 대수의 모서리와 동형이며, 이 모서리 자체가 그래프 대수임을 보여준다.
• 이 방법은 유니탈 그래프 대수의 직접 극한에도 적용 가능하며, 모든 그래프 대수가 이 구성이 적용 가능한 그래프 대수의 직접 극한으로 근사화될 수 있음을 보여준다.