대수적 K동기와 K동기체

초록

본 논문은 스펙트럴 카테고리와 그 위의 모듈 이론을 이용해 K‑동기(K‑motives)를 정의하고, 이를 통해 이중변량 대수적 K‑이론과 이중변량 모티브 코호몰로지를 체계화한다. 그레이슨의 기법을 활용한 그레이슨 모티브 스펙트럴 시퀀스를 구축하고, 이 시퀀스가 K‑동기 삼각범주 안에서 자연스럽게 실현됨을 보인다. 또한 점의 K‑동기가 일반 대수적 K‑이론을 대표한다는 중요한 결과를 얻는다.

상세 분석

이 논문은 기존의 베이비-베르시(Voevodsky) 동기 범주 DM_eff가 스펙트럴 시퀀스와 같은 고차 구조를 다루기에 충분하지 않다는 점을 출발점으로 삼는다. 저자들은 스무스 스킴 X, Y 사이의 전이 데이터를 대칭 스펙트럼 O(X,Y) 형태의 “전이 스펙트럼”으로 정의하고, 이러한 전이 스펙트럼들로 이루어진 스펙트럴 카테고리 O_K, O_{K⊕}, O_{KGr}을 구축한다. 여기서 O_K는 Waldhausen 카테고리 P(X,Y)에서 유도된 K‑이론 스펙트럼을, O_{K⊕}는 그 직접합 버전을, O_{KGr}는 그레이슨의 K‑이론 스펙트럼을 각각 나타낸다.

스펙트럴 카테고리 O가 “모티브하게 외부적(excisive)” 조건을 만족하면, 그 위의 모듈 범주 Mod_O는 프레시(pre)sheaf 형태로서 전이 구조를 보존한다. 저자들은 이러한 Mod_O에 대해 모델 구조를 두 차례(프로젝트와 플랫)로 구축하고, Bousfield 지역화 과정을 통해 안정적(stable) 모델 구조를 얻는다. 이 과정에서 약한 유한 생성(weakly finitely generated)과 셀룰러(cellular) 성질을 입증함으로써, 삼각범주 SH_mot O를 정의한다.

핵심적인 정의는 K‑동기 M_K(X)이다. 이는 자유 O_K‑모듈 O_K(–,X)를 SH_mot O_K 안으로 보내는 이미지이며, 이는 점(pt)의 K‑동기와의 내부 호모토피를 통해 일반 대수적 K‑이론 K_i(X)와 동형임을 보인다(K_i(X) ≅ SH_mot O_K(M_K(X)