입출력 색칠과 디오페라드의 그뢰버 베이스

이 논문은 다중 입력·다중 출력 연산을 다루는 디오페라드(dioperad)의 구조적·계산적 분석을 위해, 디오페라드의 작용을 두 색(직선·점선)으로 구분된 2‑컬러 오페라드로 변환하는 functor Ψ를 정의한다. 서론에서는 디오페라드가 PROP, PROPERAD, 휠드 프로퍼드 등보다 단순히 트리 형태의 그래프만을 허용함에도 불구하고, 실제 계산이 어려운 점을 지적한다. 특히 Lie 이중대수와 같은 중요한 예시가 트리 기반 연산만으로도 충분히 기술될 수 있음을 강조한다. 1. **디오페라드 기본 정의** 섹션 1에서는 디오페라드 P를 (m, n) 형태의 연산 공간 P(m,n)과 무한소 합성 ◦_i_j 규칙으로 정의한다. 이때 입력·출력에 각각 대칭군 S_m, S_n이 작용한다. 디오페라드의 자유 생성물은 입력·출력 수에 따라 색칠된 트리들의 선형 결합으로 구성된다. 또한, End V 디오페라드가 Hom(V^{⊗m}, V^{⊗n})로 정의되어 디오페라드 구조를 벡터 공간에 실현한다. 2. **Ψ functor의 정의와 성질** 섹션 2.1에서는 트리의 한 리프를 전역 루트로 선택하고, 내부 방향과 외부 방향을 비교해 색을 부여하는 절차를 상세히 설명한다. 루트 선택에 따라 각 엣지는 직선(방향 일치) 혹은 점선(방향 반대)으로 표시된다. 이 색칠은 원래 디오페라드 트리의 입력·출력 구분을 완전 복원할 수 있게 하며, 두 종류의 컬러 코라( (m, n‑1) 직선 출력·직선 입력, (m‑1, n) 점선 출력·점선 입력)로 변환한다. Proposition 2.1.2는 이 변환이 전사적이며 정확한 functor Ψ임을 증명한다. Theorem 2.1.4는 Ψ가 바‑코바르(construction)와 교환한다는 사실을 보인다. 즉, Ψ∘Ω_Dioperads = Ω_Operads∘Ψ, Ψ∘B_Dioperads = B_Operads∘Ψ가 성립한다. 이는 디오페라드의 코시 복합체와 그 쌍대가 색칠된 오페라드 수준에서도 동일하게 유지된다는 의미이며, 코시성 판단을 기존 오페라드 이론에 그대로 적용할 수 있음을 의미한다. 3. **코시성 및 힐베르트 급수** Corollary 2.2.1은 디오페라드가 이차(quadratic) 혹은 코시(Koszul)일 경우, 변환된 2‑컬러 오페라드 역시 동일한 성질을 가진다는 것을 명시한다. 이를 통해 디오페라드의 코시성을 검증하기 위해 색칠된 오페라드에 대한 기존 그뢰버 베이스와 힐베르트 급수 이론을 활용할 수 있다. Corollary 2.2.2는 코시 디오페라드 P와 그 쌍대 P! 사이의 생성 급수 χ_q(P)와 χ_q(P!)가 미분 연산에 대해 역함수 관계를 만족한다는 식을 제시한다. 이 식은 디오페라드의 차원 계산에 직접 활용되며, 특히 Lie 이중대수 디오페라드 Lieb에 대해 dim Lieb(m,n)= (m+n‑2)! /