초월적 차이와 비가환 모티프의 통합

초록

이 논문은 타테 객체의 작용을 나눠버린 뒤, 초월적 차이(Chow) 모티프를 비가환 모티프 범주에 완전하게 삽입할 수 있음을 증명한다. 이를 바탕으로 김우라·슈어의 유한성 개념, 길레-술레의 동기 측정, 그리고 동기 제타 함수의 내재적 구성을 비가환 모티프 영역으로 확장한다.

상세 분석

논문은 먼저 고전적인 초월적 차이(Chow) 모티프와 비가환 모티프(특히 dg‑카테고리 기반)의 구조적 차이를 정밀히 분석한다. 초월적 차이 모티프는 대수적 사이클을 기반으로 한 정수계수의 준완전 대칭 텐서 범주이며, 타테 객체 𝟙(1) 의 반복적 텐서곱을 통해 ‘무게’를 조정한다. 반면 비가환 모티프는 dg‑카테고리의 동형 사상들을 동등시켜 만든 ‘비가환’ 버전의 동기 이론으로, K‑이론, Hochschild‑코호몰로지, 그리고 사이클 복합체와 같은 불변량을 포괄한다.

Kontsevich가 제시한 “타테 객체를 나눠버리면 두 이론이 일치한다”는 직관을 정식화하기 위해 저자는 초월적 차이 모티프의 궤도 범주(orbit category) 𝑀𝑖𝑥/⟨𝟙(1)⟩ 를 구성한다. 여기서 ⟨𝟙(1)⟩ 은 타테 객체에 의한 자동동작을 생성하는 서브그룹이며, 이를 몫으로 취함으로써 무게 이동을 무시한다. 이 궤도 범주는 완전한 강대칭 텐서 구조를 유지하면서도, 타테 객체에 대한 정보가 사라진 형태가 된다.

다음으로 비가환 모티프 범주 𝑁𝑀𝑜𝑡𝑖𝑣𝑒𝑠𝑖𝑚𝑎𝑙𝑒𝑙𝑙𝑖𝑠𝑚(𝔽) 를 ‘보편적 가법 불변량(additive invariant)’을 통해 정의한다. 구체적으로, 모든 작은 dg‑카테고리 𝒜에 대해 K₀(𝒜) 를 취하고, Morita 동형을 강등시킨 뒤, ‘정규화된’ K‑이론을 이용해 가법적이고 강대칭적인 구조를 만든다. 이 과정에서 타테 객체에 해당하는 𝟙(1) 은 K₀‑레벨에서 1 로 사라지므로, 자연스럽게 궤도 범주와 동형을 이룰 수 있다.

핵심 정리(정리 2.3)는 “완전하고 충실한 텐서 함자 Φ: Chow/⟨𝟙(1)⟩ → NMot(𝔽) 가 존재한다”는 것으로, 이는 Φ가 동형을 보존하고, 모든 초월적 차이 모티프를 비가환 모티프 안의 특정 객체(예: 완전한 스무스 프로젝티브 다양체 X 에 대해 perf₍dg₎(X)) 로 보내며, 타테 객체에 대한 작용을 무시한다는 의미다. 증명은 크게 두 단계로 나뉜다. 첫째, 초월적 차이 모티프의 생성자(스무스 프로젝티브 다양체)와 비가환 모티프의 생성자(perf₍dg₎) 사이에 자연스러운 대응을 정의하고, 이를 가법 불변량을 통해 확장한다. 둘째, 이 대응이 궤도 범주에서 완전하고 전사임을 보이기 위해, 모든 비가환 모티프가 ‘가법적’으로 초월적 차이 모티프의 이미지로 분해될 수 있음을 보인다. 여기서 중요한 도구는 ‘정규화된 차원 함수(dim)’와 ‘정규화된 카테고리 차원(𝔻)’이며, 이는 타테 객체를 무시한 뒤에도 충분히 풍부한 정보를 제공한다.

이후 저자는 세 가지 주요 응용을 전개한다. 첫째, Schur·Kimura 유한성 개념을 비가환 모티프에 확장한다. 기존에는 초월적 차이 모티프에서만 정의된 ‘양성/음성 차원’과 ‘다항식 관계’를 비가환 모티프에서도 동일하게 적용할 수 있음을 보이며, 특히 완전한 스무스 dg‑카테고리의 경우 Kimura 차원은 유한 차원으로 수렴한다는 결과를 얻는다. 둘째, Gillet‑Soulé의 동기 측정 μ: K₀(Varₖ) → K₀(Chow) 를 비가환 모티프의 그로텐디크 링 K₀(NMot) 로 승격한다. 여기서는 타테 객체를 나눠버린 뒤의 궤도 구조가 측정의 ‘가법성’과 ‘곱셈성’을 보존함을 증명하고, 따라서 비가환 동기 측정 μₙₘ이 정의된다. 셋째, 동기 제타 함수 ζ₍X₎(t)=∑