보편적 불변량을 통한 고차 케이이론의 새로운 접근

1. 서론에서는 dg 범주가 비가환 기하학에서 중요한 역할을 함을 언급하고, 기존 K‑이론의 정의가 모델 범주에 크게 의존해 왔음에도 불구하고 보편적 특성에 대한 명확한 설명이 부족했음을 지적한다. 저자는 Grothendieck 파생자(derivator)라는 고차 범주론적 도구를 사용해 이러한 문제를 해결하고자 한다. 2. 사전 지식(Preliminaries)에서는 파생자의 정의, 전미분(pre‑derivator)와 파생자 사이의 차이, 그리고 동형공극(colimit)과 동형극한(limit)의 보존 조건을 정리한다. 특히, ‘코호몰로지적 직접 상(∗)’와 ‘호몰로지적 직접 상(!)’ 개념을 도입해 파생자에서의 베이스 체인지(base change) 공식들을 준비한다. 3. 파생자와 Heller‑Stabilization을 이용한 안정화 절차를 설명한다. 여기서는 ‘유한 생성’ 불안정 이론을 ‘컴팩트하게 생성된’ 안정 이론으로 전환하는 방법을 제시하고, Hovey‑Schwede의 스펙트럼 안정화와 동등함을 보인다. 4. Bousfield 국소화 이론을 파생자에 적용한다. 저자는 ‘좌 Bousfield 국소화’를 통해 파생자를 강한 삼각 파생자(strong triangulated derivator)로 만들고, 이 과정에서 ‘작은 약한 생성자(small weak generators)’가 보존되는 일반 정리를 증명한다. 5. Morita 동형론을 갖는 dg 범주들의 파생자 HO(dgcat) 에 위의 일반 이론을 적용한다. 여기서 Drinfeld의 dg‑quotient B/A 와 ‘상삼각(dg) 범주’를 도입해 정확한 서열을 삼각형으로 변환하는 사상을 정의한다. 6. ‘보편적 국소화 불변량’ U_l: HO(dgcat)→M^loc 을 구축한다. 이 사상은 필터드 동형공극을 보존하고, 점을 유지하며, 모든 정확한 서열을 삼각형으로 보내는 보편적 성질을 가진다. M^loc 은 ‘국소화 모티베이터’라 불리며, 스펙트럼‑값 프리시브(pre‑sheaf) 모델을 갖는다. 7. ‘보편적 가법 불변량’ U_a: HO(dgcat)→M^add 을 정의한다. U_a는 U_l과 동일한 두 기본 성질을 유지하지만, 삼각화 조건을 ‘분할 정확한 서열(split exact sequences)’에만 요구한다. 이를 위해 상삼각 dg 범주와 분할 정확한 서열 사이의 동등성을 입증하고, ‘근사 결과(approximation theorem)’를 이용해 U_a의 보편성을 확보한다. 8. 핵심 정리에서는 Waldhausen K‑이론 스펙트럼이 M^add 의 기본 객체 k 에 대한 매핑 스펙트럼으로 코대표된다는 것을 보인다. 구체적으로, \