Abstract: We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are also semialgebraically homotopic. This result together with the study of semialgebraic homotopy done by H. Delfs and M. Knebusch allows us to develop an o-minimal homotopy theory. In particular, we obtain o-minimal versions of the Hurewicz theorems and the Whitehead theorem.
Recommendations
- o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
- Higher homotopy of groups definable in o-minimal structures
- On the homotopy type of definable groups in an o-minimal structure
- scientific article; zbMATH DE number 3853170
- o-minimal homotopy and generalized (co)homology
- scientific article; zbMATH DE number 1749799
- O-minimal spectra, infinitesimal subgroups and cohomology
- On finite groups and homotopy theory
- scientific article; zbMATH DE number 3971076
- On torsion-free groups in o-minimal structures
Cited in
(21)- The derived subgroup of linear and simply-connected o-minimal groups
- On the o-minimal LS-category
- A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
- Intersection theory for o-minimal manifolds
- Fundamental group in o-minimal structures with definable Skolem functions
- \(G\)-linear sets and torsion points in definably compact groups
- o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
- Splitting definably compact groups in o-minimal structures
- o-minimal homotopy and generalized (co)homology
- O-MINIMAL CECH COHOMOLOGY
- Comparison theorems for o-minimal singular (co)homology
- The universal covering map in o-minimal expansions of groups
- o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS
- Normal triangulations in o-minimal structures
- Approximation of definable sets by compact families, and upper bounds on homotopy and homology
- O-minimal spectra, infinitesimal subgroups and cohomology
- Notes on vanishing homology
- Locally definable homotopy
- On definable Skolem functions and trichotomy
- Finite central extensions of o-minimal groups
- Equivariant differential topology in an o-minimal expansion of the field of real numbers
This page was built for publication: ON O-MINIMAL HOMOTOPY GROUPS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3588946)
