[논문 리뷰] Algebraic bivariant $K$-theory and Leavitt path algebras

Guillermo Cortiñas⋆, Diego Montero|arXiv (Cornell University)|2018. 06. 24.

Advanced Operator Algebra Research인용 수 1

한 줄 요약

이 논문은 대수적 이변량 K-이론 kk가 임의의 가환환 ℓ 위에서 Leavitt 경로 대수 L(E)를 kk-동형사상에 관해 분류함을 증명하며, 이는 C*-대수에 대한 유니버설 계수 정리와 쿤느의 정리의 일반화이다. 이는 kk(L(E))가 KH₀(L(E))와 KH₁(L(E))에만 의존함을 보이며, K-이론과 Ext 군을 이용한 kk(L(E), R)에 대한 UCT 유형의 정확한 수열을 제공한다.

ABSTRACT

This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a commutative ground ring $\ell$. In this first article we consider Leavitt path algebras of general graphs over general ground rings; the second article will focus mostly on purely infinite simple unital Leavitt path algebras over a field. Bivariant algebraic $K$-theory $kk$ is the universal homology theory with the properties above; we prove a structure theorem for unital Leavitt path algebras in $kk$. We show that under very mild assumptions on $\ell$, for a graph $E$ with finitely many vertices and reduced incidence matrix $A_E$, the structure of $L(E)$ depends only on the isomorphism classes of the cokernels of the matrix $I-A_E$ and of its transpose, which are respectively the $kk$ groups $KH^1(L(E))=kk_{-1}(L(E),\ell)$ and $KH_0(L(E))=kk_0(\ell,L(E))$. Hence if $L(E)$ and $L(F)$ are unital Leavitt path algebras such that $KH_0(L(E))\cong KH_0(L(F))$ and $KH^1(L(E))\cong KH^1(L(F))$ then no homology theory with the above properties can distinguish them. We also prove that for Leavitt path algebras, $kk$ has several properties similar to those that Kasparov's bivariant $K$-theory has for $C^*$-graph algebras, including analogues of the Universal coefficient and K\"unneth theorems of Rosenberg and Schochet.

연구 동기 및 목표

• 가환환 ℓ 위에서 Leavitt 경로 대수 L(E)와 L(F)를 분간하는 데 있어 호모토피 불변성, 분할성, 행렬 안정성 조건을 갖춘 호몰로지 이론의 한계를 규명하는 것.
• 보편적인 이론인 이변량 대수적 K-이론 kk에서 L(E)의 구조를 특성화하는 것.
• Leavitt 경로 대수의 맥락에서 유니버설 계수 정리(UCT)와 쿤느 정리의 이론적 대응을 수립하는 것.
• KH₁(L(E))를 형태 0 → M∞ → E → L(E) → 0인 확장의 군과 연관지으며, Ext(L(E))에서 KH₁(L(E))로의 자연스러운 전성 사상이 있음을 보여주는 것.

제안 방법

• ℓ 위의 대수에서의 kk의 보편 성질을 이용하여, kk는 모든 분할성, 호모토피 불변성, E-안정성 조건을 갖춘 호몰로지 이론 중 최초의 이론임을 이용한다.
• 역 스트레칭 함수자 Ω를 적용하여 kk_n(A, B) = hom_kk(j(A), Ω^n j(B))로 정의하고, 이를 Weibel의 KH-이론과 연결함: kk_n(ℓ, B) = KH_n(B).
• 감소된 인cidience 행렬의 코어널을 이용해 KH₀(L(E))와 KH₁(L(E))를 특성화함: KH₀(L(E)) ≅ Coker(I − AtE), KH₁(L(E)) ≅ Coker(I − AE).
• j(L(E)) ≅ j(L₀^s ⊕ L₁^r ⊕ ⨁ L_{d_{i+1}}) 라는 구조 정리를 증명함. 여기서 s = #sing(E), r = rk(KH₁(L(E))), d_i는 K₀(L(E))의 토크션 부분군의 불변 요소이다.
• UCT 유형의 정확한 수열 수립: 0 → Ext¹_Z(KH₀(L(E)), KH_{n+1}(R)) → kk_n(L(E), R) → Hom(KH₀(L(E)), KH_n(R)) ⊕ Hom(Ker(I−AtE), KH_{n+1}(R)) → 0.
• 쿤느 유형의 정확한 수열 수립: 0 → KH₁(L(E)) ⊗ KH_{n+1}(R) ⊕ Ker(I−AE) ⊗ KH_n(R) → kk_n(L(E), R) → Tor¹_Z(KH₁(L(E)), KH_n(R)) → 0.

실험 결과

연구 질문

• RQ1 분할성, 호모토피 불변성, 행렬 안정성 조건을 갖춘 호몰로지 이론이 가환환 ℓ 위에서 Leavitt 경로 대수 L(E)와 L(F)를 어느 정도로 분간할 수 있는가?
• RQ2 L(E)의 kk-이론 클래스가 Coker(I − AE)와 Coker(I − AtE)에 의해 유일하게 결정될 수 있는가?
• RQ3 이변량 대수적 K-이론 kk는 C*-대수의 카스파로프 KK-이론에서의 유니버설 계수 정리와 유사한 성질을 만족하는가?
• RQ4 kk(L(E), R)에 대해 K-이론 군의 텐서곱과 Tor 군을 이용한 쿤느 유형의 정리가 존재하는가?
• RQ5 KH₁(L(E))는 형태 0 → M∞ → E → L(E) → 0인 확장의 호모토피 동치류 군 Ext(L(E))와 어떻게 관련되어 있는가?

주요 결과

• L(E)의 kk-클래스는 Coker(I − AE)와 Coker(I − AtE)에만 의존하며, KH₀(L(E)) ≅ Coker(I − AtE), KH₁(L(E)) ≅ Coker(I − AE)임이 확인됨.
• 유한한 정점 집합을 갖는 그래프 E에 대해 j(L(E)) ≅ j(L₀^s ⊕ L₁^r ⊕ ⨁_{i=1}^n L_{d_{i+1}})임이 증명됨. 여기서 s = #sing(E), r = rk(KH₁(L(E))), d_i는 K₀(L(E))의 토크션 부분군의 불변 요소이다.
• UCT 유형의 정확한 수열 0 → Ext¹_Z(KH₀(L(E)), KH_{n+1}(R)) → kk_n(L(E), R) → Hom(KH₀(L(E)), KH_n(R)) ⊕ Hom(Ker(I−AtE), KH_{n+1}(R)) → 0 이 성립하며, 이는 연산자 대수학적 UCT를 일반화한다.
• 쿤느 유형의 정확한 수열 0 → KH₁(L(E)) ⊗ KH_{n+1}(R) ⊕ Ker(I−AE) ⊗ KH_n(R) → kk_n(L(E), R) → Tor¹_Z(KH₁(L(E)), KH_n(R)) → 0 이 수립되었으며, 자연스러운 정사영의 단면을 이용한 분할 증명이 존재한다.
• Ext(L(E)) ։ KH₁(L(E)) 라는 자연스러운 전성 사상이 존재하여, 확장의 호모토피 동치류 군이 KH₁과 연결됨을 보여준다.
• 항등식 #sing(E) = rk(KH₀(L(E))) − rk(KH₁(L(E))) 가 성립하며, 이는 K-이론적 자료로부터 비특이 정점의 수를 복원할 수 있음을 의미한다.