[논문 리뷰] A historical overview of pro cdh descent in algebraic $K$-theory and its relation to rigid analytic varieties

Matthew Morrow|arXiv (Cornell University)|2016. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 대수적 K-이론에서 pro cdh 강하의 역사적 개요를 제공하며, K-이론이 강한 해석 기하학적 다양체로 확장되는 데서 그 기초적 역할을 확인한다. Kerz, Strunk, 그리고 Tamme에 의해 일반적으로 증명된 바와 같이, pro cdh 강하는 강한 해석 기하학적 공간 위에서 Mayer–Vietoris 강하를 만족하는 연속 K-이론 준층의 구성이 가능하게 하여, 비아르키메데스 기하학을 위한 강력한 K-이론 프레임워크를 가능하게 한다.

ABSTRACT

This note was prepared after the workshop on cdh descent and algebraic $K$-theory in Hara-mura, Japan (1 - 5 Sept. 2016), to complement the author's talk on the history and applications of pro cdh descent. In the final section pro cdh descent is used to define $K$-groups of rigid analytic varieties. This note was revised and released in light of Kerz, Strunk, and Tamme establishing pro cdh descent in general (arXiv:1611.08466).

연구 동기 및 목표

• pro excision과 추상 블로우업 제곱에서 비롯된 pro cdh 강하의 역사적 발전을 추적하는 것.
• 강한 해석 기하학적 다양체에 대해 잘 정의된 K-이론을 가능하게 하는 pro cdh 강하의 역할를 명확히 하는 것.
• 강한 해석 기하학적 공간 위에 Mayer–Vietoris 강하를 만족하는 연속 K-이론 준층을 수립하는 것.
• pro cdh 강하가 강한 해석 기하학적 설정에서 K-이론에 필요한 강하 성질을 암시함을 보여주는 것.
• 호모토피 극한과 강하 구조를 통해 형식 스킴, 강한 해석 기하학, 비연결 K-이론 사이의 개념적이고 기술적인 다리를 구축하는 것.

제안 방법

• 추상 블로우업 제곱을, 정규 사상이 닫힌 부분 스킴 외부에서 동형을 유도하는 카르테시안 다이어그램으로 정의한다.
• pro 아벨 군의 상대 K-이론을 통해 pro cdh 강하 조건을 적용하며, $π_*$-모델 구조에서의 프로 스펙트럼의 동형을 요구한다.
• qcqs 스킴에서의 음의 K-이론의 영항성에 기인한 이곳에서의 중복성은 프로 스펙트럼의 $π_*$-모델 구조에서의 안정성 조건에 의해 생략된다.
• 아핀 $F$-대수 $R$에 대해 연속 K-이론 $K^{\text{cts}}(R)$를 $K(R \otimes_{\mathcal{O}_F} \mathcal{O}_F/\pi^s)$의 호모토피 극한으로 구성한다.
• 일반적인 qcqs 강한 해석 기하학적 다양체 $X$에 대해, 아핀 커버 위에서의 (예: 체흐 또는 고데망) 초코homology 구성법을 통해 $K^{\text{cts}}(X)$를 정의한다.
• Raynaud의 동치와 pro cdh 강하를 이용하여, 자립적 강하를 만족하는 형식 스킴 위의 코카르테시안 준층과, 적합한 강하를 만족하는 강한 해석 기하학적 다양체 위의 준층 사이의 대응을 수립한다.

실험 결과

연구 질문

• RQ1 대수적 K-이론에서의 pro cdh 강하는 고전적인 pro excision 문제와 어떻게 관련되어 있는가?
• RQ2 pro cdh 강하의 역사적 발전은 어떻게 이루어졌으며, Kerz, Strunk, 그리고 Tamme에 의한 일반적 증명으로 어떻게 정점에 도달했는가?
• RQ3 pro cdh 강하가 강한 해석 기하학적 다양체에 대해 잘 정의된 K-이론을 정의하는 데 사용될 수 있는가?
• RQ4 강한 해석 기하학 공간 위의 스펙트럼 준층이 Mayer–Vietoris 강하를 만족하기 위한 조건은 무엇인가?
• RQ5 연속 K-이론의 $K^{\text{cts}}(R)$에 대한 호모토피 극한 구성법은 형식 스킴의 K-이론과 적합한 블로우업과 어떻게 관련되어 있는가?

주요 결과

• Kerz, Strunk, 그리고 Tamme에 의해 확인된 lin, 모든 Noetherian 스킴의 추상 블로우업 제곱에 대해 pro cdh 강하가 일반적으로 성립한다.
• 모든 $n \in \mathbb{Z}$에 대해 프로 아벨 군 $\{K_n(X, X', Y_s)\}_s$는 0이 되며, 이는 비연결 K-이론의 맥락에서 pro cdh 강하와 동치이다.
• 강한 해석 기하학적 $F$-다양체 위에서의 연속 K-이론 준층 $K^{\text{cts}}$는 적합한 열린 커버에 대해 Mayer–Vietoris 강하를 만족한다.
• 모든 아핀 강한 해석 기하학적 공간 $\operatorname{Sp} R$에 대해, 값 $K^{\text{cts}}(\operatorname{Sp} R)$는 $K^{\text{cts}}(R)$와 약한 동치이며, 이는 $K(R \otimes_{\mathcal{O}_F} \mathcal{O}_F/\pi^s)$의 극한으로 정의된다.
• 일반적인 qcqs 강한 해석 기하학적 $X$에 대해 $K^{\text{cts}}(X)$를 구성하는 것은 체흐 또는 고데망 해상법과 같은 초코homology 프레임워크와 호환된다.
• 형식 스킴 위의 코카르테시안 준층과 강한 해석 기하학적 다양체 위의 준층 사이의 대응은 pro cdh 강하에 의해 유도되며, 이는 필수적인 강하 성질을 만족하는 유일한 $K^{\text{cts}}$-이론의 존재를 보장한다.