[论文解读] Some remarks on Nil groups in algebraic K-theory

James F. Davis|ArXiv.org|Mar 11, 2008

Algebraic structures and combinatorial models参考文献 16被引用 14

一句话总结

本文利用弗兰克·奎因的受控拓扑定理，计算代数K-理论中的Nil群，特别是关于洛朗多项式环和无限二面体群群环的Nil群。通过等变K-理论与法拉尔-琼斯同构猜想，建立了法拉尔- Nil群与NK-群之间的同构，为环R的多项式与洛 Laurent多项式扩张的K-理论提供了显式分解。

ABSTRACT

This note explains consequences of recent work of Frank Quinn for computations of Nil groups in algebraic K-theory, in particular the Nil groups occurring in the K-theory of polynomial rings, Laurent polynomial rings, and the group ring of the infinite dihedral group.

研究动机与目标

• 利用受控拓扑的最新成果计算代数K-理论中的Nil群。
• 为无限二面体群的群环建立法拉尔- Nil群与NK-群之间的同构。
• 以R的多项式与洛 Laurent多项式扩张的K-理论的显式分解为目标。
• 为瓦尔德豪森Nil群与法拉尔- Nil群之间的同构提供一个拓扑证明，与代数方法一致。
• 阐明NⁿK_q(R)的结构及其与ℤⁿ中极大循环子群的关系。

提出的方法

• 使用等变K-理论函子K: Or(G) → Spectra，其中Or(G)是群G的轨道范畴。
• 通过等变同调Hᴳ_*(X; K)解释K-理论中的法拉尔-琼斯同构猜想。
• 应用奎因定理，即对于满同态φ: Γ → D∞，有相对等变同调Hᴳ_*(E_all, E_φ* cfin; K) = 0。
• 依赖于NK_q(R, α)被识别为相对同调Hᴳ_*(E_φ* cfin, E_φ* fin; K)，其中Γ = G₀⁎_F G₁。
• 通过ℤⁿ的极大循环子群C ∈ ℳ的直和分解K_q(R[ℤⁿ])，并引入二项式系数。
• 在可数挠假设下，应用乌尔姆定理推导出同构，特别是当R = ℤG且G为有限群时。

实验结果

研究问题

• RQ1 洛 Laurent多项式环R[t₁±¹,…,tₙ±¹]的代数K-理论中的Nil群如何分解？
• RQ2 在并置积的背景下，瓦尔德豪森Nil群与法拉尔- Nil群之间有何关系？
• RQ3 弗兰克·奎恩的受控拓扑定理能否用于证明NK-群与等变同调群之间的同构？
• RQ4 在何种条件下NK_q(R) = 0 蕴含K_q(R[t₁,…,tₙ]) = K_q(R)？
• RQ5 NⁿK_q(R)的结构如何与ℤⁿ的极大循环子群相关？

主要发现

• K_q(R[t₁±¹,…,tₙ±¹]) ≅ ⨁_{0≤i≤n} binom(n,i) K_{q-i}R ⊕ ⨁_{C∈ℳ} ⨁_{0≤i≤n-1} 2 binom(n-1,i) NK_{q-i}R，其中ℳ是ℤⁿ的极大循环子群的集合。
• 若对所有j满足q ≥ j ≥ q−n+1，有NK_j(R) = 0，则K_q(R[t₁,…,tₙ]) = K_q(R)，为巴思问题提供了部分解答。
• 瓦尔德豪森Nil群NK_q(RF; ŘG₀, ŘG₁)同构于法拉尔- Nil群NK_q(RF, α)，其中α是映射到D∞中ab的元素的共轭。
• 对于可数挠的NK-群，有NⁿK_q(R) ≅ ⨁_{C∈ℳ₊} ⨁_{0≤i≤n-1} binom(n-1,i) NK_{q-i}R，其中ℳ₊是具有正生成元的极大循环子群的集合。
• 推论2中的同构通过迭代的关联映射以及涉及(I+L)与(N₊+N₋)算子的直和分解显式描述。
• 证明依赖于奎因定理：Hᴳ_*(E_all, E_φ* cfin; K) = 0，该定理意味着瓦尔德豪森Nil群与法拉尔- Nil群之间的等价性。