분리 그래프의 레이빗 경로 대수

초록

본 논문은 기존 레이빗 경로 대수의 정의를 정점에서 나가는 간선들을 여러 부분집합으로 분리하는 구조인 분리 그래프(E,C) 로 일반화한다. 새롭게 정의된 대수 L_K(E,C) 의 동형 사상, 이상 구조, K-이론을 조사하고, 모든 원뿔형 아벨 군이 이러한 대수의 유한 생성 프로젝트ive 모듈 동형류 군으로 실현됨을 보인다. 또한 트레이스 이상들의 격자를 그래프 이론적 데이터와 연결하고, 정제(monotone refinement) 성질을 확보하기 위한 확장 방법을 제시한다.

상세 분석

논문은 먼저 기존 레이빗 경로 대수 L_K(E) 를 정의하는데 사용되는 그래프 E 에 대해, 각 정점 v∈E^0 에서 나오는 간선 집합 s^{-1}(v) 를 하나 이상의 부분집합으로 분할하는 파티션 C_v 를 도입한다. 전체 파티션 집합 C=⋃{v∈E^0}C_v 를 (E,C) 라는 분리 그래프라고 부른다. 이때 L_K(E,C) 는 생성자 {v | v∈E^0}∪{e, e^* | e∈E^1} 와 관계식 (V)·(E1)·(E2)·(CK1)·(CK2) 로 정의되며, (CK1)·(CK2) 는 각 파티션 X∈C_v 에 대해 ∑{e∈X} e e^* = v 와 e^* f = 0 (e≠f∈X) 를 강제한다. 이러한 추가 관계는 기존 레이빗 대수의 Cuntz–Krieger 관계를 세분화하여, 간선들의 동시 발생을 제어한다는 점에서 새로운 구조적 자유도를 제공한다.

동형 사상 측면에서 저자들은 L_K(E,C) 가 K-선형 *-대수이며, 모든 정점 v 에 대해 v L_K(E,C) v 가 유한 차원 K-벡터공간임을 증명한다. 특히, L_K(E,C) 가 hereditary 라는 중요한 결과를 얻는데, 이는 모든 왼쪽(또는 오른쪽) 아이디얼이 프로젝트ive임을 의미한다. 이와 동시에, L_K(E,C) 의 유한 생성 프로젝트ive 모듈 동형류 군인 V(L_K(E,C)) 가 그래프와 파티션 데이터에 의해 완전히 결정된다는 것을 보인다. 구체적으로, 각 파티션 X∈C_v 에 대해 생성되는 원소