18
$\开始组$

这个答案,mme表明对于任何紧李群G美元$,它的分类空间有一个模型BG美元$这是闭流形的直接极限。如果G美元$是离散的(即。$\dim G=0$),然后是一个模型BG美元$也是一个模型K美元(G,1)$自从$\pi_i(BG)\cong\pi_{i-1}(G)$

G美元$是一个可数阿贝尔群$n>1$.是否存在一个模型千美元(G,n)$闭流形的直接极限是什么?

回忆,一个空间X美元$是的模型千美元(G,n)$如果$\pi_n(X)\cong G$$\pi_i(X)=0$对于$i\n个$

有这样一个模型$K(\mathbb{Z},2)$,即$\mathbb{CP}^{\infty}$它是有限维复射影空间的直接极限$\{\mathbb{CP}^m\}_{m\geq1}$。这也可以在链接答案的上下文中查看,作为美元业务单位(1)$是的模型$K(\mathbb{Z},2)$

一般来说,上述问题可能太难回答。我很想知道接下来最简单的情况会发生什么,即$K(\mathbb{Z}/m\mathbb{Z},2)$$K(\mathbb{Z},3)$

$\端组$
5
  • 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答案1

重置为默认值
21
$\开始组$

由可数CW复数表示的任何同伦类型也由闭合流形的递增并集表示:

首先考虑有限CW复数$X美元$.让百万美元\sim X$是一个紧流形(有边界),设M_n美元$$M\次D^n$并使用内含物$$\点\子集\部分M_n\子集M_n\子集\部分M_{n+1}\子集M_{n+1}\子集\点$$我们正在观看的地方$\部分M_{n+1}$作为的两倍M_n美元$.工会作为$n\to\infty$都是同伦等价于X美元$以及闭合流形的不断增加的并集。

对于一个可数无穷复数,做类似的事情:把它写成有限复数的递增序列X(k)美元$对于每个千美元$选择一个紧凑的流形百万美元\sim X(k)$,并安排百万美元(k)$嵌入百万美元(k+1)$(通过包含同伦类中的映射$X_k\到X_{k+1}$). 我们可以安排百万美元(k)$处于百万美元(k+1)$.然后$X美元$等于$$\点\子集合M(k)\子集M(k+1)\子集合\点,$$它也是封闭流形的并集$$\点\子集\部分M(k)\子集\局部M(k+1)\子集\dots,$$

$\端组$
4
  • $\开始组$ 给定一个有限的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
  • $\开始组$ 谢谢。很明显,存在一个可数CW复数,它是$K(G,n)$的模型吗?我想它是从在这里,但我希望有更直接的东西。我的想法是为$G$做一个演示,使用$n$和$(n+1)$-细胞构建演示复合体的模拟,然后通过附加更多的细胞杀死更高的同伦群。然而,我不清楚这是否只需要数个细胞。如果$G$是有限表示的(第一个CW复数是有限的,因此Serre生成的同伦群是有限的),那么它就是这样的。 $\端组$ 评论 5月22日20:39
  • 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

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策

不是你想要的答案吗?浏览标记的其他问题问你自己的问题