Eilenberg‑MacLane 공간의 작용과 꼬인 K‑이론의 유일성

이 논문은 복소와 실 K‑이론의 꼬임(twisted) 이론이 실제로는 하나의 정의만을 갖는다는 사실을 증명한다. 저자들은 먼저 일반적인 $A_\infty$‑스펙트럼 $R$에 대해 $BGL_1R$을 단위 스페이스의 클래스ifying 공간으로 정의하고, 임의의 지도 $f\colon X\to BGL_1R$가 주어지면 $R$‑모듈의 파라미터 스펙트럼 $R(X)_f$를 $\operatorname{colim}_{\Pi_\infty X}f^*$ 로 구성한다. 이 과정은 $\infty$‑범주론적 언어를 사용해 꼬인 $R$‑코호몰로지를 정의한다. 복소 K‑이론 $K$의 경우, $GL_1K$은 무한루프 공간 $K(\mathbb Z/2,0)\times K(\mathbb Z,2)\times BSU_\otimes$와 동형이며, 이를 루프화하면 $BGL_1K\simeq K(\mathbb Z/2,1)\times K(\mathbb Z,3)\times BB SU_\otimes$가 된다. 여기서 $K(\mathbb Z,3)$는 전통적인 꼬임 클래스 $H^3(X,\mathbb Z)$와 직접 연결된다. 실 K‑이론 $KO$에 대해서도 유사하게 $BGL_1KO\simeq K(\mathbb Z/2,1)\times K(\mathbb Z/2,2)\times BB SO_\otimes$가 된다. 핵심은 두 사상 집합 $