On definably proper maps

DOI10.4064/FM96-12-2015MaRDI QIDQ2787129zbMATH OpenOpenAlexWikidataFDO

Authors Mário J. Edmundo, Marcello Mamino, Luca Prelli

Publication date 24 February 2016

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.6634, http://hdl.handle.net/11577/3216974

zbMATH Keywords

definable spacedefinably compact spaceo-minimal structureproper map

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Special maps on topological spaces (open, closed, perfect, etc.) (54C10)

Abstract: In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in the category of definable spaces. We give several other characterizations of definably proper including one involving the existence of limits of definable types. We also prove the basic properties of definably proper maps and the invariance of definably proper in elementary extensions and o-minimal expansions.

Review text

The authors mainly work in the category of Hausdorff definable spaces over an o-minimal structure with definable Skolem functions. Their main results are: {\parindent=0.8cm \begin{itemize}\item[(i)] A definably compact space is definably normal. \item[(ii)] A locally definably compact space admits a local almost everywhere curve selection; definable compactness is preserved under elementary extensions and o-minimal expansions. \item[(iii)] A morphism into a locally definably compact space is definably proper iff it is proper in the category of definable spaces iff it is definably closed with definably compact fibers. \item[(iv)] Definable properness is preserved under elementary extensions and, if into a locally definably compact space, o-minimal expansions. \item[(v)] ``Definably proper is equivalent to ``lifts completability of definable curves. NEWLINENEWLINE\end{itemize}} In the case of expansions of the ordered set of reals, ``definably compact means ``compact and ``definably proper into a locally definably compact space means ``proper. ``Definably compact is also equivalent to the sentence ``each definable type has a limit. For a morphism \(f:X \to Y\) into a locally definably compact space, ``definably proper is equivalent to the statement ``for a definable type \(p\), if \(\tilde{f}(p)\) has a limit in \(Y\), then \(p\) has a limit in \(X\).

Recommendations

• Directed sets and topological spaces definable in o-minimal structures
• Tameness of definably complete locally o‐minimal structures and definable bounded multiplication
• Definable one-dimensional topologies in o-minimal structures
• A definability result for compact complex spaces
• Definable Compactness and Definable Subgroups of o-Minimal Groups

Cited in

(14)

• Fundamental group in o-minimal structures with definable Skolem functions
• Double standard maps
• Properness for scaled gauged maps
• scientific article; zbMATH DE number 5354061 (Why is no real title available?)
• A completely PPT map
• The Bockstein Map is Necessary
• Cohomology of algebraic varieties over non-Archimedean fields
• On Pillay's conjecture in the general case
• A definability result for compact complex spaces
• A note on proper maps of locales
• On Poncelet's maps
• On proper direct image in o-minimal expansions of groups
• De Rham cohomology for o-minimal manifolds
• Invariance of o-minimal cohomology with definably compact supports

This page was built for publication: On definably proper maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787129)