아즈루아 대수와 K‑이론의 새로운 연결

본 논문은 아즈루아 대수와 그레이드된 아즈루아 대수의 K‑이론을 체계적으로 연구한다. 서론에서는 대수적 K‑이론의 역사적 배경을 소개하고, 중앙 단순 대수와 아즈루아 대수 사이의 관계를 설명한다. 특히, 중앙 단순 대수 A가 매트릭스 환 M_n(D)와 동형임을 이용해 K‑이론의 기본 구조를 살펴보고, CK_i와 ZK_i라는 함수를 정의하여 이들이 D‑functor의 예임을 보인다. 제1장에서는 아즈루아 대수의 여러 동등한 정의를 정리한다. 신뢰성 있는 프로젝트 모듈, 분리 대수, 그리고 중심이 최대인 대수라는 관점에서 아즈루아 대수의 특성을 설명하고, Azumaya의 원 논문부터 현대까지의 정의 변천사를 서술한다. 또한, 아즈루아 대수의 기본적인 성질(예: 국소화, 베이스 체인지, 텐서곱)과 그에 따른 K‑이론적 함축을 제시한다. 제2장에서는 저차 K‑그룹(K_0, K_1, K_2)과 고차 K‑그룹에 대한 기본 개념을 복습한다. 특히, 중앙 단순 대수에 대한 K_0과 K_1의 계산을 상세히 다루며, CK_0와 CK_1이 유한 차수의 토션을 갖는 아벨 군임을 증명한다. 이를 통해 K‑이론이 중앙 단순 대수와 그 기반 환 사이에 어떻게 연결되는지를 명확히 한다. 제3장에서는 D‑functor라는 추상적 함수를 도입한다. D‑functor는 다음 세 가지 성질을 만족한다: (1) 정확한 함자, (2) 유한 차수의 토션을 갖는 값, (3) CK_i와 ZK_i가 D‑functor임. 이 장의 핵심 정리는 A가 중심 R 위에서 자유 모듈이며 차수가 n인 경우, K_i(A)⊗_Z Z