리마 스플릿: 고차 그래프 C⁎ 대수의 새로운 기하학적 모리타 불변량

초록

본 논문은 고차 그래프(k‑graph)에서 기존의 outsplit을 일반화한 LiMaR‑split이라는 새로운 그래프 변환을 정의하고, 이 변환이 k‑graph C⁎‑대수와 Kumjian‑Pask 대수를 각각 Morita 동형 및 Zᵏ‑graded Morita 동형으로 보존함을 증명한다. 또한, 변환 전후의 C⁎‑대수는 대각 부분대수와 k‑torus 작용을 보존하는 안정적인 *‑동형을 갖는다.

상세 분석

LiMaR‑split은 기존의 outsplit이 한 정점에서만 적용되고 ‘pairing condition’이라는 제약을 필요로 했던 점을 극복하기 위해 고안되었다. 저자들은 k‑graph를 k‑colored directed graph(1‑skeleton)와 동치 관계 ∼ 로 표현하는 Hazlewood‑et al.의 정리를 활용한다. LiMaR‑split은 특정 정점의 인접 이웃을 선택하고, 그 이웃에 속한 모든 색(eᵢ)별 출입(edge)들을 새로운 정점 집합으로 분리한 뒤, 기존의 동치 관계 ∼ 를 적절히 수정하여 ∼_L을 만든다. 이 과정에서 (KG0)–(KG3) 네 가지 조건을 만족하도록 새 동치 관계를 정의함으로써, G*_L/∼_L 가 다시 k‑graph 구조를 갖는 것을 보인다(정리 3.10). 여기서 ‘sink‑free’라는 가정은 새로운 정점이 고립되지 않도록 보장한다.

대수적 측면에서는 Kumjian‑Pask 대수 KP_R(Λ)와 KP_R(Γ) (Γ는 Λ의 LiMaR‑split) 사이에 Zᵏ‑graded *‑동형을 구성한다. 구체적으로, KP_R(Λ) 를 Γ의 한 코너 eKP_R(Γ)e와 동형시킬 수 있음을 보이며, 이 동형은 대각 부분대수 D(Λ) 를 D(Γ) 의 코너로 보낸다(정리 4.9). 이를 통해 KP_R(Λ) 와 KP_R(Γ) 가 Zᵏ‑graded Morita 동형임을 얻는다.

C⁎‑대수에서는 Kumjian‑Pask 대수가 복소수 위에서의 밀집 부분대수임을 이용한다. 정리 4.9의 결과를 연장하여 C⁎(Λ) 와 C⁎(Γ) 가 안정적인 *‑동형(stable ∗‑isomorphism)임을 보이고, 이 동형은 대각 대수와 k‑torus 작용을 각각 보존한다(정리 4.11). 결과적으로 두 C⁎‑대수는 Morita 동형이며, Nᵏ‑액션도 서로 공역(conjugate)한다(정리 4.12).

이러한 결과는 기존의 네 가지 기본 움직임(S, I, O, R)과 Cuntz‑splice, P‑move와 같은 그래프 변환이 제공하던 ‘기하학적 분류’ 프레임워크를 고차 그래프 영역으로 확장한다는 점에서 의미가 크다. 특히, LiMaR‑split은 ‘pairing condition’ 없이도 적용 가능하므로, 이전에 다루기 어려웠던 복잡한 이웃 구조를 가진 k‑graph에도 효과적으로 사용할 수 있다.