38 research outputs found
Small sets in dense pairs
Let be an expansion of
an o-minimal structure by a dense set , such that
three tameness conditions hold. We prove that the induced structure on by
eliminates imaginaries. As a corollary, we obtain that every small
set definable in can be definably embedded into
some , uniformly in parameters, settling a question from [10]. We verify
the tameness conditions in three examples: dense pairs of real closed fields,
expansions of by a dense independent set, and expansions by a
dense divisible multiplicative group with the Mann property. Along the way, we
point out a gap in the proof of a relevant elimination of imaginaries result in
Wencel [17]. The above results are in contrast to recent literature, as it is
known in general that does not eliminate imaginaries,
and neither it nor the induced structure on admits definable Skolem
functions
Characterizing o-minimal groups in tame expansions of o-minimal structures
We establish the first global results for groups definable in tame expansions
of o-minimal structures. Let be an expansion of an o-minimal
structure that admits a good dimension theory. The setting
includes dense pairs of o-minimal structures, expansions of by a
Mann group, or by a subgroup of an elliptic curve, or a dense independent set.
We prove: (1) a Weil's group chunk theorem that guarantees a definable group
with an o-minimal group chunk is o-minimal, (2) a full characterization of
those definable groups that are o-minimal as those groups that have maximal
dimension; namely their dimension equals the dimension of their topological
closure, (3) if expands by a dense independent set,
then every definable group is o-minimal
Counting algebraic points in expansions of o-minimal structures by a dense set
The Pila-Wilkie theorem states that if a set is
definable in an o-minimal structure and contains `many' rational
points, then it contains an infinite semialgebraic set. In this paper, we
extend this theorem to an expansion of by a dense set , which is either an elementary
substructure of , or it is independent, as follows. If is
definable in and contains many rational points, then
it is dense in an infinite semialgebraic set. Moreover, it contains an infinite
set which is -definable in ,
where is the real field
Product cones in dense pairs
Let be an o-minimal expansion of
an ordered group, and a dense set such that certain tameness
conditions hold. We introduce the notion of a `product cone' in
, and prove: if
expands a real closed field, then admits a product
cone decomposition. If is linear, then it does not. In particular,
we settle a question from [10]
Semi-linear stars are contractible
Let be an ordered vector space over an ordered division ring. We
prove that every definable set is a finite union of relatively open
definable subsets which are definably simply-connected, settling a conjecture
from [5]. The proof goes through the stronger statement that the star of a cell
in a special linear decomposition of is definably simply-connected. In
fact, if the star is bounded, then it is definably contractible
Definable quotients of locally definable groups
We study locally definable abelian groups \CU in various settings and
examine conditions under which the quotient of \CU by a discrete subgroup
might be definable. This turns out to be related to the existence of the
type-definable subgroup \CU^{00} and to the divisibility of \CU
Strongly minimal groups in o-minimal structures
We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of
two-dimensional groups, definable in o-minimal structures:
Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a
2-dimensional group definable in M, and D = (G;+,...) a strongly minimal
structure, all of whose atomic relations are definable in M. If D is not
locally modular, then an algebraically closed field K is interpretable in D,
and the group G, with all its induced D-structure, is definably isomorphic in D
to an algebraic K-group with all its induced K-structure
Small sets in Mann pairs
Let be an expansion of
a real closed field by a dense subgroup of with the Mann property. We prove that the induced structure on
by eliminates imaginaries. As a consequence, every small set
definable in can be definably embedded into some ,
uniformly in parameters. These results are proved in a more general setting,
where is an expansion of
an o-minimal structure by a dense set , satisfying
three tameness conditions
On definable Skolem functions in weakly o-minimal non-valuational structures
We prove that all known examples of weakly o-minimal non-valuational
structures have no definable Skolem functions. We show, however, that such
structures eliminate imaginaries up to (definable families of) definable cuts.
Along the way we give some new examples of weakly o-minimal non-valuational
structures
Locally definable subgroups of semialgebraic groups
We prove the following instance of a conjecture stated in arXiv:1103.4770.
Let be an abelian semialgebraic group over a real closed field and let
be a semialgebraic subset of . Then the group generated by contains
a generic set and, if connected, it is divisible. More generally, the same
result holds when is definable in any o-minimal expansion of which is
elementarily equivalent to . We observe that the above
statement is equivalent to saying: there exists an such that
is an approximate subgroup of .Comment: Small changes in the body of the text with respect to the previous
version. The title has changed. The appendix has been shortene