컴뮤터티브 C 대수의 반사영성 완전 특성화

본 논문은 “컴뮤터티브 C* 대수의 반사영성(semiprojectivity) 특성화”라는 주제로, 컴팩트하고 거리공간인 X에 대해 C(X)의 반사영성 여부를 위상학적 성질인 절대 이웃수축체(ANR)와 차원 제한을 통해 정확히 규명한다. 서론에서는 형태 이론(shape theory)이 비가환 세계로 확장된 배경을 설명하고, 반사영성이 ANR과 대응한다는 직관을 제시한다. 그러나 모든 ANR이 반사영성을 갖는 것은 아니며, 예를 들어 2차원 원판 D²는 반사영성이 아니다는 사실을 들어 문제의 복잡성을 강조한다. 이로써 “어떤 커뮤터티브 C* 대수가 반사영성인가?”라는 질문이 제기된다. 첫 번째 주요 결과는 Theorem 1.2로, 다음과 같은 동등성을 보인다. (I) C(X) 가 반사영성이다. (II) X 가 ANR이며 차원 dim X ≤ 1이다. 이는 블랙다르가 제시한 추측을 완전히 증명한 것이다. 이를 위해 논문은 두 부분으로 나누어 증명을 전개한다. **1. 필요성(necessity) 증명** (섹션 3) C(X)가 반사영성이라고 가정하고, X가 ANR이면서 차원이 2 이상이라고 가정한다. 저자들은 차원 ≥ 2인 ANR이 포함하는 복잡한 위상 구조를 이용해, 알려진 비해결 리프팅 문제를 구성한다. 구체적으로, 차원 ≥ 2인 경우에는 특정 2‑셀(디스크)와 그 경계가 포함된 서브스페이스를 찾아, 그에 대응하는 C* 대수의 사상을 통해 반사영성 정의에 필요한 리프팅을 강제한다. 그러나 이러한 리프팅은 존재하지 않음이 증명되므로, 차원 ≥ 2인 ANR에서는 C(X)가 반사영성을 가질 수 없음을 보인다. 따라서 (I)⇒(II)가 성립한다. **2. 충분성(sufficiency) 증명** (섹션 5) 이제 X가 1차원 ANR임을 가정한다. 섹션 4에서 저자들은 1차원 ANR의 구조 정리를 제시한다. 핵심은 “동형 코어”(homotopy core)라 불리는 유한 그래프 Y₁이 존재하고, X는 일련의 선분을 점에 붙이는 과정을 무한히 반복한 역극한으로 표현될 수 있다는 것이다: \