혼합 동기 부여의 삼각형 범주론

이 책은 “혼합 동기 부여의 삼각형 범주론”이라는 대주제 아래, 노에터리안 스킴 S(유한 차원) 위에서 동기 부여 삼각형 범주를 체계적으로 구축하고, 그 위에 Grothendieck의 6연산 체계를 완전하게 구현한다는 목표를 갖는다. 서론에서는 Beilinson이 제시한 혼합 동기 부여에 대한 역사적 배경을 서술하고, Voevodsky, Hanamura, Levine 등 여러 접근법을 비교한다. 이어서 Part I에서는 P‑섬유화된 범주와 그에 대한 기본 정의, 모노이달 구조, 기하학적 섹션, 트위스트 등을 소개하고, 이러한 구조가 어떻게 6연산 체계의 공리를 만족하도록 설계되는지를 상세히 설명한다. 특히, “지원 공리”와 “위치 공리”는 이후 절대 순수성 및 이중성 증명에 핵심적인 역할을 한다. Part II에서는 실제로 동기 부여 삼각형 범주를 구축한다. 먼저 아벨 범주에서 시작해 삼각형 전이(pre‑motivic) 범주를 정의하고, A¹‑동형 사상에 대한 로컬라이제이션과 동형 사상 관계를 도입한다. 여기서 A¹‑유도 전이 카테고리와 그 안정화(stable) 과정을 통해 “스펙트럼” 수준의 동기 부여를 얻는다. 이 과정에서 모델 범주 이론을 활용해 적절한 fibrant‑cofibrant 교체와 하이퍼커버에 대한 descent를 보장한다. 특히, Nisnevich, étale, cdh 토포지에서의 하이퍼커버 하강을 통해 “구성 가능한 동기 부여”와 “구축 가능한 복합체”를 정의하고, 이들에 대한 유한성 정리(예: 제한된 차원에서의 가용성)와 연속성(continuity) 성질을 증명한다. Part III는 상대 사이클과 유한 대응(correspondences) 이론을 전개한다. 사이클의 정의, 힐베르트 사이클, 특수화, 풀백 등을 체계화하고, 교환법칙, 결합법칙, 투사공식 등을 입증한다. 이를 바탕으로 전이 구조를 갖는 프리시브(pre)sheaf와 그 쉐이프화를 정의해 “전이와 함께하는 쉐이프”를 만든다. 이 섹션은 동기 부여 복합체가 실제로 기하학적 사이클과 어떻게 연결되는지를 보여주는 핵심 부분이다. Part IV에서는 K‑이론과 Beilinson 동기 부여를 중심으로 절대 순수성 정리를 전개한다. 먼저 알제브라적 K‑이론 스펙트럼, 주기성, 모듈 구조 등을 소개하고, K‑이론에 대한 지원 공리를 이용해 절대 순수성을 증명한다. 이어서 γ‑필터와 Beilinson 동기 부여의 정의, 가중 구조, 절대 순수성, 그리고 Voevodsky 동기 부여와의 비교 정리를 제시한다. 이 비교를 통해 유리 계수에서는 두 이론이 동등함을 확인한다. 마지막 장에서는 혼합 Weil 동기 부여와 실현(functor) 이론을 다룬다. 다양한 Weil cohomology(예: de Rham, étale, crystalline)와의 대응을 구축하고, 각 실현이 t‑구조와 가중 구조를 보존하도록 설계한다. 또한, 실현이 6연산 체계와 호환되는지를 검증하고, “tilting” 기법을 통해 새로운 실현을 생성하는 방법을 제시한다. 부록과 참고문헌에서는 최신 연구 동향과 향후 과제들을 정리한다. 전체적으로 이 저작은 기존의 동기 부여 이론을 스킴 전반에 일반화하고, 모델 범주, K‑이론, 절대 순수성, 6연산 체계 등 현대 대수기하학의 핵심 도구들을 통합함으로써, 혼합 동기 부여를 다루는 연구자들에게 가장 포괄적인 참고서이자 연구 기반을 제공한다.