방향 그래프 동형론과 호흐코흐 동치의 일반화

초록

프리츠키가 제시한 다각형 그래프의 색채 동형론과 호흐코흐 동치 사이의 관계를 확장한다. 저자는 비가환 알제브라 A에 대한 A‑A 양측 모듈을 계수로 하는 새로운 방향 그래프 동형론을 정의하고, 이 이론이 다각형에 대해 일정 차원 이하에서 호흐코흐 동치와 일치함을 증명한다. 이를 통해 기존의 색채 그래프 동형론이 비가환 계수에 대해 정의되지 못하던 문제를 해결하고, 그래프 이론와 대수적 위상수학 사이의 새로운 연결 고리를 제공한다.

상세 요약

본 논문은 기존의 색채 그래프 동형론(Chromatic graph homology)이 비가환 알제브라를 계수로 사용할 수 없다는 한계를 인식하고, 이를 극복하기 위한 새로운 동형론을 제시한다. 핵심 아이디어는 방향 그래프(digraph)에 대한 체인 복합체를 정의하고, 각 정점에 A‑A 양측 모듈 M을 할당함으로써 경로의 방향성에 따라 모듈의 좌·우 작용을 구분하는 것이다. 저자는 먼저 유한 방향 그래프 G=(V,E)와 양측 모듈 M을 입력으로 받아, 차수 n의 체인군 C_n(G;M)를 모든 길이 n인 유향 경로들의 자유 아벨 군으로 정의한다. 경계 연산 ∂는 인접한 두 변 사이에 발생하는 A의 곱셈을 이용해 ∂(v_0→…→v_n)=∑{i=0}^{n-1}(-1)^i (v_0→…→v_i·v{i+1}→…→v_n) 형태로 구성한다. 여기서 “·”는 A의 곱셈이며, 경로의 접합점에서 왼쪽 모듈 작용과 오른쪽 모듈 작용을 적절히 배분한다. 이 정의는 비가환성에도 불구하고 ∂∘∂=0을 만족함을 보이며, 따라서 호몰로지 군 H_n(G;M)=ker∂/im∂가 정의된다.

다음으로 저자는 다각형 P_k(정점 k개, 순환 방향)에서 M=A 자체를 양측 모듈로 취할 경우, H_n(P_k;A)와 A의 Hochschild 동치 HH_n(A) 사이에 동형이 존재함을 증명한다. 구체적으로 n≤k−2까지는 H_n(P_k;A)≅HH_n(A)이며, 이는 경로 복합체가 Hochschild 복합체와 동일한 구조를 갖기 때문이다. 또한, 경계 연산의 형태가 Hochschild 복합체의 바코프 연산과 일치함을 직접 계산으로 확인한다.

논문은 또한 이론의 확장성을 논의한다. 첫째, 임의의 방향 사이클이 포함된 그래프에 대해 부분 그래프 분해와 Mayer‑Vietoris 시퀀스를 이용해 호몰로지를 계산할 수 있음을 보인다. 둘째, 양측 모듈이 자유가 아닌 경우에도 텐서 곱과 Tor 함수를 통해 장착된 장벽을 극복할 수 있음을 제시한다. 셋째, 비가환 알제브라의 경우에도 그래프의 방향성이 모듈 작용을 구분함으로써 기존의 색채 동형론이 놓쳤던 비가환 효과를 포착한다는 점을 강조한다.

결과적으로 이 연구는 그래프 이론과 대수적 위상수학 사이의 교차점을 넓히며, 특히 비가환 대수 구조를 그래프 호몰로지에 자연스럽게 끌어들일 수 있는 새로운 프레임워크를 제공한다. 이는 향후 양측 모듈을 이용한 고차원 카테고리 이론, 양자 대수, 그리고 그래프 기반 물리 모델링 등에 적용될 가능성을 열어준다.