[논문 리뷰] Localization for THH(ku) and the topological Hochschild and cyclic homology of Waldhausen categories

Andrew J. Blumberg, Michael A. Mandell|arXiv (Cornell University)|2011. 11. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 17

한 줄 요약

이 논문은 월드하우젠 범주에 대한 위상수학적 호크스홀드 호모로지(THH)와 위상수학적 순환 호모로지(TC)에 대한 국소화 코파일러 수열을 수립하며, THH 국소화 수열에 대한 오랫동안 지속된 혼동을 해결한다. $ H\mathbb{Z} \to ku $의 사상에 대해 상대적 THH와 TC를 구축하여, Hesselholt의 관점에 따라 $ \ell \to ku $가 순수하게 분할된 것으로 보는 것이 타당하다는 것을 증명하고, $ V(1)_*K(KU) $의 단순화된 계산을 가능하게 한다.

ABSTRACT

We prove a conjecture of Hesselholt and Ausoni-Rognes, establishing localization cofiber sequences of spectra for THH(ku) and TC(ku). These sequences support Hesselholt's view of the map l to ku as a "tamely ramified" extension of ring spectra, and validate the hypotheses necessary for Ausoni's simplified computation of V(1)_* K(KU). In order to make sense of the relative term THH(ku|KU) in the cofiber sequence and prove these results, we develop a theory of THH and TC of Waldhausen categories and prove the analogues of Waldhausen's theorems for K-theory. We resolve the longstanding confusion about localization sequences in THH and TC, and establish a specialized devissage theorem.

연구 동기 및 목표

• 위상수학적 호크스홀드 호모로지(THH)에서 국소화 수열의 존재성과 성격에 대한 오랫동안 지속된 혼동을 해결하며, 특히 K-이론과의 관계에서 다루는 것.
• 스펙트럴 범주를 초월하여 연결형 및 비연결형 변형을 포함하는 월드하우젠 범주에 대한 THH와 TC 이론을 개발하는 것.
• 연결형과 비연결형 스펙트럴 범주 간의 차이를 구분함으로써, THH에서 두 가지 다른 국소화 수열—Hesselholt-Madsen 스타일과 Thomason-Trobaugh 스타일—을 설명하는 개념적 프레임워크를 수립하는 것.
• THH(ku|KU)와 TC(ku|KU)에 대한 추측된 국소화 코파일러 수열을 증명하며, 대수적 K-이론의 추적 사상과 호환됨을 보이는 것.
• Ausoni의 단순화된 계산에 필요한 가정을 검증함으로써, 대수적 K-이론에서 새로운 계산, 특히 $ V(1)_*K(KU) $의 계산을 가능하게 하는 것.

제안 방법

• 월드하우젠 구조와 심플리셜 사상 공간 간의 강한 일致성을 갖춘 심플리셜로 강화된 월드하우젠 범주를 도입하여 호모토피 이론적 대수와의 호환성을 확보하는 것.
• 월드하우젠 범주에 대해 두 가지 변형의 THH와 TC를 정의한다: 고전적 K-이론에 가까운 연결형 버전과 더 잘 동작하는 호모토피적으로 좋은 비연결형 버전이며, 연결성 조건 하에서 이들이 일치함을 보이는 것.
• weak equivalence가 $ ku $-모듈러스와 $ KU $-모듈러스에서 혼합된 방식으로 $ THH(ku|KU) $와 $ TC(ku|KU) $를 구성하며, 이는 고전적 대수적 K-이론에선 존재하지 않는 구성이다.
• THH와 TC에 대한 데비산주 정리(Devissage theorem)를 증명하여, 월드하우젠의 근사화 및 피브레이션 정리의 일반화를 THH 설정에 적용하는 것.
• 이론을 활용하여 국소화 코파일러 수열 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $를 증명하며, K-이론의 추적 사상과 호환됨을 보이는 것.
• 결과를 $ p $-국소화 및 $ p $-완비 설정으로 확장하여, $ K(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) $, $ BP_n $, $ E_n $에 대해 유사한 수열을 증명하며, $ BP_n $이 $ E_\infty $ 스펙트럼임을 보이는 것.

실험 결과

연구 질문

• RQ1 스펙트럴 범주를 초월하여 월드하우젠 범주에 대해 일관된 위상수학적 호크스홀드 호모로지(THH) 이론을 개발할 수 있는가?
• RQ2 THH에서 두 가지 다른 국소화 수열이 존재하는 이유는 무엇이며, 이는 대수적 K-이론의 국소화 수열과 어떻게 관련이 있는가?
• RQ3 weak equivalence가 $ ku $-모듈러스와 $ KU $-모듈러스에서 혼합된 $ THH(ku|KU) $를 어떻게 의미적으로 정의할 수 있는가?
• RQ4 국소화 수열 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $가 성립하며, K-이론의 추적 사상과 호환되는가?
• RQ5 이 프레임워크를 사용하여 구의 K-이론을 계산하는 Rognes 프로그램을 확장할 수 있는가, 특히 $ BP\langle n\rangle $ 대신 $ E_\infty $ 스펙트럼인 $ BP_n $을 사용함으로써 가능해지는가?
• RQ6 상대적 THH와 TC가 $ ku \to KU $에 대해 Rognes가 정의한 로그 THH와 TC와 동형인가?

주요 결과

• 논문은 $ ku $-모듈러스와 $ KU $-모듈러스의 weak equivalence를 혼합하는 잘 정의된 상대적 THH 항목 $ THH(ku|KU) $를 구성하여 이론의 핵심 기술적 장애물을 해결한다.
• 명시적인 국소화 코파일러 수열 $ THH(\mathbb{Z}) \to THH(ku) \to THH(ku|KU) \to \Sigma THH(\mathbb{Z}) $가 증명되며, Hesselholt와 Ausoni-Rognes의 추측을 확인한다.
• 위상수학적 순환 호모로지(TC)에 대해서도 유사한 국소화 수열이 확립된다: $ TC(\mathbb{Z}) \to TC(ku) \to TC(ku|KU) \to \Sigma TC(\mathbb{Z}) $, 이는 K-이론의 추적 사상과 호환된다.
• 월드하우젠 범주에 대한 THH와 TC 이론은 연결형과 비연결형 두 가지 변형으로 개발되며, 이들은 링과 연결형 스펙트럴 링에서 일치하며, 적절한 연결성 조건 하에서 동치임을 보인다.
• 국소화 수열이 $ p $-완비 및 $ p $-국소 케이스에 대해서도 증명된다: $ THH(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) \to THH(BP_n) \to THH(BP_n|E_n) \to \Sigma THH(\mathbb{W}\mathbb{F}_p[[u_1,\ldots,u_{n-1}]]) $, TC에 대해서도 마찬가지로 성립한다.
• BP_n이 $ E_\infty $ 스펙트럴 링 스펙트럼임을 증명하여, $ BP\langle n\rangle $가 오직 $ A_\infty $에 불과한 것과 대비하여 핵심적인 이점이 있음을 보이며, 새로운 프레임워크가 Rognes 프로그램의 계산에 더 적합함을 보여준다.