무한 축소 자유곱의 동형정리와 장강 수 대입

초록

C와 장강‑수 대수 Z 사이의 트레이스 보존 임베딩이 K‑이론 동형을 이루면, C의 무한 축소 자유곱 D와 임의의 일차 NCCW 복합체 A(또는 수축 가능한 공간의 연속함수대) 사이의 자유곱 A *ₙ D는 D와 동형이다. 특히 Lebesgue 측정이 있는 C(

상세 분석

본 논문은 “무한 축소 자유곱(infinite reduced free product)”이라는 연산에 대해, 특정 종류의 입력 대수들을 넣었을 때 결과가 원래의 자유곱 D와 동일한 동형을 갖는다는 강력한 동형정리를 증명한다. 핵심 가정은 두 부분으로 나뉜다. 첫 번째는 C가 가산 차원의 유니터리 C∗‑대수이며 복소수와 동형이 아니고, 충실한 트레이스를 갖는다는 점이다. 두 번째는 A가 일차 NCCW 복합체들의 유니터리 직접극한이며, 역시 충실 트레이스를 가진다. 가장 중요한 구조적 조건은 A가 장강‑수 대수 Z에 트레이스 보존으로 삽입될 수 있으며, 이 삽입이 K‑이론(K₀, K₁)에서 동형을 이루는 것이다. 이러한 설정 하에, C의 무한 복제본으로 만든 축소 자유곱 D:=C∗ₙ∞와 A의 자유곱 A∗ₙ∞ D는 서로 동형임을 보인다.

증명 전략은 크게 두 단계로 구성된다. 첫 번째는 Elliott‑type 근사 교환(intertwining) 기법을 일반화한 Theorem 2.2를 이용해, 두 직접극한 시스템 사이에 일련의 유한 근사 사상(μₙ, νₙ)과 유한 집합(Ξₙ, Σₙ)을 구축한다. 이 과정에서 εₙ을 충분히 작게 잡아, 각 단계에서 사상들이 트레이스와 K‑이론을 거의 보존하도록 조정한다. 두 번째 단계에서는 최근 발전된 “유일성 정리”(uniqueness theorems)를 활용한다. 구체적으로, 일차 NCCW 복합체에서 안정적 계급 1(stable rank 1)과 약한 무정렬(unperforated) K₀를 가진 무한 차원 단순 대수로의 *‑동형이 근사적으로 유일함을 보이는 결과(