Abstract:We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topological terms, focussing here in particular on spaces of dimension one. We present several results, given in terms of piecewise decompositions and existence of definable embeddings and homeomorphisms, for various classes of spaces that are described in terms of classical separation axioms and definable analogues of properties such as separability, compactness and metrizability. For example, we prove that all Hausdorff one-dimensional definable topologies are piecewise the euclidean, discrete, or upper or lower limit topology; we give a characterization of all one-dimensional, regular, Hausdorff definable topologies in terms of spaces that have a lexicographic ordering or a topology generalizing the Alexandrov double of the euclidean topology; and we show that, if the underlying structure expands an ordered field, then any one-dimensional Hausdorff definable topology that is piecewise euclidean is definably homeomorphic to a euclidean space. As applications of these results, we prove definable versions of several open conjectures from set-theoretic topology, due to Gruenhage and Fremlin, on the existence of a 3-element basis for regular, Hausdorff topologies and on the nature of perfectly normal, compact, Hausdorff spaces; we obtain universality results for some classes of Hausdorff and regular topologies; and we characterize when certain metrizable definable topologies admit a definable metric.

Topological dynamics for groups definable in real closed field.

Definably Topological Dynamics of $P$-Adic Algebraic Groups

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

On Minimal Flows of Commutative P-Adic Groups

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

Noé Bárcenas Torres

On Definable F-Generic Groups and Minimal Flows in P-Adically Closed Fields

Some Model Theory and Topological Dynamics of $P$-Adic Algebraic Groups

Definability of continuous isomorphisms of groups definable in o-minimal expansions of the real field

On Groups And Fields Definable In -H-Minimal Fields

On Minimal Flows. Definably Amenable Groups, and O-Minimality

On groups and fields definable in 1-h-minimal fields

On universal minimal proximal flows of topological groups

On definable groups and D -groups in certain fields with a generic derivation

A realisation result for moduli spaces of group actions on the line

Properly discontinuous actions, Growth indicators and Conformal measures for transverse subgroups

Geometry and dynamics on sublinearly Morse boundaries of CAT(0) groups

One-dimensional definable topological spaces in o-minimal structures

Enveloping Ellis semigroups as compactifications of transformations groups

Definable compactness in definably complete locally o-minimal structures