연결된 E 이론의 비정지 버전

초록

본 논문은 Shulman과 Dadarlat‑Loring의 결과를 연결된 형태로 재구성한다. 핵심은 행렬 호모트피 대칭성을 이용해 qA⊗K와 Σ²A⊗K가 비정지(E‑theory)에서 동등함을 보이고, 이를 통해 C₀(X)⊗A 형태의 C*‑대수들 사이에서 bu‑동등과 비정지 행렬 호모트피 동등이 동일함을 입증한다.

상세 분석

논문은 먼저 비정지 동형군 S와 K‑이론을 결합한 E‑theory를 Σ와 K를 이용해 정의하고, 이를 연결된 버전인 m‑category(비정지 행렬 호모트피 범주)로 옮긴다. m‑category는 S‑morphism을 Mₙ에 텐서하고 colimit을 취해 행렬 안정성을 확보한다. 주요 성질로는 동형 사상에 대한 불변성, 합성에 대한 이중선형 구조, 텐서곱에 대한 자연성, 그리고 분할 정확성(split exactness)이 있다. 특히 Cuntz의 결과를 이용해 자유곱 B⋆C와 직접곱 B×C 사이가 m‑동형임을 보이며, 이를 통해 qB와 B 사이의 자연 사상 π_B가 m‑동형임을 증명한다.

다음으로 행렬 호모트피 대칭성(matrix homotopy symmetry)을 정의한다. 이는 id_A가 m‑monoid에서 가역원을 갖는 조건이며, 이 성질은 qA가 항상 만족하고, A가 대칭이면 A⊗D도 대칭임을 보인다. Proposition 2.5에서는 A가 대칭일 때 π_B⊗id_D가 m‑동형이 되는 등 여러 등가 조건을 제시한다.

Bott 원소 u: qℂ→Σ²⊗M₂를 도입하고, 이를 K와 텐서하면 u⊗id_K가 m‑동형임을 보인다(정리 2.6). 이는 전통적인 Bott 주기성을 m‑범주에서도 유지함을 의미한다. 이 결과를 바탕으로 “Bott‑inverting” 개념을 정의한다: D가 Bott‑inverting이면 u⊗id_D가 m‑동형이다. 안정된 대수(D≅D⊗K)는 자동으로 Bott‑inverting이며, 안정된 전부 C*‑부분대수를 포함하는 대수도 같은 성질을 가진다(정리 3.6).

주요 결과는 두 가지이다. 첫째, Theorem 3.8은 Bott‑inverting D에 대해 qA⊗D≃_m Σ²⊗A⊗D임을 보여, Shulman의 비정지 동등을 연결된 형태로 재현한다. 둘째, Theorem 3.11은 A가 행렬 호모트피 대칭이고 B가 Bott‑inverting이면 m(A,B)와 bu(A,B) 사이에 자연 동형이 존재함을 증명한다. 여기서 bu는 연결된 E‑theory의 비정지 버전이다. 결과적으로 Corollary 3.12는 이러한 두 조건을 만족하는 A와 B에 대해 bu‑동등과 m‑동등이 완전히 일치함을 말한다.

마지막으로, C₀(X)⊗A 형태의 대수들에 적용하면, X가 유한 CW‑복합체이고 A가 단위가 있는 적절히 무한한 대수일 때, bu‑동등과 비정지 행렬 호모트피 동등이 동치임을 얻는다. 이는 기존의 Dadarlat‑Loring 정리의 연결된 버전이며, 비정지 E‑theory와 행렬 호모트피 범주의 관계를 명확히 하는 중요한 진전이다.