1,367 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
Valued fields, Metastable groups
We introduce a class of theories called metastable, including the theory of
algebraically closed valued fields (ACVF) as a motivating example. The key
local notion is that of definable types dominated by their stable part. A
theory is metastable (over a sort ) if every type over a sufficiently
rich base structure can be viewed as part of a -parametrized family of
stably dominated types. We initiate a study of definable groups in metastable
theories of finite rank. Groups with a stably dominated generic type are shown
to have a canonical stable quotient. Abelian groups are shown to be
decomposable into a part coming from , and a definable direct limit
system of groups with stably dominated generic. In the case of ACVF, among
definable subgroups of affine algebraic groups, we characterize the groups with
stably dominated generics in terms of group schemes over the valuation ring.
Finally, we classify all fields definable in ACVF.Comment: 48 pages. Minor corrections and improvements following a referee
repor
Stable domination and independence in algebraically closed valued fields
We seek to create tools for a model-theoretic analysis of types in
algebraically closed valued fields (ACVF). We give evidence to show that a
notion of 'domination by stable part' plays a key role. In Part A, we develop a
general theory of stably dominated types, showing they enjoy an excellent
independence theory, as well as a theory of definable types and germs of
definable functions. In Part B, we show that the general theory applies to
ACVF. Over a sufficiently rich base, we show that every type is stably
dominated over its image in the value group. For invariant types over any base,
stable domination coincides with a natural notion of `orthogonality to the
value group'. We also investigate other notions of independence, and show that
they all agree, and are well-behaved, for stably dominated types. One of these
is used to show that every type extends to an invariant type; definable types
are dense. Much of this work requires the use of imaginary elements. We also
show existence of prime models over reasonable bases, possibly including
imaginaries
- …