[논문 리뷰] Trace theories, Bokstedt periodicity and Bott periodicity

D. Kaledin|arXiv (Cornell University)|2020. 04. 08.

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

한 줄 요약

이 논문은 추적 이론과 안정화를 통해 위상수학적 호크시프드 호몰로지(THH), 보크스타드 주기성, 보트 주기성 간의 개념적 프레임워크를 수립한다. THH(A)가 공역주기적 순환 호몰로지 위의 켤레 필터링의 제로번째 항과 자연스럽게 동형임을 증명하며, 보크스타드 생성자 σ를 보트 주기성 생성자 u⁻¹과 식별하고, 호크시프드-위트 호몰로지에 기반한 THH의 새로운 대수적 기술을 제공한다.

ABSTRACT

We flesh out the theory of "trace theories" and "trace functors" sketched in arXiv:1308.3743, extend it to a homotopical setting, and prove a reconstruction theorem claiming that a trace theory is completely determined by the associated trace functor. As an application, we consider Topological Hoshschild Homology $THH(A,M)$ of a algebra $A$ over a perfect field of positive characteristic, with coefficients in a bimodule $M$, and prove two comparison results. Firstly, we give a very simple algebraic model for THH in terms of Hochschild-Witt Homology WHH of arXiv:1604.01588 (and we also identify $TP(A)$ with the periodic version $WHP(A)$ of WHH). Secondly, we prove that $THH(A)$ is identified with the zero term of the conjugate filtration on the co-periodic cyclic homology $\overline{HP}(A)$ of arXiv:1509.08784, and the isomorphism sends the Bokstedt periodicity generator to the Bott periodicity generator. We also give an independent proof of Bokstedt periodicity that is somewhat shorter than the usual ones.

연구 동기 및 목표

• 위상수학적 호크시프드 호몰로지에서 보크스타드 주기성을 순수하게 대수적이고 개념적으로 증명하는 것.
• THH와 공역주기적 순환 호몰로지 간의 비교를 수립하고, 보트 주기성 생성자를 식별하는 것.
• 모든 k-대수 A와 이중모듈러 M에 대해 THH(A,M)를 Hochschild-Witt 호몰로지 WHH(A,M)로 표현하는 것.
• 켤레 필터링이 THH와 주기적 순환 호몰로지 간의 관계를 어떻게 설명하는지 명확히 하는 것.
• p-진 호드지 이론에서 '틀린' 총합화가 왜 THH와 동치인지 밝혀내어 이론적 수수께끼를 해결하는 것.

제안 방법

• THH(A,M)의 계산을 완전체 k에 대한 THH(k,M)로 줄이기 위해 추적 이론 이론을 사용한다.
• 이중모듈러와 그 호모토피 범주에 대한 함자적 구성에 대해 안정화 및 가역화 기법을 적용한다.
• 상대 테이트 코호몰로지와 스펙트럴 시퀀스를 활용해 THH와 WHH의 호모토피 군을 분석한다.
• φ: THH(k) → R 인 맵을 구성하여 φ(σ)가 비영이지 nilpotent가 아님을 보여, k[σ]가 THH(k)에 임베드됨을 증명한다.
• 순환 구조와 순환 추적의 잘라내기 기법을 사용해 고급 스펙트럴 시퀀스 기법에 의존하지 않고 φ를 정의한다.
• 켤레 필터링을 적용하고, THH에서 HH[σ]로 가는 스펙트럴 시퀀스와 비교하여 보트 주기성과의 호환성을 보여준다.

실험 결과

연구 질문

• RQ1 보크스타드 주기성이 THH에서 스펙트럴 시퀀스의 논증이 아닌 순수 대수적이고 개념적인 방법으로 증명될 수 있는가?
• RQ2 THH(A)와 공역주기적 순환 호몰로지 위의 켤레 필터링 간에 직접적인 대수적 동형이 존재하는가?
• RQ3 Hochschild-Witt 호몰로지 WHH는 k-대수 위의 이중모듈러 맥락에서 THH와 어떻게 관련되어 있는가?
• RQ4 주기적 호몰로지 이론에서 보크스타드 생성자 σ와 보트 주기성 생성자 u⁻¹ 간의 정확한 관계는 무엇인가?
• RQ5 '틀린' 총합화가 p-진 호드지 이론에서 왜 THH와 일치하는가? 그리고 켤레 필터링은 이를 어떻게 설명하는가?

주요 결과

• THH(A)는 공역주기적 순환 호몰로지 위의 켤레 필터링의 제로번째 항과 자연스럽게 동형이며, 즉 THH(A) ≅ V₀CP̄(A).
• 보크스타드 주기성 생성자 σ ∈ THH(k)는 동형 아래에서 보트 주기성 생성자 u⁻¹ ∈ CP̄(A)로 대응되며, 따라서 THH(A) ⊗k[σ] k(σ,σ⁻¹) ≅ CP̄(A).
• 모든 k-대수 A와 A-이중모듈러 M에 대해 THH(A,M)와 WHH(A,M) 사이에 함자적 동형이 존재한다.
• HH(A)[σ]에서 THH(A)로 가는 스펙트럴 시퀀스는 켤레 스펙트럴 시퀀스와 동형이며, 양의 특성에서의 분해 패턴을 설명한다.
• φ(σ)가 비영이지 nilpotent가 아닌 맵 φ: THH(k) → R을 통해 k[σ]가 THH(k)에 임베드됨을 증명하였고, 차원적 이유로 인해 THH(k) = k[σ]임을 유도한다.
• 테이트 코호몰로지의 사용은 테이트 호몰로지의 사용보다 더 통일된 증명을 가능하게 하며, p=2를 포함한 모든 소수 p에 대해 적용 가능하게 하여 이전 연구의 기술적 결함을 해결한다.