Proof of semialgebraic covering mapping cylinder conjecture with semialgebraic covering homotopy theorem

DOI10.1016/J.TOPOL.2006.03.017MaRDI QIDQ857037zbMATH OpenOpenAlexWikidataFDO

Authors Myung-Jun Choi, Dae Heui Park, Dong Youp Suh

Publication date 14 December 2006

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2006.03.017

zbMATH Keywords

mapping cylindersemialgebraictransformation groups

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Equivariant (K)-theory (19L47) Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. (57Q10) Topological transformation groups (57S99)

Review text

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.

Recommendations

• The homotopy axiom in semialgebraic cohomology.
• scientific article; zbMATH DE number 488416
• The homotopy lifting theorem for semiprojective C^-algebras
• Cylindrical homomorphisms and Lawson homology
• A Hochschild-Kostant-Rosenberg theorem for cyclic homology
• Covering homology
• Homology of coverings
• Equivalence relations for homology cylinders and the core of the Casson invariant
• Higher topological cyclic homology and the Segal conjecture for tori
• scientific article; zbMATH DE number 3883223

Cites work

• Continuous selections. I
• scientific article; zbMATH DE number 3140566 (Why is no real title available?)
• scientific article; zbMATH DE number 47220 (Why is no real title available?)
• scientific article; zbMATH DE number 3518931 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 3208810 (Why is no real title available?)
• scientific article; zbMATH DE number 3390006 (Why is no real title available?)
• Linear embeddings of semialgebraic \(G\)-spaces
• Locally semialgebraic spaces
• On groups and fields definable in o-minimal structures
• On the homology of algebraic varieties over real closed fields.
• Quotient spaces for semialgebraic equivalence relations
• Separation, retractions and homotopy extension in semialgebraic spaces
• The classification of 𝐺-spaces
• THE EXISTENCE OF SEMIALGEBRAIC SLICES AND ITS APPLICATIONS

This page was built for publication: Proof of semialgebraic covering mapping cylinder conjecture with semialgebraic covering homotopy theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857037)