[论文解读] G-Global Homotopy Theory and Algebraic K-Theory

Tobias Lenz|arXiv (Cornell University)|Dec 23, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用 6

一句话总结

本文確立了 G-global 同倫理論作為一個統一框架，整合了經典的等變同倫理論與史瓦茨的全球同倫理論，從而實現對具有群作用的小對稱張量分類的代數 K-理論的統一處理。核心結果表明，G-global 代數 K-理論建模了連通的 G-global 穩定同倫理論，推廣了托馬森的非等變定理，並統一了全球與等變 K-理論框架。

ABSTRACT

We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce the $G$-global algebraic $K$-theory of small symmetric monoidal categories with $G$-action, unifying $G$-equivariant algebraic $K$-theory, as considered for example by Shimakawa, and Schwede's global algebraic $K$-theory. As an application of the theory, we prove that the $G$-global algebraic $K$-theory functor exhibits the category of small symmetric monoidal categories with $G$-action as a model of connective $G$-global stable homotopy theory, generalizing and strengthening a classical non-equivariant result due to Thomason. This in particular allows us to deduce the corresponding statements for global and equivariant algebraic $K$-theory.

研究动机与目标

• 建立 G-global 同倫理論的系統性基礎，統一全球與 G-等變同倫理論。
• 定義並研究具有 G-作用的小對稱張量分類的 G-global 代數 K-理論。
• 將托馬森的非等變結果（即代數 K-理論建模了連通穩定同倫理論）推廣至等變設定。
• 確立 G-global 代數 K-理論在 G-作用對稱張量分類的範疇中作為連通 G-global 穩定同倫理論的模型。
• 在單一框架下統合現有理論：全球代數 K-理論（施維德）與 G-等變代數 K-理論（下村）

提出的方法

• 透過單獨作用與圖形空間構造 G-global 同倫理論，並使用溫和性條件以確保良好的等變結構。
• 發展 G-global Γ-空間，並與圖形空間模型比較，以建立一致的交換性。
• 應用抽象同倫理論中的擬局部化技術於模型範疇，利用勒里對組合模型結構定理的結果。
• 使用左正則、組合的模型結構，其濾子直積保持同倫性，從而實現弱等價的提升與延拓。
• 將理論應用於證明 G-global 代數 K-理論是 G-作用對稱張量分類範疇的擬局部化。
• 建立 G-global 譜與 G-等變譜之間的比較，顯示前者同時容許左與右 Bousfield 局部化。

实验结果

研究问题

• RQ1 如何將全球與 G-等變同倫理論統一為有限群 G 的單一協調框架？
• RQ2 對於具有 G-作用的小對稱張量分類，正確的 G-global 代數 K-理論概念是什麼？
• RQ3 G-global 代數 K-理論是否建模了連通的 G-global 穩定同倫理論，從而推廣托馬森的非等變結果？
• RQ4 G-global 譜與 G-等變譜之間有何關係，它們的同倫範疇之間的伴隨關係為何？
• RQ5 G-global Γ-空間理論能否有效與圖形空間模型比較，這對一致交換性有何含義？

主要发现

• G-global 代數 K-理論將具有 G-作用的小對稱張量分類範疇作為連通 G-global 穩定同倫理論的模型，推廣了托馬森的經典結果。
• G-global 代數 K-理論函子是一種擬局部化，提供了一種從具有 G-作用的對稱張量分類中提取穩定 G-global 不變量的通用方法。
• 該理論存在一個到 G-等變同倫理論的忘卻函子，其具有完全忠實的左與右伴隨，從而產生右與左 Bousfield 局部化。
• 對於每個有限群 G，G-global 同倫理論透過局部化恢復了全球同倫理論（當 G 為平凡群時）與 G-等變同倫理論。
• 在適當的溫和性條件下，G-global Γ-空間模型與圖形空間模型等價，從而確立了一致的交換結構。
• 本文在具有 G-作用的對稱張量分類範疇上構造了一個左正則、組合的模型結構，其弱等價在濾子直積與沿纖維的上併中封閉。