[논문 리뷰] Descent and cyclotomic redshift for chromatically localized algebraic K-theory

Shay Ben-Moshe, Shachar Carmeli외 2명|arXiv (Cornell University)|2023. 09. 13.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 $T(n+1)$-localized 대수적 $K$-이론이 $L_n^f$-local 안정적 $∞$-카테고리 위에서 $π$-finite $p$-군 작용에 대해 고차원 내림내림을 만족함을 증명하며, 높이 $n$인 순환 확장을 통해 순환적 붉은 이론을 확장하고, 임의의 $T(n)$-localized 링에 대한 순환 탑승에서 $K(n+1)$-localized $K$-이론이 초내림내림을 만족함을 증명한다. 이러한 결과들은 보다 정교한 붉은 이론 추측을 확인하고, 순환 내림내림에 대한 반례를 통해 타일러 추측의 핵심 장애물을 해결한다.

ABSTRACT

We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture.

연구 동기 및 목표

• 모든 유한 $p$-군에서의 내림내림 성질을 $L_n^f$-local 카테고리 위에서 $π$-finite $p$-군 작용으로 확장하는 것.
• $T(n+1)$-localized $K$-이론이 $T(n)$-localized 갈로아 확장을 $T(n+1)$-localized 갈로아 확장으로 보존함을 증명하는 것.
• $T(n+1)$-localized $K$-이론이 높이 $n$인 순환 확장을 높이 $n+1$인 순환 확장으로 보존함을 증명하여, $n=0$일 때 Bhatt–Clausen–Mathew의 결과를 일반화하는 것.
• $K(n+1)$-localized $K$-이론이 임의의 $T(n)$-localized 링의 순환 탑승을 따라 초내림내림을 만족함을 증명하는 것.
• 순환 내림내림에 대한 반례를 통해 타일러 추측을 반증하는 반례를 제시하는 것.

제안 방법

• 고차 카테고리 내림내림 기법을 사용하여 Clausen–Mathew–Naumann–Noel의 결과를 유한 $p$-군에서 $π$-finite $p$-군으로 확장하는 것.
• 단색 카테고리 이론과 카테고리적 국소화 이론을 적용하여 $L_n^f$-local 안정적 $∞$-카테고리 분석하는 것.
• 순환 확장의 맥락에서 푸리에 변환과 쿠머 이론을 사용하여 $R[\omega_{p^{(-)}}^{(n)}]$의 $K$-이론을 순환 층과 연결하는 것.
• $\mathbb{Z}_p$-집합의 사이트 위에서 $d^*$ 및 $d_*$ 함자를 적용하여 $K$-이론과 초층의 근사화 및 순환 완비화를 연결하는 것.
• 순환 완비화의 개념과 $\mathbb{S}_{T(n+1)}[\omega_{p^\infty}^{(n+1)}]$-국소화를 사용하여 초층을 특성화하는 것.
• 순환 완비화와 $\mathbb{S}_{T(n+1)}[\overline{\omega}_{p^\infty}^{(n+1)}]$-국소화 사이의 동치를 이용하여 초내림내림을 확립하는 것.

실험 결과

연구 질문

• RQ1 $T(n+1)$-localized 대수적 $K$-이론이 $L_n^f$-local 안정적 $∞$-카테고리 위에서 $π$-finite $p$-군 작용에 대해 내림내림을 만족하는가?
• RQ2 $T(n+1)$-localized $K$-이론이 $T(n)$-localized 갈로아 확장을 $T(n+1)$-localized 갈로아 확장으로 보존하는가?
• RQ3 $T(n+1)$-localized $K$-이론이 높이 $n$인 순환 확장을 높이 $n+1$인 순환 확장으로 보존하는가?
• RQ4 $K(n+1)$-localized $K$-이론이 $T(n)$-localized 링의 순환 탑승을 따라 초내림내림을 만족하는가?
• RQ5 $T(n+1)$-localized $K$-이론에 대해 순환 내림내림에 대한 반례를 구성할 수 있으며, 이는 타일러 추측에 어떤 함의를 갖는가?

주요 결과

• 논문은 $T(n+1)$-localized 대수적 $K$-이론이 $L_n^f$-local 안정적 $∞$-카테고리 위에서 $π$-finite $p$-군 작용에 대해 내림내림을 만족함을 증명하며, 이는 이전의 유한 $p$-군에 대한 결과를 일반화한다.
• 이 논문은 $T(n+1)$-localized $K$-이론이 $T(n)$-localized 갈로아 확장을 $T(n+1)$-localized 갈로아 확장으로 보존함을 증명하며, 붉은 이론 철학의 핵심 예측을 확인한다.
• 이 논문은 $T(n+1)$-localized $K$-이론이 높이 $n$인 순환 확장을 높이 $n+1$인 순환 확장으로 보존함을 증명하며, $n=0$일 때 Bhatt–Clausen–Mathew의 결과를 일반화한다.
• 이 논문은 $K(n+1)$-localized $K$-이론이 임의의 $T(n)$-localized 링의 순환 탑승을 따라 초내림내림을 만족함을 증명하며, 초층의 근사화와 순환 완비화를 통해 이를 확립한다.
• 이 논문은 $T(n+1)$-localized $K$-이론에 대해 순환 내림내림에 대한 반례를 구성하며, 이로 인해 타일러 추측이 반증됨을 보여준다.
• 결과들은 $K_{T(n+1)}(R[\overline{\omega}_{p^{(-)}}^{(n)}])$ 가 동시에 초층이자 수준별로 순환 완비임을 시사하며, $d^*$-사상의 도메인은 근원의 초층의 근사화 및 순환 완비화임을 나타낸다.