정확한 범주에서의 국소 콤팩트 객체

초록

본 논문은 정확한 범주 A에 대해 두 종류의 국소 콤팩트 객체 범주, 즉 Beilinson 범주 lim A와 Kato 범주 k(A)를 정의하고, 이들의 구조적 관계를 비교한다. lim A가 정확한 범주임을 증명함으로써 K‑이론적 불변량을 다루기에 적합한 환경을 제공한다. 또한, 임‑프로 객체들의 카운트 가능한 인덱싱 버전인 Ind_{ℵ₀}(C)와 Pro_{ℵ₀}(C)가 다이어그램 범주의 지역화로 기술될 수 있음을 보인다.

상세 분석

논문은 먼저 정확한 범주 A에 대한 두 전통적인 접근법을 재조명한다. Beilinson이 제안한 lim A는 인덱스가 전순서 집합인 필터링 시스템을 통해 A의 객체들을 ‘무한히 큰’ 형태로 확장하는 ind‑프로 구조를 갖는다. 반면 Kato가 정의한 k(A)는 ‘완전한’ 프로 객체와 ind 객체의 교차점에 해당하는, 대칭적인 완비성을 강조하는 범주이다. 저자들은 이 두 범주의 정의를 동일한 언어, 즉 ‘카테고리적 다이어그램’과 ‘지역화’라는 프레임워크 안에서 통일한다. 특히, lim A가 정확한 범주임을 보이기 위해서는 짧은 정확한 시퀀스가 lim A 안에서도 보존된다는 점을 입증해야 하는데, 이를 위해 저자들은 ‘정밀한 사상 보존’과 ‘필터링 한계의 교환 법칙’을 활용한다. 이 과정에서 핵심적인 보조정리로, 카운트 가능한 ind/프로 객체들의 지역화가 원래의 다이어그램 범주와 동형 사상 관계를 유지한다는 사실을 제시한다. 또한, Ind_{ℵ₀}(C)와 Pro_{ℵ₀}(C)의 지역화는 각각 ‘역상’과 ‘전상’ 사상에 대한 보편적인 한계(cone)와 코한계(colimit) 구조를 보존함을 증명한다. 이러한 결과는 K‑이론, 특히 비가환적 기하학에서 등장하는 ‘연속적인’ K‑그룹을 계산할 때, lim A를 사용하면 복잡한 가환성 가정 없이도 정확한 장벽을 넘을 수 있음을 의미한다. 더불어, k(A)와 lim A 사이의 전사적·단사적 관계를 분석함으로써 두 범주가 동일한 ‘완비성’ 성질을 공유하지만, lim A가 더 풍부한 ‘정밀한 사상 구조’를 제공한다는 결론에 도달한다.