좌우 파생함수 합성 비교를 위한 이중범주적 접근

초록

이 논문은 모델 범주를 이중범주의 객체로 보고, 수직 화살표를 좌측 퀼린 함수, 수평 화살표를 우측 퀼린 함수로 설정한다. 이렇게 구성된 이중범주에서 파생함수는 자연스럽게 함자적으로 작용하며, 이중범주의 결합과 동료(mate) 이론을 이용해 좌·우 파생함수의 합성을 비교하는 체계적인 방법을 제시한다. 여러 기존 결과의 증명을 간소화하고, 새로운 적용 사례를 제공한다.

상세 분석

논문의 핵심 아이디어는 모델 범주를 단순히 1‑차원적인 객체군으로 보는 것이 아니라, 수직·수평 두 방향의 사상 구조를 동시에 갖는 이중범주(double category)로 승격시키는 데 있다. 여기서 수직 화살표는 좌측 퀼린 함수(left Quillen functor)를, 수평 화살표는 우측 퀼린 함수(right Quillen functor)를 나타낸다. 이러한 구분은 전통적인 2‑범주에서의 adjunction과는 달리, 좌·우 파생함수 사이의 복합적인 상호작용을 정확히 포착한다.

이중범주 내에서 파생함수는 각 사상의 호모토피 이론적 적절성을 보존하면서, 수직·수평 방향 모두에 대해 사상 수준에서 함자적으로 전달된다. 즉, 좌측 퀼린 함수 (L)에 대해 전체 모델 범주를 좌측 파생함수 (\mathbf{L})로, 우측 퀼린 함수 (R)에 대해 우측 파생함수 (\mathbf{R})로 승격시키는 과정이 이중범주 자체의 사상 구조와 일치한다.

이때 등장하는 ‘conjunction’(결합)과 ‘mate’(동료) 개념은 이중범주의 2‑셀(2‑morphism) 수준에서 정의된다. 전통적인 2‑범주에서는 adjunction의 단위· counit을 통해 두 사상의 동료 관계를 정의하지만, 이중범주에서는 수직·수평 사상이 교차하는 사각형(칸) 안에서 자연 변환을 구성한다. 논문은 이러한 구조를 이용해 다음과 같은 비교 원리를 증명한다.

1. 좌측 파생함수와 우측 파생함수의 교환 법칙: 두 사각형이 서로 교환 가능한 경우, (\mathbf{L}\circ\mathbf{R})와 (\mathbf{R}\circ\mathbf{L}) 사이에 자연 동형이 존재함을 보인다. 이는 기존에 별도 가정이 필요했던 ‘derived Beck–Chevalley’ 조건을 이중범주적 동료 관계로 대체한다.

2. 복합 파생함수의 보존성: 복합 사상이 이중범주의 합성 법칙을 만족하면, 파생함수 역시 동일한 합성 구조를 유지한다. 따라서 복합 모델 구조(예: Bousfield localization 후의 Quillen adjunction)에서도 파생함수의 비교가 일관되게 수행된다.

3. 기존 증명의 간소화: 여러 전통적인 증명—예를 들어, 스펙트럼 사상에서의 안정화, 모듈 사상에서의 Tor와 Ext의 교환—이 이중범주적 ‘mate’ 구성을 이용하면 복잡한 바람직성 검증 없이 바로 결과를 도출할 수 있다.

논문은 또한 ‘conjunction’이라는 새로운 용어를 도입해, 두 사각형이 동시에 만족하는 경우(예: 좌측 퀼린 함수와 우측 퀼린 함수가 서로의 왼쪽·오른쪽 adjoint인 경우) 이를 하나의 고차원 자연 변환으로 묶어 표현한다. 이러한 고차원 구조는 ‘higher mates’라 불리며, 다중 파생함수 체인에서도 동일하게 적용 가능함을 보인다.

결과적으로, 이중범주적 관점은 파생함수의 비교 문제를 ‘사각형 내부의 자연 변환’이라는 구체적인 데이터로 환원시켜, 복잡한 모델 이론적 가정 없이도 강력한 비교 정리를 얻을 수 있게 한다. 이는 특히 복합적인 퀼린 사슬이 존재하거나, 여러 모델 구조가 동시에 작용하는 상황에서 큰 이점을 제공한다.