DG 카테고리의 위상 Hochschild·Cyclic 호모로지 구축

본 논문은 차등급(dg) 카테고리의 위상 Hochschild homology(THH)와 cyclic homology(TC)를 처음으로 전반적으로 구축한다. 서론에서는 최근 20년간 THH와 TC가 대수적 K‑이론 계산에 미친 혁신적 영향을 언급하며, 비가환 대수기하학에서 dg 카테고리가 핵심 모델임을 강조한다. 저자는 dg 카테고리를 “정확한” 위상적 불변량으로 다루기 위해, 먼저 Eilenberg‑Mac Lane 스펙트럼 H R 위에 풍부화된 카테고리(H R‑Cat)를 도입한다. 제4장에서는 일반 스펙트럴 카테고리 Sp^Σ‑Cat의 모델 구조를 구축한다. 여기서는 Hovey의 대칭 스펙트럼 모델을 기반으로, C‑Cat(대칭 모노이달 카테고리 C 위에 풍부화된 카테고리)와 K‑대칭 스펙트럼 Sp^Σ(C,K) 사이의 적절한 조건(C1~C7, H1~H3)을 제시하고, 약한 단사(weak monoidal) Quillen 쌍을 정의한다. 특히, I와 J 집합을 이용해 cofibration과 trivial cofibration을 명시하고, J′′를 통해 “정규화”된 객체들의 리프팅 성질을 보장한다. 제5장에서는 이러한 구조를 이용해 “Quillen equivalence criterion”을 제시하고, 이후 제6·7장에서 구체적인 예시(체인 복합, 양의 차수 복합, simplicial abelian 그룹 등)를 통해 조건을 만족함을 검증한다. 제8장에서는 Eilenberg‑Mac Lane 스펙트럴 대수를 정의하고, Shipley의 결과를 확장해 H R‑Cat와 Sp^Σ‑Cat 사이에 네 단계의 Quillen 등가 사슬을 구축한다(정리 1.1). 이 사슬은 dgcat → H R‑Cat → Sp^Σ‑Cat → Sp 로 이어지며, 각 단계에서 약한 단사 Quillen 쌍이 보존됨을 보인다. 제10장에서는 Blumberg‑Mandell이 정의한 THH와 TC를 H R‑Cat에 적용하고, 이를 통해 dg 카테고리 전반에 THH와 TC를 스펙트럼값 함자로 정의한다. 이때, THH와 TC는 각각 “cyclotomic” 구조를 갖는 스펙트럼이며, 고정점 스펙트럼을 이용해 TC를 정의한다. 제11장에서는 K‑이론과 THH 사이의 자연 변환을 구축한다. 정수 링 Z 위에서 K_n(–) → THH_n(–) 및 K_n(–) → THH_{n+2r−1}(–) 로 가는 변환 γ_n, γ_{n,r}을 정의하고, 이들이 비자명함을 보이기 위해 다양한 예시와 계산을 제시한다. 특히, quasi‑compact·quasi‑separated 스키마 X에 대해 THH(X)와 기존의 위상 Hochschild homology이 동등함을 확인한다. 제12장에서는 “topological equivalence” 개념을 도입하고, Q 위에서 두 dg 카테고리가 topologically equivalent ⇔ quasi‑equivalent임을 증명한다(정리 12.6). 이는 Bousfield localization과 비가환 기하학에서의 동형 사상들을 통합하는 중요한 결과이다. 부록에서는 adjunction, Bousfield localization, 비가산 필터링 기법 등을 상세히 다룬다. 전체적으로, 논문은 모델 범주론, 스펙트럴 대수, 그리고 고차 호몰로지 이론을 결합해 dg 카테고리의 위상적 불변량을 체계화하고, 이를 K‑이론과 연결함으로써 비가환 대수기하학 및 고차 대수적 위상수학에 새로운 도구를 제공한다.