[논문 리뷰] Algebraic K-theory and trace invariants

Lars Hesselholt|ArXiv.org|2003. 04. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 혼합 특성수 (0,p)를 가진 henselian离散가환환에서, 특히 계수를 $ p^v $ 로 나눈 경우, 대수적 K-이론에서 위상적 제약 호모로지(TR)로의 순환 추적 사상이 동형사상임을 증명한다. 또한, 계수를 가진 Milnor K-이론과 단위근의 대칭 대수는 $ K_*(K, \mathbb{Z}/p^v) $ 로 동형사상이 되며, 이러한 체에 대해 Lichtenbaum-Quillen 추측을 검증한다.

ABSTRACT

The cyclotomic trace of Bökstedt-Hsiang-Madsen, the subject of Bökstedt's lecture at the congress in Kyoto, is a map of pro-abelian groups K_*(A) -> TR_*^.(A;p) from Quillen's algebraic K-theory to a topological refinement of Connes' cyclic homology. Over the last decade, our understanding of the target and its relation to K-theory has been significantly advanced. This and possible future development is the topic of my lecture.

연구 동기 및 목표

• 혼합 특성수 (0,p)를 가진 henselian 이산가환환 체의 유한 계수를 가진 대수적 K-이론의 구조를 이해하기 위해.
• 순환 추적 사상에 의한 대수적 K-이론과 위상적 제약 호모로지(TR) 간의 관계를 명확히 하기 위해.
• 트레이스 불변량을 이용하여 국소 수체 및 관련 기하학적 체에 대해 Lichtenbaum-Quillen 추측을 검증하기 위해.
• 대수적 닫힘체 위에서 TR 군의 갈루아 모듈러 구조를 묘사하고, 이를 연속 코homology 내림과 연결하기 위해.
• 단위근을 가진 Milnor K-이론과 $ \mathbb{Z}/p^v $ 계수를 가진 K-이론 사이의 정확한 동형사상을 수립하기 위해.

제안 방법

• 프로 아벨 군을 통과하는 호모로지와 프로비에스 연산자와 호환되는 $ K_*(A) \to \operatorname{TR}_*^{\cdot}(A;p) $ 순환 추적 사상을 사용한다.
• TR 호모로지의 보편적 모델로 de Rham-Witt 복합체 $ W_\cdot\Omega_A^q $ 를 적용하여, 낮은 차수에서 동형임을 보이고, 높은 차수에서도 자주 성립함을 보인다.
• 로그 미분 사상 $ K_*^M(K) \to \Omega_{(V,M)}^* $ 를 위트 벡터 구성으로 정밀화하여 계수를 가진 K-이론을 복원한다.
• 단위근 $ \zeta \in \mu_{p^v} $ 와 관련된 Bott 원소 $ b_\zeta \in K_2(K, \mathbb{Z}/p^v) $ 를 사용하고, $ \mu_{p^v} $ 위에 대칭 대수를 구성한다.
• $ \operatorname{TR}_*^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p) $ 에서 갈루아 작용을 분석하여, Tate 모듈러와 순환 특성수를 통해 나누어떨어짐과 구조를 보인다.
• 완전한 $ \mathbb{F}_p $-대수 $ R_{\bar{V}} $ 에서의 일관된 단위근 체계를 사용하여 $ \theta_n: W(R_{\bar{V}}) \twoheadrightarrow W_n(\bar{V})^\wedge $ 가 주된 핵심을 가진 전성사상임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 순환 추적 사상 $ K_*(A, \mathbb{Z}/p^v) \to \operatorname{TR}_*^\cdot(A;p, \mathbb{Z}/p^v)^{F=1} $ 이 동형사상이 되는가?
• RQ2 혼합 특성수를 가진 henselian 국소체 $ K $ 에서, 계수를 가진 Milnor K-이론과 단위근에 대한 대칭 대수는 $ K_*(K, \mathbb{Z}/p^v) $ 를 재구성할 수 있는가?
• RQ3 $ \operatorname{TR}_*^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p) $ 의 갈루아 모듈러 구조는 무엇이며, 연속 코homology와 어떻게 관련되는가?
• RQ4 $ \bar{V} $ 가 $ V $ 의 정수적 닫힘일 때, $ \bar{V} $ 와 $ V $ 의 TR 군은 어떻게 관련되며, 프로비에스 작용은 어떤 역할을 하는가?
• RQ5 잔여 체가 완전할 경우, 자연스러운 사상 $ \operatorname{TR}_q^\cdot(V|K;p, \mathbb{Q}_p/\mathbb{Z}_p) \to \operatorname{TR}_q^\cdot(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p)^{G_K} $ 가 동형사상이 되는가?

주요 결과

• 정칙 $ \mathbb{F}_p $-대수 및 분리적으로 닫힌 잔여 체를 가진 henselian 이산가환환에 대해, 순환 추적 사상은 동형사상 $ K_*(A, \mathbb{Z}/p^v) \xrightarrow{\sim} \operatorname{TR}_*^\cdot(A;p, \mathbb{Z}/p^v)^{F=1} $ 을 유도한다.
• $ \mu_{p^v} \subset K $ 일 때, 자연스러운 사상 $ K_*^M(K) \otimes_{\mathbb{Z}} S_{\mathbb{Z}/p^v}(\mu_{p^v}) \xrightarrow{\sim} K_*(K, \mathbb{Z}/p^v) $ 는 계수를 가진 군의 등급환으로서 동형사상이며, 이는 Beilinson-Lichtenbaum 추측을 $ m = p^v $ 에 대해 증명한다.
• $ \operatorname{TR}_1^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $ 는 $ \operatorname{TR}_0^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $ 위에서 계수를 가진 자유 모듈러의 랭크 1인 Tate 모듈러 $ T_p\operatorname{TR}_1^n(\bar{V}|\bar{K};p) $ 를 가지며, 이 모듈러 위의 대칭 대수가 $ \operatorname{TR}_*^n(\bar{V}|\bar{K};p, \mathbb{Z}_p) $ 를 복원한다.
• Bott 원소 $ b_{\epsilon,n} \in T_p\operatorname{TR}_1^n(\bar{V}|\bar{K};p) $ 는 $ b_{\epsilon,n} = ([\epsilon_n] - 1) \cdot \alpha_{\epsilon,n} $ 를 만족하며, 여기서 $ \alpha_{\epsilon,n} $ 는 표준적 생성자이다.
• 원소 $ \alpha_{\epsilon,n} $ 에 대한 갈루아 작용은 $ \alpha_{\epsilon,n}^\sigma = \chi(\sigma) \frac{[\epsilon_n] - 1}{[\epsilon_n^\sigma] - 1} \cdot \alpha_{\epsilon,n} $ 로 주어지며, $ \chi $ 는 순환 특성수이다.
• 고차 연속 코homology 군 $ H_{\text{cont}}^i(G_K, \operatorname{TR}_q^n(\bar{V}|\bar{K};p, \mathbb{Q}_p/\mathbb{Z}_p)) $ 는 $ i \geq 0 $, $ q > 0 $ 일 때 0이 되며, 갈루아 내림에 대한 추측을 지지한다.