Related papers: On Dimensions, Standard Part Maps, and $p$-Adicall…
Let $K$ be an elementary extension of $\mathbb{Q}_p$, $V$ be the set of finite $a \in K$, $\mathrm{st}$ be the standard part map $K^m \to \mathbb{Q}^m_p$, and $X \subseteq K^m$ be $K$-definable. Delon has shown that $\mathbb{Q}^m_p \cap X$…
Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…
Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…
For a topological space $X$ we study continuous maps $f : X\to \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We…
I prove that if $\emptyset \neq K \subset \mathbb{R}^{2}$ is a compact $s$-Ahlfors-David regular set with $s \geq 1$, then $$\dim_{\mathrm{p}} D(K) = 1,$$ where $D(K) := \{|x - y| : x,y \in K\}$ is the distance set of $K$, and…
In an earlier paper Buczolich, Elekes and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$. Later on, the…
Let $K _{m}$ be an $m$-local field with an $m$-th residue field $K _{0}$, for some integer $m > 0$, and let $K/K _{m}$ be a field extension of transcendence degree trd$(K/K _{m}) \le 1$. This paper shows that if $K _{0}$ is a field of…
Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points…
The section volume function $A_K(\xi,t), \ \xi \in \mathbb R^n, \ t \in \mathbb R,$ of a body $K \subset \mathbb R^n$ evaluates the $(n-1)$-dimensional volume of the cross-section $K$ by the hyperplane $\{ x \cdot \xi=t \}.$ We are…
A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for…
Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…
In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded…
Let $(K,d)$ be a connected compact metric space and $p\in (1, \infty)$. Under the assumption of \cite[Assumption 2.15]{Ki2} and the conductive $p$-homogeneity, we show that $\mathcal{W}^p(K)\subset C(K)$ holds if and only if…
Let $X$ be a complete variety of dimension $n$ over an algebraically closed field $\mathbf{K}$. Let $V_\bullet$ be a graded linear series associated to a line bundle $L$ on $X$, that is, a collection $\{V_m\}_{m\in\mathbb{N}}$ of vector…
To every object $X$ of a symmetric tensor category over a field of characteristic $p>0$ we attach $p$-adic integers $\text{Dim}_+(X)$ and $\text{Dim}_-(X)$ whose reduction modulo $p$ is the categorical dimension $\text{dim}(X)$ of $X$,…
For a symmetric convex body $K\subset\mathbb{R}^n$ and $1\le p<\infty$, we define the space $S^p(K)$ to be the tent generalization of $\text{JN}_p(\mathbb{R}^n)$, i.e., the space of all continuous functions $f$ on the upper-half space…
We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite…
We study the images of polynomial maps over algebraically closed division rings. Our first result generalizes the classical Ax-Grothendieck theorem: We show that if $ f_1, \ldots, f_m $ are elements of the free associative algebra $…
In the Minimum $d$-Dimensional Arrangement Problem (d-dimAP) we are given a graph with edge weights, and the goal is to find a 1-1 map of the vertices into $\mathbb{Z}^d$ (for some fixed dimension $d\geq 1$) minimizing the total weighted…
We show that, for any prime power p^k and any convex body K (i.e., a compact convex set with interior) in Rd, there exists a partition of K into p^k convex sets with equal volume and equal surface area. We derive this result from a more…