[論文レビュー] A1-homotopy theory of noncommutative motives

Gonçalo Tabuada|arXiv (Cornell University)|Feb 18, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 11

ひとこと要約

本稿は、dg圏の文脈における非可換モチーフのためのA¹ホモトピー理論を開発し、K理論と周期的循環同調の間の自然変換を分類する、A¹加法的およびA¹局所化的不変量の普遍的圏を構成する。Karoubi-Villamayor K理論（KV）とWeibelのホモトピーK理論（KH）がこのような変換に関して普遍的であることが確立され、周期的循環同調へのホモトピーチャーン写像の簡潔な構成が可能になる。

ABSTRACT

In this article we continue the development of a theory of noncommutative motives. We construct categories of A1-homotopy noncommutative motives, described their universal properties, and compute their spectra of morphisms in terms of Karoubi-Villamayor's K-theory (KV) and Weibel's homotopy K-theory (KH). As an application, we obtain a complete classification of all the natural transformations defined on KV, KH. This leads to a streamlined construction of Weibel's homotopy Chern character from KV to periodic cyclic homology. Along the way we extend Dwyer-Friedlander's etale K-theory to the noncommutative world, and develop the universal procedure of forcing a functor to preserve filtered homotopy colimits.

研究の動機と目的

• dg圏の文脈における非可換モチーフのA¹ホモトピー理論を構築すること。
• K理論と周期的循環同調の間の自然変換を分類する、A¹加法的およびA¹局所化的不変量の普遍的圏を構成すること。
• Dwyer-FriedlanderのエタールK理論を拡張し、非可換設定におけるファンクターがフィルター付きホモトピー余極限を保存するための普遍的手順を定義すること。
• KVおよびKHから周期的循環同調への自然変換の完全な分類を提供し、ホモトピー・チャーン写像の新たな構成に繋げること。

提案手法

• 著者らは、A¹加法的およびA¹局所化的不変量に関して普遍的性質を満たす2つの普遍的導出関手の写像を構成する：$ U^{{\bf A\backslash{}^{1}}}_{\mathsf{add}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ および $ U^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}}: \mathsf{HO}(\mathsf{dgcat}) \to \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $。
• dg圏におけるQuillenのモデル構造を用い、特に $ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $ のファンクター圏の局所化を通じて、ホモトピー余極限の保存を強制する普遍的構成を導出する。
• 普遍的圏内の射のスペクトルはKVおよびKHを用いて計算され、$ \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) $ が成り立つことが示される。
• ファンクターがフィルター付きホモトピー余極限を保存するように強制する普遍的手順が開発され、これによりホモトピカルに有限生成なdg圏上で $ HP $ と一致するA¹加法的変種 $ HP^{\mathrm{flt}} $ の構成が可能になる。
• 著者らはThomasonの仕事に基づき、Dwyer-FriedlanderのエタールK理論をdg圏へ拡張し、それがA¹局所化的不変量であることを示す。
• 自然変換 $ \epsilon: HP^{\mathrm{flt}} \Rightarrow HP $ が確立され、これはホモトピカルに有限生成なdg圏上で同型であり、普遍的A¹加法的理論と周期的循環同調を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 非可換モチーフの普遍的A¹加法的不変量理論とは何か？ そして、KVおよびKHからの自然変換をどのように分類するか？
• RQ2 周期的循環同調を、フィルター付きホモトピー余極限を保存するように変更すると同時に、有限生成対象において元の$ HP $ と一致させるにはどうすればよいか？
• RQ3 フィルター付きホモトピー余極限の保存を強制するための普遍的手順が、A¹ホモトピー不変量を構成する上で果たす役割は何か？
• RQ4 Dwyer-FriedlanderのエタールK理論をdg圏へ拡張することは、A¹局所化的不変量とどのように関係するか？
• RQ5 ホモトピー・チャーン写像（KVから周期的循環同調への写像）は、A¹ホモトピー理論の普遍的性質を用いて再構成可能か？

主な発見

• 普遍的A¹加法的圏 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}} $ は、$ L_S\!\operatorname{Fun}(\mathsf{dgcat}_f^{\mathrm{op}},\mathsf{Sp}) $ の局所化として構成され、その射のスペクトルはA¹加法的不変量のものと同型であることが示される。
• 同様に、普遍的A¹局所化圏 $ \operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{loc}} $ が構成され、その射のスペクトルはA¹局所化的不変量のものと同型である。
• $ \mathsf{HO}(\mathsf{dgcat}) $ から任意の三角的導出関手 $ \mathbb{D} $ への射のスペクトルは、$ \underline{\mathrm{Hom}}_{!}(\operatorname{Mot}^{{\bf A\backslash{}^{1}}}_{\mathsf{add}},\mathbb{D}) \simeq \underline{\mathrm{Hom}}_{\mathsf{add},{\bf A\backslash{}^{1}}}(\mathsf{HO}(\mathsf{dgcat}),\mathbb{D}) $ として計算され、普遍的性質が確立される。
• $ HP^{\mathrm{flt}} $ の構成により、ホモトピカルに有限生成なdg圏上で $ HP $ と一致するA¹加法的変種が得られ、自然変換 $ \epsilon $ を通じて結びつく。
• KVおよびKHから周期的循環同調への自然変換の完全な分類が得られ、ホモトピー・チャーン写像の新たな簡潔な構成が可能になる。
• Dwyer-FriedlanderのエタールK理論のdg圏への拡張が、A¹局所化的不変量であることが示され、古典的な役割が非可換設定へ一般化される。