[论文解读] The weak Hilbert-Smith conjecture from a Borsuk-Ulam-type conjecture

Alexandru Chirvăsitu, Ludwik Dąbrowski+1 more|arXiv (Cornell University)|Dec 30, 2016

Geometric and Algebraic Topology参考文献 18被引用 4

一句话总结

本文证明了 Baum、Dåbrowski 和 Hajac 提出的 Borsuk-Ulam 型猜想在局部平凡主 $G$-丛上的成立，确立了在紧致群作用自由时，从 $X*G$ 到 $X$ 不存在 $G$-等变映射。该结果蕴含弱 Hilbert-Smith 猜想，表明任何无限紧致零维群（如 $\mathbb{Z}_p$）都无法在具有有限维轨道空间的有限维流形上自由作用。

ABSTRACT

We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, Dąbrowski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant maps $X*G o X$ (with $*$ denoting the topological join). In particular, we prove the BDH conjecture for locally trivial principal $G$-bundles. The proof relies on the non-existence of $G$-equivariant maps $G^{*(n+1)} o G^{*n}$, which in turn is a slight strengthening of an unpublished result of M. Bestvina and R. Edwards. Moreover, we show that the BDH conjecture partially settles a conjecture of Ageev. In turn, the latter implies the weak version Hilbert-Smith conjecture stating that no infinite compact zero-dimensional group can act freely on a manifold such that the orbit space is finite-dimensional.

研究动机与目标

• 为紧致 Hausdorff 空间上紧致群的自由作用建立 Borsuk-Ulam 型猜想。
• 证明 $G$-等变映射 $X*G \to X$ 的不存在性蕴含弱 Hilbert-Smith 猜想。
• 利用 Menger 紧致空间 $\mu^n$ 在自由 $G$-作用下的普遍性，推导出维数理论障碍。
• 确认对于任意在 $\mathbb{Z}_p$-作用下具有有限维轨道空间的流形 $M$，有 $\dim(M/\mathbb{Z}_p) = \infty$。
• 推广 Bestvina 和 Edwards 关于 $G$ 的并集结果，证明 $G^{*(n+1)} \to G^{*n}$ 的等变映射不存在。

提出的方法

• 通过拓扑并集构造，证明在紧致 Hausdorff 空间上自由作用时，$G$-等变映射 $X*G \to X$ 不存在。
• 利用轨道空间 $X*G/G$ 的结构，并通过 $\dim(X*G/G) \leq \max(\dim(X/G), \dim(X)+1)$ 进行维数估计。
• 应用 Menger 紧致空间 $\mu^n$ 在自由 $G$-作用下的普遍性，将等变映射从轨道扩展至整个空间。
• 利用同构 $X \times_{\Delta} G / G \cong X$ 将轨道空间维数与原空间联系起来。
• 将问题约化为证明 $G$-等变映射 $G^{*(n+1)} \to G^{*n}$ 不存在，依赖于 Bestvina 和 Edwards 未发表结果的强化版本。
• 利用 $\dim(\mu^n / G) = n$（在 $\mu^n$ 上的普遍 $G$-作用下）推导轨道映射下的维数增长。

实验结果

研究问题

• RQ1 对于紧致 Hausdorff 群 $G$ 在紧致 Hausdorff 空间 $X$ 上的自由作用，是否存在 $G$-等变映射 $X*G \to X$？
• RQ2 Baum、Dåbrowski 和 Hajac 提出的 Borsuk-Ulam 型猜想能否在局部平凡主 $G$-丛上得到证明？
• RQ3 若 $G$-等变映射 $X*G \to X$ 不存在，是否能推出 $\mathbb{Z}_p$-作用在流形上时弱 Hilbert-Smith 猜想成立？
• RQ4 Menger 紧致空间 $\mu^n$ 在自由 $G$-作用下的普遍性能否用于阻碍 $\mu^m \to \mu^n$ 的等变映射（当 $m > n$ 时）？
• RQ5 当 $M$ 为有限维流形且 $\mathbb{Z}_p$ 自由作用时，轨道空间 $M/\mathbb{Z}_p$ 的维数是否必然为无穷？

主要发现

• Borsuk-Ulam 型猜想对所有紧致 Hausdorff 群在紧致 Hausdorff 空间上的自由作用均成立，包括局部平凡主 $G$-丛。
• $G$-等变映射 $X*G \to X$ 的不存在性表明，$\mathbb{Z}_p$-作用在有限维流形上无法产生有限维轨道空间。
• 当 $G$ 在 Menger 紧致空间 $\mu^m$ 和 $\mu^n$ 上自由作用且 $m > n$ 时，不存在 $G$-等变映射 $\mu^m \to \mu^n$。
• 对于 $\mu^n$ 上的普遍 $G$-作用，轨道空间 $\mu^n / G$ 的维数恰好为 $n$，此结果由 Ageev 建立，并通过文献 [11] 的构造得到确认。
• 对于任意在紧致空间 $X$ 上的自由 $G$-作用，不等式 $\dim(X*G/G) \leq \max(\dim(X/G), \dim(X)+1)$ 成立，从而实现对轨道空间维数的控制。
• 该结果确认了弱 Hilbert-Smith 猜想：任何无限紧致零维群（如 $\mathbb{Z}_p$）都无法在有限维流形上自由作用，且其轨道空间维数有限。