[论文解读] Stratified categories, geometric fixed points and a generalized Arone-Ching theorem

Saul Glasman|arXiv (Cornell University)|Jul 7, 2015

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

一句话总结

本文通過構建分層穩定∞-範疇與仿射軌道範疇上的Mackey函子，提出了一個統一的等變穩定同倫理論與函子演算的框架。它推廣了Arone-Ching定理（關於n-可微函子的重構）與Abram-Kriz重構定理（關於G-譜的重構），證明了一個同時的余單子性結果，從而能從幾何固定點數據及其相關黏合結構中恢復G-譜。

ABSTRACT

We develop a theory of Mackey functors on epiorbital categories which simultaneously generalizes the theory of genuine $G$-spectra for a finite group $G$ and the theory of $n$-excisive functors on the category of spectra. Using a new theory of stratifications of a stable $\infty$-category along a finite poset, we prove a simultaneous generalization of two reconstruction theorems: one by Abram and Kriz on recovering $G$-spectra from structure on their geometric fixed point spectra for abelian $G$, and one by Arone and Ching that recovers an $n$-excisive functor from structure on its derivatives. We deduce a strong tom Dieck splitting theorem for $K(n)$-local $G$-spectra and reprove a theorem of Kuhn on the $K(n)$-local splitting of Taylor towers.

研究动机与目标

• 透過共同的範疇框架，統一真正G-譜與n-可微函子的理論。
• 推廣Arone-Ching定理，將n-可微函子從其導數重構的結果推廣至更廣泛的設定。
• 將Abram-Kriz定理中從幾何固定點重構G-譜的結果，擴展至更一般的背景。
• 發展一個分層穩定∞-範疇的形式語法，以同時捕捉等變同倫理論與色調同倫理論。
• 提供G-譜的一種新模型，其基本資料為幾何固定點譜及其同倫對稱性。

提出的方法

• 引入仿射軌道範疇，作為軌道範疇（用於G-譜）與有限集與滿射的範疇（用於函子演算）的共同推廣。
• 發展仿射軌道範疇上的Mackey函子理論，將古典Mackey函子形式語法推廣至此新設定。
• 利用有限偏序集上的穩定∞-範疇分層，以建模子群或濾過層次之間幾何固定點資料的黏合。
• 應用廣義余單子性定理（定理2.38），從幾何固定點譜及其相關結構函子重構∞-範疇中的G-譜對象。
• 建立涉及限制、左Kan延拓與核心striction函子的纖維序列，以建模固定點資料之間的互動。
• 利用扭曲箭頭範疇與同倫形變收縮，證明某些映射空間的收縮性，從而實現重構。

实验结果

研究问题

• RQ1 G-譜從幾何固定點重構的結果能否推廣至非阿貝爾群與一般有限G？
• RQ2 是否存在一個共同的範疇框架，能統一n-可微函子與真正G-譜的理論？
• RQ3 Arone-Ching余單子性定理能否推廣至具備分層結構的更廣泛穩定∞-範疇類別？
• RQ4 在統一的同倫框架中，幾何固定點與導數之間有何關係？
• RQ5 仿射軌道範疇在編碼等變與函子結構方面扮演何種角色？

主要发现

• 本文確立了Arone-Ching與Abram-Kriz定理的同時推廣，證明在廣義設定下G-譜對其幾何固定點譜具有余單子性。
• 推導出K(n)-局部G-譜的強分拆定理，顯示此類譜根據其幾何固定點資料而分解。
• 本文以新框架重新證明Kuhn定理，即K(n)-局部Taylor塔的分拆性。
• 證明涉及ΓᵀΠᵀ與ΞᴺΦᴺ的纖維序列在可表示Mackey函子上同倫平凡，從而確認限制與擴張函子的對偶性。
• 透過單純形形變收縮，確立了餘單位映射ε的纖維收縮性，證明重構過程在同倫意義下行為良好。
• 作為一般框架的特例，重新獲得C₂-譜與譜上2-可微函子∞-範疇之間的等價性。