Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

Masato Fujita

2024-07-23

Abstract:Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a definable set. Basic properties of partition degree are also studied.

Logic

What problem does this paper attempt to address?

Definable quotients in d-minimal structures

Masato Fujita

2023-11-15

Abstract:We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied when there is a definable proper action of a definable group $G$ on a locally closed definable subset $X$ of $F^n$, where $F$ is the universe.

Logic
Definable compactness in definably complete locally o-minimal structures

Masato Fujita

2023-05-22

Abstract:We demonstrate that Andújar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple definable topological group which is regular, Hausdorff and definably compact as a definable topological space is either discrete or definably connected. We also study the definable quotient of definable continuous actions by definably compact definable topological groups.

Logic
Definable separability and second-countability in o-minimal structures

Pablo Andújar Guerrero

2024-05-12

Abstract:We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and definable second-countability -- which make sense in a wider model-theoretic context. We prove that within o-minimality these notions have the desired properties, including their equivalence among definable metric spaces, and conjecture a definable version of Urysohn's Metrization Theorem.

Logic,General Topology
One-dimensional definable topological spaces in o-minimal structures

Pablo Andújar Guerrero,Margaret E. M. Thomas

2023-10-07

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.

Logic,General Topology
Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Masato Fujita,Tomohiro Kawakami

2024-07-29

Abstract:We consider a definably complete locally o-minimal expansion of an ordered field. We treat two topics in this paper. The first topic is a definable $\mathcal C^r$ approximation of a definable $\mathcal C^{r-1}$ map between definable $\mathcal C^r$ submanifolds in the definable $\mathcal C^{r-1}$ topology. The second topic is the imbedding theorem for definably compact definable $\mathcal C^r$ manifolds. We demonstrate that a definably normal definable $\mathcal C^r$ manifold is a definably $\mathcal C^r$ diffeomorphic to a definable $\mathcal C^r$ submanifold. It enables us to show that the definable quotient of a definably compact definable $\mathcal C^r$ group by a definable subgroup exists.

Logic
Morse theory in definably complete d-minimal structures

Masato Fujita,Tomohiro Kawakami

2024-08-27

Abstract:Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable Morse functions is open and dense in the set of definable $C^r$ functions on $X$ with respect to the definable $C^2$ topology.

Logic
Definable Tietze extension property in o-minimal expansion of ordered group

Masato Fujita

DOI: https://doi.org/10.1007/s00153-023-00875-5

2021-02-03

Abstract:The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous function $f:A \rightarrow M$ defined on a definable closed subset of $M^n$ has a definable continuous extension $F:M^n \rightarrow M$.

Logic
Definable compactness in o-minimal structures

Pablo andújar Guerrero

2024-05-12

Abstract:We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types and definable downward directed families of closed sets.

Logic,General Topology
Tame topology over definable uniform structures

Alfred Dolich,John Goodrick

DOI: https://doi.org/10.48550/arXiv.1505.06455

2021-10-14

Abstract:A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered groups, p-adic fields, and other examples. Assuming only viscerality, we show that the definable sets in M satisfy some desirable topological tameness conditions. For example, any definable unary function on M has a finite set of discontinuities; any definable function on a Cartesian power of M is continuous on a nonempty open set; and assuming definable finite choice, we obtain a cell decomposition result for definable sets. Under an additional topological assumption ("no space-filling functions"), we prove that the natural notion of topological dimension is invariant under definable bijections. These results generalize theorems proved by Simon and Walsberg, who assumed dp-minimality in addition to viscerality. In the final section, we construct new examples of visceral structures.

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

Alf Onshuus

2024-07-18

