[论文解读] On the algebraic K-theory of truncated polynomial algebras in several variables

Vigleik Angeltveit, Teena Gerhardt+2 more|arXiv (Cornell University)|Jun 1, 2012

Advanced Differential Equations and Dynamical Systems被引用 3

一句话总结

本文通过引入大威尔特向量的新型n维推广，计算了在正特征的完美域上、多个变量的截断多项式代数的代数K-理论。利用到拓扑循环同调的循环迹，作者构建了一个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.

研究动机与目标

• 将赫塞尔霍尔特与曼森对 $ k[x]/(x^a) $ 的K-理论计算推广至多变量情形 $ k[x_1,\dots,x_n]/(x_1^{a_1},\dots,x_n^{a_n}) $。
• 在 $ \mathbb{N}^n $ 上定义一种新的n维威尔特向量构造，推广经典的大威尔特向量。
• 当基域 $ k $ 的特征不整除任意 $ a_i $ 时，显式计算多相对K-理论群 $ \widetilde{K}_*(A) $，并对 $ k = \mathbb{Z} $ 取模挠。
• 通过循环迹与TC分解为n维谱立方体，建立收敛于 $ \widetilde{K}_*(A) $ 的谱序列。
• 确定有限域情形下K-群的大小，给出显式的阶公式。

提出的方法

• 利用循环迹映射将代数K-理论与拓扑循环同调（TC）联系起来，通过TC谱实现计算。
• 将 $ \textnormal{TC}(A) $ 构造为与变量子集相关联的n维谱立方体的迭代同伦余纤维。
• 为截断集 $ S \subset \mathbb{N}^n $ 定义n维威尔特向量 $ \mathbb{W}_S(k) $，推广一维情形。
• 建立一个谱序列，其 $ E_1 $-页同构于威尔特向量群与外代数 $ E(x_1,\dots,x_{n-1}) $ 的直和，该谱序列在 $ E_n $ 处崩溃。
• 利用弗尔施贝克映射 $ V_{a_i} $ 与环面因子上的度数映射分析微分，证明当 $ p \nmid a_i $ 时为分裂单射。
• 对 $ k = \mathbb{Z} $，利用TR-群计算并计数奇数度数中的 $ \mathbb{Z} $-直和项，计算 $ \textnormal{TC}(T \wedge \widehat{X}_I) $ 的Poincaré级数。

实验结果

研究问题

• RQ1 当基环为正特征的完美域时，如何计算n个交换变量的截断多项式代数的代数K-理论？
• RQ2 大威尔特向量在 $ \mathbb{N}^n $ 上的正确推广是什么？它如何组织多变量截断代数的K-理论？
• RQ3 在何种条件下，计算 $ \widetilde{K}_*(A) $ 的谱序列会崩溃？其结果K-群的结构如何？
• RQ4 在TC谱序列中，弗尔施贝克映射与环面因子上的度数映射如何相互作用以决定微分？
• RQ5 对于 $ A = \mathbb{Z}[x_1,\dots,x_n]/(x_1^{a_1},\dots,x_n^{a_n}) $，K-理论群的自由秩是多少？如何通过Poincaré级数计算？

主要发现

• 对于正特征 $ p > 0 $ 的完美域 $ k $，且满足 $ 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)} $，给出显式的阶公式。
• 计算 $ \widetilde{K}_*(A) $ 的谱序列在 $ 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) $ 的自由秩。
• 当 $ p \nmid a_i $ 时，谱序列的 $ d_1 $-微分为分裂单射，使得K-理论可清晰描述为威尔特向量的商。