계산가능한 K 이론으로 본 AF C∗ 대수의 완전 분류

초록

이 논문은 계산가능한(컴퓨터블) 프레젠테이션을 가진 AF C∗-대수에 대해, 그 대수를 유한 차원 대수들의 귀류극한으로 효과적으로 구성하고, 차원군과의 계산가능한 범주 동형을 구축한다. 이를 통해 Elliott 분류정리를 계산가능한 형태로 구현하고, AF 및 UHF 대수의 지표 집합과 동형 문제의 복잡도를 결정한다.

상세 분석

본 연구는 기존의 Elliott 분류정리를 컴퓨터블 수학의 관점에서 재해석한다. 핵심은 ‘c.e. 프레젠테이션’이라 불리는, 밀도 있는 집합에 대한 규칙적인 근사 정보를 제공하는 데이터 구조에서 시작한다. 저자들은 먼저 이러한 프레젠테이션으로부터 AF 대수의 유한 차원 ∗‑부분대수를 효과적으로 식별하는 알고리즘을 구축한다. 여기에는 전통적인 Glimm Lemma의 효과적 버전(정리 6.1)이 필수적인데, 이는 근사적인 유니터리와 부분대수의 존재를 계산적으로 보장한다.

다음 단계에서는 차원군(dimension group)의 효과적 구조를 다룬다. 차원군은 Zⁿ 형태의 단순군들의 귀류극한으로 정의되며, Shen 성질을 만족한다는 고전적 결과를 컴퓨터블하게 재현한다. 저자들은 주어진 c.e. 차원군 프레젠테이션 G#에 대해, 그와 동형인 AF 대수 A#를 구성하고, 그 K₀군이 G#와 계산가능하게 동형임을 보인다(주정리 2). 이 과정은 유닛(스케일) 정보를 보존하는 ‘스케일드 차원군’까지 확장된다.

주요 결과는 다섯 개의 Main Theorem으로 요약된다.

1. 모든 c.e. AF 대수는 computable AF certificate를 갖는다. 이는 대수를 유한 차원 대수들의 귀류극한으로 명시적으로 기술하는 데이터 구조이며, 알고리즘적으로 생성 가능함을 의미한다.
2. 차원군의 c.e. 프레젠테이션으로부터 대응하는 AF 대수를 만들 수 있다.
3. AF 대수의 다섯 가지 등가 조건(프레젠테이션 존재, computable inductive limit, computable K₀, computable Bratteli diagram 등)을 제시하여, ‘computably presentable’이라는 개념을 다각도로 입증한다.
4. 두 AF 대수의 computable ∗‑동형은 그들의 K₀ 차원군이 computable하게 동형임과 동치이며, 이는 Bratteli diagram 수준에서도 동일하게 유지된다.
5. 최종적으로, ‘c.e. 프레젠테이션의 범주’와 ‘c.e. 차원군의 범주’ 사이에 computable equivalence of categories를 구축한다. 즉, 양쪽 사이의 함자와 자연동형이 모두 효과적으로 계산 가능함을 보인다.

이러한 범주 동형은 Elliott 분류정리의 효과적 버전이라 할 수 있다. 또한, 저자들은 이 구조를 이용해 AF와 UHF 대수의 지표 집합(index set)과 동형 판정 문제(isomorphism problem)의 복잡도를 정확히 분석한다. 결과적으로, AF 대수의 지표 집합은 Π₁⁰‑완전이며, 동형 문제는 Σ₁¹‑완전임을 보인다(섹션 12). 이는 기존의 복잡도 결과와 일치하면서도, 계산가능한 K‑이론을 통한 새로운 증명을 제공한다.

전반적으로, 이 논문은 고전적인 C∗‑대수 이론과 컴퓨터블 수학을 성공적으로 융합시켜, AF 대수와 차원군 사이의 깊은 구조적 연관성을 계산 가능한 수준에서 완전히 밝힌다.