비정렬 고차 그래프의 국소 정렬과 경로 군집체 연구

초록

본 논문은 비정렬(k‑graph)에서도 유한 정렬 부분을 추출하여 이를 ‘constellation’으로 구조화하고, 해당 부분의 원소가 원통 집합이 콤팩트함과 동치임을 보인다. 이를 기반으로 새로운 로컬 컴팩트 경로·경계 경로 공간을 정의하고, Renault‑Williams의 반작용을 확장해 충분히 넓은 Hausdorff 경로·경계 군집체를 구성한다. 유한 정렬 경우에는 기존 Spielberg 군집체와 일치함을 확인한다.

상세 분석

논문은 먼저 (Q,P)라는 약한 준격자 순서군을 기반으로 하는 P‑graph Λ에 대해 “λ에서 유한 정렬”이라는 국소 개념을 정의한다(Def. 3.1). λ∈Λ가 이 조건을 만족하면 Λ는 λ와 그 뒤에 이어지는 모든 경로에 대해 공통 상위 경로들의 집합이 유한 개의 경로들의 합으로 표현될 수 있다. 이러한 λ들의 집합을 FA(Λ)라 두고, FA(Λ)는 오른쪽 아이디얼이며 source 사상에 대해 닫혀 있음(Lemma 3.4)을 보인다. 그러나 FA(Λ) 자체는 일반적인 k‑graph이 될 필요가 없으며, 대신 ‘constellation’(GH10)이라는 일방향 범주 구조를 형성한다(Prop. 3.5). 추가로 단위 원소들을 첨가하면 FA_r(Λ)=FA(Λ)∪r(FA(Λ))가 Λ의 부분 범주가 되고, (FA_r(Λ),Λ)는 Spielberg이 정의한 ‘유한 정렬 상대 경로 범주’와 동형임을 증명한다(Prop. 3.6).

다음 단계에서는 기존의 필터 공간 F(Λ) (BSV13)를 재검토한다. 비정렬 경우 F(Λ)는 로컬 컴팩트하지 않을 수 있는데, 이는 특정 원통 집합이 무한히 큰 이유 때문이다(Yee07, Remark 3.7). 저자는 λ∈FA(Λ) ⇔ λ에 대한 원통 집합 Z(λ)⊂F(Λ)가 콤팩트함을 보이는 핵심 Lemma 4.8을 이용해, FA(Λ)≠∅인 경우에만 새로운 로컬 컴팩트 경로 공간 FF_A(Λ)와 경계 경로 공간 ∂Λ를 정의한다(Theorem 4.9). FF_A(Λ)는 F(Λ)의 열린 부분집합이며, ∂Λ는 FF_A(Λ) 안에서 ‘무한 경로’를 모은 폐집합으로, 두 공간 모두 로컬 컴팩트하고 Hausdorff이다.

그 후 Renault‑Williams(RW17)의 반작용 프레임워크를 차용해, (X,P,T) 형태의 반작용을 Λ의 경로 공간에 구축한다(Theorem 5.14). 여기서 X=FF_A(Λ) 혹은 ∂Λ이며, 각 m∈P에 대해 dom(m)과 im(m)이 열린 집합이고 T_m은 로컬 홈오몰피즘이다. 이러한 반작용이 ‘directed’와 ‘locally compact’ 조건을 만족하므로, RW17의 방법으로 반직접곱 군집체 G(X,P,T)를 정의한다. 결과적으로 얻어지는 경로 군집체 G_path와 경계 군집체 G_boundary는 모두 ample Hausdorff 군집체이며, RW17의 정리(amenability) 덕분에 모든 비정렬 k‑graph에 대해 amenable함을 얻는다(Corollary 5.20).

마지막으로 유한 정렬 경우를 검토한다. 이때 G_path는 Spielberg이 제시한 경로 군집체와 위상동형이며, G_boundary는 Ortega‑Pardo가 만든 역 semigroup 모델과 동형임을 보인다(Theorem 6.6, Corollary 6.8). 따라서 새롭게 제시된 구조는 기존 이론을 일반화하면서도, 비정렬 상황에서도 기존 C*‑대수와 Leavitt 경로 대수 연구에 필요한 로컬 컴팩트성 및 amenability를 보장한다.