DI(4) 공간의 v1 주기 동치군 완전 계산

본 논문은 2‑콤팩트 군 중 유일하게 컴팩트 연결 리 군의 2‑완성으로 나타나지 않는 Dwyer‑Wilkerson 공간 DI(4)의 2‑주기 v₁‑동치군을 완전히 계산한다. 서론에서는 DI(4)와 그 루프공간의 정의, 그리고 v₁‑동치군이 p‑주기 동치군의 첫 근사값이며 K‑이론에 의해 탐지된다는 배경을 제시한다. 주요 결과는 두 정리로 요약된다. 정리 1.1은 모든 정수 i에 대해 e=min(2¹,4+ν(i−90627))를 정의하고, 차수 8i+d (d=0,…,8)에서 v₁‑동치군을 Z/2^{e}, Z/8, Z/2⊕Z/2 등으로 정확히 기술한다. 이는 실제 동치군 중에 차수가 2²¹인 원소가 존재함을 의미한다. 정리 1.2는 Φ₁DI(4) 스펙트럼이 Σ^{725019}T_{K/2}∧M(2²¹)와 동형임을 보이며, 여기서 T_{K/2}는 K/2‑지역화된 의사구(pseudosphere)이고 M(2²¹)는 모듈 2²¹ 모어 스펙트럼이다. 이 동형을 통해 스펙트럼의 지수가 2²¹임을 즉시 얻는다(Corollary 1.3). 핵심 기술은 세 단계로 구성된다. 첫째, Suter가 제공한 BDI(4)의 K‑이론 Adams 연산 ψ₂, ψ₃의 명시적 행렬(Ψ₂, Ψ₃)을 이용해 K⁎(BDI(4))≅ˆℤ₂