关于球面楔同伦型单纯复形的滤过中存在挠元的问题咨询

嘿，这个问题挺有意思的！答案是可以构造出这样的滤过，我给你举个具体的例子来说明：

假设我们取 ( k=2 )，也就是 ( K ) 同伦等价于 ( S^2 )（这是球面楔的特例，单个球面）。我们可以构造如下滤过：

• 先取 ( K_0 ) 为一个单点，作为滤过的起点；
• 接着 ( K_1 ) 是一个连通图（比如一个单圈），作为 ( K ) 的1维骨架；
• 第三步取 ( K_2 ) 为实射影平面 ( \mathbb{RP}^2 ) 的单纯剖分——它的同调群 ( H_2(\mathbb{RP}^2) = 0 )，但 ( H_1(\mathbb{RP}^2) = \mathbb{Z}/2\mathbb{Z} )，这里就有了1维的挠元（( d=1 \leq 2 )）；
• 最后一步 ( K_3 = K )，我们把 ( K_2 ) 加上一个2维单纯胞腔，粘贴映射取成度数为2的映射（把新胞腔的边界圈映射到 ( K_2 ) 中生成 ( H_1 ) 的那个圈）。这样得到的 ( K ) 同伦等价于 ( S^2 )：因为粘贴这个胞腔后，原来的1维挠元被“消去”了，最终 ( K ) 的同调群和 ( S^2 ) 完全一致，并且同伦型也等价于 ( S^2 )。

这个滤过里，( K_2 ) 这一步就有了1维的挠元，满足 ( d \leq k=2 ) 的要求。

如果要推广到一般的 ( k )，思路类似：我们可以先构造一个子复形，它的同调在某个 ( d \leq k ) 度数里带有挠元，然后通过添加更高维的单纯形“修正”同伦型，让整个复形最终等价于球面楔 ( \bigvee S^k )。关键在于，滤过的中间步骤不需要保持球面楔的同伦型，只有最终的 ( K ) 需要满足这个条件。

另外再补充一点：单纯复形的滤过只要求每一步都是子复形，并没有限制中间子复形的同伦型或同调性质，所以我们完全可以利用这一点，在中间嵌入带有挠元的子复形，再通过后续的构造让整体回到球面楔的同伦型。

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