[논문 리뷰] Leavitt path algebras of separated graphs

Pere Ara, K. R. Goodearl|arXiv (Cornell University)|2010. 04. 28.

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

한 줄 요약

이 논문은 각 정점에서 간선의 분할을 포함하는 분리된 그래프 $(E,C)$ 에 대해 Leavitt 경로 대수 $L_K(E,C)$ 를 도입한다. 이는 고전적 Leavitt 경로 대수의 확장으로서, 대수들이 허리드라티브임을 증명하고, 그들의 $\mathcal{V}$-모노이드가 임의의 콘형 아벨 모노이드를 실현하며, 추적 이상의 격자가 그래프 이론적 자료에 의해 완전히 결정됨을 보이며, 임의의 $(E,C)$ 를 정밀화된 분리된 그래프로 통합하는 구성법을 제공한다.

ABSTRACT

The construction of the Leavitt path algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. The new algebras, $L_K(E,C)$, are analyzed in terms of their homology, ideal theory, and K-theory. These algebras are proved to be hereditary, and it is shown that any conical abelian monoid occurs as the monoid $\mon{L_K(E,C)}$ of isomorphism classes of finitely generated projective modules over one of these algebras. The lattice of trace ideals of $L_K(E,C)$ is determined by graph-theoretic data, namely as a lattice of certain pairs consisting of a subset of $E^0$ and a subset of $C$. Necessary conditions for $\mon{L_K(E,C)}$ to be a refinement monoid are developed, together with a construction that embeds $(E,C)$ in a separated graph $(E_+,C^+)$ such that $\mon{L_K(E_+,C^+)}$ has refinement.

연구 동기 및 목표

• 분리된 그래프 $(E,C)$ 를 통해 각 정점에서 간선의 분할을 통합함으로써 Leavitt 경로 대수를 일반화하는 것.
• 새로운 대수 $L_K(E,C)$ 의 호몰로지, 이상 이론, $K$-이론을 분석하는 것.
• 임의의 콘형 아벨 모노이드가 $\mathcal{V}(L_K(E,C))$, 즉 유한 생성 프로젝티브 모듈의 모노이드로 나타남을 보여주는 것.
• 그래프 이론적 자료를 사용하여 $L_K(E,C)$ 의 추적 이상 격자를 결정하는 것.
• $\mathcal{V}(L_K(E,C))$ 가 리파인먼트 모노이드가 되기 위한 필요 조건을 개발하고, 리파인먼트 확장 $(E_+,C^+)$ 를 구성하는 것.

제안 방법

• 분리된 그래프 $(E,C)$ 에 대해, $E$ 의 경로 대수의 몫으로서 $L_K(E,C)$ 를 정의하고, $E^{1*}$ 를 포함하며, $C$ 의 분할에서 선택된 간선 집합에만 Cuntz-Krieger 관계를 도입한다.
• 특히 $E^0$ 과 $C$ 의 부분집합을 사용하여, $L_K(E,C)$ 의 추적 이상 격자를 그래프 이론적 자료로 묘사한다.
• 격자 이론적 구성법을 적용하여, $\mathcal{V}(L_K(E,C))$ 의 순서 이상과 $L_K(E,C)$ 의 추적 이상 사이의 이sov모르피즘 $\Phi$ 와 $\Psi$ 를 통해 관련짓는다.
• 모든 분리된 그래프 $(E,C)$ 를 리파인먼트된 분리된 그래프 $(E_+,C^+)$ 로 통합할 수 있는 구성법을 제시하며, 이때 $\mathcal{V}(L_K(E_+,C^+))$ 는 리파인먼트 모노이드가 된다.
• Thomsen 의 $K$-이론과 동역학계 결과를 활용하여 $C^*$-대수적 동치 $C^*(E,C)$ 를 분석한다.
• $\mathcal{V}(R)$-순서 이상과 추적 이상 사이의 이sov모르피즘을 이용하여, 추적 이상 격자가 그래프 자료에 의해 완전히 결정됨을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 분리된 그래프 $(E,C)$ 를 통해 각 정점에서 간선의 분할을 통합함으로써 Leavitt 경로 대수를 일반화할 수 있는가?
• RQ2 $L_K(E,C)$ 에 대해 $\mathcal{V}$-모노이드 $\mathcal{V}(L_K(E,C))$ 의 구조는 어떠한가?
• RQ3 $L_K(E,C)$ 의 추적 이상은 그래프 이론적 자료로 어떻게 묘사되는가?
• RQ4 $\mathcal{V}(L_K(E,C))$ 가 리파인먼트 모노이드가 되기 위한 조건은 무엇인가?
• RQ5 임의의 콘형 아벨 모노이드는 어떤 분리된 그래프 $(E,C)$ 에 대해 $\mathcal{V}(L_K(E,C))$ 로 실현될 수 있는가?

주요 결과

• $L_K(E,C)$ 는 임의의 분리된 그래프 $(E,C)$ 에 대해 허리드라티브이다.
• 임의의 콘형 아벨 모노이드는 어떤 분리된 그래프 $(E,C)$ 에 대해 $\mathcal{V}(L_K(E,C))$ 로 실현된다.
• $L_K(E,C)$ 의 추적 이상 격자는 $S \subseteq E^0$ 과 $T \subseteq C$ 를 만족하는 특정 쌍 $(S, T)$ 의 격자와 이sov모르픽이며, 그래프 이론적 자료에 의해 완전히 결정된다.
• 모든 분리된 그래프 $(E,C)$ 를 리파인먼트된 분리된 그래프 $(E_+,C^+)$ 로 통합할 수 있는 구성법이 존재하며, 이때 $\mathcal{V}(L_K(E_+,C^+))$ 는 리파인먼트 모노이드가 된다.
• 이sov모르피즘 $\Phi$ 와 $\Psi$ 는 $\mathcal{V}(L_K(E,C))$ 의 순서 이상과 $L_K(E,C)$ 의 추적 이상 사이의 완전한 격자 이sov모르피즘을 수립한다.
• $C^*$-대수적 동치 $C^*(E,C)$ 는 $L_K(E,C)$ 를 밀도 있는 $*$-부분대수로 포함하며, Thomsen 의 결과를 통해 그 $K$-이론을 계산할 수 있다.