바이알제브라 공리와 돌드칸 대응

초록

이 논문은 두 대칭적 강단(monidal) 범주 사이의 함자에 대해, 콜락스‑모노이달 구조와 렉스‑모노이달 구조의 쌍 ((c,\ell)) 가 만족해야 하는 “바이알제브라 공리”를 정의한다. 이 공리는 전통적인 강단함자와는 달리 약한 호환성을 요구하지만, 인접함자와 모노이드 범주로의 전이에서 좋은 성질을 유지한다. 특히, 돌드‑칸 대응에서 정규화 체인 복합 함자 (N) 가 갖는 알렉산더‑위트니(colax)와 엘레멘버그‑맥클레인(shuffle) (lax) 구조가 이 공리를 엄격히 만족함을 증명한다. 이는 기존에 기대되던 동형 사상(up‑to‑homotopy) 수준을 넘어서는 강력한 결과이며, 이후의 동형 이론 및 약한 세그럴 모노이드 구축에 중요한 토대를 제공한다.

상세 분석

논문은 먼저 두 엄격 대칭 모노이달 범주 (\mathscr{M}_1,\mathscr{M}_2) 사이의 함자 (F) 에 대해, 콜락스‑모노이달 구조 (c_F:F(X\otimes Y)\to F(X)\otimes F(Y)) 와 렉스‑모노이달 구조 (\ell_F:F(X)\otimes F(Y)\to F(X\otimes Y)) 를 동시에 고려한다. 이 두 구조가 만족해야 할 “바이알제브라 공리”는 전통적인 바이알제브라에서의 곱과 코프리드의 호환성 (\Delta(ab)=\Delta(a)\Delta(b)) 를 범주론적 맥락으로 옮긴 것으로, 그림 1에 제시된 8‑각형 교환도를 요구한다. 공리의 핵심은 다음과 같다: (1) (c_F) 와 (\ell_F) 가 각각 대칭성을 갖는다; (2) 두 구조를 차례로 적용한 복합 사상이 항등이 되거나, 적어도 동형 사상으로 동등해야 한다; (3) 위 두 사상이 교환되는 사각형이 교환한다. 이러한 조건은 강단함자라면 자동으로 만족하지만, 일반적인 약한 모노이달 구조에서는 비자명하다.

다음으로 저자는 이 공리가 인접함자와 모노이드 범주로 전달되는 방식을 조사한다. Lemma 1.1‑1.3을 통해, (F) 가 좌/우 인접함자 관계에 있을 때, (c_F) 가 유도하는 (c_G) 와 (\ell_F) 가 유도하는 (\ell_G) 가 동일한 바이알제브라 공리를 만족함을 보인다. 특히, (F) 가 대칭 강단함자이면 그 오른쪽 인접함자 (G) 도 자동으로 공리를 만족한다는 Corollary 1.4가 도출된다. 이는 모노이드 범주 (\mathrm{Mon},\mathscr{M}i) 로의 승격에서도 동일하게 적용되며, Lemma 1.5‑1.6을 통해 ((c{\mathrm{mon}},\ell_{\mathrm{mon}})) 가 역시 공리를 만족하도록 콜락스‑모노이달 구조를 구성할 수 있음을 보여준다.

핵심 사례는 돌드‑칸 대응이다. 정규화 체인 복합 함자 (N:\mathrm{Mod}(\mathbb Z)^\Delta\to C(\mathbb Z)^-) 은 알렉산더‑위트니(colax)와 엘레멘버그‑맥클레인(shuffle, lax) 두 구조를 각각 갖는다. 기존 문헌에서는 이 두 구조가 서로 역함수 관계에 있을 때 동형 사상(up‑to‑homotopy) 수준에서만 항등을 이루는 것으로 알려졌다(Prop 2.2). 그러나 저자는 Section 2.2에서 상세한 체인‑레벨 계산을 전개하여, 두 구조가 교환도형(3.5)와 (3.6)을 통해 정확히 일치함을 증명한다. 즉, ((\mathrm{AW},\nabla)) 가 바이알제브라 공리를 엄격히 만족한다는 Main Theorem 2.4가 성립한다. 이 증명은 복합적인 사슬 연산, 얼굴 사상 (d_i), 중복 사상 (s_i) 의 조합을 이용해 두 경로가 생성하는 체인들을 직접 비교함으로써 이루어진다. 결과적으로 정규화 체인 복합 (N) 은 강단함자는 아니지만, 바이알제브라 공리를 통해 “거의 강단” 성질을 갖는 새로운 종류의 약한 강단함자로 해석될 수 있다.

이러한 결과는 여러 방향으로 활용 가능하다. 첫째, 인접함자와 모노이드 범주 사이의 약한 강단 구조 전이가 가능해져, 모델 범주 이론에서 약한 모노이달 쿼일린 쌍을 다루는 새로운 기법을 제공한다. 둘째, 저자는 차후 논문에서 이 공리를 이용해 콜락스‑모노이달 코피브런트 해석을 구축하고, 이를 통해 Leinster의 약한 Segal 모노이드와 Deligne 추측의 k‑선형 버전을 다루는 데 활용할 계획임을 밝힌다. 따라서 이 논문은 순수 범주론적 공리와 구체적 동형론적 계산을 연결함으로써, 돌드‑칸 대응을 포함한 여러 고전적 예제에 새로운 구조적 통찰을 제공한다.