[論文レビュー] 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群を計算し、特にローレンツ多項式環および無限大ダイハドラル群の群環に対して適用する。等長的K理論とファーロン＝ジョーンズ同型予想を用いて、ファーロン-Nil群とNK群の間の同型を確立し、環Rの多項式およびローレンツ多項式拡張の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のローレンツ多項式環R[t₁±¹,…,tₙ±¹]のK理論の明示的分解を、K群とNK群を用いて導出すること。
• ワルドハウゼンとファーロンのNil群の同型について、位相的証明を提供し、代数的アプローチと整合性を保つこと。
• NⁿK_q(R)の構造とℤⁿの最大巡回部分群との関係を明確にすること。

提案手法

• 群Gの軌道カテゴリOr(G)からスペクトルへの等長的K理論関手K: Or(G) → Spectraを用いる。
• K理論におけるファーロン＝ジョーンズ同型予想を、等長的ホモロジーHᴳ_*(X; K)として解釈する。
• エピモルフィズムφ: Γ → D∞に対して、相対的等長的ホモロジーHᴳ_*(E_all, E_φ* cfin; K) = 0が成り立つクインの定理を適用する。
• Γ = G₀⁎_F G₁の場合に、NK_q(R, α)を相対ホモロジーHᴳ_*(E_φ* cfin, E_φ* fin; K)として同定する。
• ℤⁿの最大巡回部分群C ∈ ℳに関する直和分解と二項係数を用いて、K_q(R[ℤⁿ])の分解を実行する。
• 可算な捩れの仮定の下でウルムの定理を適用し、特にR = ℤG（Gが有限群）の場合に同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ多項式環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 が成り立ち、ここでℳはℤⁿの最大巡回部分群の集合である。
• NK_j(R) = 0 が q ≥ j ≥ q−n+1 を満たす場合、K_q(R[t₁,…,tₙ]) = K_q(R) が成り立ち、バースの問いへの部分的解答が得られる。
• ワルドハウゼンNil群NK_q(RF; ŘG₀, ŘG₁)は、D∞におけるabへの写像を定める元による共轭αに関して、ファーロン-Nil群NK_q(RF, α)と同型である。
• 可算な捩れ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群の同型を示す。