Locally polynomially bounded structures

We prove a theorem which provides a method for constructingpoints on varieties defined by certain smooth functions. Werequire that the functions be definable in a definably completeexpansion of a real closed field and be locally definable ina fixed o-minimal and polynomially bounded reduct. As an applicationwe show that in certain o-minimal structures, definable functionsare piecewise implicitly defined over the basic functions inthe language.     

Coverings by open cells

We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.     

Open core and small groups in dense pairs of topological structures

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to the predicate.For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate.     

on the o-minimal LS-category

We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along the way, we show that two definably connected definably compact definable groups G and H are definable homotopy equivalent if and only if L(G) and L(H) are homotopy equivalent, where L is the functor which associates to each definable group its corresponding Lie group via Pillay’s conjecture.     

Weakly o-minimal structures and real closed fields

A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field is real closed. We also develop a substantial theory of definable sets in weakly o-minimal structures, patterned, as much as possible, after that for o-minimal structures.

     

Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by definable real analytic functions. We also demonstrate that a connected component of a planar global semianalytic set defined by real analytic functions definable in a substructure of the restricted analytic field is a global semianalytic set defined by definable real analytic functions.     

Fundamental group in o-minimal structures with definable Skolem functions

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.     

Definable Compactness and Definable Subgroups of o-Minimal Groups

The paper introduces the notion of definable compactness andwithin the context of o-minimal structures proves several topologicalproperties of definably compact spaces. In particular a definableset in an o-minimal structure is definably compact (with respectto the subspace topology) if and only if it is closed and bounded.Definable compactness is then applied to the study of groupsand rings in o-minimal structures. The main result proved isthat any infinite definable group in an o-minimal structurethat is not definably compact contains a definable torsion-freesubgroup of dimension 1. With this theorem, a complete characterizationis given of all rings without zero divisors that are definablein o-minimal structures. The paper concludes with several examplesillustrating some limitations on extending the theorem.     

Linear O-minimal structures

A linearly ordered structure is called o-minimal if every definable subset ofM is a finite union of points and intervals. Such an is aCF structure if, roughly said, every definable family of curves is locally a one-parameter family. We prove that if is aCF structure which expands an (interval in an) ordered group, then it is elementary equivalent to a reduct of an (interval in an) ordered vector space. Along the way we prove several quantifier-elimination results for expansions and reducts of ordered vector spaces. The research for this article was begun when the authors were at Berkeley during the logic year at the Mathematical Science Research Institute. It was completed at McGill University. The research was supported by grants from NSERC and FCAR. JL would, as always, like to thank Alistair.     

o-Minimal Fundamental Group, Homology and Manifolds

The definable fundamental group of a definable set in an o-minimalexpansion of a field is computed. This is achieved by provingthe relevant case of the o-minimal van Kampen theorem. Thisresult is applied to show that if the geometrical realizationof a simplicial complex over an o-minimal expansion of a fieldis a definable manifold of dimension not 4, then its geometricalrealization over the reals is a topological manifold.     

Locally injective maps in O-minimal structures without poles are surjective

If is continuous and locally injective, then is in fact surjective and a homeomorphism, provided is definable in an o-minimal expansion without poles of the ordered additive group of real numbers; `without poles' means that every one-variable definable function is locally bounded. Some general properties of definable maps in o-minimal expansions of ordered abelian groups without poles are also established.

     

The six Grothendieck operations on o-minimal sheaves

In this note, we report on our work on the formalism of the Grothendieck six operations on o-minimal sheaves. As an application to the theory of definable groups, we see that the cohomology of a definably compact group with coefficients in a field is a connected, bounded, Hopf algebra of finite type.     

Compact domination for groups definable in linear o-minimal structures

We prove the Compact Domination Conjecture for groups definable in linear o-minimal structures. Namely, we show that every definably compact group G definable in a saturated linear o-minimal expansion of an ordered group is compactly dominated by (G/G ⁰⁰, m, π), where m is the Haar measure on G/G ⁰⁰ and π : G → G/G ⁰⁰ is the canonical group homomorphism.     

Decomposition into special submanifolds

We study definably complete locally o-minimal expansions of ordered groups. We propose a notion of special submanifolds with tubular neighborhoods and show that any definable set is decomposed into finitely many special submanifolds with tubular neighborhoods.     

O-minimal Hauptvermutung for polyhedra I

Milnor discovered two compact polyhedra which are homeomorphic but not PL homeomorphic (a counterexample to the Hauptvermutung). He constructed the homeomorphism by a finite procedure repeated infinitely often. Informally, we call a procedure constructive if it consists of an explicit procedure that is repeated only finitely many times. In this sense, Milnor did not give a constructive procedure to define the homeomorphism between the two polyhedra. In the case where the homeomorphism is semialgebraic, the author and Yokoi proved that the polyhedra in R ⁿ are PL homeomorphic. In that article, the required PL homeomorphism was not constructively defined from the given homeomorphism. In the present paper we obtain the PL homeomorphism by a constructive procedure starting from the homeomorphism. We prove in fact that for any ordered field R equipped with any o-minimal structure, two definably homeomorphic compact polyhedra in R ⁿ are PL homeomorphic (the o-minimal Hauptvermutung theorem 1.1). Together with the fact that any compact definable set is definably homeomorphic to a compact polyhedron we can say that o-minimal topology is “tame”.     

Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a locally o-minimal structure which admits local definable cell decomposition.     

Computing o-minimal topological invariants using differential topology

We work in an o-minimal expansion of a real closed field. Using piecewise smoothness of definable functions we define the topological degree for definable continuous functions. Using this notion of the degree we obtain a new proof for the existence of torsion points in a definably compact group, and also a new proof of an o-minimal analogue of the Brouwer fixed point theorem.

     

Unstable structures definable in o-minimal theories

Let M{\mathcal {M}} be a dense o-minimal structure, N{\mathcal {N}} an unstable structure interpretable in M{\mathcal {M}}. Then there exists X, definable in N^eq{\mathcal {N}^{eq}}, such that X, with the induced N{\mathcal {N}}-structure, is linearly ordered and o-minimal with respect to that ordering. As a consequence we obtain a classification, along the lines of Zilber’s trichotomy, of unstable t-minimal types in structures interpretable in o-minimal theories.     

Rogers Semilattices of Finite Partially Ordered Sets

It is proved that the principal sublattice of a Rogers semilattice of a finite partially ordered set is definable. For this goal to be met, we present a generalization of the Denisov theorem concerning extensions of embeddings of Lachlan semilattices to ideals of Rogers semilattices.     

Weakly quasi-o-minimal models

We introduce the notion of a weakly quasi-o-minimal model and prove that such models lack the independence property. We show that every weakly quasi-o-minimal ordered group is Abelian, every divisible Archimedean weakly quasi-o-minimal ordered group is weakly o-minimal, and every weakly o-minimal quasi-o-minimal ordered group is o-minimal. We also prove that every weakly quasi-o-minimal Archimedean ordered ring with nonzero multiplication is a real closed field that is embeddable into the field of reals.