그래프 C 대수 AF 코어의 K 이론과 곱셈 구조 연구

초록

본 논문은 유향 그래프 E의 C*-대수 C⁎(E) 의 U(1)‑고정점인 AF 코어 A:=C⁎(E)^{U(1)} 에 대해, 그래프 삽입 E→E×E 가 유도하는 ‑동형 A⊗A→A 로부터 K‑이론 K₍₎(A) 에 링 구조를 부여하는 방법을 제시한다. 또한, 특정 그래프에 대해 K₀(A) 가 “비가환 선다발”(가역 양쪽 A‑바이모듈) 로 생성되며, 인접 행렬 Γ 의 특성에 따라 K₀(A) 가 Z

상세 분석

논문은 크게 두 부분으로 나뉜다. 첫 번째 부분에서는 그래프 E와 그 카르테시안 곱 E×E 사이의 삽입 φ:E→E×E 가 존재할 때, φ 가 “admissible” 하면 C⁎(E×E) 가 C⁎(E)⊗C⁎(E) 안에 자연스럽게 포함되고, 특히 핵심 대수 A:=C⁎(E)^{U(1)} 에서는 동형 A⊗A≅C⁎(E×E)^{U(1)} 가 성립한다. Künneth 정리를 이용하면 이러한 ‑동형 ψ:A⊗A→A 가 K‑이론에 곱셈을 정의하고, K₍₎(A) 를 유한 차수의 순서가 있는 링으로 만든다. 그러나 일반적인 그래프에 대해 대각 삽입이 admissible 하려면 전치 그래프가 함수 그래프여야 하며, 이 경우 핵심 대수는 교환적이어서 기대하는 비가환 구조를 얻지 못한다. 대신 “수직 삽입” (v,p)↦(p,v) 를 고려하면, 특정 그래프(예: 차원 2n−1 양자 구)의 경우 admissible 하며, 이로부터 얻어지는 곱셈은 각 K‑이론 원소를 그 차원(랭크)만으로 스케일링하는 매우 단순한 형태가 된다.

두 번째 부분에서는 가역 양쪽 A‑바이모듈들의 동형류를 모은 반환반(semiring) SPic(A) 를 정의하고, 이를 K₀(A) 로 사상하는 자연 사상 (1.9)를 연구한다. 핵심 가정은 그래프 E 가 유한하고 인접 행렬 Γ 가 정수 행렬로서 가역이며, 추가로 det(λΓ−1) 가 단일 변수 다항식으로서 정의될 수 있다는 점이다. 이러한 경우 K₀(A) 는 정점 투영들의 클래스로 자유 아벨 군 ℤ^{|E⁰|} 를 형성하고, 각 투영은 특정 “선다발” L_k 와 선형 결합 관계를 가진다. 특히, Γ 의 고유다항식 det(λΓ−1) 로 정의된 환 ℤ