[논문 리뷰] Algebraic K-theory of strict ring spectra

John Rognes|arXiv (Cornell University)|2014. 03. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 64인용 수 7

한 줄 요약

이 논문은 엄격한 링 스펙트럼의 대수적 K-이론을 위한 프레임워크를 개발하며, 온화한 분할 확장을 모델링하기 위해 로그형 토폴로지컬 호흐슈일드 호모로지와 재충실(bar) 구조를 도입한다. p-국소화된 구면 스펙트럼에서 연결형 토폴로지컬 K-이론으로 향하는 로그 thh-에탈 사상이 확립되어, 모티빅 코homology에서 산술 대칭성에 대한 증거를 제공하며, 약간의 국소화 이후에 분할 확장을 스펙트럼적으로 실현함으로써 이를 갈루아 코hom로지와 연결시킨다.

ABSTRACT

We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are available at regular primes, but we seek more conceptual answers in terms of localization and descent properties. Calculations for ring spectra related to topological K-theory suggest the existence of a motivic cohomology theory for strictly commutative ring spectra, and we present evidence for arithmetic duality in this theory. To tie motivic cohomology to Galois cohomology we wish to spectrally realize ramified extensions, which is only possible after mild forms of localization. One such mild localization is provided by the theory of logarithmic ring spectra, and we outline recent developments in this area.

연구 동기 및 목표

• 다양한 다양체의 자기동형사상에의 응용을 동기로 삼아, 엄격한 링 스펙트럼의 대수적 K-이론을 위한 개념적 프레임워크를 개발하는 것.
• 특히 구면 스펙트럼과 토폴로지컬 K-이론과의 관계에서 링 스펙트럼의 K-이론의 국소화 및 강하 성질을 이해하는 것.
• 엄격하게 교환법칙을 만족하는 링 스펙트럼을 위한 모티빅 코hom로지 이론을 수립하고, 이 설정에서 산술 대칭성에 대한 증거를 제공하는 것.
• 로그형 스펙트럼을 통한 분할 확장을 스펙트럼적으로 실현함으로써, 모티빅 코hom로지와 갈루아 코hom로지 사이의 연결 고리를 마련하는 것.
• 로그형 확장의 분류를 위한 Goerss–Hopkins–Miller 장애 이론의 로그형 유사체계를 구축하고, 새로운 온화한 분할 확장을 생성하는 것.

제안 방법

• 군 완비화 모델 구조에서 $\text{CS}^\text{J}$ 위에서 재충실 바 구조 $B^{\text{rep}}(M)$ 를 순환 바 구조 $B^{\text{cy}}(M)$ 의 프라이프레스터 코일링으로 사용한다.
• 기저 전환 $THH(A,M) \to THH(B,N)$ 을 통해 $B \to THH(B,N)$ 이 등가가 되는 조건을 통해 형식적 로그 thh-에탈 사상을 정의한다.
• d-주기적 교환법칙을 만족하는 커뮤터티브 심메트릭 링 스펙트럼 $E$ 의 곱셈 모노이드 $GL_1^{\text{J}}(E)$ 에 재충실 바 구조를 적용하여 로그형 THH를 모델링한다.
• 연결형 커버 $e$ 에 대해 자연스러운 호모토피 코프라이머 시퀀스 $THH(e) \to THH(e, j_*GL_1^{\text{J}}(E)) \to \bigvee \text{THH}(e[0,d))$ 를 수립한다.
• 트레이스 사상으로 $\tau_0(e)$, $e$, $E$ 의 K-이론과 각각의 THH 및 $WTHH^{\text{Γ}}$-이론을 연결한다.
• 순환 스펙트럼의 등가성에 대해 추측하는 $THH(e, j_*GL_1^{\text{J}}(E)) \to WTHH^{\text{Γ}}(e|E)$ 를 제안하며, 이는 트레이스 사상과 호환된다.

실험 결과

연구 질문

• RQ1 엄격하게 교환법칙을 만족하는 링 스펙트럼을 위한 모티빅 코hom로지 이론이 산술 대칭성을 지지할 수 있도록 실현될 수 있는가?
• RQ2 특히 온화한 분할성의 맥락에서 링 스펙트럼의 분할 확장을 어떻게 스펙트럼적으로 실현할 수 있는가?
• RQ3 로그형 토폴로지컬 호흐슈일드 호모로지가 링 스펙트럼의 강하 및 에탈 성질을 모델링하는 데 어떤 역할을 하는가?
• RQ4 로그형 확장의 분류를 위한 Goerss–Hopkins–Miller 장애 이론의 로그형 유사체계가 존재하는가?
• RQ5 연결형 커버와 그 로그 구조를 포함한 시퀀스를 통해 링 스펙트럼의 대수적 K-이론을 계산할 수 있는가?

주요 결과

• 사상 $(\bar{\nu}, j_*GL_1^{\text{J}}(L_p)) \to (ku_p, j_*GL_1^{\text{J}}(KU_p))$ 는 로그 thh-에탈이며, $\bar{\nu}$ 와 $ku_p$ 사이의 핵심 연결 고리가 된다.
• d-주기적 교환법칙을 만족하는 커뮤터티브 심메트릭 링 스펙트럼 $E$ 와 그 연결형 커버 $e$ 에 대해 자연스러운 호모토피 코프라이머 시퀀스 $THH(e) \to THH(e, j_*GL_1^{\text{J}}(E)) \to \bigvee \text{THH}(e[0,d))$ 가 존재한다.
• $V(1)$-호모토피에서 $THH(ku_p)$ 는 $THH(\bar{\nu})$, $THH(\bar{\nu}, j_*GL_1^{\text{J}}(L_p))$, 및 $THH(ku_p, j_*GL_1^{\text{J}}(KU_p))$ 를 통해 계산될 수 있다.
• $\tau_0(e)$ 가 정규일 때, K-이론과 THH 사이의 수평 호모토피 코프라이머 시퀀스 간의 사상이 구성되며, 트레이스 사상은 수직 화살표로 제공된다.
• 순환 스펙트럼의 등가성에 대해 추측하는 $THH(e, j_*GL_1^{\text{J}}(E)) \to WTHH^{\text{Γ}}(e|E)$ 는 트레이스 사상과 호환되는 등가로 간주된다.
• $ku_2$ 가 유한 세포 $ko_2[C_2]$-모듈러의 리트랙트가 되지 못함으로써 야생 분할이 발생하는 것으로 나타나, 홀수 소수 $p$ 에서의 $ku_p$ 의 온화한 분할성과 대비된다.