Related papers: Small sets in dense pairs

We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…

We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…

Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on…

Let $X$ be a set of points whose coordinates are known with limited accuracy; our aim is to give a characterization of the vanishing ideal $I(X)$ independent of the data uncertainty. We present a method to compute a polynomial basis $B$ of…

We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…

The eponymous theorem of P.L. Wantzel presents a necessary and sufficient criterion for angle trisectability in terms of the third Chebyshev polynomial $T_3$, thus making it easy to prove that there exist non-trisectable angles. We…

This article contains two rigidity type results for $\mathrm{SL}(n,\mathbb{Z})$ for large $n$ that share the same proof. Firstly, we prove that for every $p \in [1,\infty]$ different from $2$, the noncommutative $L^p$-space associated with…

We prove that a hypothesis of Cassels, Swinnerton-Dyer, recast by Margulis as statement on the action of the diagonal group $A$ on the space of unimodular lattices, is equivalent to several assertions about minimal sets for this action.…

We address pairs $(X, Y)$ of metric spaces with the following property: for every mapping $f: X \to Y$ the existence of points $x, y \in X$ with $d(f(x),f(y)) > d(x,y)$ implies the existence of $\widetilde{x}, \widetilde{y}\in X$ for which…

Given a strictly increasing sequence $\Lambda=(\lambda_n)$ of nonegative real numbers, with $\sum_{n=1}^\infty \frac{1}{\lambda_n}<\infty$, the M\"untz spaces $M_\Lambda^p$ are defined as the closure in $L^p([0,1])$ of the monomials…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D.…

Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled…

We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations $\mid_M$ and…

Let $\mathbb P$ be any Borel probability measure on the $L^2$-Wasserstein space $(\mathscr{P}_2(M),W_2)$ over a closed Riemannian manifold $M$. We consider the Dirichlet form $\mathcal E$ induced by $\mathbb P$ and by the Wasserstein…

Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\M$. For $0<p \leq\infty$, let $\h_p^c(\mathcal{M})$ denote the…

We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structure on a real closed field. Unlike the previous approaches in…

We consider projections of planar self-similar sets, and show that one can create nonempty interior in the projections by applying arbitrary small perturbations, if the self-similar set satisfies the open set condition and has Hausdorff…

Let $X$ be a submanifold of dimension $d\geq 2$ of the complex projective space $\mathbb P^n$. We prove results of the following type. i) If $X$ is irregular and $n=2d$ then the normal bundle $N_{X|\mathbb P^n}$ is indecomposable. ii) If…

In their paper 'p-adic and real subanalytic sets, J. Denef and L. van den Dries prove that the theory of the ring of p-adic integers admits the elimination of quantifiers in the language of p-adic restricted analytic functions expanded by a…