The Bestvina–Edwards theorem and the Hilbert–Smith conjecture

Abstract

We prove a number of results surrounding the Borsuk–Ulam-type conjecture of Baum, Dabrowski, and Hajac (BDH, for short), which states that given a free action of a compact group G on a compact space X, there are no G-equivariant maps X∗G→X (with ∗ denoting the topological join). Mainly, we prove the BDH conjecture for locally trivial principal G-bundles. The proof relies on the nonexistence of G-equivariant maps G∗(n+1)→G∗n, which in turn is a strengthening of an unpublished result of Bestvina and Edwards. Moreover, we show that the BDH conjecture partially settles a conjecture of Ageev which implies the weak version of the Hilbert–Smith conjecture stating that no infinite compact zero-dimensional group can act freely on a manifold so that the orbit space is finite-dimensional.