Abstract:In this paper, we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field (which we will refer to as "definable groups"). It is known (\cite{Pi88}) that any group definable in an o-minimal expansion of the real field is a Lie group, and in \cite{COP} a complete characterization of when a Lie group has a "definable group" which is \emph{Lie isomorphic} to it was given. We continue the analysis by explaining when a Lie homomorphism between definable groups is a definable isomorphism. Among other things, we prove that in any o-minimal expansion $\mathcal R$ of the real field we can add a function symbol for any Lie isomorphism between definable groups to the language of $\mathcal R$ preserving o-minimality, and that any definable group $G$ can be endowed with an analytic manifold structure definable in $\mathcal R_{\text{Pfaff}}$ that makes it an analytic group.

Logic
On closed definable subsets in Hensel minimal structures

Krzysztof Jan Nowak

2024-03-15

Abstract:This paper deals with Hensel minimal structures on non-trivially valued fields $K$. The main aim is to establish the following two properties of closed 0-definable subsets $A$ in the affine spaces $K^{n}$. Every such subset $A$ is the zero locus of a continuous 0-definable function $f:K^{n} \to K$, and there exists a 0-definable retraction $r: K^{n} \to A$. While the former property is a non-Archimedean counterpart of the one from o-minimal geometry, the former does not hold in real geometry in general. The proofs make use of a model-theoretic compactness argument and ubiquity of clopen sets in non-Archimedean geometry.

Logic,Algebraic Geometry
Tame topology in Hensel minimal structures

Krzysztof Jan Nowak

2024-02-29

Abstract:We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that the value group and residue field are orthogonal and that the definable sets in the value group sort are already definable in the language of ordered groups. This condition is satisfied by several classical tame structures on Henselian fields, including Henselian fields with analytic structure, V-minimal fields and polynomially bounded o-minimal structures with a convex subring. In this article, we establish many results concerning definable functions and sets. These are, among others, existence of the limit for definable functions of one variable, a closedness theorem, several non-Archimedean versions of the Lojasiewicz inequalities, an embedding theorem for regular definable spaces, and the definable ultranormality and ultraparacompactness of definable Hausdorff LC-spaces.

Algebraic Geometry
There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence

Masato Fujita

2024-09-06

Abstract:There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered $\mathbb R$-vector space structure over $\mathbb R$ or the ordered group of reals. A first-order expansion of $\mathcal R$ by a countable subset $D$ of $\mathbb R$ and a compact subset $E$ of $\mathbb R$ of finite Cantor-Bendixson rank is d-minimal if $(\mathcal R,D)$ is locally o-minimal.

Logic
Discrete sets definable in strong expansions of ordered Abelian groups

Alfred Dolich,John Goodrick

2024-08-05

Abstract:We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation taking D to D' n times must be a finite set (Theorem 1.1). In the case when the structure is densely ordered and has burden 2, we show that any definable unary discrete set must be definable in some elementary extension of the structure (R; <, +, Z) (Theorem 1.3).

Logic
Decomposable ordered groups

Eliana Barriga,Alf Onshuus,Charles Steinhorn

DOI: https://doi.org/10.48550/arXiv.1402.6520

2014-02-26

Abstract:Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension 2 and 3 are completely analyzed modulo definable group isomorphism. Lastly, this analysis is refined to provide a full description of these groups with respect to definable ordered group isomorphism.

Logic
Definability and Scott rank in separable Metric structures

Diego Bejarano

2024-11-02

Abstract:We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalbán for countable structures. In the process, we prove some results concerning definability, type omitting, and back-and-forth for metric structures.

Logic
On Groups And Fields Definable In -H-Minimal Fields

Juan Pablo Acosta López,Assaf Hasson

DOI: https://doi.org/10.1017/s1474748024000239

2024-09-21

Journal of the Institute of Mathematics of Jussieu

Abstract:We show that an infinite group G definable in a -h-minimal field admits a strictly K-differentiable structure with respect to which G is a (weak) Lie group, and we show that definable local subgroups sharing the same Lie algebra have the same germ at the identity. We conclude that infinite fields definable in K are definably isomorphic to finite extensions of K and that -dimensional groups definable in K are finite-by-abelian-by-finite. Along the way, we develop the basic theory of definable weak K-manifolds and definable morphisms between them.

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

