关于SL(n,ℤ)的分类空间K(SL(n,ℤ),1)的构造方法问询

嘿，很高兴你在研究矩阵李群分类空间时关注到了$SL(n,\mathbb{Z})$的情况！确实，和$SO(n)$、$SU(n)$这些李群有着明确“标准空间”的分类空间不同，$SL(n,\mathbb{Z})$的$K(G,1)$空间没有那么广为人知的常见拓扑空间对应，但有几个实用的构造和理解角度可以分享：

• 利用可缩李群的商空间构造（$n \geq 3$）：
  $SL(n,\mathbb{Z})$是李群$SL(n,\mathbb{R})$的离散子群，而$SL(n,\mathbb{R})$本身是可缩的——你可以通过矩阵指数映射把整个群收缩到单位元。根据Eilenberg-MacLane空间的核心性质：如果$G$是可缩拓扑空间$X$的离散子群，那么商空间$X/G$就是一个$K(G,1)$空间。所以$SL(n,\mathbb{R})/SL(n,\mathbb{Z})$恰好就是$K(SL(n,\mathbb{Z}),1)$。这个商空间还有很直观的几何意义：它是**$n$维定向欧氏空间中所有格点的等价类构成的模空间**——两个格点等价当且仅当存在$SL(n,\mathbb{Z})$中的矩阵将一个映射到另一个。

• $n=2$的特殊情况：模群的上半平面商：
  当$n=2$时，$SL(2,\mathbb{Z})$就是大名鼎鼎的模群$\Gamma(1)$，它对应的$K(G,1)$空间是上半平面$\mathbb{H}$模掉$SL(2,\mathbb{Z})$的作用，也就是$\mathbb{H}/SL(2,\mathbb{Z})$。这个空间和去掉一个点的复射影线$\mathbb{P}^1(\mathbb{C}) \setminus {pt}$同胚（或者说和带一个孔的球面拓扑等价），虽然它本身是非紧的，但完全满足$K(G,1)$的条件：高阶同伦群全为平凡群，基本群恰好是$SL(2,\mathbb{Z})$。

• 抽象CW复形构造：
  正如你提到的Hatcher教材里的一般方法，我们可以基于$SL(n,\mathbb{Z})$的群表现来搭建一个有限型CW复形作为$K(G,1)$。具体来说：先构造1维胞腔对应群的生成元（比如初等矩阵），再用2维胞腔编码群的关系，最后添加更高维的胞腔来消除所有高阶同伦群。不过这个构造相对抽象，没有前面的商空间那样直观的几何背景。

另外要提一句：虽然$SL(n,\mathbb{Z})$里存在有限阶元素（比如某些置换矩阵），但这并不影响上述商空间成为$K(G,1)$——因为可缩空间的离散子群商空间的高阶同伦群依然是平凡的，基本群正好是$SL(n,\mathbb{Z})$。

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