[논문 리뷰] Relative continuous K-theory and cyclic homology

Alexander Beilinson|arXiv (Cornell University)|2013. 12. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 8

한 줄 요약

이 논문은 $ p $-adic 환 $ A $와 적절한 이상 $ I $에 대해, 유리수화된 상대 연속적 $ K $-이론 프로스펙트라 $ K(A,I)_{\mathbb{Q}}^\wedge $와 이동된 유리수화된 순환 호모로지 프로복합체 $ CC(A)_{\mathbb{Q}}^\wedge[1] $ 사이에, 준동형사상에 대해 자연스러운 호모토피 동치를 수립한다. 이는 Goodwillie의 정리에 Lazard 유형 이론을 적용하여 $ p $-adic 설정으로 일반화한 것으로, 고전적 $ K \simeq CC[1] $ 동치의 연속적 형태를 제공한다.

ABSTRACT

We show that for an associative algebra A and its ideal I such that the I-adic topology on A coincides with the p-adic topology, the relative continuous K-theory pro-spectrum "lim"K(A_i, IA_i), where A_i :=A/p^i A, is naturally isogenous to the cyclic chain pro-complex "lim"CC(A_i) (subject to minor conditions on A). This identification is a continuous version of the classical Goodwillie isomorphism. The work comes from an attempt to understand the article of Bloch, Esnault, and Kerz "p-adic deformations of algebraic cycle classes".

연구 동기 및 목표

• 상대 $ K $-이론과 순환 호모로지에 대해 Goodwillie의 동치 $ K(R,J) \simeq CC(R,J)[1] $ 를 $ p $-adic 설정으로 확장하는 것.
• 적절한 $ p $-adic 환과 $ p $-adic 위상 조건을 만족하는 이상을 가진 경우, 프로스펙트라 설정에서 $ K \simeq CC[1] $ 동치의 연속적 형태를 구축하는 것.
• 연속적 $ K $-이론과 순환 호모로지를 이용하여 산술기하학에서 Bloch-Esnault-Kerz 유형의 동치를 재정의하는 새로운 증명을 제공하는 것.
• 기하적 가정 하에 $ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) $ 와 de Rham 호모로지의 Hodge 필터링 간 비교를 수립하는 것.

제안 방법

• 상대 연속적 $ K $-이론 프로스펙트라 $ K(A,I)^\wedge $ 를 $ A_i = A/p^i $, $ I_i = IA_i $ 인 경우의 $ K(A_i, I_i) $ 의 극한으로 정의한다.
• 프로스펙트럼 프레임워크를 사용하여, $ CC(A)^\wedge $ 를 $ CC(A_i) $ 의 극한으로 정의한다.
• Lazard 이론을 $ p $-adic 설정에서 Malcev 이론의 대체로 사용하여, $ CC(A)^\wedge $ 와 $ CC(A,I)^\wedge $ 간의 비교를 단순화한다.
• 대칭 대수 $ CC(A)^\wedge[1] $, 리 대수 복합체 $ C(\mathfrak{gl}(A)^\wedge) $, $ K $-이론 프로스펙트라 $ \Omega^\infty K(A,I)^\wedge $ 사이의 연속적인 준동형사상 사슬을 구성한다.
• 이들 사상의 병합이 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 와 $ K(A,I)^\wedge_{\mathbb{Q}} $ 사이에 준동형사상 동치를 유도함으로써 주요 결과를 증명한다.
• 기하적 설정에 적용하여, $ O_E $-스킴 $ X $ 가 위상적 닫힘 성질을 가지며 일반 성분이 매끄럽다면, $ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) $ 를 $ \oplus_a H^{2a-n}_{\text{dR}}(X_E)/F^a $ 와 동일시한다.

실험 결과

연구 질문

• RQ1 Goodwillie의 동치 $ K(R,J) \simeq CC(R,J)[1] $ 는 연속적 $ K $-이론과 순환 호모로지의 $ p $-adic 설정으로 확장될 수 있는가?
• RQ2 이상 $ I $ 가 $ p $-adic 위상 조건을 만족할 경우, 프로설정에서 $ CC(A)^\wedge $ 와 $ CC(A,I)^\wedge $ 의 차이가 유리수적으로 사라지는가?
• RQ3 Bloch-Esnault-Kerz의 $ K $-이론과 de Rham 호모로지 간 동치는 연속적 $ K $-이론과 순환 호모로지를 통해 재구성될 수 있는가?
• RQ4 $ p $-adic 환과 적절한 이상에 대해 $ K(A,I)^\wedge_{\mathbb{Q}} $ 와 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 사이에 표준적인 준동형사상 동치가 존재하는가?
• RQ5 $ K $-이론의 경계 사상과 $ p $-adic 설정에서의 결정성 특성 클래스 사상 간의 정확한 관계는 무엇인가?

주요 결과

• 특정 조건을 만족하는 $ p $-adic 환 $ A $ 와 이상 $ I $ 에 대해, $ K(A,I)^\wedge_{\mathbb{Q}} $ 와 $ CC(A)^\wedge[1]_{\mathbb{Q}} $ 사이에 자연스러운 호모토피 동치가 준동형사상에 대해 수립된다. 이 조건은 $ I $-adic 위상과 $ p $-adic 위상 간의 일致를 포함한다.
• 이 구성은 Goodwillie의 정리를 연속적 $ p $-adic 설정으로 일반화하며, 핵심 단순화는 $ CC(A)^\wedge $ 와 $ CC(A,I)^\wedge $ 간의 토크션 차이가 유리수적으로 사라진다는 점이다.
• 기하적 설정에서 주요 결과는 $ \mathbb{Q}_p $-벡터 공간 간의 표준적 동치를 제공한다: $ \mathbb{Q} \otimes \varprojlim K_n^B(X_i, Y) \simeq \oplus_a H^{2a-n}_{\text{dR}}(X_E)/F^a $, 여기서 $ X $ 는 일반 성분이 매끄러운 $ O_E $-스킴이다.
• 증명은 대칭 대수, 리 대수 복합체, $ GL $-군 복합체를 포함하는 준동형사상 사슬에 의존하며, 최종적으로 호모로지의 기본 부분이 유지됨을 보여준다.
• 이 결과는 $ A_1 $ 의 안정적 랭크가 유한함을 가정할 경우 성립하며, 이는 호모로지에서 필요한 준동형사상 성질을 보장한다.
• 구성은 $ a \geq 0 $, $ m \geq 1 $ 의 선택에 영향을 받지 않으며, 최종 준동형사상은 표준적이고 유리수적이다.