루트 트리와 페인만 그래프의 링겔‑홀 대수적 해석

본 논문은 루트 트리와 페인만 그래프에 대한 기존의 Connes‑Kreimer Hopf 대수 구조를 범주론적 관점에서 재해석한다. 먼저, 유한성 조건(|Hom|,|Ext¹|<∞)을 만족하는 아벨리안 범주의 링겔‑홀 대수 이론을 요약하고, 이를 비아벨리안이지만 유사한 성질을 가진 두 새로운 범주 LRF(라벨이 붙은 루트 포레스트)와 FD(라벨이 붙은 페인만 그래프)로 확장한다. 루트 트리와 포레스트에 대한 기본 정의를 제시하고, ‘절단(cut)’이라는 연산을 도입한다. 절단은 트리의 간선을 하나 혹은 여러 개 선택해 트리를 두 부분, 즉 루트가 포함된 부분트리와 그 외의 포레스트로 나눈다. 이 절단은 Connes‑Kreimer Hopf 대수의 코프로덕션 정의와 동일하게 작동한다. LRF 범주의 객체는 라벨이 붙은 포레스트이며, 사상은 (C₁, C₂, f) 형태의 삼중쌍으로 정의된다. 여기서 C₁은 출발 포레스트에 대한 절단, C₂는 목표 포레스트에 대한 절단이며, f는 절단 후 남은 루트 부분트리와 절단된 포레스트 사이의 동형사상이다. 이 정의는 항등 사상, 합성, 그리고 단축 정확한 수열을 자연스럽게 제공한다. 특히, 모든 사상은 유한한 커널과 코커널을 가지며, Hom과 Extⁿ 집합이 유한함을 보임으로써 ‘유한 아벨리안’과 유사한 구조를 확보한다. LRF 위에 정의된 링겔‑홀 대수 ℍ_LRF는 객체들의 유한 부분포레스트에 대한 합을 이용한 컨볼루션 곱 f×g(F)=∑_{G⊂F} f(G) g(F/G) 로 구성된다. 곱의 결합법칙은 절단과 합성의 교환법칙을 이용해 증명되며, 코프로덕션 ∆(f)(F,G)=f(F⊕G)와의 호환성도 확인된다. 결과적으로 ℍ_LRF는 코커뮤터티브 Hopf 대수이며, Milnor‑Moore 정리에 의해 그 원시 원소들의 자유 리 대수 U(n_T)와 동형임을 보인다. 여기서 n_T는 Connes‑Kreimer Lie 대수와 동일한 구조를 가진다. 페인만 그래프에 대해서도 동일한 절차를 적용한다. 그래프의 절단은 서브그래프와 그 축소 그래프(각 연결 성분을 점으로 수축)로 정의되며, 이를 기반으로 범주 FD와 그 링겔‑홀 대수 ℍ_FD를 만든다. ℍ_FD는 H_FG와 쌍대이며, 그 원시 원소들의 리 대수는 Connes‑Kreimer 그래프 Lie 대수와 일치한다. 논문은 또한 Grothendieck 군 K(LRF)를 정의하고, 모든 포레스트가 트리들의 직접합으로 분해되므로 K(LRF)=ℤ임을 확인한다. 이는 각 트리가 1-정점 트리의 확장으로 볼 수 있음을 의미한다. 마지막으로, ℍ_LRF와 ℍ_FD가 각각 Grӧssman‑Larsen Hopf 대수와 동형임을 언급하며, 기존 문헌에서의 오류를 정정한다. 전체적으로, 절단 연산을 통해 비아벨리안 범주에서도 정확한 수열과 짧은 확장 개념을 정의함으로써, 양자장론의 재정규화 구조를 순수히 범주론·대수학적으로 재구성하는 새로운 프레임워크를 제공한다.