Related papers: Generalizing a theorem of B\`{e}s and Choffrut

Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this…

We construct box spaces of a free group that do not coarsely embed into a Hilbert space, but do not contain coarsely embedded expanders. We do this by considering two sequences of subgroups of the free group: one which gives rise to a box…

In their paper published in 1997, Richmond and Richmond classified metric spaces in which all triangles are degenerate. That result was later reproved by Dovgoshei and Dordovskii in the finite case and it was generalized to finite…

Let $X$ be a sequence space and denote by $Z(X)$ the subset of $X$ formed by sequences having only a finite number of zero coordinates. We study algebraic properties of $Z(X)$ and show (among other results) that (for $p \in [1,\infty]$)…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Motivated by the search for methods to establish strong minimality of certain low order algebraic differential equations, a measure of how far a finite rank stationary type is from being minimal is introduced and studied: The {\em degree of…

We prove that, on a sufficiently general diagonal quartic surface, there is a non-trivial Brauer group but no Brauer-Manin obstruction to the existence of rational points.

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

For a compact differentiable surface with boundary embedded in $\Bbb R^3$, we give simple proofs of the Gauss-Bonnet theorem, Poincar\'{e}-Hopf theorem, and several other integral formulas. We complete all of the proofs without using…

Let $R_1$ be a commutative ring, let $R_2$ be a finitely generated extension ring of $R_1$, and let $S$ be a ring that is intermediate between $R_1$ and $R_2$. For $R_1 = R[x]$ and $R_2 = R[x,y]$, this paper gives simple combinatorial…

One can develop the basic structure theory of linear algebraic groups (the root system, Bruhat decomposition, etc.) in a way that bypasses several major steps in the standard development, including the self-normalizing property of Borel…

It is known that if $M$ is a finite-dimensional Banach space, or a strictly convex space, or the space $\ell_1$, then every non-expansive bijection $F: B_M \to B_M$ is an isometry. We extend these results to non-expansive bijections $F: B_E…

In this paper, we will prove a result of nonexistence on harmonic diffeomorphisms between punctured spaces. In particular, we will given an elementary proof to the nonexistence of rotationally symmetric harmonic diffeomorphisms from the…

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…

In this paper, new and significant advances on the understanding the structure of p.p. rings and their generalizations have been made. Especially among them, it is proved that a commutative ring $R$ is a generalized p.p. ring if and only if…

In this article, we prove that for a definable set in an o-minimal structure with connected link (at 0 or infinity), the inner distance of the link is equivalent to the inner distance of the set restricted to the link. With this result, we…

We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is…

Let $\mathcal{R}=(R,\oplus,\leq,0)$ be an algebraic structure, where $\oplus$ is a commutative binary operation with identity $0$, and $\leq$ is a translation-invariant total order with least element $0$. Given a distinguished subset…

We extend the Gelfand and Graev construction of generalized Fourier transforms on basic affine space from split groups to quasi-split groups over a local non-archimedean field $F$.

Let F be a non-Archimedean local field and let E be a finite extension of F. Let G be a split semisimple F group. We discuss how to compare volumes on the Bruhat-Tits buildings B_E and B_F of G(E) and G(F) respectively.