[論文レビュー] K-Theory of Non-Archimedean Rings. I

Moritz Kerz, Shuji Saito+1 more|arXiv (Cornell University)|Feb 27, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用数 1

ひとこと要約

この論文は、非アルキメデス的環のための解析的K理論を、rigid analytic lineにおける半径を増加させる閉じたディスクのind-対象を用いて、ホモトピー的不変性を持つK理論として構成することで導入する。正則な環が条件(†)Aを満たす場合のBass基本定理の解析的類似を確立し、高次度において解析的K理論がKaroubi–Villamayor K理論と一致することを証明するとともに、切除法則とpro-GL-fibrationを用いて連続K理論と関係づける。

ABSTRACT

We introduce a variant of homotopy K-theory for Tate rings, which we call analytic K-theory. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object of closed disks of increasing radii. Under a certain regularity assumption we prove an analytic analog of the Bass fundamental theorem and we compare analytic K-theory with continuous K-theory, which is defined in terms of models. Along the way we also prove some results about the algebraic K-theory of Tate rings.

研究の動機と目的

• 非アルキメデス的環のための、解析幾何学を用いて位相を組み込んだホモトピー的不変K理論を構築すること。
• Tate環とrigid analytic空間の文脈において、Bass基本定理の解析的類似を確立すること。
• 解析的K理論と連続K理論、Karoubi–Villamayor K理論の比較を、特に正則性および解体条件のもとで行うこと。
• pro-GL-fibrationの枠組みを用いて、解析的K理論の切除定理を確立すること。
• 形式的スキーム上のベクトル bundle のK₀類の代数化問題を、解析的K理論と連続K理論の関係を用いて解決すること。

提案手法

• 非アルキメデス的体上の解析的アフィン直線における半径を増加させるrigid analyticディスクの列のコロイミットを用いて、解析的K理論をpro-スペクトルとして定義する。
• connective analytic K理論スペクトル kan(X) を、半径 ρ に関する k(O(X × Δρ)) の極限として定義する。ここで Δρ は半径 ρ の標準的rigid単体である。
• Karoubi–Villamayorの類似物 KV^an(X) を、limρ BGL(O(X × Δρ)) として定義するpro-単体的集合として導入する。
• 有界な準同型で、一般線形群のpro-系に全射を誘導するpro-GL-fibrationを用いて、解析的K理論の切除定理を確立する。
• 正則な環が条件(†)Aを満たす場合、解析的K理論は正の次数においてKaroubi–Villamayor K理論と一致し、0次の次数では連続K理論と同型であることを証明する。
• Postnikov層とホモトピー完全系列を用いてpro-ホモトピー群を解析し、K理論における長い完全系列を導出する。

実験結果

リサーチクエスチョン

• RQ1 解析幾何学を用いた非アルキメデス的設定において、ホモトピー的不変性はどのように定義され、達成されるか？
• RQ2 Tate環において、解析的K理論、連続K理論、Karoubi–Villamayor K理論の間の関係は何か？
• RQ3 解析的K理論が切除法則を満たす条件は何か？そして、pro-GL-fibrationを用いてどのように形式化できるか？
• RQ4 正則な非アルキメデス的環に対して、Bass基本定理の解析的類似を確立できるか？
• RQ5 解析的K理論は、形式的スキーム上のベクトル bundle のK₀類の代数化問題とどのように関係するか？

主な発見

• 条件(†)Aを満たす正則なアフィンイデアル代数 A に対して、解析的K理論の0次元では、定数pro-群 K0(A) と同型である。
• 1次元では、kan1(A) は ρ > 1 に関する GL(A)/GL(A)ρ の極限と同型であり、ここで GL(A)ρ は半径 ρ におけるユニポテンス条件を満たす行列の部分群である。
• i > 0 に対して、解析的K理論とKaroubi–Villamayor K理論の間には自然な同型が存在する：pro-群として KV^an_i(A) ≃ kan_i(A) が成り立つ。
• 解析的K理論はpro-GL-fibrationに対して切除法則を満たし、任意のpro-GL-fibration A → B が核 I を持つとき、pro-アーベル群の長い完全系列が得られる。
• イデアル I が冪零である場合、すべての i ≥ 1 に対して KV^an_i(A) ≅ KV^an_i(A/I) が成り立ち、冪零拡大において安定であることが示される。
• i ≥ 2 に対して、自然な同型 KV^an_i(A) ≅ limρ KV^an_{i−1}(ΩρA) が成り立つ。ここで ΩρA = ker(sA⟨s⟩ρ → A) であり、i = 1 の場合、KV^an_1(A) ≅ limρ ker(K0(ΩρA) → K0(sA⟨s⟩ρ)) が成り立つ。