P 트리와 다항함수식 모노이달 구조를 통한 루트 트리 호프 대수의 범주화

초록

본 논문은 유한 집합을 P‑트리(유한 다항 엔도펑터 P에 의해 정의된 트리)로 색인한 범주에 새로운 모노이달 구조를 정의하고, 이를 통해 자연수 반링(ℕ) 위의 반환체인 Connes‑Kreimer 루트 트리 호프 대수(H)를 범주 수준에서 ‘범주화’한다. 이 모노이달 구조는 세 개의 간단한 집합 사상으로 표현되는 다항함수식(polynomial) 펑터이며, 동일한 사상들이 자유 모나드의 다항 표현에 등장함을 보인다.

상세 분석

논문은 먼저 전통적인 Connes‑Kreimer 호프 대수 H가 자연수 반링 ℕ 위의 다항 대수로서, 트리의 동형 클래스들을 변수로 하는 다항식 대수임을 상기한다. H의 곱은 집합의 디스조인트 합, 코프는 ‘절단(cut)’ 연산을 통해 정의되며, 이때 절단은 트리를 두 부분(뿌리 위쪽의 숲과 뿌리 아래쪽의 부분트리)으로 나눈다. 기존의 H는 ℤ‑모듈로 확장될 때 안티포드가 존재해 완전한 호프 대수가 되지만, ℕ‑반링에서는 가법적 역원이 없으므로 안티포드가 정의되지 않는다.

저자는 이러한 대수를 ‘범주화’하기 위해, ℕ‑반링을 Burnside 반링으로 보는 관점을 채택한다. 즉, 유한 집합들의 동형 클래스가 ℕ와 동형이며, 합과 곱은 각각 범주적 합(디스조인트 합)과 곱(카테시안 곱)으로 구현된다. 따라서 H를 ‘범주화’한다는 것은 H와 동형인 분배 범주 F를 찾아, 그 객체들(유한 집합) 위에 적절한 코모노이달 구조를 부여하는 것과 동치이다.

핵심 기술은 ‘다항함수식 펑터’(polynomial functor)이다. 다항함수식 펑터는 집합 사이의 사상을 다항식처럼 표현할 수 있게 해 주며, 특히 P‑트리와 같은 구조를 다루는 데 적합하다. 논문은 먼저 다항함수식 펑터의 기본 이론을 정리하고, 이를 이용해 ‘P‑트리’라는 개념을 정의한다. P‑트리는 다항 엔도펑터 P의 자유 모나드(free monad) 구조와 일대일 대응한다. 자유 모나드의 구성 사상(단위, 곱, 전개) 모두가 세 개의 집합 사상으로 기술될 수 있는데, 이 사상들이 바로 새로 정의된 모노이달 구조의 핵심이다.

구체적으로, 저자는 A_T라는 ‘P‑트리로 색인된 유한 집합들의 범주’를 고려한다. 여기서 객체는 트리 T마다 하나의 유한 집합 X_T이며, 사상은 트리 구조를 보존하는 함수다. 이 범주에 대해 M: A_T × A_T → A_T 라는 다항함수식 펑터 M를 정의한다. M는 (X, Y) ↦ Σ_{e∈E(P)} X_e × Y_e 형태로, 여기서 E(P)는 P의 연산(에지) 집합이며 X_e, Y_e는 해당 에지에 색인된 부분집합이다. 이 정의는 자유 모나드의 ‘곱’ 사상과 동일함을 보이며, 따라서 M는 코프를 전치(pre‑composition)함으로써 B의 코모노이달 구조를 얻는다.

또한, 논문은 operadic 트리와 전통적인 combinatorial 트리 사이의 관계를 명확히 한다. operadic 트리는 잎(leaf)과 뿌리(edge)까지 포함하는 보다 풍부한 구조이며, 절단 연산이 잎을 통과할 수 있게 함으로써 코프가 오른쪽 인수에 대해 선형(linear)하게 된다. 이를 통해 B는 H와 비교했을 때 0차 성분이 다수 존재하는 비연결(bi‑graded) 대수가 되지만, ‘코어(core)’ 사상을 통해 B → H의 전사적 호프 대수 사상(코어 사상)을 정의한다.

마지막으로, 저자는 P‑트리와 추상 트리 사이의 차이를 논의한다. 추상 트리는 터미널 다항 엔도펑터에 대응하지만, Set 위의 다항 엔도펑터 범주에는 터미널 객체가 없으므로 직접적인 적용이 어려워진다. 이를 해결하기 위해 그룹오이드(groupoid) 수준으로 끌어올리면 터미널 객체가 존재하고, 추상 트리도 P‑트리의 특수 경우로 포함될 수 있다.

전체적으로 이 논문은 다항함수식 펑터와 자유 모나드 이론을 결합해, Connes‑Kreimer 호프 대수를 ‘객체화(objectification)’함으로써 범주 수준에서 새로운 모노이달·코모노이달 구조를 제공한다. 이는 호프 대수의 조합론적 본질을 보다 직관적인 집합론적·범주론적 언어로 옮기는 중요한 시도이며, 향후 양자장론, 수치해석(Butcher 군), 그리고 고차 범주 이론에서의 응용 가능성을 열어준다.