[論文レビュー] Algebraic K-Theory of infinity-Operads

Thomas Nikolaus|arXiv (Cornell University)|Mar 9, 2013

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

ひとこと要約

本稿では、dendroidal集合上のモデル構造を用いて、∞-operad D に対する代数的 K-理論群 $K_n(D)$ を定義する。これらは K-理論スペクトル $\mathcal{K}(D)$ のホモトピー群として与えられる。主な貢献は、環や対称モノイダル圏の代数的 K-理論を一般化し、$\mathcal{K}(D)$ がすべての連結スペクトルを実現すること、および特殊な場合に既知の K-理論と一致することである。

ABSTRACT

The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a definition of K-groups K_n(D) for a dendroidal set D. These groups generalize the K-theory of symmetric monoidal (resp. permutative) categories and algebraic K-theory of rings. We establish some useful properties like invariance under the appropriate equivalences and long exact sequences which allow us to compute these groups in some examples. We show that the K-theory groups of D can be realized as homotopy groups of a K-theory spectrum K(D).

研究の動機と目的

• ∞-operadに代数的 K-理論を拡張し、環および対称モノイダル圏の K-理論を一般化すること。
• ホモトピー論的メソッドとモデル構造を用いて、dendroidal集合 D に対して K-群 $K_n(D)$ を定義すること。
• そのホモトピー群が $K_n(D)$ を回復する K-理論スペクトル $\mathcal{K}(D)$ を構成し、既知の K-理論と整合性を保つこと。
• 任意の連結スペクトルが、ある ∞-operad D に対して $\mathcal{K}(D)$ として実現されることを示し、ホモトピー論的普遍性を確立すること。

提案手法

• dendroidal集合上の Moerdijk-Cisinski モデル構造を用い、その導来基底空間のホモトピー群が $K_n(D)$ を与えるように定義する。
• 生成子と関係式による $K_0(D)$ の定義と、スペクトル $\mathcal{K}(D)$ のホモトピー群による高次の $K_n(D)$ の定義。
• Heuts の構成の変種を用いて K-理論スペクトル $\mathcal{K}(D)$ を構成し、ストレートニング関手を用いて D に連結スペクトルを関連付ける。
• Quillen 同値および左 Quillen ファンクターを活用し、ホモトピー的不変性および $E_{∞}$-空間との同値性を保証する。
• dendroidal集合から $E_{∞}$-空間へのストレートニング関手 $\widetilde{St}$ を用い、$D \mapsto D \times \mathcal{E}_{∞}$ を用いたクーファイント置換を行う。
• dendroidal集合と $E_{∞}$-空間の間の随伴関手を用い、$\mathcal{K}(D)$ が既知の K-理論スペクトル（例えば、単体的集合のスパンディングスペクトルを含む）と関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的 K-理論は、環や対称モノイダル圏から ∞-operad へどのように一般化可能か？
• RQ2 dendroidal集合 D に対して $K_n(D)$ の正しい定義は何か？ そしてホモトピー論的にどのように計算できるか？
• RQ3 ∞-operad の K-理論は、そのホモトピー群としてスペクトルに実現可能か？ そしてそのスペクトルは普遍的か？
• RQ4 $N_d\text{Proj}_R$（環 $R$ の射影加群の圏のdendroidal nerve）に $\mathcal{K}(D)$ を適用した場合、古典的 K-理論が回復されるか？
• RQ5 どのスペクトルが $\mathcal{K}(D)$ として現れるか？ すべての連結スペクトルがこの方法で実現可能か？

主な発見

• K-理論群 $K_n(D)$ は ∞-operad 間の同値関係に対して不変であり、ホモトピー論的安定性が保証される。
• $E_{∞}$-operad に対しては、すべての $n$ に対して $K_n(E_{∞}) = 0$ が成り立ち、これは可縮空間の K-理論の消滅を一般化する。
• 自明な ∞-operad $\eta$ に対しては、$K_n(\eta) \cong \pi_n^\mathcal{S}$ が成り立ち、これは安定ホモトピー群の球面を表す。
• 木 $T$ に付随する ∞-operad $\Omega[T]$ に対しては、$K_n(\Omega[T]) \cong \bigoplus_{\ell(T)} \pi_n^\mathcal{S}$ が成り立ち、ここで $\ell(T)$ は $T$ の葉の数を表す。
• $\mathcal{K}(D)$ は $K_n(D)$ をその $n$ 番目のホモトピー群として実現し、$D = i_!X$（$X$ を単体的集合とする）の場合には $\mathcal{K}(D)$ は $|X|$ のスパンディングスペクトルと同値である。
• $D \mapsto \mathcal{K}(D)$ は、∞-operad の圏の局所化と連結スペクトルのホモトピー圏との間に同値を誘導し、この構成の普遍性を示している。