[논문 리뷰] Purity in chromatically localized algebraic $K$-theory

Markus Land, Akhil Mathew외 2명|arXiv (Cornell University)|2020. 01. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 45인용 수 12

한 줄 요약

이 논문은 크로마틱으로 국소화된 대수적 K-이론에서 순수성 성질을 확립한다: $ n \geq 1 $ 이면 $ K(R) $ 의 $ T(n) $-국소화는 오직 $ R $ 의 $ T(0) \oplus \cdots \oplus T(n) $-국소화에만 의존한다. 이는 월드하우젠의 유리수 $ K $-이론 결과를 더 높은 크로마틱 높이로 확장하며, $ n \geq 2 $ 이면 $ L_{T(n)}K(R) $ 가 $ T(n) $-국소화 이후 $ \mathrm{TC}(\tau_{\geq 0}R) $ 와 동치임을 시사한다. 이는 허수 정리와 콘티누이티 보존에 응용된다.

ABSTRACT

We prove a purity property in telescopically localized algebraic $K$-theory of ring spectra: For $n\geq 1$, the $T(n)$-localization of $K(R)$ only depends on the $T(0)\oplus \dots \oplus T(n)$-localization of $R$. This complements a classical result of Waldhausen in rational $K$-theory. Combining our result with work of Clausen--Mathew--Naumann--Noel, one finds that $L_{T(n)}K(R)$ in fact only depends on the $T(n-1)\oplus T(n)$-localization of $R$, again for $n \geq 1$. As consequences, we deduce several vanishing results for telescopically localized $K$-theory, as well as an equivalence between $K(R)$ and $\mathrm{TC}(τ_{\geq 0} R)$ after $T(n)$-localization for $n\geq 2$.

연구 동기 및 목표

• 텔레스코픽 국소화를 사용하여 월드하우젠의 유리수 $ K $-이론 순수성 결과를 더 높은 크로마틱 높이로 확장하기.
• 모든 $ n \geq 1 $ 에 대해 $ L_{T(n)}K(R) $ 가 $ R $ 의 $ T(0) \oplus \cdots \oplus T(n) $-국소화에만 의존한다는 것을 증명하여 크로마틱 순수성 정리를 확립하기.
• $ T(n) $-국소화된 $ K $-이론에 대한 허수 결과를 유도하고, 국소화 이후에 $ K(R) $ 가 상위 순환 호모로지로 어떻게 기술되는지 규명하기.
• $ n \geq 2 $ 이면 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ 라는 동치를 보여주어 높은 크로마틱 계층에서 $ K $-이론과 $ \mathrm{TC} $ 를 연결하기.
• $ T(n) $-국소화된 $ K $-이론이 분할된 콘티누이티를 보존하고, $ n \geq 2 $ 이면 파렐-존스 유형의 어셈블리 맵 동치가 성립함을 보여주기.

제안 방법

• 데칼라주 기법을 사용하여 잘라내는 성질을 증명하고, 극도로 연결된 경우로의 축소를 통해 순수성 정리를 증명하기.
• 이미 유도된 바에 따르면 $ L_{T(n)}K(R) $ 가 $ R $ 의 $ T(0) \oplus \cdots \oplus T(n) $-국소화에만 의존한다는 사실을 귀납법과 국소화 함자들을 통해 활용하기.
• 클라우젠–마테우–노아우–노엘의 결과를 활용하여 $ n \geq 1 $ 이면 의존성이 $ T(n-1) \oplus T(n) $-국소화로 더욱 정밀화됨을 보이기.
• $ n \geq 2 $ 이면 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ 라는 동치를 적용하며, $ \mathrm{TC} $-기반 근사와 $ p $-진 완비화에 의존하기.
• $ \mathrm{TC} $ 와 $ \mathrm{TC}/p $ 가 분할된 콘티누이티를 보존한다는 사실을 활용하여 $ L_{T(n)}K(R) $ 도 이러한 콘티누이티를 보존함을 보이기.
• $ p $-진 $ \mathrm{TC} $-어셈블리 결과와 $ K $-이론에 대한 $ \mathrm{TC} $-동치를 조합하여 $ T(n) $-국소화된 파렐-존스 어셈블리 맵 동치를 확립하기.

실험 결과

연구 질문

• RQ1 모든 $ n \geq 1 $ 에 대해 $ L_{T(n)}K(R) $ 가 $ R $ 의 $ T(0) \oplus \cdots \oplus T(n) $-국소화에만 의존하는가? 이는 월드하우젠의 유리수 $ K $-이론 결과를 일반화하는가?
• RQ2 $ n \geq 1 $ 이면 $ L_{T(n)}K(R) $ 의 의존성이 $ R $ 의 $ T(n-1) \oplus T(n) $-국소화로 더욱 정밀화될 수 있는가?
• RQ3 $ n \geq 2 $ 이면 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ 라는 동치가 존재하는가? 이는 $ K $-이론과 상위 순환 호모로지 사이의 연결을 제공하는가?
• RQ4 $ n \geq 2 $ 이면 $ L_{T(n)}K(R) $ 가 분할된 콘티누이티를 보존하는가? 만약 그렇다면 $ R $ 에 어떤 조건이 필요하는가?
• RQ5 $ n \geq 2 $ 이면 $ K(R) $ 의 파렐-존스 어셈블리 맵이 $ T(n) $-국소화 이후에 $ T(n) $-동치가 되는가?

주요 결과

• $ n \geq 1 $ 이면 $ L_{T(n)}K(R) $ 는 $ R $ 의 $ T(0) \oplus \cdots \oplus T(n) $-국소화에만 의존하며, 크로마틱 순수성 성질을 확립한다.
• $ n \geq 1 $ 이면 $ L_{T(n)}K(R) $ 의 의존성이 클라우젠–마테우–노아우–노엘의 작업에 따라 $ R $ 의 $ T(n-1) \oplus T(n) $-국소화로 더욱 정밀화될 수 있다.
• $ n \geq 2 $ 이면 자연스러운 동치 $ L_{T(n)}K(R) \simeq L_{T(n)}\mathrm{TC}(\tau_{\geq 0}R) $ 가 존재하며, 이는 국소화 이후에 $ K $-이론이 $ \mathrm{TC} $ 로 근사됨을 보여준다.
• $ n \geq 2 $ 이면 $ R \mapsto L_{T(n)}K(R) $ 는 모든 링 스펙트럼과 $ T(n-1) $-국소화 링 스펙트럼 상에서 분할된 콘티누이티를 보존한다.
• $ n \geq 2 $ 이면 $ K(R) $ 의 파렐-존스 어셈블리 맵이 $ T(n) $-국소화 이후에 $ T(n) $-동치가 된다.
• $ T(n) $-국소화된 $ K $-이론에 대한 허수 결과는 순수성 정리로부터 유도되며, 특히 $ R $ 이 낮은 크로마틱 높이를 가질 경우에 특히 그렇다.