[논문 리뷰] On the algebraic K-theory of truncated polynomial algebras in several variables

Vigleik Angeltveit, Teena Gerhardt외 2명|arXiv (Cornell University)|2012. 06. 01.

Advanced Differential Equations and Dynamical Systems인용 수 3

한 줄 요약

이 논문은 다변수에서의 단조 폴리노미얼 대수의 대수적 K-이론을 계산하기 위해, 특성 0이 아닌 완전체 위에서의 다항식 대수에 대해 새로운 n차원 일반화된 큰 윌트 벡터를 도입한다. 사이클로믹 트레이스를 통해 위상수학적 순환 호모로지(TC)로의 연결을 이용하여, 스펙트럼의 n-큐브를 구성하고, 특성이 각 $ a_i $에 나누어지지 않을 경우 K-군을 명시적으로 계산하는 스펙트럼 수열을 도출한다. 이로써 윌트 벡터의 몫과 외적 대수의 형태로 정확한 기술을 얻는다.

ABSTRACT

We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field of positive characteristic we describe the K-theory computation in terms of a cube of these Witt vectors on N^n. If the characteristic of k does not divide any of the a_i we compute the K-groups explicitly. We also compute the K-groups modulo torsion for k=Z. To understand this K-theory spectrum we use the cyclotomic trace map to topological cyclic homology, and write TC(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)) as the iterated homotopy cofiber of an n-cube of spectra, each of which is easier to understand. Updated: This is a substantial revision. We corrected several errors in the description of the Witt vectors on a truncation set on N^n and modified the key proofs accordingly. We also replaces several topological statement with purely algebraic ones. Most arguments have been reworked and streamlined.

연구 동기 및 목표

• 기존의 Hesselholt와 Madsen의 $ k[x]/(x^a) $에 대한 K-이론 계산을 다변수 경우인 $ k[x_1,\dots,x_n]/(x_1^{a_1},\dots,x_n^{a_n}) $로 확장한다.
• 기존의 큰 윌트 벡터를 일반화하여 $ \mathbb{N}^n $ 위에 새로운 n차원 윌트 벡터 구조를 정의한다.
• 기본체의 특성이 각 $ a_i $에 나누어지지 않을 경우, 그리고 $ k = \mathbb{Z} $일 때, 상대 K-군 $ \widetilde{K}_*(A) $를 명시적으로 계산한다.
• 사이클로믹 트레이스와 TC 분해를 이용하여 스펙트럼의 n-큐브로 구성된 스펙트럼 수열을 수립하여 $ \widetilde{K}_*(A) $로 수렴한다.
• 유한체의 경우 K-군의 크기를 결정하여 명시적인 순서 공식을 제공한다.

제안 방법

• 대수적 K-이론과 위상수학적 순환 호모로지(TC) 사이의 사이클로믹 트레이스 사상으로 연결하여, TC 스펙트럼을 통해 K-이론을 계산할 수 있도록 한다.
• 각 변수 부분집합에 대응하는 스펙트럼의 n-큐브의 반복 호모토피 코프라이어로 $ \textnormal{TC}(A) $를 구성한다.
• 자르기 집합 $ S \subset \mathbb{N}^n $에 대해, 다변수의 일반화된 $ n $차원 윌트 벡터 $ \mathbb{W}_S(k) $를 정의한다.
• E_1-페이지가 윌트 벡터 군의 합과 외적 대수 $ E(x_1,\dots,x_{n-1}) $의 텐서곱과 동형인 스펙트럼 수열을 수립하며, 이 수열은 $ E_n $에서 붕괴된다.
• Verschiebung 사상 $ V_{a_i} $와 토러스 성분의 차수 사상의 분석을 통해, $ p \nmid a_i $일 때 분할 단사성을 보인다.
• $ k = \mathbb{Z} $일 경우, TR-군 계산을 통해 $ \textnormal{TC}(T \wedge \widehat{X}_I) $의 Poincaré 급수를 계산하고, 홀수 차수에서의 $ \mathbb{Z} $-성분의 수를 세는 방식으로 계산한다.

실험 결과

연구 질문

• RQ1 기본환으로서 양의 특성을 가진 완전체인 경우, $ n $개의 교환 가능한 변수에서의 단조 다항식 대수의 대수적 K-이론은 어떻게 계산할 수 있는가?
• RQ2 큰 윌트 벡터의 $ \mathbb{N}^n $로의 올바른 일반화는 무엇이며, 이를 통해 다변수 단조 대수의 K-이론은 어떻게 정리되는가?
• RQ3 K-군을 계산하는 스펙트럼 수열이 붕괴하는 조건은 무엇이며, 그 결과로 얻어지는 K-군의 구조는 어떠한가?
• RQ4 TC 스펙트럼 수열에서 Verschiebung 사상과 토러스 성분의 차수 사상은 어떻게 상호작용하여 미분을 결정하는가?
• RQ5 $ A = \mathbb{Z}[x_1,\dots,x_n]/(x_1^{a_1},\dots,x_n^{a_n}) $에 대해 K-군의 자유 랭크는 무엇이며, Poincaré 급수를 통해 어떻게 계산할 수 있는가?

주요 결과

• 완전체 $ k $의 특성이 $ p > 0 $이고 $ p \nmid a_i $일 경우, 상대 K-군 $ \widetilde{K}_*(A) $는 $ \widehat{K}_*(A) \otimes E(x_1,\dots,x_{n-1}) $와 동형이며, $ \widehat{K}_*(A) $는 홀수 차수에만 집중되어 있다.
• $ \widehat{K}_{2q-1}(A) $는 윌트 벡터의 몫으로 주어지며, $ \mathbb{W}_{S_q(\{1,\dots,n\})}(k) / \left( \sum_{i=1}^n V^{i}_{a_i}(\mathbb{W}_{S_q(\{1,\dots,\hat{i},\dots,n\})}(k)) \right) $이다.
• 기본체 $ k $가 유한할 경우, $ \widehat{K}_{2q-1}(A) $의 순서는 $ |k|^{\binom{n+q-1}{n} \prod_{i=1}^n (a_i - 1)} $이며, 이는 명시적인 순서 공식을 제공한다.
• K-군을 계산하는 스펙트럼 수열은 $ E_n $에서 붕괴하며, 그 $ E_1 $-페이지는 윌트 벡터 군의 직합과 외적 대수의 텐서곱과 동형이다.
• $ k = \mathbb{Z} $일 경우, $ \textnormal{TC}(T \wedge \widehat{X}_I) $의 Poincaré 급수는 $ \sum_{j \geq 1} t^{2j-1} \binom{n+j-2}{n-1} \prod_{i \in I} a_i $이며, 이는 $ \textnormal{TC}_{2j-1}(T \wedge \widehat{X}_I) $의 자유 랭크를 제공한다.
• $ d_1 $-미분은 $ p \nmid a_i $일 때 분할 단사적이며, 이는 K-군이 윌트 벡터의 몫으로 깔끔하게 기술될 수 있음을 허용한다.