대수적 코버전스와 K이론의 새로운 연결

초록

본 논문은 Voevodsky의 대수적 코버전스 스펙트럼 MGL을 이용해 Quillen‑Thomason‑Trobaugh K‑이론을 재구성한다. MGL의 계수환 MGL^{2*,}(k)에서 정수 ℤ으로 가는 유일한 환사상이 존재함을 보이고, 이 사상을 통해 MGL^{,*}(X,U) 에 ℤ‑베이스 변환을 하면 K‑이론 K^{TT}_{- *}(X,U)와 동형임을 증명한다. 또한 두 이론 모두 방향성을 갖고, 동형은 이 방향성을 보존한다. 이는 복소 코버전스 MU와 복소 K‑이론 사이의 Conner‑Floyd 정리를 대수적 상황으로 옮긴 결과이다.

상세 분석

논문은 먼저 Voevodsky가 정의한 P¹‑스펙트럼 MGL을 commutative P¹‑ring spectrum 으로 취급한다. 이 스펙트럼이 제공하는 이중 차수(cohomology) MGL^{,}(X) 는 Levine‑Morel이 구축한 대수적 코버전스 이론과 동등하며, 계수환 MGL^{2*,}(k) 는 라자드(Lazard) 환과 동형이다. 저자는 MGL^{2,*}(k) → ℤ 이라는 유일한 환사상을 정의한다. 이 사상은 매끄러운 사영다양체 X 에 대해