[논문 리뷰] Module theory over Leavitt path algebras and $K$-theory

Pere Ara, Miquel Brustenga|ArXiv.org|2009. 05. 23.

Advanced Operator Algebra Research참고 문헌 21인용 수 6

한 줄 요약

이 논문은 레비트 경로 대수에서의 모듈 이론과 K-이론 사이의 깊은 연결 고리를 확립한다. 정칙 대수 $ Q_k(E) $의 고차 K-이론은 경로 대수 $ P_k(E) $의 유니버설 로컬라이제이션으로 구성되며, 이는 레비트 경로 대수 $ L_k(E) $의 K-이론과 $ P_k(E) $-모듈의 유한 길이 모듈의 카테고리의 K-이론으로 분해된다. 핵심 결과는 $ i \geq 1 $에 대해 분할 정확열 $ K_i(Q_k(E)) \cong K_i(L_k(E)) \oplus \mathrm{Bla}_{i-1}(P_k(E)) $ 이다. 이는 이전의 고전적 레비트 대수에 대한 $ K_1 $ 결과를 일반화한다.

ABSTRACT

Let $k$ be a field and let $E$ be a finite quiver. We study the structure of the finitely presented modules of finite length over the Leavitt path algebra $L_k (E)$ and show its close relationship with the finite-dimensional representations of the inverse quiver $\overline{E}$ of $E$, as well as with the class of finitely generated $P_k(E)$-modules $M$ such that ${ m Tor}_q^{P_k (E)}(k^{|E^0|},M)=0$ for all $q$, where $P_k(E)$ is the usual path algebra of $E$. By using these results we compute the higher $K$-theory of the von Neumann regular algebra $Q_k (E)=L_k (E)Σ^{-1}$, where $Σ$ is the set of all square matrices over $P_k (E)$ which are sent to invertible matrices by the augmentation map $ε\colon P_k (E) o k^{|E^0|}$.

연구 동기 및 목표

• 고전적 레비트 대수 $ L(1,n) $의 정칙 대수 $ Q_n $에 대한 이전의 $ K_1 $-계산 결과를 임의의 유한한 쿼버에 대해 고차 K-이론으로 일반화한다.
• 레비트 경로 대수 $ L_k(E) $에서 유한 길이를 갖는 유한 생성 모듈과 그 역 쿼버 $ \overline{E} $의 유한 차원 표현 사이의 구조적 연결 고리를 확립한다.
• 특정 유형의 단사 사상에 대해 $ P_k(\overline{E}) $에 대한 유니버설 로컬라이제이션으로서 정칙 대수 $ Q_k(E) $를 특성화한다.
• 정칙 대수 $ Q_k(E) $의 고차 K-이론을 $ K_i(L_k(E)) $와 $ P_k(E) $-모듈의 유한 길이 카테고리 $ \mathcal{Bla}(P_k(E)) $의 K-이론으로 표현한다.

제안 방법

• 유니버설 로컬라이제이션을 사용하여 정칙 대수 $ Q_k(E) $를 $ L_k(E)\Sigma^{-1} $로 구성하며, 여기서 $ \Sigma $ 는 $ P_k(E) $의 행렬들로 구성되며, 증강 사상에 의해 $ k^{|E^0|} $로 사라지게 되는 행렬들이다.
• 유니버설 로컬라이제이션에 대한 정리 7.1을 적용하여 $ P_k(E) \to P_{\mathrm{rat}}(E) $ 및 $ L_k(E) \to Q_k(E) $에 대해 K-이론의 정확열을 유도한다.
• $ \mathcal{Bla}(P_k(E)) $ 카테고리를 유한 생성 프로젝티브 $ P_k(\overline{E}) $-모듈 간 단사 사상의 코어널러스 카테고리로 식별하며, 이들의 코어널러스는 유한 차원이면서 프로젝티브 자유이다.
• $ K_i(P_k(E)) \cong K_i(k^d) \cong K_i(k)^d $ 를 통해 $ P_k(E) \to P_{\mathrm{rat}}(E) $의 K-이론 정확열이 분할된다는 사실을 이용하여, $ Q_k(E) $에 대해서도 유사한 분할을 유도한다.
• $ \mathcal{Bla}(P_k(E)) \cong \mathbf{fnP}(L_k(E))_{\mathrm{fl}} $ 의 동형을 이용하여, 유한 길이 $ L_k(E) $-모듈과 역 쿼버 $ \overline{E} $의 표현 사이의 관계를 설정한다.
• 행렬 $ 1 - N_E $ 의 코어널러스와 커널을 통해 $ K_1(Q_k(E)) $ 를 계산하며, 여기서 $ N_E $ 는 쿼버 $ E $ 의 인cidenc 행렬이다.

