동형론적 이레니버그와츠 정리와 자기포함성

초록

이 논문은 위상공간, 단순복합체, 아벨군 체인복합체, 그리고 스펙트럼 모델 등 전형적인 호모톱 이론의 기본 범주들이 ‘동형론적으로 자기포함적’임을 증명한다. 즉, 고정 객체와의 텐서(또는 스매시)곱으로 보이는 모든 좌측 적당한 함자는 실제로 그런 텐서곱이며, 고정 객체로의 Hom 형태의 함수도 마찬가지로 동형론적 동등성을 통해 표현될 수 있음을 보인다. 이는 고전적인 이레니버그‑와츠 정리를 범주론적·모델 구조적 맥락으로 확장한 결과이다.

상세 분석

논문은 먼저 폐쇄된 대칭모노이달 범주 M(또는 Quillen 모델 범주) 안에서 ‘좌측 자기포함성(left self‑contained)’과 ‘동형론적 좌측 자기포함성(homotopically left self‑contained)’이라는 두 개념을 정의한다. 전자는 M‑펑터이면서 좌측 어드쟈인트인 모든 함수 F: E‑Mod → E′‑Mod가 어떤 E‑E′‑바이모듈 B에 대해 텐서곱 T_B(A)=A⊗_E B와 자연동형을 갖는다는 뜻이다. 후자는 모델 구조를 고려해 F가 좌측 퀼레인 펑터일 때도 같은 결론이 약한 동형론적 동등성(weak equivalence) 수준에서 성립함을 의미한다.

핵심 정리는 ‘표준 호모톱 범주’—Top, sSet, Ch(ℤ), 그리고 다양한 스펙트럼 모델(예: S‑모듈, EKMM, ∞‑스펙트럼)—가 모두 동형론적 좌측 자기포함성을 만족한다는 것이다. 이를 보이기 위해 저자는 먼저 ‘생성 객체(generators)’와 ‘동등성 보존(colimit‑preserving)’ 특성을 이용해 일반적인 모노이달 구조 위에 존재하는 자유‑유도(Free‑Induced) 모듈 범주가 자기포함적임을 증명한다. 그런 다음, 각 표준 호모톱 범주가 모델 구조와 모노이달 구조가 서로 호환되는 ‘모델 모노이달’임을 이용해, 좌측 퀼레인 펑터가 반드시 어떤 바이모듈 B에 의해 구현될 수 있음을 보여준다.

특히, 스펙트럼 경우에는 안정적 동형론(homotopy category of spectra)에서의 ‘스매시 곱’이 폐쇄 대칭모노이달 구조를 제공하므로, E‑module 스펙트럼과 E′‑module 스펙트럼 사이의 좌측 퀼레인 펑터는 E‑E′‑바이모듈 스펙트럼 B를 통해 완전히 기술된다. 이는 기존에 알려진 ‘E‑module spectra are compactly generated’ 결과와도 일맥상통한다.

마지막으로, 저자는 이 정리가 고전적인 이레니버그‑와츠 정리(아벨군 범주의 경우)와 정확히 일치함을 확인하고, 더 나아가 ‘동형론적 자기포함성’이라는 개념이 호모톱 이론 전반에 걸쳐 함수대수학적 구조를 이해하는 새로운 틀을 제공한다는 점을 강조한다.