稳定∞-范畴推出存在性的证明/参考文献及谱范畴推出计算方法问询

嗨，看起来你在稳定∞-范畴和谱的推出问题上遇到了小困惑，我来帮你梳理一下思路和相关内容~

一、稳定∞-范畴中推出的存在性（基于你提到的条件） #

首先得明确：在∞-范畴的语境下，稳定∞-范畴本身的定义就隐含了它同时具备所有有限极限和有限余极限——这是因为稳定范畴等价于有零对象、每个态射都有纤维和余纤维，且纤维与余纤维等价的∞-范畴，而有限极限/余极限都能通过纤维、余纤维的构造推导出来。不过你提到的是“具有有限极限、滤过余极限和Σ（即X → *的推出）的稳定范畴”，这里的Σ其实就是悬挂对象$\Sigma X$，而稳定范畴里的悬挂函子$\Sigma$是自等价（脱悬挂函子$\Omega$是它的逆等价）。

构造性证明思路 #

如果你想从你给出的条件（有限极限、滤过余极限、Σ存在）来推导推出的存在，有两种直观的路径：

• 利用自对偶性：稳定∞-范畴有对偶函子$(-)^\vee$，它能把余极限转化为极限。对于任意推出图A → B、A → C，推出$B \coprod_A C$等价于拉回$(B^\vee \times_{A^\vee} C^\vee)\vee$。既然你已经假设范畴有有限极限（拉回存在），通过对偶函子就能直接得到推出。
• 用余等化子+纤维/余纤维构造：推出本质上是并$B \coprod C$关于两个并行态射i₁∘f: A → B∐C和i₂∘g: A → B∐C的余等化子。在稳定范畴中，余等化子$\text{Coeq}(f,g)$可以用态射差的余纤维来构造：$\text{Coeq}(f,g) \cong \text{Cofib}(f - g)$（稳定范畴自带加法结构，态射可相减）。而你已经有有限极限（纤维存在），加上Σ（余纤维存在，且稳定范畴中余纤维$\text{Cofib}(f) \cong \Sigma \text{Fib}(f)$），就能构造出余等化子，进而得到推出。

参考文献推荐 #

• 《Higher Algebra》（Lurie）：第1章和第7章是稳定∞-范畴的核心内容，7.1节专门讨论了稳定范畴的极限与余极限，明确了稳定范畴同时具备有限极限和有限余极限，以及二者通过纤维/余纤维相互转化的细节。
• 《More Concise Algebraic Topology》（May等）：这本书关于稳定同伦范畴（谱∞-范畴的同伦范畴）的章节，用更易懂的方式讲解了推出的存在性和构造，适合入门参考。

二、谱范畴中推出的具体计算 #

谱的∞-范畴是最典型的稳定∞-范畴，上面的结论完全适用，计算推出时可以结合以下技巧：

• 利用无限悬挂的保余极限性：你提到的“无限悬挂与推出交换”是非常实用的 sanity check！谱范畴中的无限悬挂函子$\Sigma^{\infty$是从空间∞-范畴到谱范畴的函子，它严格保持余极限（包括推出）。也就是说，如果你的谱是由空间悬挂得到的，那么$\Sigma}\infty (X \coprod_Y Z) \cong \Sigma^\infty X \coprod_{\Sigma^\infty Y} \Sigma^\infty Z$，可以先算空间的推出再悬挂。
• 水平模型上的逐点计算：如果用对称谱/正交谱这类水平模型，推出谱的每个水平空间就是原谱对应水平空间的推出。比如对称谱E的第n个空间是Eₙ，那么推出谱$E \coprod_F G$的第n个空间就是$E_n \coprod_{F_n} G_n$——因为悬挂与推出交换，所以这个构造的结构映射自然满足谱的要求。
• 纤维序列转化法：在谱范畴中，推出图F → E、F → G对应纤维序列F → E⊕G → E∐_F G（这里⊕是谱的直和，也就是有限并），等价于$E \coprod_F G \cong \text{Cofib}(F \to E \oplus G)$，其中态射是(f, -g)。你也可以用同伦群来验证：$\pi_k(E \coprod_F G) \cong \pi_k(E) \oplus_{\pi_k(F)} \pi_k(G)$，这和同伦群的正合序列完全一致。

备注：内容来源于stack exchange，提问作者user135743