다중체계와 코알제브라 사이의 돌드 칸 대응을 통한 퀼렌 동등성

초록

돌드‑칸 정규화와 코인버스 함수를 이용해 비공변 코연산적 단순 및 차등 그레이드 코알제브라 사이에 퀼렌 적합쌍을 만들고, 연결된 경우에는 두 모델 범주가 퀼렌 동등함을 증명한다.

상세 분석

본 논문은 돌드‑칸 정규화(N)와 그 역함수(Γ)를 코알제브라 범주에 끌어올리는 과정을 상세히 전개한다. 먼저, 비공변(co‑commutative) 연산을 허용하지 않는 차등 비음이 차수의 코알제브라(DGcoAlg)와 단순 코알제브라(ScoAlg) 각각이 폐쇄된 대칭 모노이달 구조를 갖는다는 점을 확인한다. 이 두 범주는 기존의 돌드‑칸 대응이 제공하는 등가함을 통해 서로 동형 사상으로 연결될 수 있지만, 코모노이드(코알제브라) 수준에서는 직접적인 쌍대가 성립하지 않는다. 이를 극복하기 위해 저자는 N이 코알제브라 구조를 보존하도록 적절히 수정한 오른쪽 적응함수 S_d를 정의하고, 그와 좌측 적응함수인 N 사이에 새로운 퀼렌 적합쌍을 구축한다.

모델 구조의 핵심은 약동형 사상(weak equivalence)을 동형성(H_* 동형)으로 정의하고, 코피브레이션을 차등 차원별 주입, 피브레이션을 모든 아시클리코피브레이션에 대한 오른쪽 상승 성질로 잡는 것이다. 이러한 정의가 모델 범주의 5가지 공리(MC1–MC5)를 만족함을 보이기 위해, 저자는 먼저 DGcoAlg가 완비·공완비임을 증명한다. 여기서는 연속선형 이중대수(continuous linear dual)와 프로-대수(ProDGAlg≤0) 사이의 반동형 equivalence를 이용해, 코알제브라의 한계(colimit)와 한계(limit)를 서로 전환한다. 특히, 모든 코알제브라가 유한 차원 부분코알제브라들의 필터드 콜리밋으로 표현될 수 있음을 보이며, 이를 통해 완비성을 확보한다.

다음으로, 코피브레이션‑아시클리코피브레이션 분해를 구성하기 위해, 차등 벡터 공간 V에 대해 코프리코프리(co‑free) 코알제브라 S_d(V)를 정의하고, 이 함수를 U(포기함수)의 오른쪽 적응함수로 만든다. 이때 V가 유한 차원일 경우 S_d(V)= (T_d(V^*))’ 로 표현되며, 일반 V에 대해서는 유한 차원 부분공간들의 콜리밋으로 정의한다. 이러한 구조를 이용해 모든 사상 f:V→W가 동형동형 동형동형(체인 호모토피) 관계에 있으면, S_d(f) 역시 코알제브라 수준에서 체인 호모토피를 유지함을 보인다.

연결된 코알제브라(connected coalgebras)로 범위를 제한하면, 추가적인 완전성·공완전성 결과와 함께 모델 구조를 전이(transfer) 원리를 통해 끌어올린다. 여기서는 특히 (acyclic cofibration)-fibration 분해를 함수형으로 얻기 위해 Smirnov(2011)의 기법을 변형 적용한다. 최종적으로, 연결된 차등 그레이드 코알제브라와 연결된 단순 코알제브라 사이에 정규화(N)와 수정된 코프리코프리(S_d) 사이의 적합쌍이 실제 퀼렌 동등성을 만족함을 증명한다. 이는 기존의 Schwed‑Shipley(2000, 2003) 프레임워크를 코모노이드(코알제브라) 상황에 성공적으로 확장한 사례라 할 수 있다.

전체적으로 논문은 (1) DGcoAlg와 ScoAlg에 대한 모델 구조 구축, (2) 돌드‑칸 정규화의 코알제브라 수준 적응, (3) 연결된 경우의 퀼렌 동등성 증명이라는 세 축을 체계적으로 전개하며, 비공변 코알제브라 이론에 새로운 모델 범주적 관점을 제공한다.