유도 코시울 이중성 및 공간 대수 K‑이론의 반전 구조

본 논문은 “Derived Koszul Duality and Involutions in the Algebraic K‑Theory of Spaces”라는 제목 아래, 공간 X에 대한 두 주요 대수적 모델—Σⁿ∞⁺ΩX와 Spanier‑Whitehead 이중 D X = S^{X₊}—을 유도 코시울(바) 이중성과 모르타 동형성이라는 두 개념을 통해 연결한다. 1. **배경 및 동기** - Waldhausen가 정의한 A‑이론 A(X)=K(Σⁿ∞⁺ΩX)는 공간 X의 안정된 위상수학적 정보를 담고 있다. 특히 X가 매니폴드이면 안정된 pseudo‑isotopy 이론과, 유한 복합체이면 고차 토션 불변량과 전이(transfers)와 깊은 연관이 있다. - 반면, D X는 X의 불안정 위상수학을 포착하는 E_∞ 링 스펙트럼이며, 최근 모라바(Morava)의 동기론적 모티프 이론에서 핵심 객체로 등장한다. 2. **유도 코시울 이중성 설정** - Σⁿ∞⁺ΩX는 augmentation을 갖는 S‑알제브라이며, 그 augmentation 모듈 S(=Σⁿ∞⁺ΩX∧S)는 컴팩트 객체다. 이때 Σⁿ∞⁺ΩX‑엔도모르피즘 스펙트럼을 계산하면 D X와 동형인 commutative S‑알제브라가 된다. - 이 사실을 이용해 ‘Ext‑Adjunction’과 ‘Tor‑Adjunction’이라는 두 쌍의 반변함수적(adjoint) 관계를 만든다. 구체적으로 \