Fundamental group in o-minimal structures with definable Skolem functions |
| |
Authors: | Bruno Dinis Mário J. Edmundo Marcello Mamino |
| |
Affiliation: | 1. Departamento de Matemática, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, Edifício C6, P-1749-016 Lisboa, Portugal;2. Università di Pisa, Largo Bruno Pontecorvo 5, 56127 Pisa, Italy |
| |
Abstract: | In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allow us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally definable covering maps; monodromy equivalence for locally constant o-minimal sheaves – from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert–van Kampen theorems. |
| |
Keywords: | O-minimal structures Fundamental group |
本文献已被 ScienceDirect 等数据库收录! |
|