English
Related papers

Related papers: Locally o-minimal structures with tame topological…

200 papers

It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy…

Logic · Mathematics 2009-11-27 Alessandro Berarducci , Marcello Mamino , Margarita Otero

We provide polynomial upper bounds for the minimal sizes of distal cell decompositions in several kinds of distal structures, particularly weakly $o$-minimal and $P$-minimal structures. The bound in general weakly $o$-minimal structures…

Logic · Mathematics 2026-02-11 Aaron Anderson

It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…

Group Theory · Mathematics 2023-07-11 Lev Glebsky , Alexander Lubotzky , Nicolas Monod , Bharatram Rangarajan

Let $Homeo(\Omega)$ be the group of all homeomorphisms of a Cantor set $\Omega$. We study topological properties of $Homeo(\Omega)$ and its subsets with respect to the uniform $(\tau)$ and weak $(\tau_w)$ topologies. The classes of…

Dynamical Systems · Mathematics 2007-05-23 Sergey Bezuglyi , Anthony H. Dooley , Jan Kwiatkowski

A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable…

Logic · Mathematics 2026-05-20 Pablo Andújar Guerrero

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Logic · Mathematics 2022-09-30 Guillaume Valette

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…

Logic · Mathematics 2023-05-17 Masato Fujita

For a given d-minimal expansion $\mathfrak R$ of the ordered real field, we consider the expansion $\mathfrak R^\natural$ of $\mathfrak R$ generated by the sets of the form $\bigcup_{S \in \mathcal C}S$, where $\mathcal C$ is a subfamily of…

Logic · Mathematics 2026-05-13 Masato Fujita

Let $T$ be a complete, model-complete, geometric dp-minimal $\mathcal{L}$-theory of topological fields of characteristic $0$ and let $T(\partial)$ be the theory of expansions of models of $T$ by a derivation $\partial$. We assume that…

Logic · Mathematics 2025-05-13 Françoise Point

For minimal $\mathbb{Z}^{2}$-topological dynamical systems, we introduce a cube structure and a variation of the regionally proximal relation for $\mathbb{Z}^2$ actions, which allow us to characterize product systems and their factors. We…

Dynamical Systems · Mathematics 2014-06-06 Sebastián Donoso , Wenbo Sun

We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…

Rings and Algebras · Mathematics 2023-04-18 Amartya Goswami

v2: An additional assumption was added in Theorem 4.8. In order to show that a connected abelian group is admissible on the site of locally compact spaces we must in addition assume that it is locally topologically divisible. This condition…

Algebraic Topology · Mathematics 2018-11-28 Ulrich Bunke , Thomas Schick , Markus Spitzweck , Andreas Thom

We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…

Logic · Mathematics 2014-12-23 Aleksander Ivanov

Here we prove a Poincar\'e-Verdier duality theorem for the o-minimal sheaf cohomology with definably compact supports of definably normal, definably locally compact spaces in an arbitrary o-minimal structure.

Algebraic Geometry · Mathematics 2010-10-07 Mario J. Edmundo , Luca Prelli

We observe that the line bundle associated to the tame symbol of two invertible holomorphic functions also carries a fairly canonical hermitian metric, hence it represents a class in a Hermitian holomorphic Deligne cohomology group. We put…

Category Theory · Mathematics 2007-05-23 Ettore Aldrovandi

We describe topological gauge theories for which duality properties are encoded by construction. We study them for compact manifolds of dimensions four, eight and two. The fields and their duals are treated symmetrically, within the context…

High Energy Physics - Theory · Physics 2009-10-31 L Baulieu , S. L. Shatashvili

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…

Logic · Mathematics 2020-06-01 Ya'acov Peterzil

In this study, we delve into the discrete TC of surjective simplicial fibrations, aiming to unravel the interplay between topological complexity, discrete geometric structures, and computational efficiency. Moreover, we examine the…

Algebraic Topology · Mathematics 2024-03-12 Melih İs , İsmet Karaca

Here we look at (collections of) semimetrics and seminorms, including their ultrametric versions. In particular, we are concerned with geometric properties related to connectedness and topological dimension 0.

Classical Analysis and ODEs · Mathematics 2015-06-25 Stephen Semmes

Classes SSGP(n)(n < \omega) of topological groups are defined, and the class-theoretic inclusions SSGP(n) \subseteq SSGP(n+1) \subseteq m.a.p. are established and shown proper. These classes are investigated with respect to the properties…

General Topology · Mathematics 2014-10-14 W. W. Comfort , Franklin R. Gould