동기 부여된 가환 링 스펙트럼 BO의 구조와 켈링스톤 K‑이론과의 동등성

초록

본 논문에서는 스킴 (S) 위의 스무스 오프닝 쌍 ((X,U))에 대해 ((p,q)) 차원의 보코모지 이론 (BO^{p,q}(X_{+}/U_{+}))와 슐링크의 허미션 K‑이론 (KO^{

상세 분석

논문은 먼저 motivic homotopy theory의 기본 틀을 정리하고, 특히 (T)-스펙트럼(여기서 (T=\mathbb A^{1}/(\mathbb A^{1}\setminus{0})))의 모델 구조와 스테이블 fibrancy 조건을 명시한다. 저자는 기존에 존재하던 Hermitian K‑theory 스펙트럼 (KO)와의 비교를 위해, 무한 차원 사원수 그라스만다 (HGr)와 symplectic K‑theory 스펙트럼 (KSp) 사이의 동기 약동등 (\mathbb Z\times HGr\to KSp)를 활용한다. 이 동등성은 (HGr)가 (KSp)의 대표적인 모델임을 보이며, 이를 통해 (BO)를 (KSp)의 가환 링 구조를 물려받는 형태로 정의한다.

(BO)는 ((8,4))-주기성을 만족한다는 점이 핵심이다. 즉, (BO^{p,q}\cong BO^{p+8,q+4})가 자연 동형을 갖는데, 이는 Hermitian K‑theory의 Bott 주기와 정확히 일치한다. 주기성은 스펙트럼의 구조 사상 (\Sigma^{8,4}BO\to BO)가 동등함을 보임으로써 증명되며, 이는 (T)-스펙트럼 수준에서의 스위치 사상과 Grothendieck‑Witt 클래스 (\langle-1\rangle) 사이의 상호작용을 통해 기술된다.

특히 (\operatorname{Spec}\mathbb Z