让 G美元$ 是一个可数阿贝尔群 $n>1$ .是否存在一个模型 千美元(G,n)$ 闭流形的直接极限是什么?
-
2 $\开始组$ 我相信用可数CW复数表示的任何同伦类型也可以用闭合流形的递增并表示。 $\端组$ – 汤姆·古德威利 评论 5月22日1:29 -
2 $\开始组$ @汤姆·古德威利:只是出于好奇,你会如何表示一束圆圈? $\端组$ – 南多 评论 5月22日8:55 -
$\开始组$ @南多:一种方法是取$S^1乘以S^n$的$k$副本的连接总和,然后取$n$变化时的自然内含物。 $\端组$ – 瑞恩·巴德尼 评论 5月22日16:43 -
$\开始组$ @瑞恩·布德尼:连通和是一个流形吗? $\端组$ – 南多 评论 5月22日20:43 -
$\开始组$ @南多:是的。我想除了连通的、有向的流形之外,我不知道其他的范畴。 $\端组$ – 瑞恩·巴德尼 评论 5月23日3:07
1答案
-
$\开始组$ 给定一个有限的CW复数,我知道你可以把它嵌入到足够大的维数的欧几里德空间中,然后加厚得到一个具有相同同伦类型边界的流形。 从这个角度来看,我可以看到如何将$M(k)$嵌入到$M(k+1)$中,但我不知道如何安排$M(k)$位于$M(k+1)$的边界内。 从这个加厚的想法可以看出这一点吗?或者我应该以不同的方式构造这些流形吗? $\端组$ 评论 5月22日13:16 -
$\开始组$ @MichaelAlbanese$M(k+1)=M(k+1\次0$包含在$M(k+1)\次[0,1]$的边界中,因此将$M(k+1)$替换为$M(k+1)\次数[0,1]$。 $\端组$ – 汤姆·古德威利 评论 5月22日16:11 -
-
2 $\开始组$ 这是一个简单的构造。 设$S^n$是基于$n$的球体的一个简化模型,例如$\Delta[n]/\partial\Delta^n$。 设$S^n[G]$是通过将基集上的函子应用于阿贝尔群(遗忘函子的左伴随),从$S^n$得到的单形阿贝尔群。 由Dold-Kan提出,$S^n[G]$的(实现)同伦群是系数为$G$的$S^n的约化同调群; 这个CW复合体是$K(G,n)$。 如果$G$是可数的,那么在每一个单形度上,这个单形阿贝尔群是可以数的,因此CW复数具有可数个单元。 $\端组$ – 汤姆·古德威利 评论 5月22日21:16