Proof of semialgebraic covering mapping cylinder conjecture with semialgebraic covering homotopy theorem (Q857037)

The authors prove the following semialgebraic version of Palais' covering homotopy theorem: Let~\(G\) be a compact semialgebraic group, \(X\) and \(Y\) semialgebraic \(G\)-sets, and \(f: X \to Y\) a continuous semialgebraic \(G\)-map with the induced semialgebraic map \(f': X/G \to Y/G\) between the orbit spaces; let \(F': X/G \times I \to Y/G\) be an orbit structure preserving semialgebraic homotopy of~\(f'\); then, there exists a semialgebraic \(G\)-homotopy \(F: X \times I \to Y\) of~\(f\) such that~\(F\) covers~\(F'\). The above statement is then used in the paper to prove a semialgebraic version of Bredon's covering mapping cylinder conjecture originally stated in the topological category. Namely, the authors prove the following statement: Let~\(G\) be a compact semialgebraic group, and~\(W\) a semialgebraic \(G\)-set; suppose that the orbit space \(W/G\) has the form of a semialgebraic mapping cylinder defined by a semialgebraically proper map with the orbit structure constant along generators of the cylinder except probably the base; then, \(W\) is semialgebraically \(G\)-homeomorphic to a semialgebraic mapping cylinder of a semialgebraically proper \(G\)-map which induces the given semialgebraic mapping cylinder structure on \(W/G\). A topological version of the proof proposed in the paper proves the original topological statement in the case of topological \(G\)-spaces over ``simplicial'' mapping cylinders.