실험 결과

연구 질문

• RQ1 유한 길이를 갖는 $ L_k(E) $-모듈의 카테고리는 $ k\langle y_1,\dots,y_n\rangle $-모듈의 유한 차원 모듈 카테고리와 어떻게 관련이 있는가?
• RQ2 정칙 대수 $ Q_k(E) $ 의 고차 K-이론 군의 구조는 무엇이며, $ L_k(E) $ 와 $ P_k(E) $ 의 K-이론과 어떻게 관련이 있는가?
• RQ3 정칙 대수 $ Q_k(E) $ 는 $ P_k(\overline{E}) $ 의 유니버설 로컬라이제이션으로서 실현될 수 있는가? 만약 가능하다면, 어떤 유형의 사상에 대해 이루어지는가?
• RQ4 모든 $ i \geq 1 $ 에 대해 $ K_i(Q_k(E)) $ 의 정확한 분해는 무엇이며, 이는 분할되는가?
• RQ5 $ Q_k(E) $ 의 $ K_1 $-군은 쿼버의 구조, 특히 손절점과 인cidenc 행렬 $ N_E $ 에 따라 어떻게 달라지는가?

주요 결과

• 정칙 대수 $ Q_k(E) $ 의 고차 K-이론은 모든 $ i \geq 1 $ 에 대해 분할 정확열을 만족한다: $ K_i(Q_k(E)) \cong K_i(L_k(E)) \oplus \mathrm{Bla}_{i-1}(P_k(E)) $.
• $ P_k(E) $-모듈의 유한 길이 카테고리 $ \mathcal{Bla}(P_k(E)) $ 는 유한 생성 프로젝티브 $ P_k(\overline{E}) $-모듈 간 단사 사상의 코어널러스 카테고리로, 코어널러스가 유한 차원이면서 프로젝티브 자유인 경우와 동치이다.
• $ Q_k(E) $ 의 $ K_1 $-군은 $ 1 - N_E $ 의 사상의 코어널러스와 커널의 직접합과 동치이며, 계수는 각각 $ k^\times $ 와 $ \mathbb{Z} $ 이며, $ \mathrm{Bla}_0(P_k(E)) $ 를 더한다.
• $ K_i(P_k(E)) \to K_i(P_{\mathrm{rat}}(E)) $ 는 단사적이며 분할되며, $ K_i(P_{\mathrm{rat}}(E)) \cong K_i(k)^d \oplus \mathrm{Bla}_{i-1}(P_k(E)) $ 라고 된다.
• $ \mathcal{Bla}(P_k(E)) $ 는 유한 길이를 갖는 유한 생성 $ L_k(E) $-모듈의 카테고리와 동치이며, 이는 모듈 이론과 역 쿼버의 표현 이론 사이의 다리 역할을 한다.
• 정칙 대수 $ Q_k(E) $ 는 $ P_k(\overline{E})\Upsilon^{-1} $ 와 동형이며, 여기서 $ \Upsilon $ 는 유한 차원이면서 프로젝티브 자유인 코어널러스를 갖는 단사 사상의 집합이다.