안정화된 두 번째 서스펜션과 Cuntz의 qA는 비동등하게 동등하다

초록

본 논문은 가산 C*‑대수 A에 대해 안정화된 두 번째 서스펜션 (S^{2}A\otimes\mathcal K)와 Cuntz가 정의한 (qA\otimes\mathcal K)가 서로 비동등(asymptotically equivalent)임을 보인다. 이를 위해 양쪽으로의 비동등 사상(asymptotic morphisms)을 구성하고, 그 합성은 항등 사상과 동형동형(homotopic)임을 증명한다. 결과는 KK‑이론에서 E‑이론으로의 자연 변환을 간단히 기술하게 하고, 핵 대수 A와 안정적인 B에 대해 (\operatorname{q}A)에서 B로의 모든 비동등 사상이 *‑동형사상과 동형동형임을 확장한다.

상세 분석

논문은 먼저 Cuntz가 제시한 (qA)의 정의와 그 구조적 특성을 재검토한다. (qA)는 (A)와 자유 대수 (FA) 사이의 차이 사상으로 구성된 C*‑대수이며, KK‑이론의 실현에 핵심적인 역할을 한다. 저자는 (S^{2}A)를 두 번 연속 서스펜션한 뒤, 표준적인 안정화 (\mathcal K)와 텐서곱을 취해 (S^{2}A\otimes\mathcal K)를 얻는다. 이 두 대수 사이의 비동등 동등성을 보이기 위해 비동등 사상 (\phi_t: qA\otimes\mathcal K\to S^{2}A\otimes\mathcal K)와 (\psi_t: S^{2}A\otimes\mathcal K\to qA\otimes\mathcal K)를 명시적으로 구성한다. 여기서 중요한 점은 (\phi_t)와 (\psi_t)가 각각 연속적인 매개변수 (t\in