비가환 모티브의 정원 탐험

본 논문은 2010년 부에노스아이레스에서 열린 CIMPA 연구학교에서 발표된 강연 내용을 확장·정리한 것으로, 비가환 모티브 이론을 개념적으로 정리하고 그 배경과 주요 결과들을 체계적으로 제시한다. 첫 번째 장에서는 고차 대수적 K‑이론의 역사적 배경을 서술한다. Grothendieck가 정의한 K₀와 Bass가 정의한 K₁을 시작으로, Quillen이 제시한 플러스 구성을 통해 Kₙ(R)=πₙ(BGL(R)⁺×K₀(R))를 정의함으로써 고차 K‑이론이 탄생했음을 설명한다. 그러나 Quillen의 정의는 기술적으로 복잡하고 직관적 해석이 부족하다는 점을 지적하며, 이를 ‘질문 A: 고차 K‑이론을 어떻게 개념적으로 특징짓는가?’라는 형태로 제시한다. 두 번째 장에서는 비가환 대수기하학의 등장 배경을 다룬다. Bondal‑Kapranov의 예외적 컬렉션 연구를 시작으로 Drinfeld, Kontsevich, Orlov 등 여러 수학자들의 공헌을 언급한다. 전통적인 대수다양체 X 에 대해 두 가지 접근법—(1) K‑이론, 사이클 호몰로지 등 전통적 불변량을 직접 계산하고, (2) 파생 카테고리 Dᵖᵉʳᶠ(X) 를 고려하는 방법—을 비교한다. 파생 카테고리만으로는 모든 정보를 복원하기 어렵지만, dg‑강화된 파생 카테고리 Dᵈᵍᵖᵉʳᶠ(X) 는 그 한계를 극복한다. 정의 2.1에 따라 dg 카테고리는 복소수 구조를 가진 Hom 복합체와 Leibniz 법칙을 만족하는 곱을 갖는 카테고리이며, 이를 통해 비가환 ‘공간’의 대수적 기하학을 수행한다. Beilinson의 예시(ℙⁿ과 End(⊕𝒪(i))ᵒᵖ 사이의 동형)를 통해 비가환 세계에서 프로젝트 공간이 단일 비가환 대수에 의해 완전히 기술될 수 있음을 보여준다. 세 번째 장에서는 파생 모리타 동형을 도입한다. dg 펑터 F:A→B 가 파생 모리타 동형이면, 스칼라 제한 함수 D(B)→D(A) 가 삼각형 동형이 된다. 이 동형은 모든 주요 불변량(K‑이론, 사이클 호몰로지, 토포로지컬 사이클 호몰로지 등)이 보존된다는 점에서 핵심적이다. Theorem 3.1은 dgcat에 Quillen 모델 구조를 부여해 파생 모리타 동형을 약동형으로 만든다. 이를 통해 Bondal‑Kapranov의 사전 삼각화, Drinfeld의 DG 몫, Kontsevich의 포화(dg) 카테고리 등을 호모토피 이론적 관점에서 재해석한다. 특히 포화된 dg 카테고리는 Hmo(모델 구조의 호모토피 범주) 안에서 이중가능(dualizable) 객체가 되며, 그 Euler 특성은 Hochschild 호몰로지와 일치한다(Prop 3.3). 네 번째 장에서는 ‘비가환 순수 모티브’를 정의한다. 여기서는 모든 불변량이 파생 모리타 불변이며, 상삼각 행렬에 대해 직접합을 보존하는 ‘가법 불변량(additive invariant)’이라는 개념을 도입한다(정의 4.1). 모든 전통적 불변량이 이 조건을 만족함을 인용하고, 보편적 가법 불변량을 제공하는 범주 Hmo₀와 유니버설 펑터 U_A를 구축한다(Theorem 4.2). Hmo₀는 객체가 dg 카테고리, 사상은 K₀(rep(A,B))인 additive 범주이며, 모든 가법 불변량은 U_A를 통해 유일하게 인자화된다. 이를 통해 차르 캐릭터 지도와 기본 정리(Weibel, Kassel)의 복잡한 증명을 Hmo₀를 이용한 간결하고 통일된 형태로 재구성한다(예시 4.3, 4.4). 다섯 번째 장에서는 비가환 Chow 모티브 범주 NChow_F를 정의한다. 먼저 Hmo₀를 F‑선형화하고 완전화한 뒤, 포화된 dg 카테고리들만을 생성 객체로 하는 완전 폐쇄 서브카테고리를 취한다. 이 범주는 전통적 Chow 모티브와 비교될 수 있으며, 특히 전통적 Chow 모티브가 Q‑선형, 대칭적 모노이달 구조와 Tate 객체 Q(1)을 갖는 것과 유사한 구조를 비가환 세계에서도 재현한다. 전체적으로 논문은 질문 A와 B에 대한 답을 제시한다. 고차 K‑이론은 dg 카테고리와 파생 모리타 동형을 통해 ‘비가환 모티브’라는 보편적 범주 안에 포착될 수 있으며, 비가환 모티브 범주 Mot(또는 Hmo₀)는 모든 전통적 불변량을 통합·정리하는 역할을 한다. 이는 비가환 대수기하학과 고차 K‑이론 사이의 깊은 연결고리를 제공하고, 향후 연구에서 다양한 동형·불변량을 통일된 모티브적 관점에서 다룰 수 있는 토대를 마련한다.