무한 국소유한 그래프 C 대수의 K 이론: 베타와 발렌시를 통한 완전 계산

초록

본 논문은 무한하지만 국소유한한 그래프 E에 대응하는 Cuntz‑Krieger 대수 𝒪_E의 K‑이론을 Bass‑Hashimoto 연산자를 이용해 완전히 계산한다. K₀는 첫 번째 베타 수 β(E)와 발렌시 수 γ(E)로 결정되는 자유 아벨 군 ℤ^{β+γ}이며, 유한 그래프에서 나타나는 torsion는 사라진다. K₁는 오직 β(E)만으로 ℤ^{β(E)}가 된다. 이를 통해 유한 그래프에서 성립하던 “K₁은 K₀의 torsion‑free 부분”이라는 명제가 무한 경우에는 깨진다는 반례를 제시한다.

상세 분석

이 연구는 무한히 많은 정점과 간선을 가질 수 있지만 각 정점당 연결된 간선 수가 유한한, 즉 국소유한(locally finite) 그래프 E에 대해 Cuntz‑Krieger 대수 𝒪_E의 K‑이론을 체계적으로 분석한다. 핵심 도구는 Bass‑Hashimoto 연산자 T_E이며, 이는 그래프의 유향 간선 공간에 작용해 인접 행렬과 유사한 구조를 제공한다. 저자들은 먼저 유한한 검은‑흰(black‑and‑white) 이중 방향 서브그래프들의 범주 𝔊를 정의하고, 각 서브그래프에 대해 기존 연구(MM)에서 구한 K‑군을 할당하는 연속 함자를 구성한다. 이 함자는 직접극한(inductive limit) 구조를 통해 전체 무한 그래프 E의 K₀를 유한 서브그래프들의 K₀의 극한으로 표현한다는 점에서 중요한 통찰을 제공한다.

특히, 베타 수 β(E) = rank H₁(E,ℤ)와 발렌시 수 γ(E) = 정점들의 발렌시(정점당 무한히 뻗어 나가는 “가지”의 수)의 조합이 K₀의 차원을 완전히 결정한다는 결과는 그래프 이론과 연산자 대수 사이의 깊은 연관성을 보여준다. 유한 그래프에서는 K₀에 유한 차수의 torsion 부분이 존재하지만, 무한 국소유한 그래프에서는 이러한 torsion가 완전히 사라져 K₀가 순수한 자유 아벨 군이 된다. 이는 Bass‑Hashimoto 연산자의 핵심적인 고유값 구조가 무한 그래프에서는 1이 아닌 다른 고윳값만을 남기게 되면서 발생한다는 기술적 설명이 뒤따른다.

K₁에 관해서는, 저자들은 K₁(𝒪_E) ≅ ℤ^{β(E)}임을 증명한다. 이는 K₁이 오직 첫 번째 베타 수에만 의존하고, 발렌시 수와는 무관함을 의미한다. 따라서 K₁은 K₀의 torsion‑free 부분이 아니라, K₀의 차원 중 발렌시 수에 해당하는 부분이 제외된 형태가 된다. 이 사실은 유한 그래프에서 “K₁은 K₀의 자유 부분”이라는 일반적인 경험 법칙이 무한 경우에는 깨진다는 강력한 반례를 제공한다.

논문은 또한 직접극한을 이용한 계산이 실제로 어떻게 수행되는지를 상세히 기술한다. 각 유한 서브그래프에 대해 MM에서 얻은 K‑군은 행렬식 형태로 표현되며, 서브그래프 사이의 포함 사상은 행렬의 블록 확장으로 구현된다. 이러한 사상들의 직접극한을 취하면 최종적으로 β(E)와 γ(E)에 대한 명시적 공식이 도출된다.

결과적으로, 이 연구는 무한 국소유한 그래프 C*‑대수의 K‑이론을 그래프의 위상적·조합적 불변량에 직접 연결함으로써, 기존의 유한 그래프 이론을 자연스럽게 일반화하고, K‑이론이 그래프 구조를 얼마나 정밀하게 반영하는지를 새롭게 조명한다.