[論文レビュー] 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

ひとこと要約

この論文は、正の特性を持つ完全体上での多変数の切断多項式代数の代数的K理論を、大域的ウィットベクトルのn次元一般化を導入することで計算する。トポロジカル循環ホモロジーへのサイクロトミックトレースを用いて、スペクトルの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) $ のHッセルホルトとマーデンセンによる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スペクトルを用いた計算を可能にする。
• $ \textnormal{TC}(A) $ を、変数の部分集合に対応するスペクトルのn-キューブの反復ホモトピーコファイバーとして構成する。
• $ \mathbb{N}^n $ の切断集合 $ S \subset \mathbb{N}^n $ に対して、n次元ウィットベクトル $ \mathbb{W}_S(k) $ を定義し、1変数の場合の一般化を行う。
• 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 $ \widetilde{K}_*(A) $ を計算するスペクトル系列が収束する条件は何か？ そして、その結果得られるK群の構造はどのようなものか？
• RQ4 TCスペクトル系列において、Verschiebung写像とトーラス因子上の次数写像はどのように作用し、微分を決定するか？
• RQ5 $ A = \mathbb{Z}[x_1,\dots,x_n]/(x_1^{a_1},\dots,x_n^{a_n}) $ のK理論群の自由ランクは何か？ そして、Poincaré級数を用いてどのように計算できるか？

主な発見

• 特性 $ p > 0 $ で $ p \nmid a_i $ を満たす完全体 $ k $ に対して、相対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) $ の自由ランクを与える。
• $ d_1 $-微分は $ p \nmid a_i $ のとき分裂単射であるため、K理論がウィットベクトルの商として明確に記述可能である。