338 research outputs found
A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
Results of Smale (1957) and Dugundji (1969) allow to compare the homotopy
groups of two topological spaces and whenever a map with
strong connectivity conditions on the fibers is given. We apply similar
techniques in o-minimal expansions of fields to compare the o-minimal homotopy
of a definable set with the homotopy of some of its bounded hyperdefinable
quotients . Under suitable assumption, we show that and . As a special case,
given a definably compact group, we obtain a new proof of Pillay's group
conjecture ")" largely independent of the
group structure of . We also obtain different proofs of various comparison
results between classical and o-minimal homotopy.Comment: 24 page
Products of straight spaces
A metric space X is straight if for each finite cover of X by closed sets,
and for each real valued function f on X, if f is uniformly continuous on each
set of the cover, then f is uniformly continuous on the whole of X. A locally
connected space is straight if it is uniformly locally connected (ULC). It is
easily seen that ULC spaces are stable under finite products. On the other hand
the product of two straight spaces is not necessarily straight. We prove that
the product X x Y of two metric spaces is straight if and only if both X and Y
are straight and one of the following conditions holds: (a) both X and Y are
precompact; (b) both X and Y are locally connected; (c) one of the spaces is
both precompact and locally connected. In particular, when X satisfies (c), the
product X x Z is straight for every straight space Z. Finally, we characterize
when infinite products of metric spaces are ULC and we completely solve the
problem of straightness of infinite products of ULC spaces.Comment: 21 page
Higher homotopy of groups definable in o-minimal structures
It is known that a definably compact group G is an extension of a compact Lie
group L by a divisible torsion-free normal subgroup. We show that the o-minimal
higher homotopy groups of G are isomorphic to the corresponding higher homotopy
groups of L. As a consequence, we obtain that all abelian definably compact
groups of a given dimension are definably homotopy equivalent, and that their
universal cover are contractible.Comment: 13 pages, to be published in the Israel Journal of Mathematic
O-minimal cohomology: finiteness and invariance results
We prove that the cohomology groups of a definably compact set over an
o-minimal expansion of a group are finitely generated and invariant under
elementary extensions and expansions of the language. We also study the
cohomology of the intersection of a definable decreas-ing family of definably
compact sets, under the additional assumption that the o-minimal structure
expands a field.Comment: 28 pages, 7 figures and diagrams Added the hypothesis that singletons
are construcible to section 3. Corrected misprint
Discrete subgroups of locally definable groups
We work in the category of locally definable groups in an o-minimal expansion
of a field. Eleftheriou and Peterzil conjectured that every definably generated
abelian connected group G in this category is a cover of a definable group. We
prove that this is the case under a natural convexity assumption inspired by
the same authors, which in fact gives a necessary and sufficient condition. The
proof is based on the study of the zero-dimensional compatible subgroups of G.
Given a locally definable connected group G (not necessarily definably
generated), we prove that the n-torsion subgroup of G is finite and that every
zero-dimensional compatible subgroup of G has finite rank. Under a convexity
hypothesis we show that every zero-dimensional compatible subgroup of G is
finitely generated.Comment: Final version. 17 pages. To appear in Selecta Mathematic
- …