[论文解读] On The Dimension of The Virtually Cyclic Classifying Space of a Crystallographic Group

Frank Connolly, Benjamin Fehrman+1 more|ArXiv.org|Oct 12, 2006

Geometric and Algebraic Topology参考文献 7被引用 5

一句话总结

该论文为秩 $n \geq 2$ 的晶体学群 $\Gamma$ 相对于拟循环子群族的分类空间 $B_{\mathcal{VC}}\Gamma$ 构建了一个几何模型。通过取翻译子群中极大循环子群作用下不变的直线上的映射柱的并集，该模型实现了同伦维数为 $n+1$，证明了不存在更低维的模型，并确认了 $h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$。该结果支持了关于李群离散子群的拟循环分类空间维数的一个猜想。

ABSTRACT

In this paper we construct a model for the classifying space, BVCG, of a crystallographic group G of rank n relative to the family VC of virtually-cyclic subgroups of G. The model is used to show that there exists no other model for the virtually-cyclic classifying space of G with dimension less than vcd(G)+1, where vcd(G) denotes the virtual cohomological dimension of G. In addition, the dimension of our construction realizes this limit.

研究动机与目标

• 为晶体学群 $\Gamma$ 相对于拟循环子群族的分类空间 $B_{\mathcal{VC}}\Gamma$ 构建一个几何上明确的模型。
• 确定秩 $n \geq 2$ 的晶体学群的 $B_{\mathcal{VC}}\Gamma$ 的最小可能同伦维数。
• 验证所构造的模型在维数上达到了理论下限 $\mathrm{vcd}(\Gamma)+1$。
• 为关于李群离散子群的 $B_{\mathcal{VC}}\Gamma$ 维数的更广泛猜想提供证据。

提出的方法

• 将 $\Gamma$-CW复形 $E_{\mathcal{VC}}\Gamma$ 构造为翻译子群 $A$ 的极大循环子群 $C$ 的不变直线上的映射柱 $Cyl(\pi_C)$ 的并集。
• 在 $\mathbb{R}^n \times I \times \mathcal{C}$ 上定义等价关系，以形成商空间 $E_{\mathcal{VC}}\Gamma$，确保与 $\Gamma$-作用相容。
• 证明对所有拟循环子群 $H \subset \Gamma$，其固定点集 $E^{H}$ 是可缩的，从而确认 $E_{\mathcal{VC}}\Gamma$ 是 $\mathcal{VC}$-普遍的。
• 建立同胚 $Cyl(\pi_C)/A \to D^2 \times T^{n-1}$，表明每个分量均为一个实心 $n+1$-环面。
• 利用轨道空间 $B_{\mathcal{VC}}\Gamma = (E_{\mathcal{VC}}\Gamma / A) / G$，将分类空间描述为一个无限个实心 $n+1$-环面在共同边界 $T^n$ 处粘合的 $G$-商空间。
• 使用胞腔链计算第 $n+1$ 个同调群，通过非共轭循环子群的链证明其非平凡性，从而确认 $h\dim(B_{\mathcal{VC}}\Gamma) \geq n+1$。

实验结果

研究问题

• RQ1 对于秩 $n \geq 2$ 的晶体学群 $\Gamma$，其分类空间 $B_{\mathcal{VC}}\Gamma$ 的最小可能同伦维数是多少？
• RQ2 能否构造一个几何上明确的 $B_{\mathcal{VC}}\Gamma$ 模型，使其实现该最小维数？
• RQ3 对于晶体学群，$B_{\mathcal{VC}}\Gamma$ 的维数是否等于 $\mathrm{vcd}(\Gamma)+1$？
• RQ4 该构造是否支持更广泛的猜想：对所有李群的离散子群，均有 $h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$？

主要发现

• 所构造的 $B_{\mathcal{VC}}\Gamma$ 模型是一个 $n+1$-维 CW 复形，实现了维数 $n+1$。
• 对于秩 $n \geq 2$ 的晶体学群，同伦维数 $h\dim(B_{\mathcal{VC}}\Gamma)$ 恰好为 $n+1$。
• 该构造证明了 $B_{\mathcal{VC}}\Gamma$ 的任何模型都不可能具有小于 $\mathrm{vcd}(\Gamma)+1$ 的维数，而在此情况下该值等于 $n+1$。
• $B_{\mathcal{VC}}\Gamma$ 同胚于一个无限个实心 $n+1$-环面在共同边界 $T^n$ 处粘合的 $G$-作用的轨道空间。
• 通过胞腔同调方法，利用非共轭循环子群的链，确立了 $H_{n+1}(B_{\mathcal{VC}}\Gamma)$ 的非平凡性，从而确认了维数下限。
• 该结果支持了如下猜想：$h\dim(B_{\mathcal{VC}}\Gamma) = \mathrm{vcd}(\Gamma)+1$ 对所有李群的离散子群均成立，而不仅限于晶体学群。