대수적 카스파로프 K 이론: 불안정·모리타 안정·안정 스펙트럼 구축

초록

본 논문은 체 k 위의 연산대수에 대해 불안정, 모리타 안정, 그리고 안정적인 2변량 대수적 카스파로프 K-이론 스펙트럼을 정의하고, 각각이 동형불변성, 변수별 excision 성질을 만족함을 증명한다. 또한 이 스펙트럼들이 해당 범주에서의 보편적인 불안정·모리타·안정 2변량 동질이론을 대표한다는 보편성 정리를 제시한다.

상세 분석

논문은 먼저 연산대수 𝔄 의 범주 Algₖ 에 대해 모델 구조를 부여하고, 이 구조를 이용해 사상 f:A→B 에 대한 호모톱 이론을 전개한다. 핵심은 ‘불안정 카스파로프 K-스펙트럼’ 𝔎^{unst}(A,B) 을 정의하는데, 이는 A와 B 사이의 ‘bivariant’ 동질을 측정하는 스펙트럼으로, 사상 A→B 의 호모톱 클래스를 스펙트럼 레벨에서 포착한다. 저자는 이 스펙트럼이 다음 세 가지 기본 성질을 만족함을 보인다. 첫째, 동형불변성: A와 B가 호모톱 동형이면 𝔎^{unst}(A,B)는 동형동형이다. 둘째, excision: 짧은 정확한 시퀀스 0→I→A→A/I→0 에 대해 변수 A 혹은 B에 대해 장벽이 없는 장벽을 제공한다. 셋째, Morita 안정성: 행렬 대수 M_n(A)와 A 사이의 자연 동형이 𝔎^{unst}에 대해 동등함을 보인다.

다음 단계에서는 Morita 안정 스펙트럼 𝔎^{Mor}(A,B) 을 정의한다. 이는 불안정 스펙트럼을 행렬 안정화(M_n‑stabilization) 과정을 무한히 반복한 한계로서, ‘모리타 동형’ 즉, A와 M_n(A) 사이의 동형을 완전히 무시한다. 저자는 이 스펙트럼이 여전히 동형불변이며, 이제는 Morita excision을 만족한다는 점을 증명한다.

마지막으로 안정 스펙트럼 𝔎^{st}(A,B) 을 도입한다. 여기서는 불안정 스펙트럼을 더 나아가 ‘∞‑loop’ 구조와 스펙트럼 수준에서의 안정화(Σ‑suspension) 과정을 적용한다. 결과적으로 𝔎^{st}는 Bott 주기성을 갖는 완전한 안정화된 이론이 되며, 이는 고전적인 C∗‑카스파로프 K-이론과 직접적인 아날로지를 제공한다.

보편성 정리에서는 각각의 스펙트럼이 해당 범주에서의 최초의 불안정·Morita·안정 2변량 동질이론임을 보인다. 즉, 어떤 다른 2변량 동질이론 E 가 위의 세 성질을 모두 만족한다면, 자연 동형 E(A,B)≅𝔎^{*}(A,B) (∗는 unstable, Mor, stable 중 하나)가 존재한다. 이 정리는 ‘representability’와 ‘universal property’를 동시에 확보함으로써, 이후 논문 시리즈에서 보다 복잡한 구조(예: 비가환 모티프, 고차 차원 사상 등)를 다루는 기반을 마련한다.

전반적으로 저자는 현대 호모톱 이론과 스펙트럼 기법을 대수적 맥락에 성공적으로 이식했으며, 특히 Morita 안정화와 안정화 과정을 체계적으로 구분하고 각각에 대한 보편성을 명확히 증명한 점이 혁신적이다. 이는 대수적 K‑이론, 비가환 기하학, 그리고 고차원 대수적 위상수학 사이의 교량 역할을 수행할 것으로 기대된다.