On o-minimal homotopy groups
Logic
2008-10-03 v1
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.
Cite
@article{arxiv.0810.0365,
title = {On o-minimal homotopy groups},
author = {Elias Baro and Margarita Otero},
journal= {arXiv preprint arXiv:0810.0365},
year = {2008}
}