[論文レビュー] K-theory of endomorphisms via noncommutative motives

Andrew J. Blumberg, David Gepner+1 more|arXiv (Cornell University)|Feb 5, 2013

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

ひとこと要約

この論文は非可換モチーフを用いて、自己準同型のK理論に関する共表現結果を確立し、関手 KEnd(−) がテンソル代数 𝕊[t] の非可換モチーフによって共表現されることを示している。これにより、KEnd(−) の自然変換を定数項が1の整数および有理関数で完全に分類でき、1970年代にアルムキヴィストが提起した問題を解決する。さらに、この枠組みにより、非可換モチーフの対称モノイダル構造から有理数のウィットベクトルが回復可能であることがわかった。

ABSTRACT

In this article we study the K-theory of endomorphisms using noncommutative motives. We start by extending the K-theory of endomorphisms functor from ordinary rings to (stable) infinity categories. We then prove that this extended functor KEnd(-) not only descends to the category of noncommutative motives but moreover becomes co-represented by the noncommutative motive associated to the tensor algebra S[t] of the sphere spectrum S. Using this co-representability result, we then classify all the natural transformations of KEnd(-) in terms of an integer plus a fraction between polynomials with constant term 1; this solves a problem raised by Almkvist in the seventies. Finally, making use of the multiplicative co-algebra structure of S[t], we explain how the (rational) Witt vectors can also be recovered from the symmetric monoidal category of noncommutative motives. Along the way we show that the K_0-theory of endomorphisms of a connective ring spectrum R equals the K_0-theory of endomorphisms of the underlying ordinary ring π_0(R).

研究の動機と目的

• 普通の環から安定∞-圏へと自己準同型のK理論を拡張すること。
• 拡張された KEnd(−) 関手が、非可換モチーフの圏における 𝕊[t] の非可換モチーフによって共表現されることを示すこと。
• 定数項が1の整数および有理関数をパrameterとする、KEnd(−) のすべての自然変換を分類すること。
• 非可換モチーフの対称モノイダル構造を用いて、𝕊[t] の余代数構造を通じて有理数のウィットベクトルを回復すること。
• 連結環スペクトル R に対して、自己準同型の K₀ がその通常の環 π₀R のそれと一致することを確立すること。

提案手法

• 任意の∞-圏 𝒞 に対して、End(𝒞) を ∞-圏 Fun(Δ¹/∂Δ¹, 𝒞) として定義する。
• KEnd(−) を、End(−) と、完全∞-圏の∞-圏における代数的K理論との合成関手として構成する。
• KEnd(−) が加法的不変量であることを証明し、したがって非可換モチーフの圏 M_add への普遍加法的不変量 U_add を通じて因数分解されることを示す。
• KEnd(𝒞) が、非可換モチーフ 𝕊[t] の U_add(𝕊[t]) から U_add(𝒞) へのマッピングスpectrum Map(U_add(𝕊[t]), U_add(𝒞)) と自然同型であることを示し、KEnd(−) が 𝕊[t] の非可換モチーフによって共表現されることを裏付ける。
• 𝕊[t] における乗法的余代数構造を用いて、非可換モチーフの対称モノイダル構造と有理数のウィットベクトル構成とを関連付ける。
• KEnd 関手の K₀ 水準における振る舞いを解析することで、連結環スペクトル R に対して K₀(End(R)) ≃ K₀(End(π₀R)) が成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 自己準同型のK理論をホモトピー的に整合的な方法で、普通の環から安定∞-圏へどのように拡張できるか？
• RQ2 非可換モチーフの文脈において、自己準同型のK理論の普遍的性質は何か？
• RQ3 KEnd(−) 関手のすべての自然変換を完全に分類できるか？
• RQ4 非可換モチーフ 𝕊[t] がどのように自己準同型のK理論を共表現するか？
• RQ5 非可換モチーフの対称モノイダル構造から、有理数のウィットベクトルを再構成できるか？

主な発見

• 完全∞-圏の∞-圏上の自己準同型のK理論関手 KEnd(−) は加法的不変量であり、非可換モチーフの圏へ因数分解する。
• KEnd(𝒞) は、非可換モチーフ 𝕊[t] の U_add(𝕊[t]) から U_add(𝒞) へのマッピングスpectrum Map(U_add(𝕊[t]), U_add(𝒞)) と自然同型である。これにより、非可換モチーフ 𝕊[t] が KEnd(−) を共表現することが示された。
• KEnd(−) のすべての自然変換は、定数項が1の整数および有理関数によって分類され、1970年代にアルムキヴィストが提起した問題が解決された。
• 非可換モチーフの圏の対称モノイダル構造を用いて、𝕊[t] の余代数構造を通じて有理数のウィットベクトルが回復された。
• 任意の連結環スペクトル R に対して、自己準同型の K₀ 理論が通常の環 π₀R のそれと一致する、すなわち K₀(End(R)) ≃ K₀(End(π₀R)) が成り立つ。
• 共表現結果により、自己準同型のK理論全体が非可換モチーフ 𝕊[t] によって決定され、普遍的なモデルが得られた。