[논문 리뷰] The graded structure of Leavitt Path algebras

Roozbeh Hazrat|arXiv (Cornell University)|2010. 05. 11.

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

한 줄 요약

이 논문은 유한한 방향 그래프에 관련된 레비트 경로 대수(LPAs)의 $\eta$-중복 구조를 조사하며, $\oplus\mathbb{Z}$-중복을 갖는 가중치가 부여된 레비트 경로 대수를 도입하여 고전적 LPAs를 일반화한다. 강한 중복 조건을 규명하기 위해, 유한한 레비트 경로 대수가 강한 중복을 갖는 것은 모든 정점이 사이클에 연결되어 있을 때이고, 이를 증명하며, $K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$를 도출하여 $K$-이론적 불변량을 가중치 설정으로 확장한다.

ABSTRACT

Leavitt path algebras associate to directed graphs a $\mathbb Z$-graded algebra and in their simplest form recover the Leavitt algebras $L(1,k)$. In this note, we first study this $\mathbb Z$-grading and characterize the ($\mathbb Z$-graded) structure of Leavitt path algebras, associated to finite acyclic graphs, $C_n$-comet and multi-headed graphs. The last two type are examples of graphs whose Leavitt path algebras are strongly graded. We characterize Leavitt path algebras which are strongly graded, along the way obtaining classes of algebras which are group rings or crossed-products. In an attempt to generalize the grading, we introduce weighted Leavitt path algebras associated to directed weighted graphs which have natural $ extstyle{\bigoplus} \mathbb Z$-grading and in their simplest form recover the Leavitt algebras $L(n,k)$. We then establish some basic properties of these algebras.

연구 동기 및 목표

• 유한한 비순환 그래프, $C_n$-코메트, 다중머리 그래프, 다각두 그래프에 관련된 레비트 경로 대수(LPAs)의 $\eta$-중복 구조를 분석한다.
• LPAs가 강한 중복을 갖는 조건을 특성화하며, 특히 모든 정점이 사이클에 연결되어 있다는 그래프 이론적 조건을 중심으로 한다.
• 방향 가중치 그래프 위에서 생성자와 관계를 가중치에 맞게 조정하여, 가중치가 부여된 레비트 경로 대수를 도입함으로써 중복을 일반화한다.
• 기본적인 불변량—특히 $K_0$-이론—을 고전적 LPAs에서 가중치가 부여된 LPAs로 확장하며, 행렬의 코어널 구성 방법을 사용한다.
• 단위가 있는 강한 중복 LPAs가 군 대수 또는 크로스곱으로 나타나며, 더 깊은 대수적 구조를 드러낸다.

제안 방법

• 기본 그래프의 경로 길이를 통해 레비트 경로 대수에 $\eta$-중복을 정의하여 표준 $\eta$-중복을 일반화한다.
• 간선 가중치가 부여된 방향 그래프를 사용하여 가중치가 부여된 레비트 경로 대수를 도입하며, 생성자와 관계를 간선 가중치에 맞게 조정한다.
• 각 소스 정점당 최대 간선 가중치의 행렬 $N$과 항등행렬 $I_w$를 사용하여 $\mathbb{Z}^{E^0 \setminus \operatorname{Sink}} \to \mathbb{Z}^{E^0}$ 위에서 $N^t - I_w$의 사상 정의한다.
• 모노이드 동형사상 $\mathcal{V}(\mathcal{L}(E,w)) \cong M_E$를 확립하며, 여기서 $M_E$는 가중치 관계에 모odulo된 정점으로 생성된 아벨 모노이드이다.
• 모리타 이론과 $K$-이론적 동형사상을 적용하여 $K_0(\mathcal{L}(E,w))$를 $N^t - I_w$의 코어널과 연결함으로써, $K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$를 도출한다.
• 예시를 통해 $K_0$ 계산을 검증하며, $K_0 \cong \mathbb{Z}$ 또는 $\mathbb{Z}/k\mathbb{Z}$인 경우를 포함하고, $[A]$는 0이지만 $K_0$는 비자명한 링을 구성한다.

실험 결과

연구 질문

• RQ1 레비트 경로 대수가 언제 강한 중복을 갖는가? 그리고 이것이 보장되는 그래프 이론적 조건은 무엇인가?
• RQ2 레비트 경로 대수의 $\eta$-중복은 어떻게 가중치가 부여된 그래프로 일반화할 수 있는가?
• RQ3 가중치가 부여된 레비트 경로 대수의 $K_0$-군은 무엇이며, 어떻게 대수적으로 계산할 수 있는가?
• RQ4 단위가 있는 레비트 경로 대수가 언제 군 대수 또는 크로스곱이 되는가?
• RQ5 가중치가 부여된 LPA의 $K_0$-불변량은 간선 가중치로부터 유도된 행렬의 코어널로 완전히 기록될 수 있는가?

주요 결과

• 유한한 레비트 경로 대수 $\mathcal{L}_R(E)$는 그래프 $E$의 모든 정점이 사이클에 연결되어 있을 때이고, 그 때에만 강한 중복을 갖는다.
• $C_n$-코메트 그래프의 경우, $\mathcal{L}_K(E) \cong \mathbb{M}_d(K[x,x^{-1}])$이며, 이 동형사상은 $\mathbb{Z}$-중복을 유지한다.
• 가중치가 부여된 레비트 경로 대수는 자연스러운 $\bigoplus\mathbb{Z}$-중복을 가지며, 고전적 LPAs를 일반화하여 가장 단순한 형태로 $L(n,k)$를 복원한다.
• 가중치가 부여된 레비트 경로 대수의 $K_0$-군은 행렬 $N^t - I_w$의 코어널과 동형이며, 즉 $K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$이다.
• $K_0(A) \not= 0$ 이지만 $[A] = 0$ 인 링 $A$가 존재하며, 예를 들어 $A = \mathbb{M}_k(V_{n,n+k})$와 같이, 그로텐디크 군에서 자명하지만 $K_0$는 비자명한 경우를 보여준다.
• 예제 5.24에서 $K_0(\mathcal{L}(E,w)) \cong \mathbb{Z}$이며, 예제 5.25에서 $K_0(\mathcal{L}(E,w)) \cong \mathbb{Z}/k\mathbb{Z}$임을 확인하여 코어널 공식을 검증한다.