큐브와 심플렉스 파생함수의 비교

초록

본 논문은 Tierney와 Vogel이 제시한 심플렉스 파생함수와 저자(P09)가 정의한 큐브 파생함수가 자연 동형임을 증명한다. 이를 통해 위상공간의 심플렉스·큐브 특이동형이 동등함을 일반화한다.

상세 분석

논문은 먼저 파생함수의 일반적 정의를 재검토한다. 여기서 핵심은 아벨 범주 𝒜와 완전한 사전함수 𝔽:𝒜→ℬ 사이의 좌측 유도함수(L‑derived functor)를 어떻게 구성하느냐이다. Tierney‑Vogel(1970)은 심플렉스 객체들의 해석적 해상도를 이용해 L‑derived functor를 정의했으며, 이는 심플렉스 체인 복합체와 그에 대응하는 사상들의 동등류를 통해 구현된다. 반면 저자는 2009년에 큐브 객체들의 해상도를 도입해 동일한 목적을 달성했다. 큐브 해상도는 n‑차원 큐브를 이용한 사전함수의 반복 적용으로 구성되며, 특히 사전함수의 보존성(보존하는 한계와 콜리밋) 조건을 완화한다는 점이 특징이다.

핵심 정리는 두 해상도 체계가 동등한 호몰로지 이론을 산출한다는 것이다. 이를 증명하기 위해 저자는 먼저 심플렉스와 큐브 카테고리 사이의 표준적인 사상인 “정규화 사상”(normalization map)과 “덱스 사상”(de‑normalization map)을 정의한다. 이 사상들은 각각 심플렉스 복합체를 큐브 복합체로, 혹은 그 역으로 변환하면서 동형 사상군을 보존한다. 특히, 정규화 사상은 심플렉스 체인의 각 차원을 큐브 체인의 동일 차원에 대응시키는 전단사 함수를 제공하고, 덱스 사상은 그 역을 제공한다.

다음 단계에서는 이러한 사상들이 파생함수의 정의에 직접적인 영향을 미치는지 검증한다. 저자는 파생함수의 계산에 사용되는 “해상도 선택”(resolution choice)과 “동형 사상 선택”(choice of quasi‑isomorphisms)이 정규화·덱스 사상에 의해 서로 변환될 수 있음을 보인다. 구체적으로, 심플렉스 해상도에서 얻은 사슬 복합체 C·와 큐브 해상도에서 얻은 D· 사이에 존재하는 체인 동형 φ: C·→D·가 존재하고, 이는 파생함수 L𝔽(C·)와 L𝔽(D·) 사이에 자연 동형을 유도한다.

또한 저자는 이 동형이 “자연성”(naturality)을 만족함을 증명한다. 즉, 𝔽가 다른 사전함수 𝔾와 합성될 때도 동일한 정규화·덱스 사상이 적용되어 L(𝔾∘𝔽)와 (L𝔾)∘(L𝔽) 사이에 일관된 동형이 유지된다. 이는 파생함수 이론에서 중요한 삼각형 공리와 일치한다.

마지막으로, 위 결과를 토대로 전통적인 위상공간의 특이동형 이론을 재해석한다. 심플렉스 특이 복합체와 큐브 특이 복합체는 각각 심플렉스·큐브 카테고리의 자유 객체이며, 정규화·덱스 사상은 두 복합체 사이의 체인 동형을 제공한다. 따라서 기존에 알려진 “심플렉스 특이동형 ≅ 큐브 특이동형”이라는 정리는 이 논문의 일반화된 파생함수 동형의 특수 경우로 볼 수 있다. 전체적으로 논문은 두 파생함수 체계가 본질적으로 동일함을 체계적으로 증명하고, 그 결과를 위상학적 특이동형까지 확장함으로써 카테고리 이론과 호몰로지 이론 사이의 교량을 견고히 한다.