Ya’acov Peterzil,Anand Pillay,Françoise Point

DOI: https://doi.org/10.4153/s0008414x24000063

2024-01-15

Canadian Journal of Mathematics

Abstract:Abstract We continue our study from Peterzil et al. (2022, Preprint , arXiv:2208.08293) of finite-dimensional definable groups in models of the theory $T_{\partial }$ , the model companion of an o-minimal ${\mathcal {L}}$ -theory T expanded by a generic derivation $\partial $ as in Fornasiero and Kaplan (2021, Journal of Mathematical Logic 21, 2150007). We generalize Buium’s notion of an algebraic D -group to ${\mathcal {L}}$ -definable D -groups, namely $(G,s)$ , where G is an ${\mathcal {L}}$ -definable group in a model of T , and $s:G\to \tau (G)$ is an ${\mathcal {L}}$ -definable group section. Our main theorem says that every definable group of finite dimension in a model of $T_\partial $ is definably isomorphic to a group of the form $$ \begin{align*}(G,s)^\partial=\{g\in G:s(g)=\nabla g\},\end{align*} $$ for some ${\mathcal {L}}$ -definable D -group $(G,s)$ (where $\nabla (g)=(g,\partial g)$ ). We obtain analogous results when T is either the theory of p -adically closed fields or the theory of pseudo-finite fields of characteristic $0$ .

mathematics
$G$-invariant definable Tietze extension theorem

Masato Fujita,Tomohiro Kawakami

2024-04-01

Abstract:A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set.

Logic
On Topological Complexity of $(r,ρ(R))$-mild spaces

Smail Benzaki,Youssef Rami

2024-05-22

Abstract:In this paper, we first prove the existence of relative free models of morphisms (resp. relative commutative models) in the category of $DGA(R)$ (resp. $CDGA(R)$), where $R$ is a principal ideal domain containing $\frac{1}{2}$. Next, we restrict to the category of $(r,\rho(R))$-H-mild algebras and we introduce, following Carrasquel's characterization, $secat(-, R)$, the sectional category for surjective morphisms. We then apply this to the $n$-fold product of the commutative model of an $(r,\rho(R))$-mild CW-complex of finite type to introduce $TC_n(X,R)$, $mTC_n(X,R)$ and $HTC_n(X,R)$ which extend well known rational topological complexities. We do the same for $\operatorname{sc(-, \mathbb{Q})}$ to introduce analogous algebraic $\operatorname{sc(-,R)}$ in terms of their commutative models over $R$ and prove that it is an upper bound for $secat(-, R)$. This also yields, for any $(r,\rho(R))$-mild CW-complex, the algebraic $tc_n(X,R)$, $mtc_n(X,R)$ and $Htc_n(X,R)$ whose relation to the homology nilpotency is investigated. In the last section, in the same spirit, we introduce in $DGA(R)$, $secat(-, R)$, $\operatorname{sc(-,R)}$ and their topological correspondents. We then prove, in particular, that $ATC_n(X,R)\leq TC_n(X,R)$ and $Atc_n(X,R)\leq tc_n(X,R)$.

Algebraic Topology

Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

Definable quotients in d-minimal structures

Definable compactness in definably complete locally o-minimal structures

Definable separability and second-countability in o-minimal structures

One-dimensional definable topological spaces in o-minimal structures

Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Morse theory in definably complete d-minimal structures

Definable Tietze extension property in o-minimal expansion of ordered group

Definable compactness in o-minimal structures

Tame topology over definable uniform structures

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

On closed definable subsets in Hensel minimal structures

Tame topology in Hensel minimal structures

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence

Discrete sets definable in strong expansions of ordered Abelian groups

Decomposable ordered groups

Definability and Scott rank in separable Metric structures

On Groups And Fields Definable In -H-Minimal Fields

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

$G$-invariant definable Tietze extension theorem

On Topological Complexity of $(r,ρ(R))$-mild spaces