[논문 리뷰] A homological approach to chromatic complexity of algebraic K-theory

Gabriel Angelini‐Knoll, J. D. Quigley|arXiv (Cornell University)|2019. 08. 24.

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

한 줄 요약

이 논문은 $y(n)$의 위상수학적 주기적 호모로지(TP)가 색채 복잡도 $n+1$을 가지며, 상대 대수적 K-이론, 위상수학적 순환 호모로지(TC), 위상수학적 음성 순환 호모로지(TC⁻)는 최소한 색채 복잡도를 유지함을 규명한다. 호모로지 스펙트럴 시퀀스와 브루크스 필터링을 사용하여, $1 \leq m \leq n$일 때 $K(m)_*(TP(y(n))) \cong 0$임을 증명함으로써 TP에서의 색채 레드시프트 현상에 강력한 증거를 제시하며, 이는 모든 색채 수준에서 아우소니–로그네의 레드시프트 추측의 변종을 지지한다.

ABSTRACT

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$. Using trace methods, we give evidence that algebraic K-theory preserves this chromatic complexity. Our approach sheds light on the chromatic complexity of topological negative cyclic homology and topological periodic cyclic homology, which approximate algebraic K-theory and are of independent interest. Our main contribution is a homological approach that can be applied in great generality, such as to associative ring spectra $R$ without additional structure whose coefficient rings are not completely understood.

연구 동기 및 목표

• 위상수학적 주기적 호모로지(TP)가 $E_1$ 링 스펙트럼에 대해 색채 수준을 이동시키는지 조사한다. 특히 $y(n)$의 가족에 대해 연구한다.
• 대수적 K-이론과 위상수학적 순환 호모로지 이외에 TP와 TC⁻까지 포함하여 색채 레드시프트 추측을 일반화한다.
• 스펙트럴 시퀀스와 필터링 기법을 사용하여 $y(n)$의 TP, TC⁻, TC, 상대 대수적 K-이론에서 모라바 K-이론의 소멸성을 분석한다.
• 모든 색채 수준에서 TP의 일반화된 레드시프트 현상에 대한 증거를 제시하며, $y(n)$을 시험 사례로 삼는다.

제안 방법

• $TP(y(n))$의 그린리스 필터링을 사용하여 호모토피 군을 계산하는 스펙트럴 시퀀스를 구축한다.
• 호모로지 타이트 및 호모토피 고정점 스펙트럴 시퀀스를 적용하여 필터링의 $E_1$-페이지와 수렴성을 분석한다.
• 기반 $K(m)$-스펙트럴 시퀀스를 사용하여 $K(m)_*THH(y(n))$를 계산하고, 소멸 결과를 도출한다.
• 호모토피 고정점을 통해 TC⁻과 TP를 연결하는 피봇 수열 $\Sigma THH(y(n))_{h\mathbb{T}} \to TC^-(y(n)) \to TP(y(n))$을 사용한다.
• 던다스-구드윌리-맥카르티 정리를 적용하여 $TC(y(n), H\mathbb{F}_2)$와 $K(y(n), H\mathbb{F}_2)$를 연결함으로써 K-이론 계산을 가능하게 한다.
• 코액션 구조와 필터링 추론을 사용하여 $H_*(TP(y(n))[i])$의 코모듈 프라임티브 차수에 대한 경계를 확립한다.

실험 결과

연구 질문

• RQ1 TP의 $y(n)$에 대한 색채 복잡도가 $n+1$인지 여쭤본다.
• RQ2 TP가 모든 색채 수준에서 색채 수준을 이동시키며, 레드시프트 추측을 지지하는가?
• RQ3 상대 대수적 K-이론, TC⁻, TC가 $y(n)$에 대해 색채 복잡도를 유지하는가?
• RQ4 스펙트럴 시퀀스와 필터링을 통해 $1 \leq m \leq n$일 때 $TP(y(n))$에서 $K(m)_*$의 소멸을 확립할 수 있는가?
• RQ5 $H_*(TP(y(n))[i])$의 코모듈 프라임티브 차수에 통일된 경계가 존재하는가?

주요 결과

• $1 \leq m \leq n$일 때 $K(m)_*(TP(y(n))) \cong 0$임을 증명하여, TP가 색채 복잡도를 $n$에서 $n+1$으로 증가시킴을 보였다.
• $H_*(TP(y(n))[i])$의 코모듈 프라임티브 차수는 $i$에 관계없이 항상 $2^{n+1}$ 이하로 균일하게 유계이다.
• $1 \leq m \leq n$일 때 $K(m)_*(TC^-(y(n), H\mathbb{F}_2)) \cong 0$임을 보여, TC⁻가 색채 복잡도를 유지함을 확인하였다.
• $1 \leq \ell \leq n-1$일 때 $K(\ell)_*(TC^-(y(n))) \cong 0$임을 확인하여, 하위 색채 수준에서 TC⁻의 소멸을 확인하였다.
• 상대 대수적 K-이론 $K(y(n), H\mathbb{F}_2)$는 $0 \leq m \leq n-1$일 때 $K(m)_*(K(y(n), H\mathbb{F}_2)) \cong 0$를 만족하여 색채 복잡도를 유지함을 보였다.
• 피봇 수열 $TC(y(n), H\mathbb{F}_2) \to TC^-(y(n), H\mathbb{F}_2) \to TP(y(n), H\mathbb{F}_2)$와 던다스-구드윌리-맥카르티 정리를 통해 $TC(y(n), H\mathbb{F}_2) \simeq K(y(n), H\mathbb{F}_2)$임을 유도하였으며, $0 \leq m \leq n-1$일 때 $K(m)$-호모로지의 소멸을 확인하였다.