[论文解读] An Inverse K-Theory Functor

Michael A. Mandell|arXiv (Cornell University)|Feb 18, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 26

一句话总结

本文構造了一個從Γ-空間到交換範疇的塞加爾K-理論函子的新反向函子，提供了湯瑪遜定理的新證明：每個連通譜都可以作為某個交換範疇的K-理論而實現。該構造利用有限序列的範疇上的格羅滕迪克型同倫上積，並建立自然變換，這些變換為推廣的單純同倫等價，證明了反向函子保持穩定等價，並在穩定同倫範疇層級上誘導出等價。

ABSTRACT

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a non-completed variant.

研究动机与目标

• 構造塞加爾K-理論函子（從交換範疇到Γ-空間）的一個同倫反向函子。
• 重新證明湯瑪遜定理：每個連通譜都可以作為某個交換範疇的K-理論而實現。
• 在Γ-空間的穩定同倫範疇與交換範疇的穩定同倫範疇之間建立穩定等價。
• 使用單純與分類同倫理論，提供一個從Γ-空間到交換範疇的新、明確的函子構造。

提出的方法

• 構造一個從單純集到範疇的函子 $\mathcal{S}$，其為函子 $\operatorname{Ex}^2 N$ 的右伴隨，此函子構成反向構造的基礎。
• 定義一個有限正整數序列的範疇 $\mathcal{A}$，包含空序列，其態射由置換、集合映射與分割生成。
• 使用格羅滕迪克構造定義 $\mathcal{P}(\mathcal{X}) = \int_A \mathcal{X}$，此為由$\Gamma$-範疇 $\mathcal{X}$ 建構的交換範疇，具有嚴格的乘法與單位元。
• 構造一個自然變換 $\mathcal{P}\mathcal{K}\mathcal{C} \to \mathcal{C}$ 與其對偶 $\mathcal{X} \leftarrow \mathcal{W}\mathcal{X} \to \mathcal{K}\mathcal{P}\mathcal{X}$，其中 $\mathcal{W}$ 為$\Gamma$-範疇上的自函子。
• 透過在範疇 $\mathcal{A}$ 中的餘對角與對角映射，構造顯式同倫，證明其誘導的單純集的神經映射為推廣的單純同倫等價。
• 利用由餘對角與塌陷映射誘導的自然變換，證明同倫上積上的複合映射與恆等映射同倫。

实验结果

研究问题

• RQ1 能否從Γ-空間到交換範疇明確構造塞加爾K-理論函子的新反向函子？
• RQ2 此新函子是否保持穩定等價，並在穩定同倫範疇層級上誘導出等價？
• RQ3 $\mathcal{P}\mathcal{K}\mathcal{C}$ 與 $\mathcal{C}$ 之間，以及 $\mathcal{X}$ 與 $\mathcal{K}\mathcal{P}\mathcal{X}$ 之間的自然變換是否為推廣的單純同倫等價？
• RQ4 能否使用此新構造重新證明湯瑪遜定理：連通譜可由交換範疇表示？

主要发现

• 所構造的函子 $P = \mathcal{P} \circ \mathcal{S}$ 從Γ-空間到交換範疇保持穩定等價。
• $\mathcal{P}\mathcal{K}\mathcal{C} \to \mathcal{C}$ 的自然變換為交換範疇之間的自然穩定等價。
• $\mathcal{X} \leftarrow \mathcal{W}\mathcal{X} \to \mathcal{K}\mathcal{P}\mathcal{X}$ 的自然變換為$\Gamma$-範疇之間的自然穩定等價。
• 同倫上積 $EX_{j+1}$ 與 $EX_j \times EX$ 上的複合映射，透過由餘對角與塌陷映射構造的顯式同倫，與恆等映射為推廣的單純同倫等價。
• 證明確立了反向函子 $P$ 在Γ-空間與交換範疇的穩定同倫範疇之間誘導出等價。
• 此構造提供了一個新、明確且同倫一致的塞加爾K-理論函子的反向函子，並提供了湯瑪遜表示性定理的新證明。