두 종류의 파생 범주와 코소볼 대수와 코모듈과 컨트라모듈 대응

초록

이 논문은 DG‑모듈·코모듈·컨트라모듈의 파생 범주와 CDG‑모듈·코모듈·컨트라모듈의 코더리베드·컨트라리베드 범주를 체계적으로 정리하고, 코모듈‑컨트라모듈 대응을 증명한다. 또한, 수렴성·비수렴성 두 경우에 걸친 비동질 코소볼 이중성(‘트라이얼리티’)를 제시하고, 다양한 (A_\infty) 구조와 모델 범주 구조를 탐구한다. 부록에서는 동질 코소볼 이중성과 (D)–(\Omega) 이중성을 다룬다.

상세 분석

논문은 먼저 DG(미분 그라디언트) 대수와 그 모듈, 코모듈, 컨트라모듈에 대한 전통적인 파생 범주 ( \mathsf{D}(A\text{-mod}) ) 를 정의하고, 각각의 사상과 삼각 구조를 검토한다. 이어서 CDG(곡률이 있는 DG) 구조를 도입해 코더리베드와 컨트라리베드라는 두 종류의 ‘이상’ 파생 범주를 구축한다. 코더리베드는 인젝티브 해석에 기반해 코모듈을, 컨트라리베드는 프로젝트브 해석에 기반해 컨트라모듈을 다루며, 이 두 범주는 일반적인 유도 파생 범주와는 달리 무한 차원의 복잡성을 포괄한다. 핵심 정리는 코모듈‑컨트라모듈 대응으로, 코더리베드 ( \mathsf{D}^{\mathrm{co}}(C\text{-comod}) ) 와 컨트라리베드 ( \mathsf{D}^{\mathrm{ctr}}(C\text{-contra}) ) 가 자연스럽게 동형임을 보인다. 이때 코모듈과 컨트라모듈 사이의 변환은 코시코시(코시-코시) 복소체와 그 이중 복소체를 이용한 명시적 사상으로 구성된다.

다음으로 논문은 코소볼 이중성, 즉 Koszul duality 를 ‘비동질’ 형태로 확장한다. 여기서는 한쪽이 DG‑알제브라, 다른 쪽이 CDG‑코알제브라인 경우를 다루며, 수렴성(conilpotent)과 비수렴성(non‑conilpotent) 두 상황을 모두 고려한다. 수렴성 가정 하에서는 코시코시 복소체가 완전하게 수축되므로, 코시코시 대수와 코시코시 코알제브라 사이에 삼각 동형이 성립한다. 비수렴성 경우에는 완전화와 필터링 기법을 도입해 ‘트라이얼리티’라 부르는 세 범주(DG‑모듈, CDG‑코모듈, CDG‑컨트라모듈) 사이의 삼각 동형을 얻는다.

또한, (A_\infty) 구조를 이용해 위의 범주들을 강화한다. 특히, 코소볼 이중성에 (A_\infty)‑코알제브라와 (A_\infty)‑알제브라를 도입함으로써, 기존의 엄격한 DG 구조를 완화하고, 고차 연산을 포함한 보다 일반적인 호모톱 이론을 구축한다. 모델 범주론적 관점에서는, 각각의 파생 범주에 대해 적절한 코페어와 페어(코페어·페어) 구조를 부여해, 퀸(Quillen) 동형 사상과 퍼블리시(Quillen) 모델 구조를 정의한다. 이는 복소체의 호몰로지 이론을 체계적으로 비교하고, 변형 이론과 대수적 위상수학 사이의 교량 역할을 한다.

부록에서는 전통적인 동질 코소볼 이중성(즉, DG‑알제브라와 그 Koszul 이중인 DG‑코알제브라 사이의 이중성)과, 미분 형태와 대수적 형태 사이의 (D)–(\Omega) 이중성을 재검토한다. 여기서는 바르코프-라인하르트 복소체와 그 대수적 모델을 이용해, 미분 형태론과 코호몰로지 이론을 일관되게 연결한다. 전체적으로 논문은 파생 범주의 다양한 변형을 통합하고, 코소볼 이중성의 새로운 차원을 제시함으로써 현대 호몰로지 대수와 대수적 위상수학에 중요한 이론적 토대를 제공한다.